Archivo del Autor: Gabriela Hernández Aguilar

Teoría de los Conjuntos I: Axiomas de existencia, de comprensión y de extensión

Por Gabriela Hernández Aguilar

Deja un comentario

Introducción

«Se entiende por un conjunto a la agrupación en un todo de objetos bien diferenciados de nuestra intuición o nuestra mente».

Georg Cantor

Para iniciar tu aventura por la teoría de los conjuntos es importante plantear un sistema axiomático pues en este curso entenderemos por conjunto todo aquello que los axiomas nos permitan obtener como conjunto. Una particularidad de nuestros axiomas es que los elementos de conjuntos siempre serán otros conjuntos y es que de hecho en este curso todo es conjunto.

Axioma de existencia

Para siquiera hablar de conjuntos, es importante garantizar que hay por lo menos un conjunto. El axioma de existencia nos garantiza eso.

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\ \text{es un conjunto distinto de sí mismo}$».

Si lo piensas, no existe nadie que cumpla esta propiedad pues cualquier conjunto 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.

Ten cuidado, pues esta manera de pensar a un conjunto sin elementos es informal. Sin embargo, en los ejercicios al final, verás cómo formalizarla.

La siguiente noción importante que nos dan los axiomas es la de igualdad de conjuntos.

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 cuándo 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.

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

Para demostrar la igualdad entre conjuntos, tenemos que probar que $X\subseteq Y$ y $Y\subseteq X$ de acuerdo al axioma de extensión.

Con este axioma y la definición de contención, podemos probar que el conjunto que nos otorga el axioma de existencia es único. Podríamos pensar, a partir de nuestra imagen anterior, que si tenemos dos bolsas de un color distinto que no tengan nada adentro, resultarían en dos conjuntos distintos. Sin embargo, dado que solo nos interesa quienés son los elementos de estas bolsas, si ambas no tienen nada adentro resultará que son iguales.

Antes de realizar la demostración de que el conjunto que nos da el axioma de existencia es único, acordaremos que, para demostrar la igualdad entre conjuntos $x$ y $y$, es necesario demostrar que $x\subseteq y$ y $y\subseteq x$, por lo que para referirnos a que se esta demostrando la primera contención pondremos «$\subseteq$]» al inicio de la prueba y para probar la segunda contención pondremos «$\supseteq$]» al inicio de la prueba.

Previo a realizar la demostración haremos una pausa para hablar acerca del argumento por vacuidad. En la entrada anterior hicimos mención de que las propiedades en el lenguaje de la teoría de los conjuntos nos permitirian describir propiedades que pueden o no satisfacer conjuntos dados.

De esta manera, si consideramos a $z$ como un conjunto sin elementos, la propiedad $\forall x(x\in z\rightarrow \varphi(x))$ es verdadera siempre, pues no hay conjunto $x$ que cumpla la propiedad ya que $z$ no tiene elementos.

Proposición. Existe un único conjunto sin elementos.

Demostración. Sean $A$ y $B$ conjuntos que no tienen elementos, veamos que $A=B$.

$\subseteq$] Por vacuidad, si $x\in A$, entonces $x\in B$, pues no hay nadie en $A$.

$\supseteq$] Por vacuidad, si $x\in B$, entonces $x\in A$, pues no hay nadie en $B$.

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

Presentamos el último ingrediente axiomático de esta entrada. En vez de llamarse «axioma» se llama «esquema» pues condensa muchos axiomas, uno por cada propiedad $P$ y cada conjunto $A$.

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)$.

Este esquema nos permite construir conjuntos con elementos de otro conjunto que satisfacen una propiedad. Esto último evitará tener contradicciones como la paradoja del barbero que veremos en la siguiente entrada.

Tarea moral

  1. Da 2 propiedades diferentes tal que para cualquier conjunto que des, no exista un conjunto que las cumpla y nos den otra forma de escribir al conjunto vacío.
  2. ¿Es verdadero o falso $\emptyset\in \emptyset$? Argumenta tu respuesta.
  3. 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 esquema de comprensión es único).
  4. Imagina que cambiamos el axioma de existencia por «Existe por lo menos un conjunto $X$.» Mediante este nuevo axioma y el esquema de comprensión, demuestra la existencia del conjunto vacío. Como sugerencia usa la discusión intuitiva que dimos del vacío.

Más adelante…

En esta entrada 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.

Entradas relacionadas

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»

Teoría de los Conjuntos I: Lenguaje de la Teoría de los Conjuntos

Por Gabriela Hernández Aguilar

1 respuesta

Introducción

Antes de comenzar con nuestro curso de Teoría de los Conjuntos I, dedicaremos esta entrada para hablar acerca de lógica de primer orden. Esto lo haremos únicamente con el fin de que veas como se van construyendo las fórmulas del lenguaje de la Teoría de los Conjuntos. Dichas fórmulas las utilizaremos en distintos momentos a lo largo de este curso.

Necesariamente, esta entrada será breve, pues todas las precisiones de lógica se ven en un curso de esta materia, y todas las precisiones de teoría de conjuntos es parte de lo que esperamos entender en este curso.

Lenguaje de la Teoría de los Conjuntos 1

Definición. El lenguaje de la teoría de los conjuntos consiste en:

Simbolos lógicos:

  1. Variables $x, y, z$
  2. Conectivos lógicos $\neg$, $\land$, $\vee$, $\rightarrow$, $\leftrightarrow$
  3. Cuantificadores $\forall$, $\exists$
  4. Parentesis (,)

Simbolos no lógicos:

  1. Símbolos de predicado $\in$ y $=$.

Es importante decir que todas las variables de nuestro lenguaje representarán conjuntos y los símbolos de predicado representarán relaciones entre estos conjuntos.

Las fórmulas atómicas son de la forma: $x\in y$ y $x=y$.

A partir de aquí, podemos formar más fórmulas, ya que si $\phi$ y $\varphi$ son fórmulas, entonces $\neg \phi$, $\phi \land \varphi$, $\phi \vee \varphi$, $\phi \rightarrow \varphi$, $\phi \leftrightarrow \varphi$ tambien lo son.

Ejemplo.

$\neg (x=y)$, $(x\in y)\land (x=y)$, $(x\in y)\vee (x\in z)$, $(x\in z)\rightarrow (x=z)$, $(x\in z)\leftrightarrow (y\in w)$ son fórmulas de la teoría de conjuntos.

$\square$

Si $\varphi$ es una fórmula de la teoría de los conjuntos, entonces $\exists x \varphi$ y $\forall x \varphi$ también lo son.

Ejemplo.

  • Dado que $(x\in y)\vee (x\in z)$ es una fórmula de la teoría de los conjuntos. Entonces, $\forall x((x\in y) \vee (x\in z))$ también lo es.
  • $\forall x((x\in y) \rightarrow \neg(x\in z))$ es fórmula de la teoría de conjuntos.
  • $\exists x(x\in y)$ es fórmula de la teoría de conjuntos.

$\square$

Las fórmulas del lenguaje de la teoría de los conjuntos nos permiten:

  1. Describir propiedades que pueden o no satisfacer conjuntos dados de antemano.
  2. Expresar relaciones entre dos o más conjuntos.

A partir de ahora, a aquellas fórmulas que describen una característica particular de un conjunto $x$ les llamaremos propiedades y las denotaremos con $P(x)$, $Q(x)$, $P_1(x)$, $P_2(x)$, etcétera.

Dado que las fórmulas que podemos ir construyendo con el lenguaje de la teoría de los conjuntos se vuelven muy complejas, vamos a abreviarlas para facilitar su escritura.

Abreviaturas.

  • $\neg(x\in y)$ lo escribiremos como $x\notin y$.
  • $\neg(x=y)$ lo escribiremos como $x\not= y$.
  • $\forall x((x\in y)\rightarrow (x\in z))$ lo escribiremos como $y\subseteq z$.
  • Si $\varphi$ es una fórmula dada, $\forall x(x\in y\rightarrow \varphi)$ y $\exists x(x\in y\land \varphi)$ las escribiremos como $\forall x\in y \varphi$ y $\exists x\in y \varphi$, respectivamente.

Tarea moral

Construye 10 fórmulas del lenguaje de la teoría de los conjuntos. Utiliza cuantificadores y conectivos lógicos.

Más adelante…

En la siguiente entrada daremos inicio al curso de Teoría de los Conjuntos I. Comenzaremos hablando de los primeros axiomas de Zermelo-Fraenkel, estos axiomas son los de existencia, de comprensión y de extensión. El primero de ellos nos permitirá siquiera asegurar la existencia de un conjunto.

Entradas relacionadas

Los siguientes enlaces te servirán para revisar con mejor detalle el tema:

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»

  1. Puede consultar más información sobre esto en Fernández de Castro M., Villegas Silva L. (2011). Lógica Matemática II: Clásica, Intuicionista y Modal (1.ª ed.) Universidad Autónoma Metropolitana. p. 151-152. ↩︎