Introducción
En esta entrada hablaremos de la definición no formal, pero que podremos aceptar, de un conjunto. Comenzaremos a estudiar tres de los primeros axiomas de la teoría de los conjuntos: de existencia, de extensión y el axioma esquema de comprensión. Dichos axiomas nos permitirán construir nuestros primeros conjuntos y, a su vez, ver cuando son iguales.
¿Qué es un conjunto?
En la sección anterior hicimos un recordatorio sobre la definición de conjunto que dio Georg Cantor, sin embargo, aunque parezca increíble no existe una definición formal de este concepto pues le generaría contradicciones a nuestra teoría. Si bien esto es cierto podemos aceptar una «definición» que más bien será una idea intuitiva de lo que es.
Definición: Un conjunto es una colección de objetos que comparten una propiedad, donde una propiedad es un predicado tal que para cualquier objeto es posible decidir si se cumple o no, es decir, no existen ambigüedades.
Ejemplo:
Consideremos la propiedad «$P(x)=x$ es un número entero tal que $0\leq x\leq 9$». De modo que si $A$ es el conjunto que tiene como elementos a $x$ tal que $P(x)$ es verdadero, inferimos que $A=\set{1,2,3,4,5,6,7,8,9}$. Entonces diremos que los elementos de $A$ son $0$, $1$, $2$, $3$, $4$, $5$, $6$, $7$, $8$, y $9$ y lo podemos denotar como $0\in A$, $1\in A$, …, $9\in A$.
A si mismo podremos decidir si un elemento no forma parte de nuestro conjunto, como $x=10$ ya que en este caso $P(x)$ es falso. En cambio, si decimos que «$Q(x)= x$ es una persona gorda» no podremos decir quienes serán los elementos de la colección $B=\set{x : Q(x)}$. Esto último debido a que la propiedad resulta poco clara y depende de que significa ser una persona gorda. Es decir, requiere que se defina a partir de cuantos kilogramos una persona tiene esta característica.
$\square$
Primeros axiomas
Axioma de existencia: Existe un conjunto que no tiene elementos.
Hay diversas formas para describir a un conjunto que no tiene elementos, una de las propiedades que podemos utilizar es la siguiente:
«$P(x): x\not=x$»
Si lo piensas no existe nadie que cumpla esta propiedad pues cualquier objeto que demos siempre será igual a sí mismo. Una forma de imaginarnos a este conjunto es pensar en una bolsa que no tenga nada adentro, como se muestra en la siguiente imagen:
Axioma de extensión: $X=Y$ si para cualquier conjunto $x$, $x\in X$ si y sólo si $x\in Y$.
Este axioma nos permite decir cuando dos conjuntos $X$ e $Y$ son iguales, esto ocurre cuando todos los conjuntos que son elementos de $X$ también lo son de $Y$ y viceversa.
Ejemplo:
Sean $A=\set{1,2,3,4}$ y $B=\set{2,3,4,1}$, tenemos que $A=B$. En efecto, los elementos de $A$ son $1$, $2$, $3$ y $4$, y son los mismos elementos que tiene el conjunto $B$.
$\square$
Proposición: Existe un único conjunto sin elementos.
Demostración: Sean $A$ y $B$ conjuntos que no tienen elementos, veamos que $A=B$.
$\subseteq$] Sea $x\in A$, entonces $x\in B$ es verdadero por vacuidad. Por lo tanto $A\subseteq B$.
$\subseteq$] Sea $x\in B$, entonces $x\in A$ es verdadero por vacuidad. Por lo tanto $B\subseteq A$.
Por lo tanto, $A=B$.
$\square$
Definición: Al único conjunto que no tiene elementos le llamaremos conjunto vacío y será denotado por $\emptyset$.
Axioma esquema de comprensión: Sea $P(x)$ una propiedad. Para cualquier conjunto $A$ existe un conjunto $B$ tal que $x\in B$ si y sólo si $x\in A$ y satisface $P(x)$.
Antes vimos que un conjunto es una colección de elementos tales que cumplen una propiedad, sin embargo dijimos que no existía una definición formal de conjunto pues de ser así obtendríamos contradicciones en nuestra teoría y es con este último axioma que lograremos quitarlas.
Tarea moral
- Da 2 propiedades diferentes tal que para cualquier conjunto que des sean falsas y nos den otra forma de escribir al conjunto vacío.
- Di si $\emptyset\in \emptyset$ es verdadero o falso. Argumenta tu respuesta.
- Prueba que si $P(x)$ es una propiedad, para todo conjunto $A$ existe un único conjunto $B$ tal que $x\in B$ si y sólo si $x\in A$ y $P(x)$. (Esto prueba que el conjunto que nos otorga el axioma de comprensión es único).
Más adelante…
En esta sección hablamos de axiomas básicos y de construcción, los cuales nos permitirán hablar de nuevos conjuntos, así mismo con ellos probaremos teoremas importantes de la teoría de los conjuntos. En la siguiente sección abordaremos una de las famosas paradojas que tiene las matemáticas en esta área, la cual es conocida como la paradoja del barbero o la paradoja de Russell.
Enlaces
En el siguiente enlace podrás encontrar más contenido acerca de los primeros axiomas de la teoría de conjuntos: