Introducción

A continuación hablaremos acerca de los axiomas débiles de la teoría de los conjuntos. Veremos que a partir de dichos axiomas y el esquema de comprensión, podemos deducir los axiomas de existencia, del par, de unión y de conjunto potencia. Esto resulta ser de interés pues en los sistemas axiomáticos a veces tiene ventajas considerar los axiomas más debiles que siguen dando una teoría equivalente.

Axiomas débiles

Veamos qué nos dicen los axiomas débiles de la teoría de conjuntos:

• Axioma débil de existencia. Existe un conjunto.

• Axioma débil del par. Para cualesquiera $a,b$ existe un conjunto $c$ tal que $a\in c$ y $b\in c$.

• Axioma débil de unión. Para cualquier conjunto $s$ existe un conjunto $U$ tal que si $x\in a$ y $a\in s$, entonces $x\in U$.

• Axioma débil del conjunto potencia. Para cualquier conjunto $a$ existe un conjunto $p$ tal que si $x\subseteq a$ entonces $x\in p$.

Diferencias entre axiomas débiles y los axiomas

El axioma débil de existencia nos asegura que existe al menos un conjunto, sin embargo, no necesariamente será el conjunto vacío.

Por su parte, para $a$ y $b$ conjuntos el axioma débil del par nos otorga un conjunto cuyos elementos serán $a$ y $b$, pero no necesariamente serán sus únicos elementos como en el caso del axioma del par.

Ejemplo.

Sean $a$ y $b$ conjuntos distintos y no vacíos. El axioma débil del par podría garantizarnos la existencia de, digamos, $c=\{a,b,\mathrm{\varnothing }\}$. Tenemos que en efecto $a\in c$ y $b\in c$, sin embargo, $\mathrm{\varnothing }\in c$. Por lo que, el conjunto que nos otorga el axioma débil del par no necesariamente resultar ser un par no ordenado que tiene exactamente a $a$ y $b$.

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

El axioma débil de unión nos asegura que para cualquier conjunto $s$ existe un conjunto $U$ cuyos elementos serán los elementos de los elementos de $s$, sin embargo, $U$ puede tener elementos $x$ que no cumplan que $x\in a$ y $a\in s$.

Ejemplo.

Si $s=\{\mathrm{\varnothing },\{\mathrm{\varnothing }\}\}$, el axioma débil del par podría garantizarnos la existencia de, digamos, $U=\{\mathrm{\varnothing },b\}$ con $b\ne \mathrm{\varnothing }$. Pero esto no es lo mismo que la unión como la platicamos. Por un lado, $\mathrm{\varnothing }\in \{\mathrm{\varnothing }\}$ y $\{\mathrm{\varnothing }\}\in s$, lo cual coincide con lo que hemos platicado, pero también $b\in s$, que podría darnos un elemento adicional que no teníamos.

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

Finalmente, para el axioma débil del conjunto potencia pasa algo parecido. Si $a$ es un conjunto, el axioma nos otorga un conjunto $p$ cuyos elementos son aquellos que están contenidos en $a$, pero no necesariamente serán los únicos elementos del conjunto $p$.

Ejemplo.

Sea $a=\{\mathrm{\varnothing }\}$. Quizás el conjunto garantizado por el axioma débil del conjunto potencia es $p=\{\mathrm{\varnothing },\{\mathrm{\varnothing }\},\{\{\mathrm{\varnothing }\}\}\}$. Notemos que $\mathrm{\varnothing }\subseteq a=\{\mathrm{\varnothing }\}$ y $\{\mathrm{\varnothing }\}\subseteq a=\{\mathrm{\varnothing }\}$. Sin embargo, $\{\{\mathrm{\varnothing }\}\}⊈a$ pues $\{\mathrm{\varnothing }\}\in \{\{\mathrm{\varnothing }\}\}$ pero $\{\mathrm{\varnothing }\}\notin \{\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">}$

Axioma débil de existencia, junto con el esquema de comprensión implican axioma de existencia.

Demostración.

Sea $A$ el conjunto que existe por axioma débil de existencia. Luego, por el esquema de comprensión tenemos que

$\{x\in A:x\ne x\}$

es conjunto.

Veamos que $\{x\in A:x\ne x\}$ no tiene elementos. Supongamos por contradicción que $\{x\in A:x\ne x\}$ tiene al menos un elemento, denotado como $y$. Entonces $y\in A$ y $y\ne y$, lo que es un absurdo pues para cualquier conjunto $z$, $z=z$. Así, $\{x\in A:x\ne x\}$ no tiene elementos, es decir, es el conjunto vacío.

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

Axioma débil del par, junto con el esquema de comprensión, implican axioma del par.

Demostración.

Sean $a$ y $b$ conjuntos. Sea $c$ el conjunto que existe por axioma débil del par. Luego, por el esquema de comprensión tenemos que

$\{x\in c:x=a\vee x=b\}$

es conjunto. Resulta que los únicos elementos de $\{x\in c:x=a\vee x=b\}$ son $a$ y $b$, pues si $z\in \{x\in c:x=a\vee x=b\}$, $z$ es tal que $z\in c$ y $z=a$ o $z=b$.

Observa que al añadir la propiedad de que $x=a$ o $x=b$, eliminamos todos aquellos conjuntos en $c$ que no son $a$ y no son $b$, de esta forma a partir del axioma débil del par obtenemos al conjunto que solo tiene a $a$ y $b$.

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

Axioma débil de unión, junto con el esquema de comprensión, implican axioma de unión.

Demostración.

Sea $a$ un conjunto y sea $d$ el conjunto que nos otorga el axioma débil de unión.

Luego, por el esquema de comprensión tenemos que

$U=\{x\in d:\mathrm{\exists }y\in a(x\in y)\}$

es conjunto.

Observemos que los elementos de $\{x\in d:\mathrm{\exists }y\in a(x\in y)\}$ coinciden con los elementos del conjunto que nos otorga el axioma de unión. Para ello, debemos verificar que se cumple lo siguiente: $x\in U$ si y sólo si existe $y\in a$ tal que $x\in y$. Así pues, si $x\in U$, entonces, $x\in d$ y existe $y\in a$ tal que $x\in y$, en consecuencia, podemos concluir que si $x\in U$, existe $y\in a$ tal que $x\in y$. Ahora bien, si tenemos un conjunto $x$ tal que existe $y\in a$ tal que $x\in y$, entonces, $x\in d$ por la propiedad que tiene el conjunto $d$ otorgado por el axioma débil de unión. De esta manera, $x\in U$, ya que $x\in d$ y existe $y\in a$ con $x\in y$.

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

La siguiente lista de ejercicios te ayudará a poner en práctica lo que hemos visto en esta sección pues ahora tú tendrás que dar algunos ejemplos distintos a los de esta entrada que nos permitan diferenciar a los axiomas débiles de los axiomas que conocemos de la teoría de los conjuntos:

• Demuestra que se puede inferir el axioma del conjunto potencia del axioma débil del conjunto potencia y el esquema de comprensión.
• Da otros ejemplos que muestren la diferencia entre el axioma débil del par y el axioma del par.
• Da otros ejemplos que muestren la diferencia entre el axioma débil de unión y el axioma de unión.
• Da otros ejemplos que muestren la diferencia entre el axioma débil del conjunto potencia y el axioma del conjunto potencia.

Más adelante…

En este momento hemos sentado las bases para nuestro curso de teoría de conjuntos. En la siguiente entrada comenzaremos a hablar acerca del complemento de un conjunto. Este nuevo conjunto también se tratará de una operación entre conjuntos. Sus resultados como las leyes de De Morgan, nos serán de gran utilidad para hacer álgebra de conjuntos.

Entradas relacionadas

• Entradas relacionadas: Teoría de los Conjuntos I: Operaciones entre conjuntos
• Álgebra Superior I: Leyes de De Morgan y diferencia simétrica de conjuntos
• Álgebra Superior I: Intersecciones, uniones y complementos de conjuntos
• Ir a Teoría de los Conjuntos I
• Entrada anterior: Teoría de los Conjuntos I: El axioma de buena fundación
• Siguiente entrada: Teoría de los Conjuntos I: El complemento de un conjunto

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»