Saltar al contenido principal

# 1.2: Subconjuntos y Conjuntos de Potencia

$$\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}$$

Template:MathJaxZach

A menudo vamos a querer comparar conjuntos. Y un tipo obvio de comparación que uno podría hacer es la siguiente: todo en un conjunto también está en el otro. Esta situación es lo suficientemente importante para que introduzcamos alguna nueva notación.

Definición$$\PageIndex{1}$$: Subset

Si cada elemento de un conjunto$$A$$ es también un elemento de$$B$$, entonces decimos que$$A$$ es un subconjunto de$$B$$, y escribimos$$A \subseteq B$$. Si no$$A$$ es un subconjunto de$$B$$ escribimos$$A \not\subseteq B$$. Si$$A \subseteq B$$ pero$$A \neq B$$, escribimos$$A \subsetneq B$$ y decimos que$$A$$ es un subconjunto propio de$$B$$.

Ejemplo$$\PageIndex{1}$$

Cada conjunto es un subconjunto de sí mismo, y$$\emptyset$$ es un subconjunto de cada conjunto. El conjunto de números pares es un subconjunto del conjunto de números naturales. También,$$\{ a, b \} \subseteq \{ a, b, c \}$$. Pero no$$\{ a, b, e \}$$ es un subconjunto de$$\{ a, b, c \}$$.

Ejemplo$$\PageIndex{2}$$

El número$$2$$ es un elemento del conjunto de enteros, mientras que el conjunto de números pares es un subconjunto del conjunto de enteros. Sin embargo, un conjunto puede suceder que sea tanto un elemento como un subconjunto de algún otro conjunto, por ejemplo,$$\{0\} \in \{0, \{0\}\}$$ y también$$\{0\} \subseteq \{0, \{0\}\}$$.

La extensionalidad da un criterio de identidad para los conjuntos:$$A = B$$ iff cada elemento de$$A$$ es también un elemento de$$B$$ y viceversa. La definición de “subconjunto” define$$A \subseteq B$$ precisamente como la primera mitad de este criterio: cada elemento de$$A$$ es también un elemento de$$B$$. Por supuesto la definición también se aplica si cambiamos$$A$$ y$$B$$: es decir,$$B \subseteq A$$ iff cada elemento de también$$B$$ es un elemento de$$A$$. Y esa, a su vez, es exactamente la parte “viceversa” de la extensionalidad. En otras palabras, la extensionalidad implica que los conjuntos son iguales si son subconjuntos entre sí.

Proposición$$\PageIndex{1}$$

$$A = B$$iff tanto$$A \subseteq B$$ como$$B \subseteq A$$.

Ahora también es una buena oportunidad para introducir algunos bits adicionales de notación útil. Al definir cuándo$$A$$ es un subconjunto de$$B$$ dijimos que “cada elemento de$$A$$ es...”, y llenó el “$$\dots$$” con “un elemento de$$B$$”. Pero esta es una forma de expresión tan común que será útil introducir alguna notación formal para ello.

Definición$$\PageIndex{2}$$

$$(\forall x \in A)\phi$$abrevia$$\forall x(x \in A \rightarrow \phi)$$. De igual manera,$$(\exists x \in A)\phi$$ se abrevia$$\exists x(x \in A \land \phi)$$.

Usando esta notación, podemos decir que$$A \subseteq B$$ iff$$(\forall x \in A)x \in B$$.

Ahora pasamos a considerar un cierto tipo de conjunto: el conjunto de todos los subconjuntos de un conjunto dado.

Definición$$\PageIndex{3}$$: Power Set

El conjunto que consiste en todos los subconjuntos de un conjunto$$A$$ se llama el conjunto de potencia de$$A$$, escrito$$\Pow{A}$$. $\Pow{A} = \Setabs{B}{B \subseteq A}\nonumber$

Ejemplo$$\PageIndex{3}$$

¿Cuáles son todos los subconjuntos posibles de$$\{ a, b, c \}$$? Ellos son:$$\emptyset$$,$$\{a \}$$,$$\{b\}$$,$$\{c\}$$,$$\{a, b\}$$,$$\{a, c\}$$,$$\{b, c\}$$,$$\{a, b, c\}$$. El conjunto de todos estos subconjuntos es$$\Pow{\{a,b,c\}}$$:$\Pow{\{ a, b, c \}} = \{\emptyset, \{a \}, \{b\}, \{c\}, \{a, b\}, \{b, c\}, \{a, c\}, \{a, b, c\}\}\nonumber$

Problema$$\PageIndex{1}$$

Enumere todos los subconjuntos de$$\{a, b, c, d\}$$.

Problema$$\PageIndex{2}$$

Mostrar que si$$A$$ tiene$$n$$ elementos, entonces$$\Pow{A}$$ tiene$$2^n$$ elementos.

This page titled 1.2: Subconjuntos y Conjuntos de Potencia is shared under a CC BY license and was authored, remixed, and/or curated by Richard Zach et al. (Open Logic Project) .