Introducción

En esta nueva entrada recordaremos el concepto de contención y destacaremos su diferencia con el concepto de pertenencia. También abordaremos el axioma del conjunto potencia, a partir de este axioma podremos trabajar con los subconjuntos de un conjunto.

Definición de contención y algunas propiedades

Primero vamos a recordar la definición de contención.

Definición. Sean $A$ y $B$ conjuntos. Diremos que $A$ está contenido en $B$, en símbolos $A\subseteq B$, si para todo $x\in A$ se tiene $x\in B$.

Proposición. Sean $A$, $B$ y $C$ conjuntos. Las siguientes fórmulas son verdaderas:

1. $\mathrm{\varnothing }\subseteq A$.
2. $A\subseteq A$.
3. Si $A\subseteq B$ y $B\subseteq C$, entonces $A\subseteq C$.

Demostración.

1. Para demostrar que $\mathrm{\varnothing }\subseteq A$, observemos que para cualquier $x\in \mathrm{\varnothing }$, se cumple que $x\in A$. Esto es cierto por vacuidad, pues no existe $x$ en $\mathrm{\varnothing }$ que no pertenezca a $A$.
2. Dado que para cualquier conjunto $A$, tenemos que $A=A$, entonces se cumple que $x\in A$ si y sólo si $x\in A$. En particular, si $x\in A$ entonces $x\in A$, esto es $A\subseteq A$.
3. Supongamos que $A\subseteq B$ y $B\subseteq C$. Veamos que $A\subseteq C$.
   Sea $x\in A$, entonces, como $A\subseteq B$, por la definición de contención, se sigue que $x\in B$.
   Luego, como $x\in B$ y $B\subseteq C$, entonces $x\in C$. Por lo tanto, $A\subseteq C$.

$\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◻"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fb.svg">}$

Con estos resultados podremos decir que el conjunto vacío es subconjunto de cualquier conjunto, hasta de él mismo, como lo verifica la segunda propiedad. Finalmente, con la propiedad tres diremos que la contención es transitiva.

Potencia de un conjunto

Axioma del conjunto potencia. Para cualquier conjunto $X$ existe un conjunto $S$ tal que $a\in S$ si y sólo si $a\subseteq X$.

Al igual que con los conjuntos que nos otorgan los axiomas anteriores, el conjunto $S$ del axioma de conjunto potencia es único. Para que practiques las ideas que hemos visto, esto quedará como ejercicio.

Definición. Sea $A$ un conjunto, al conjunto que obtenemos a partir del axioma del conjunto potencia le llamaremos el conjunto potencia de $A$ y lo denotaremos por $\mathcal{P}(A)$.

Ejemplos.

1. Para el conjunto $\mathrm{\varnothing }$, tenemos que $S=\{\mathrm{\varnothing }\}$. Dado que $\mathrm{\varnothing }\subseteq \mathrm{\varnothing }$ y $\mathrm{\varnothing }$ es el único conjunto que satisface estar contenido en $\mathrm{\varnothing }$, entonces $S=\{\mathrm{\varnothing }\}$.
2. Para el conjunto $\{\mathrm{\varnothing }\}$ tenemos que $S=\{\mathrm{\varnothing },\{\mathrm{\varnothing }\}\}$. En efecto, como $\mathrm{\varnothing }\subseteq \{\mathrm{\varnothing }\}$ y $\{\mathrm{\varnothing }\}\subseteq \{\mathrm{\varnothing }\}$ y son los únicos que satisfacen la propiedad de estar contenidos en $\{\mathrm{\varnothing }\}$, entonces $S=\{\mathrm{\varnothing },\{\mathrm{\varnothing }\}\}$.
3. Ahora, para el conjunto $\{\mathrm{\varnothing },\{\mathrm{\varnothing }\}\}$ tenemos que $\mathrm{\varnothing }\subseteq \{\mathrm{\varnothing },\{\mathrm{\varnothing }\}\}$, $\{\mathrm{\varnothing }\}\subseteq \{\mathrm{\varnothing },\{\mathrm{\varnothing }\}\}$, $\{\{\mathrm{\varnothing }\}\}\subseteq \{\mathrm{\varnothing },\{\mathrm{\varnothing }\}\}$ y $\{\mathrm{\varnothing },\{\mathrm{\varnothing }\}\}\subseteq \{\mathrm{\varnothing },\{\mathrm{\varnothing }\}\}$ tenemos que $\{\mathrm{\varnothing },\{\mathrm{\varnothing }\},\{\{\mathrm{\varnothing }\}\},\{\mathrm{\varnothing },\{\mathrm{\varnothing }\}\}\}\subseteq S$.
   En la tarea moral deberás probar que $\mathrm{\varnothing },\{\mathrm{\varnothing }\},\{\{\mathrm{\varnothing }\}\},\{\mathrm{\varnothing },\{\mathrm{\varnothing }\}\}$ son los únicos subconjuntos de $\{\mathrm{\varnothing },\{\mathrm{\varnothing }\}\}$, y por lo tanto $S=\{\mathrm{\varnothing },\{\mathrm{\varnothing }\},\{\{\mathrm{\varnothing }\}\},\{\mathrm{\varnothing },\{\mathrm{\varnothing }\}\}\}$.

$\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◻"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fb.svg">}$

Propiedades del conjunto potencia

Proposición. Sean $A$ y $B$ conjuntos, las siguientes fórmulas son ciertas:
a) Si $A\subseteq B$, entonces $\mathcal{P}(A)\subseteq \mathcal{P}(B)$,
b) $A\subseteq B$ implica que $\bigcup A\subseteq \bigcup B$,
c) $\bigcup \mathcal{P}(A)=A$,
d) $\mathcal{P}(A)\cup \mathcal{P}(B)\subseteq \mathcal{P}(A\cup B)$.

Demostración.
a) Supongamos que $A\subseteq B$. Sea $x\in \mathcal{P}(A)$, por definición de potencia tenemos que $x\subseteq A$. Luego, como $A\subseteq B$ se sigue así por transitividad de la contención tenemos que $x\subseteq B$. Por lo tanto, $x\in \mathcal{P}(B)$.
Por lo tanto, $\mathcal{P}(A)\subseteq \mathcal{P}(B)$.

b) Supongamos que $A\subseteq B$. Sea $x\in \bigcup A$, se sigue por definición de unión que existe $y\in A$ tal que $x\in y$. Como $A\subseteq B$, entonces $y\in B$ y como $x\in y$, entonces $x\in \bigcup B$. Por lo tanto, $\bigcup A\subseteq \bigcup B$.

c) $\subseteq$] Tomemos $x\in \bigcup \mathcal{P}(A)$ y mostremos que $x\in A$. Que $x\in \bigcup \mathcal{P}(A)$ implica que existe $y\in \mathcal{P}(A)$ tal que $x\in y$. Por definición de conjunto potencia tenemos que $y\subseteq A$. De este modo, $x\in y\subseteq A$, de donde, $x\in A$ lo que prueba que $\bigcup \mathcal{P}(A)\subseteq A$.

$\supseteq$] Dado que $A\subseteq A$ entonces $A\in \mathcal{P}(A)$ para cualquier conjunto $A$. Por la última proposición de la entrada anterior, tenemos que si $A\in \mathcal{P}(A)$, entonces $A\subseteq \bigcup \mathcal{P}(A)$.

Por lo anterior tenemos que $A=\bigcup \mathcal{P}(A)$.

d) Sea $x\in \mathcal{P}(A)\cup \mathcal{P}(B)$. Se sigue que $x\in \mathcal{P}(A)$ o $x\in \mathcal{P}(B)$. Evaluemos los dos casos:
– Si $x\in \mathcal{P}(A)$, entonces $x\subseteq A$ y como $A\subseteq A\cup B$, por transitividad se sigue que $x\subseteq A\cup B$ y así, $x\in \mathcal{P}(A\cup B)$.
– Si $x\in \mathcal{P}(B)$, entonces $x\subseteq B$ y como $B\subseteq A\cup B$, entonces por transitividad $x\subseteq A\cup B$ y así, $x\in \mathcal{P}(A\cup B)$.
Concluimos que $\mathcal{P}(A)\cup \mathcal{P}(B)\subseteq \mathcal{P}(A\cup B)$.

$\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◻"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fb.svg">}$

Tarea moral

Los siguientes ejercicios te ayudarán a distinguir la diferencia entre pertenencia y contención. Así mismo comenzarás a plantear algunos contraejemplos para probar la falsedad de algunos enunciados sobre el conjunto potencia:

• Demuestra que los únicos subconjuntos de $\{\mathrm{\varnothing }\}$ son $\mathrm{\varnothing }$ y $\{\mathrm{\varnothing }\}$.
• Demuestra que $\mathrm{\varnothing },\{\mathrm{\varnothing }\},\{\{\mathrm{\varnothing }\}\},\{\mathrm{\varnothing },\{\mathrm{\varnothing }\}\}$ son los únicos subconjuntos de $\{\mathrm{\varnothing },\{\mathrm{\varnothing }\}\}$.
• Di si el siguiente enunciado es verdadero o falso: Si $A\in B$ y $B\in C$, entonces $A\in C$. (Argumenta tu respuesta).
• Calcula $\mathcal{P}(\{\mathrm{\varnothing },\{\mathrm{\varnothing }\},\{\mathrm{\varnothing },\{\mathrm{\varnothing }\}\}\})$.
• Argumenta por qué para cualquier conjunto $A$, se tiene que $\mathcal{P}(A)\ne \mathrm{\varnothing }$.
• Da un contraejemplo para ver que $\mathcal{P}(A)\cup \mathcal{P}(B)=\mathcal{P}(A\cup B)$ es falso.
• Da un contraejemplo para ver que $\mathcal{P}(\bigcup A)=A$ es falso.
• Demuestra que $\mathcal{P}(\mathrm{\varnothing })=\{\mathrm{\varnothing }\}$.
• Demuestra que el conjunto potencia garantizado por el axioma del conjunto potencia es único.

Más adelante…

En la siguiente entrada haremos uso de los conceptos que hemos visto hasta ahora, demostraremos algunos resultados sobre unión y definiremos nuevas operaciones entre conjuntos las cuales serán unión, intersección y diferencia. Estas operaciones nos otorgarán más resultados y estudiaremos algunas de sus propiedades.

Entradas relacionadas

• Entrada relacionada: Álgebra Superior I: Conjuntos y elementos
• Ir a Teoría de los Conjuntos I
• Entrada anterior: Teoría de los Conjuntos I: Axioma de unión y axioma de par
• Siguiente entrada: Teoría de los Conjuntos I: Operaciones entre conjuntos

Agradecimientos

Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE109323 «Hacia una modalidad a distancia de la Licenciatura en Matemáticas de la FC-UNAM – Etapa 3»