A.6: Otro ejemplo
- Page ID
- 103580
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)
( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\id}{\mathrm{id}}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\kernel}{\mathrm{null}\,}\)
\( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\)
\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\)
\( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)
\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)
\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)
\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vectorC}[1]{\textbf{#1}} \)
\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)
\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)
\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)Proposición\(\PageIndex{1}\)
Si\(A \subseteq C\), entonces\(A \cup (C \setminus A) = C\).
Prueba. Supongamos que\(A \subseteq C\). Eso queremos demostrarlo\(A \cup (C \setminus A) = C\).
Comenzamos observando que se trata de una declaración condicional. Se cuantifica tácitamente universalmente: la proposición sostiene para todos los conjuntos\(A\) y\(C\). Entonces\(A\) y\(C\) son variables para conjuntos arbitrarios. Para acreditar tal afirmación, asumimos el antecedente y probamos lo consecuente.
Seguimos utilizando el supuesto de que\(A \subseteq C\). Vamos a desempaquetar la definición de\(\subseteq\): la suposición significa que todos los elementos de también\(A\) son elementos de\(C\). Anote esto, es un hecho importante que usaremos a lo largo de la prueba.
Por la definición de\(\subseteq\), ya que\(A \subseteq C\), para todos\(z\), si\(z \in A\), entonces\(z \in C\).
Hemos desempaquetado todas las definiciones que se nos dan en el supuesto. Ahora podemos pasar a la conclusión. Queremos mostrar eso\(A \cup (C \setminus A) = C\), y así establecemos una prueba similar al último ejemplo: mostramos que cada elemento de\(A \cup (C \setminus A)\) es también un elemento de\(C\) y, a la inversa, cada elemento de\(C\) es un elemento de\(A \cup (C \setminus A)\). Podemos acortar esto a:\(A \cup (C \setminus A) \subseteq C\) y\(C \subseteq A \cup (C \setminus A)\). (Aquí estamos haciendo lo contrario de desempaquetar una definición, pero hace que la prueba sea un poco más fácil de leer). Como se trata de una conjunción, tenemos que probar ambas partes. Para mostrar la primera parte, es decir, que cada elemento de\(A \cup (C \setminus A)\) es también un elemento de\(C\), asumimos que\(z \in A \cup (C \setminus A)\) para una arbitraria\(z\) y mostrar eso\(z \in C\). Por la definición de\(\cup\), podemos concluir eso\(z \in A\) o\(z \in C \setminus A\) desde\(z \in A \cup (C \setminus A)\). Ahora deberías estar cogiendo la caída de esto.
\(A \cup (C \setminus A) = C\)iff\(A \cup (C \setminus A) \subseteq C\) y\(C \subseteq (A \cup (C \setminus A)\). Primero lo demostramos\(A \cup (C \setminus A) \subseteq C\). Vamos\(z \in A \cup (C \setminus A)\). Entonces, ya sea\(z \in A\) o\(z \in (C \setminus A)\).
Hemos llegado a una disyunción, y a partir de ella queremos probarlo\(z \in C\). Esto lo hacemos usando prueba por casos.
Caso 1:\(z \in A\). Ya que para todos\(z\)\(z \in A\), si\(z \in C\),, tenemos eso\(z \in C\).
Aquí hemos utilizado el hecho registrado anteriormente que siguió de la hipótesis de la proposición de que\(A \subseteq C\). El primer caso está completo, y pasamos al segundo caso,\(z \in (C \setminus A)\). Recordemos que\(C \setminus A\) denota la diferencia de los dos conjuntos, es decir, el conjunto de todos los elementos de los\(C\) cuales no son elementos de\(A\). Pero cualquier elemento de\(C\) no en\(A\) es en particular un elemento de\(C\).
Caso 2:\(z \in (C \setminus A)\). Esto significa que\(z \in C\) y\(z \notin A\). Entonces, en particular,\(z \in C\).
Genial, hemos demostrado la primera dirección. Ahora para la segunda dirección. Aquí lo demostramos\(C \subseteq A \cup (C \setminus A)\). Entonces asumimos eso\(z \in C\) y lo demostramos\(z \in A \cup (C \setminus A)\).
Ahora vamos\(z \in C\). Queremos mostrar eso\(z \in A\) o\(z \in C \setminus A\).
Dado que todos los elementos de también\(A\) son elementos de\(C\), y\(C \setminus A\) es el conjunto de todas las cosas que son elementos de\(C\) pero no\(A\), se deduce que\(z\) está en\(A\) o en \(C \setminus A\). Esto puede ser un poco confuso si aún no sabes por qué el resultado es cierto. Sería mejor probarlo paso a paso. Ayudará a utilizar un simple hecho que podamos exponer sin pruebas:\(z \in A\) o\(z \notin A\). A esto se le llama el “principio de medio excluido”: para cualquier afirmación\(p\), o\(p\) es verdadera o su negación es verdadera. (Aquí,\(p\) está la afirmación de que\(z \in A\).) Dado que se trata de una disyunción, podemos volver a utilizar prueba por casos.
\(z \in A\)O bien\(z \notin A\). En el primer caso,\(z \in A \cup (C \setminus A)\). En este último caso,\(z \in C\) y\(z \notin A\), así\(z \in C \setminus A\). Pero entonces\(z \in A \cup (C \setminus A)\).
Nuestra prueba está completa: lo hemos demostrado\(A \cup (C \setminus A) = C\).
◻