Archivo de la etiqueta: teoría de conjuntos

Teoría de los Conjuntos I: Teorema de Cantor-Schröder-Bernstein

Por Gabriela Hernández Aguilar

Introducción

En esta entrada probaremos que dados dos conjuntos $A$ y $B$ , tales que $A ⪯ B$ y $B ⪯ A$ , entonces $A \sim B$ . Si bien este resultado es muy intuitivo, matemáticamente hay algunas complicaciones. Las hipótesis nos dan funciones inyectivas de $A$ en $B$ y de $B$ en $A$ . Pero necesitamos una única función de $A$ en $B$ que sea biyectiva. ¿Cómo garantizamos la existencia de la segunda a partir de las primeras?

Lema del punto fijo

Primero demostraremos un lema sobre la existencia de un punto fijo, el cual será de utilidad en la demostración del teorema de Cantor-Schröder-Bernstein. Este lema nos dice que dada una función de $P (X)$ en sí mismo con cierta propiedad de monotonía, ésta cumple que debe fijar a algún elemento de $P (X)$ . Veamos la definición de monotonía que necesitamos.

Definición. Sea $f : P (X) \to P (X)$ . Diremos que $f$ es una función monótona si siempre que $A \subseteq A^{'} \subseteq X$ , se cumple que $f (A) \subseteq f (A^{'})$ . Es decir, se preserva la contención bajo $f$ .

Ejemplo.

Sea $X = {\emptyset, {\emptyset}}$ y sea $f = {(\emptyset, \emptyset), ({\emptyset}, {\emptyset}), ({{\emptyset}}, \emptyset), ({\emptyset, {\emptyset}}, {\emptyset})}$ . Consideremos $A = \emptyset$ y $A^{'} = {\emptyset}$ . Tenemos que $f (A) = \emptyset$ y $f (A^{'}) = {\emptyset}$ , de modo que $f (A) \subseteq f (A^{'})$ . Para cualquier otra elección de $A$ y $A^{'}$ con $A \subseteq A^{'}$ también se puede verificar que $f (A) \subseteq f (A^{'})$ . Por ello, decimos que $f$ es monótona.

Lema. Sea $φ : P (X) \to P (X)$ función monótona. Entonces existe $E \subseteq X$ tal que $φ (E) = E$ , es decir, $φ$ deja fijo a algún elemento de $P (X)$ .

Demostración:

Sea $φ : P (X) \to P (X)$ función monótona y sea $L = {A \in P (X) : φ (A) \subseteq A}$ .

Veremos que $L \neq \emptyset$ . Para ello, probaremos que $X \in L$ . Para empezar, $X \in P (X)$ pues para cualquier conjunto $X$ , $X \subseteq X$ . Además, se tiene que $φ (X) \in P (X)$ , por lo que $φ (X) \subseteq X$ .

Como $L$ no es vacío, podemos considerar $E = ⋂ L$ . Veremos que $φ (E) = E$ , lo cual mostaremos viendo la doble contención.

$\subseteq$ ) Sea $K \in L$ . Tenemos que $E \subseteq K$ . Como $φ$ es monotona, entonces $φ (E) \subseteq φ (K)$ . Además, como $K \in L$ se tiene que $φ (K) \subseteq K$ y por transitividad de la contención se tiene que $φ (E) \subseteq K$ . Como esto sucede para cualquier $K \in L$ , se cumple entonces $φ (E) \subseteq E$ .

$\supseteq$ ) Dado que $φ (E) \subseteq E$ y $φ$ es monótona se tiene que $φ (φ (E)) \subseteq φ (E)$ . Por ello, $φ (E) \in L$ y por lo tanto, $E \subseteq φ (E)$ .

Por lo tanto, $φ (E) = E$ .

Teorema de Cantor-Schröder-Bernstein¹

Antes de demostrar el teorema de Cantor-Schröder-Bernstein, enunciemos los siguientes recordatorios que usaremos en la demostración:

Recordatorio 1. Si $f : X \to Y$ es una función y se tiene $Z \subseteq Z^{'} \subseteq X$ , entonces $f [Z] \subseteq f [Z^{'}]$ .

Recordatorio 2. Sean $A, B \subseteq X$ . Si $A \subseteq B$ , entonces $X ∖ B \subseteq X ∖ A$ .

Teorema (Cantor-Schröder-Bernstein). Si $A ⪯ B$ y $B ⪯ A$ , entonces $A \sim B$ .

Demostración:

Supongamos que $A ⪯ B$ y $B ⪯ A$ , esto es, existe $f : A \to B$ inyectiva y existe $g : B \to A$ inyectiva.

Sea $φ : P (A) \to P (A)$ dada por $φ (X) = A ∖ g [B ∖ f [X]]$ . Veamos que $φ$ es monótona.

Sean $X, X^{'} \in P (A)$ tales que $X \subseteq X^{'}$ , por el recordatorio $1$ , tenemos que $f [X] \subseteq f [X ´]$ , luego por el recordatorio 2 tenemos que $B ∖ f [X^{'}] \subseteq B ∖ f [X]$ . Luego, por el recordatorio 1 $g [B ∖ f [X^{'}]] \subseteq g [B ∖ f [X]]$ . Finalmente, por el recordatorio $2$ se tiene que $A ∖ g [B ∖ f [X]] \subseteq A ∖ g [B ∖ f [X^{'}]]$ . Por lo tanto, $φ (X) \subseteq φ (X^{'})$ y así, $φ$ es monótona.

Luego, por el lema del punto fijo tenemos que existe $E \in P (X)$ tal que $φ (E) = E$ . De este modo:

$\begin{aligned} E & = φ (E) \\ entonces E & = A ∖ g [B ∖ f [E]] \\ entonces A ∖ E & = g [B ∖ f [E]] \end{aligned}$

Consideremos $g_{1} = g ↾_{B ∖ f [E]} : B ∖ f [E] \to g [B ∖ f [E]]$ . Dado que $g$ es inyectiva, entonces $g_{1}$ es biyectiva y por lo tanto, $g_{1}^{- 1}$ es función.

Definimos $h : A \to B$ como:

$h (x) = {\begin{array}{lcc} f (x) & s i & x \in E \\ g_{1}^{- 1} (x) & s i & x \in A ∖ E = g [B ∖ f [E]] \end{array}$

Veamos que $h$ es biyectiva.

Primero veamos que $h$ es inyectiva. Sean $x, x^{'} \in A$ tales que $x \neq x^{'}$ , veamos que $h (x) \neq h (x^{'})$ .

Caso 1: Si $x, x^{'} \in E$ , entonces $h (x) = f (x) \neq f (x^{'}) = h (x^{'})$ pues $f$ es inyectiva.

Caso 2: Si $x, x^{'} \in A ∖ E$ , entonces $h (x) = g_{1}^{- 1} (x) \neq g_{1}^{- 1} (x^{'}) = h (x)$ pues $g_{1}^{- 1}$ es inyectiva.

Caso 3: Si $x \in E$ y $x^{'} \in A ∖ E$ , entonces $h (x) = f (x) \in f [E]$ y $h (x^{'}) = g_{1}^{- 1} (x^{'}) \in B ∖ f [E]$ , por lo que $h (x) \neq h (x^{'})$ .

Por lo tanto, $h$ es inyectiva.

Ahora, veamos que $h$ es suprayectiva. Consideremos $B$ como $B = (B ∖ f [E]) \cup f [E]$ .

Sea $y \in B$ , entonces $y \in B ∖ f [E]$ o $y \in f [E]$ .

Caso 1: Si $y \in B ∖ f [E]$ , entonces $g (y) \in g [B ∖ g [E]]$ , por lo que $h (g (y)) = g_{1}^{- 1} (g (y)) = y$ .

Caso 2: Si $y \in f [E]$ existe $e \in E$ tal que $f (e) = y$ . Así, $h (e) = f (e) = y$ .

Por lo tanto, $h$ es suprayectiva.

Concluimos que $h$ es biyectiva y así, $A \sim B$ .

Tarea moral

La siguiente lista de ejercicios te permitirá reforzar el contenido visto en esta entrada:

Definamos al conjunto de números pares como $P = {2 k : k \in N}$ . En la entrada anterior ya vimos que $P \sim N$ . Da una demostración alternativa a esto usando el teorema de Cantor-Schröder-Bernstein.
Resuelve los siguientes incisos.
- Muestra la función $f : N \to N \times N$ dada por $f (x) = (x, 1)$ es inyectiva, pero no suprayectiva.
- Muestra que la función $g : N \times N \to N$ dada por $g (a, b) = 2^{a} 3^{b}$ es inyectiva, pero no suprayectiva.
- ¿Qué dice entonces el teorema de Cantor-Schröder-Bernstein sobre $N$ y $N \times N$ ?
- ¿Es sencillo dar una función biyectiva explícita $h : N \to N \times N$ ?

Más adelante…

En la siguiente entrada definiremos qué es un conjunto finito y hablaremos un poco acerca de lo que entenderemos por cardinal de un conjunto. Daremos los primeros pasos para hablar de conjuntos infinitos. Ya platicamos un poco que intuitivamente $N$ debe serlo, pero tenemos que probarlo formalmente. Un poco más adelante, veremos que hay conjuntos infinitos que no tienen la misma cardinalidad. Así, nos interesará ver que pasa con las cardinalidades de estos conjuntos.

Entradas relacionadas

Ir a Teoría de los Conjuntos I
Entrada anterior: Teoría de los Conjuntos I: Equipotencia
Siguiente entrada: Teoría de los Conjuntos I: Conjuntos finitos

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»

Puedes consultar una demostración diferente del teorema de Cantor-Schröder-Bernstein en el siguiente libro: K. Hrbacek, T. Jech, Introduction to Set Theory, Third Edition, Marcel Dekker Inc., 1999, pp. 66-68.
Y una segunda demostración diferente en: J.A. Amor Montaño, Teoría de conjuntos para estudiantes de ciencias, Segunda edición, Coordinación de Servicios Editoriales, Facultad de Ciencias UNAM, 2005, pp. 79-80 ↩︎

Teoría de los Conjuntos I: Buenos órdenes para cualquier conjunto

Por Gabriela Hernández Aguilar

Deja un comentario

Introducción

En esta entrada usaremos lo que aprendimos en la entrada anterior sobre el lema de Zorn para demostrar que cualquier conjunto no vacío puede ser bien ordenado.

Ordenando buenos órdenes de subconjuntos

En esta entrada demostraremos que cualquier conjunto no vacío $X$ tiene un buen orden. Si $a \in X$ , entonces $(a, a)$ es un buen orden para ${a} \subseteq X$ , así que podemos darle un buen orden a un elemento de $X$ . La intuición de nuestra prueba es que podemos ir «agrandando» un buen orden para «pocos elementos» de $X$ hasta llegar a ordenar todo $X$ . Sin embargo, no podemos hacer esto paso a paso. Tendremos que hacerlo de golpe usando el lema de Zorn. Para ello, daremos una noción de cuándo «un buen orden ordena más elementos de $X$ que otro y lo extiende». Nuestro resultado se obtendrá aplicando el lema de Zorn a esta noción. Comencemos con formalizarla.

Lema. Sea $X$ un conjunto y $B$ la familia de todos los pares ordenados $(A, R)$ donde $A$ es un subconjunto de $X$ y $R$ es un buen orden para $A$ . Definimos en $B$ la relación $\leq$ como sigue: dados $(A, R), (B, R^{'}) \in B$ diremos que $(A, R) \leq (B, R^{'})$ si y sólo si $A \subseteq B$ , $R \subseteq R^{'}$ y para todo $x \in A$ y $y \in B ∖ A$ se cumple que $(x, y) \in R^{'}$ . Entonces, $\leq$ es una relación de orden parcial en $B$ .

Demostración.

Verifiquemos primero la reflexividad. Sea $(A, R) \in B$ . Luego, $A \subseteq A$ , $R \subseteq R$ y, por vacuidad, para todo $x \in A$ y $y \in A ∖ A$ se tiene que $(x, y) \in R$ , lo que muestra que $(A, R) \leq (A, R)$ . Por tanto, $\leq$ es una relación reflexiva.

Verifiquemos ahora la antisimetría. Si $(A, R) \leq (B, R^{'})$ y $(B, R^{'}) \leq (A, R)$ , entonces, como consecuencia de la definición de $\leq$ tenemos que $A \subseteq B$ , $R \subseteq R^{'}$ y para todo $x \in A$ y $y \in B ∖ A$ se tiene que $(x, y) \in R^{'}$ ; pero también, $B \subseteq A$ , $R^{'} \subseteq R$ y para todo $x \in B$ y $y \in A ∖ B$ se tiene que $(x, y) \in R$ . En particular tenemos que $A \subseteq B$ , $B \subseteq A$ , $R \subseteq R^{'}$ y $R^{'} \subseteq R$ , lo cual implica que $A = B$ y $R = R^{'}$ . Por tanto, $(A, R) = (B, R^{'})$ , lo que muestra que $\leq$ es antisimétrica.

Por último mostraremos que la relación $\leq$ es transitiva. Sean $(A, R_{0}), (B, R_{1}), (C, R_{2}) \in B$ elementos tales que $(A, R_{0}) \leq (B, R_{1})$ y $(B, R_{1}) \leq (C, R_{2})$ . Luego, por definición de la relación $\leq$ tenemos que, $A \subseteq B$ , $R_{0} \subseteq R_{1}$ y para todo $x \in A$ y $y \in B ∖ A$ se cumple que $(x, y) \in R_{1}$ ; asimismo, $B \subseteq C$ , $R_{1} \subseteq R_{2}$ y para todo $x \in B$ y $y \in C ∖ B$ se cumple que $(x, y) \in R_{2}$ . Así, como $A \subseteq B$ y $B \subseteq C$ , entonces $A \subseteq C$ y, también, como $R_{0} \subseteq R_{1}$ y $R_{1} \subseteq R_{2}$ , entonces $R_{0} \subseteq R_{2}$ . Ahora, sean $x \in A$ y $y \in C ∖ A$ cualesquiera elementos. Si $y \in B$ , entonces $x \in A$ y $y \in B ∖ A$ , por lo que $(x, y) \in R_{1}$ y, por ende, $(x, y) \in R_{2}$ . Si $y \notin B$ , entonces $y \in C ∖ B$ y dado que $x \in A \subseteq B$ , entonces $(x, y) \in R_{2}$ . En cualquier caso $(x, y) \in R_{2}$ , lo que demuestra que $(A, R_{1}) \leq (C, R_{2})$ .

Por lo tanto $\leq$ es una relación de orden en $B$ .

Ya tenemos el conjunto parcialmente ordenado $(B, \leq)$ al que queremos aplicar el lema de Zorn. Pero tenemos que verificar una hipótesis importante: que cada cadena tiene cota superior. Esto lo hacemos en el siguiente lema.

Lema. Sea $X$ un conjunto y $B$ y $\leq$ definidos como en el lema anterior. Entonces, en $(B, \leq)$ toda cadena tiene una cota superior.

Demostración.

Sea $C$ una cadena en $B$ . Definamos $f : C \to P (X)$ como sigue: si $(A, R) \in C$ , con $A \subseteq X$ y $R$ un buen orden en $A$ , entonces $f ((A, R)) = A$ . Ahora, notemos que si $A \subseteq X$ y $R$ es un buen orden en $A$ , entonces $R \subseteq A \times A \subseteq X \times X$ , es decir, $R$ es también una relación en $X$ . Teniendo en cuenta esto definamos $g : C \to P (X \times X)$ como sigue: si $(A, R) \in C$ , con $A \subseteq X$ y $R$ un buen orden en $A$ , entonces $g ((A, R)) = R$ . Sean $Y_{1} := f [C]$ y $Y_{2} := g [C]$ y definamos $A = ⋃ Y_{1}$ y $R = ⋃ Y_{2}$ .

Lo que haremos será probar que $A$ es un subconjunto de $X$ y que $R$ es un buen orden para $A$ , con lo cual tendríamos que $(A, R) \in B$ .

Primero, como $f ((A, R)) = A \subseteq X$ para cualquier $(A, R) \in C$ , entonces $Y_{1} = f [C]$ es una familia de subconjuntos de $X$ y, por tanto, $A = ⋃ Y_{1}$ es un subconjunto de $X$ . Ahora, veamos que $R$ es un buen orden en $A$ .

Lo primero que tenemos que mostrar es que $R$ es efectivamente una relación en $A$ , es decir, que $R$ es un subconjunto de $A \times A$ . Sea $u \in R$ un elemento arbitrario. Luego, $u \in g ((A, R)) = R$ para algún $(A, R) \in C$ . Dado que $u \in R$ y $R \subseteq A \times A$ , entonces $u \in A \times A$ . Además, como $(A, R) \in C$ , entonces $A = f ((A, R)) \in f [C]$ y, en consecuencia, $A \subseteq ⋃ f [C] = A$ , por lo que $A \times A \subseteq A \times A$ . De este modo, como $u \in A \times A$ se sigue que $u \in A \times A$ . Esto demuestra que $R \subseteq A \times A$ , es decir, $R$ es una relación en $A$ .

Ahora veamos que $R$ es una relación de orden en $A$ .

Sea $x \in A$ . Luego, $x \in f ((A, R)) = A$ para algún $(A, R) \in C$ . Como $R$ es un buen orden en $A$ , entonces $(x, x) \in R$ y, dado que $R \subseteq R$ , se sigue que $(x, x) \in R$ . Esto prueba que $R$ es una relación reflexiva.

Ahora, sean $x, y \in A$ elementos tales que $(x, y) \in R$ y $(y, x) \in R$ . Luego, $(x, y) \in g ((A, R)) = R$ y $(y, x) = g ((B, R^{'})) = R^{'}$ para algunos $(A, R), (B, R^{'}) \in C$ . Dado que $C$ es una cadena, entonces $(A, R) \leq (B, R^{'})$ o $(B, R^{'}) \leq (A, R)$ , lo cual implica que $R \subseteq R^{'}$ o $R^{'} \subseteq R$ . De modo que $(x, y), (y, x) \in R$ o $(x, y), (y, x) \in R^{'}$ . En cualquier caso podemos concluir que $x = y$ ya que tanto $R$ como $R^{'}$ son relaciones de orden. Esto prueba que $R$ es una relación antisimétrica.

Supongamos que $x, y, z \in A$ son cualesquiera elementos tales que $(x, y), (y, z) \in R$ . Luego, $(x, y) \in g ((A, R)) = R$ y $(y, z) \in g ((B, R^{'})) = R^{'}$ para algunos $(A, R), (B, R^{'}) \in C$ . Ahora, como $C$ es una cadena, entonces $(A, R) \leq (B, R^{'})$ o $(B, R^{'}) \leq (A, R)$ , por lo que $R \subseteq R^{'}$ o $R^{'} \subseteq R$ . Así, $(x, y), (y, z) \in R$ o $(x, y), (y, z) \in R^{'}$ y, por tanto, $(x, z) \in R$ o $(x, z) \in R^{'}$ pues tanto $R$ como $R^{'}$ son relaciones de orden. En cualquier caso $(x, z) \in R$ , ya que $R, R^{'} \subseteq R$ . Esto prueba que $R$ es una relación transitiva.

Por lo tanto, $R$ es una relación de orden en $A$ .

Resta probar que $R$ es un buen orden en $A$ . Sea pues $D \subseteq A$ un conjunto no vacío. Luego, como $D \subseteq A$ y $D \neq \emptyset$ , entonces $D \cap f ((A, R)) = D \cap A \neq \emptyset$ para algún $(A, R) \in C$ . Luego, como $D \cap A \subseteq A$ no vacío, entonces existe el mínimo de $D \cap A$ con respecto a la relación $R$ , ya que $R$ es un buen orden en $A$ , es decir, existe $a_{0} \in D \cap A$ tal que $(a_{0}, x) \in R$ para todo $x \in D \cap A$ . Veamos que $a_{0}$ es el mínimo de $D$ con respecto a la relación $R$ . Sea $x \in D$ cualquier elemento. Si $x \in A$ , entonces $(a_{0}, x) \in R \subseteq R$ . Si ahora $x \notin A$ , entonces, como $D \subseteq A$ , existe $(B, R^{'}) \in C ∖ {(A, R)}$ tal que $x \in f ((B, R^{'})) = B$ . Luego, como $C$ es una cadena se tiene que $(A, R) \leq (B, R^{'})$ o $(B, R^{'}) \leq (A, R)$ , sin embargo, no puede ocurrir que $(B, R^{'}) \leq (A, R)$ pues de ser así tendríamos que $B \subseteq A$ y, por ende, $x \in A$ lo cual asumimos no ocurre. Así pues, necesariamente, $(A, R) \leq (B, R^{'})$ y, por consiguiente, $A \subseteq B$ , $R \subseteq R^{'}$ y para cualesquiera $a \in A$ y $b \in B ∖ A$ se tiene $(a, b) \in R^{'}$ . Debido a que $a_{0} \in A$ y $x \in B ∖ A$ , entonces $(a_{0}, x) \in R^{'} \subseteq R$ . Por lo tanto, para todo $x \in D$ , $(a_{0}, x) \in R$ , lo que demuestra que $a_{0}$ es el mínimo de $D$ en la relación $R$ . Consecuentemente, $R$ es un buen orden para $A$ .

Los argumentos anteriores nos permiten concluir que $(A, R) \in B$ , pues $A \subseteq X$ y $R$ es un buen orden para $A$ . Ahora, $(A, R)$ es una cota superior para $C$ . En efecto, si $(A, R) \in C$ es cualquier elemento, entonces $A = f ((A, R)) \subseteq ⋃ f [C] = A$ y $R = g ((A, R)) \subseteq ⋃ g [C] = R$ . Por último, si $x \in A$ y $y \in A ∖ A$ , entonces $y \in f ((B, R^{'})) = B$ para algún $(B, R^{'}) \in C$ , pero dado que $C$ es una cadena, entonces $(A, R) \leq (B, R^{'})$ o $(B, R^{'}) \leq (A, R)$ . Sin embargo, no puede ocurrir que $(B, R^{'}) \leq (A, R)$ pues en ese caso tendríamos, en particular, que $B \subseteq A$ y por ende $y \in A$ , lo que contradice la elección de $y$ . Así que necesariamente, $(A, R) \leq (B, R^{'})$ . Por consiguiente, $A \subseteq B$ , $R \subseteq R^{'}$ y para cualquier $a \in A$ y $b \in B ∖ A$ , se tiene que $(a, b) \in R^{'}$ . En consecuencia, $(x, y) \in R^{'}$ y como $R^{'} \subseteq R$ , entonces $(x, y) \in R$ .

Por lo tanto, $A \subseteq A$ , $R \subseteq R$ y para cualesquiera $x \in A$ y $y \in A ∖ A$ , $(x, y) \in R$ , es decir, $(A, R) \leq (A, R)$ . Esto demuestra que $(A, R)$ es una cota superior para $C$ .

El teorema del buen orden

Ya con los ingredientes anteriores, podemos enfocarnos en el resultado principal de esta entrada.

Teorema. (teorema del buen orden). Todo conjunto no vacío puede ser bien ordenado.

Demostración.

Sea $X$ un conjunto no vacío. Sea $B$ el conjunto de todos los pares ordenados $(A, R)$ tales que $A \subseteq X$ y $R$ es un buen orden para $A$ . Por uno de los lemas anteriores tenemos que $(B, \leq)$ es un conjunto ordenado, donde $\leq$ es la relación definida como $(A, R) \leq (B, R^{'})$ si y sólo si $A \subseteq B$ , $R \subseteq R^{'}$ y para todo $x \in A$ y $y \in B ∖ A$ , $(x, y) \in R^{'}$ .

Antes de continuar veamos que $B$ es no vacío. Como $X \neq \emptyset$ , entonces existe $a \in X$ . Luego, $R = {(a, a)}$ es un buen orden para ${a}$ . Por tanto, $({a}, {(a, a)}) \in B$ y así $B$ es no vacío.

Ahora, por el último lema probado, toda cadena en $B$ está acotada superiormente y, como $B$ es no vacío, podemos aplicar el lema de Kuratowski-Zorn y concluir que $B$ tiene un elemento maximal. Sea $(A, R)$ elemento maximal de $B$ . Lo que probaremos es que $A = X$ .

Si $X \neq A$ , entonces existe $x \in X ∖ A$ . Luego, definiendo $B = A \cup {x}$ y $R^{'} = R \cup {(a, x) : a \in A} \cup {(x, x)}$ tenemos que $R^{'}$ es un buen orden para $B$ . En efecto, primero probaremos que $R^{'}$ es una relación de orden en $B$ .

Si $u \in R^{'}$ , entonces $u \in R$ o $u \in {(a, x) : a \in A}$ o $u = (x, x)$ . Luego, como $A \subseteq B$ y $R \subseteq A \times A$ , entonces $u \in A \times A \subseteq B \times B$ o $u = (a, x) \in A \times B \subseteq B \times B$ para algún $a \in A$ o $u = (x, x) \in B \times B$ . En cualquier caso $u \in B \times B$ y, por tanto, $R^{'} \subseteq B \times B$ , lo que muestra que $R^{'}$ es una relación en $B$ .

Ahora, si $b \in B$ , entonces $b \in A$ o $b = x$ . Si $b \in A$ , entonces $(b, b) \in R$ por ser $R$ una relación de orden en $A$ y, por tanto, $(b, b) \in R^{'}$ pues $R \subseteq R^{'}$ . Si $b = x$ , entonces $(b, b) \in R^{'}$ , por definición de $R^{'}$ . En cualquier caso se cumple que $(b, b) \in R^{'}$ , lo que muestra que $R^{'}$ es una relación reflexiva.

Por otro lado, si $c, b \in B$ son tales que $(c, b) \in R^{'}$ y $(b, c) \in R^{'}$ , entonces tenemos algunos casos:

Caso 1. $(c, b) \in R$ y $(b, c) \in R$ . Luego, por ser $R$ una relación de orden se cumple que $R$ es antisimétrica, por lo que $c = b$ .

Caso 2. $(c, b) \in R$ y $(b, c) \in {(a, x) : a \in A}$ . Luego, $(b, c) = (a, x)$ para algún $a \in A$ y, como $(c, b) \in R \subseteq A \times A$ , entonces $(c, b) = (a_{1}, a_{2})$ para algunos $a_{1}, a_{2} \in A$ . De lo anterior se sigue que $c = a_{1} \in A$ pero también que $c = x \notin A$ y esto es una contradicción. Así el caso 2 no puede ocurrir.

Caso 3. $(c, b) \in R$ y $(b, c) \in {(x, x)}$ . Este caso tampoco puede darse por las razones dadas en el caso 2.

Caso 4. $(c, b) \in {(a, x) : a \in A}$ y $(b, c) \in {(a, x) : a \in A}$ . Luego, $(c, b) = (a_{1}, x)$ y $(b, c) = (a_{2}, x)$ para algunos $a_{1}, a_{2} \in A$ . De esto se sigue que $c = a_{1} \in A$ y $c = x \notin A$ lo cual es una contradicción. Por lo tanto, el caso 5 tampoco pede darse.

Caso 5. $(c, b) \in {(a, x) : a \in A}$ y $(b, c) \in {(x, x)}$ . Luego, $(c, b) = (a_{1}, x)$ para algún $a_{1} \in A$ y $(c, b) = (x, x)$ , por lo que $c = a_{1} \in A$ y $c = x \notin A$ lo cual es una contradicción. Por tanto, el caso 5 tampoco puede darse.

Caso 6. $(c, b) \in {(x, x)}$ y $(b, c) \in {(x, x)}$ . En este caso se tiene que $b = x = c$ .

Los 6 casos anteriores son las únicas posibilidades y, por tanto, concluimos que $b = c$ . Esto muestra que $R^{'}$ es una relación antisimétrica.

Ahora, sean $b, c, d \in B$ tales que $(b, c) \in R^{'}$ y $(c, d) \in R^{'}$ . Luego, tenemos los siguientes casos:

Caso 1. $(b, c), (c, d) \in R$ . En este caso se sigue que $(b, d) \in R \subseteq R^{'}$ pues $R$ es transitiva.

Caso 2. $(b, c) \in R$ y $(c, d) \in {(a, x) : a \in A}$ . Luego, como $(b, c) \in R \subseteq A \times A$ , entonces $b \in A$ y, por tanto, $(b, x) \in R^{'}$ . Ahora, como $(c, d) \in {(a, x) : a \in A}$ , entonces $d = x$ y, por tanto, $(b, d) \in R^{'}$ .

Caso 3. $(b, c) \in R$ y $(c, d) \in {(x, x)}$ . Así como en el caso 2 se sigue que $(b, d) \in R^{'}$ .

Caso 4. $(b, c), (c, d) \in {(a, x) : a \in A}$ . En este caso se sigue que $c = d = x$ y, por tanto, $(b, c) = (b, d) \in R^{'}$ .

Caso 5. $(b, c) \in {(a, x) : a \in A}$ y $(c, d) \in {(x, x)}$ . Así como en el caso 3 se sigue que $c = d = x$ y, por tanto, que $(b, d) \in R^{'}$ .

Caso 6. $(b, c), (c, d) \in {(x, x)}$ . Se sigue inmediatamente que $b = c = d = x$ y, por tanto, $(b, d) \in R^{'}$ .

Estos son los únicos casos posibles, pues no pueden ocurrir los siguientes casos:

Caso i. $(c, d) \in R$ y $(b, c) \in {(a, x) : a \in A}$ . En este caso se tendría que $c = x$ y que $c \in A$ , lo cual no ocurre por la elección de $x$ .

Caso ii. $(c, d) \in R$ y $(b, c) \in {(x, x)}$ . Lo mismo que en el caso i.

Caso iii. $(c, d) \in {(a, x) : a \in A}$ y $(b, c) \in {(x, x)}$ . Lo mismo que en los casos i y ii.

En los únicos casos posibles se concluye que $(b, d) \in R^{'}$ , lo que muestra que $R^{'}$ es una relación transitiva.

Por lo tanto $R^{'}$ es una relación de orden en $B$ . Ahora, sea $D \subseteq B$ no vacío. Si $D \cap A \neq \emptyset$ , entonces $D \cap A$ tiene un elemento mínimo en $A$ respecto a la relación de orden $R$ , es decir, existe $a_{0} \in D \cap A$ tal que $(a_{0}, a) \in R$ para todo $a \in D \cap A$ . Luego, si $d \in D$ es cualquier elemento, entonces $d \in A$ o $d = x$ . Si $d \in A$ , entonces $(a_{0}, d) \in R \subseteq R^{'}$ y, si $d = x$ , entonces $(a_{0}, d) \in R^{'}$ por definición de $R^{'}$ . Lo que demuestra que $a_{0}$ es el mínimo de $D$ con respecto a la relación de orden $R^{'}$ . Si ahora $D \cap A = \emptyset$ , entonces, necesariamente, $D = {x}$ y, ciertamente, $D$ tiene mínimo, el cual es $x$ . Por lo tanto, cualquier subconjunto no vacío de $B$ tiene elemento mínimo con respecto a la relación $R^{'}$ . Lo que muestra que $R^{'}$ es un buen orden para $B$ .

Luego, $(B, R^{'}) \in B$ . Dado que $A \subseteq B$ , $R \subseteq R^{'}$ y para cualquier $a \in A$ y $b \in B ∖ A = {x}$ se tiene que $(a, b) \in R^{'}$ , se sigue que $(A, R) \leq (B, R^{'})$ y, sin embargo, $(A, R) \neq (B, R^{'})$ , lo cual contradice la maximalidad de $(A, R)$ en $B$ .

Concluimos entonces que $A = X$ y, por tanto, $R$ es un buen orden para $X$ . Por lo tanto, $X$ puede ser bien ordenado.

Para culminar esta entrada, mostraremos que el teorema del buen orden implica el axioma de elección. La idea intuitiva es sencilla. Para un conjunto $X$ , ¿cuál elemento elegimos de cada subconjunto no vacío de $X$ ? Pues damos un buen orden a $X$ y para cada subconjunto no vacío elegimos el mínimo.

Teorema. El teorema del buen orden implica el axioma de elección.

Demostración.

Sea $X$ un conjunto no vacío. Luego, por el teorema del buen orden, existe una relación $R$ en $X$ que es un buen orden en $X$ . Definamos $e : P (X) ∖ {\emptyset} \to X$ por medio de $e (B) = min_{R} (B)$ , donde $min_{R} (B)$ denota al elemento mínimo del subconjunto no vacío $B$ de $A$ con respecto a la relación $R$ . Dado que, por definición, el mínimo de un conjunto pertenece a dicho conjunto, concluimos que $e (B) \in B$ para todo $B \in P (X) ∖ {\emptyset}$ . Esto demuestra que $X$ tiene una función de elección.

Resumen de últimas equivalencias

Podemos resumir la serie de resultados probados en esta entrada y la anterior mediante el siguiente teorema.

Teorema. Son equivalentes los siguientes resultados

El axioma de elección.
El lema de Tukey-Teichmüller.
Principio maximal de Hausdorff.
El lema de Kuratowski-Zorn.
El teorema del buen orden.

Con esto damos por termnado esl estudio de algunas de las equivalencias más importantes del axioma de elección.

Tarea moral

Sea $(X, \leq)$ un conjunto parcialmente ordenado en el que cualquier cadena tiene una cota superior. Muestra que para cada $a \in X$ existe un elemento $\leq -$ maximal $x \in X$ tal que $a \leq x$ .
Sea $(L, \leq)$ un conjunto linealmente ordenado. Prueba que existe un conjunto $W \subseteq L$ tal que $\leq$ es un buen orden para $W$ y tal que para cada $x \in L$ existe $y \in W$ tal que $x \leq y$ .
Sea $X$ cualquier conjunto infinito. Prueba que $X$ puede ser bien ordenado de tal forma que $X$ no tenga máximo. Prueba también que $X$ puede ser bien ordenado de tal forma que tenga un máximo.

Más adelante…

En la siguiente y última entrada veremos una aplicación del axioma de elección relevante en álgebra lineal.

Entradas relacionadas

Ir a Teoría de los Conjuntos I
Entrada anterior: El lema de Zorn
Siguiente entrada: Bases para cualquier espacio vectorial

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: Bases para cualquier espacio vectorial

Por Gabriela Hernández Aguilar

Deja un comentario

Introducción

Lo que haremos en esta última entrada es utilizar el axioma de elección para probar un resultado muy conocido en álgebra lineal: que todo espacio vectorial tiene una base. Para comprender algunos de los términos que utilizaremos en esta sección puedes consultar el curso de Álgebra Lineal I disponible aquí en el blog.

Recordatorio de definiciones

Daremos un breve recordatorio sobre qué quiere decir que un subconjunto arbitrario (finito o no) de un espacio vectorial sea generador, linealmente independiente o base.

Definición. Sea $V$ un espacio vectorial sobre un campo $F$ y $S \subseteq V$ . Decimos que $S$ es generador si para cualquier $v \in V$ existe una cantidad finita de vectores $v_{1}, \dots, v_{n}$ en $V$ y de escalares $α_{1}, \dots, α_{n}$ en $F$ tales que $v = α_{1} v_{1} + \dots + α_{n} v_{n} .$

Definición. Sea $V$ un espacio vectorial sobre un campo $F$ y $L \subseteq V$ . Decimos que $L$ es linealmente independiente si para cualquier elección finita de vectores distintos $v_{1}, \dots, v_{n}$ en $L$ y escalares $α_{1}, \dots, α_{n}$ , la igualdad $0 = α_{1} v_{1} + \dots + α_{n} v_{n}$ implica que $α_{1} = \dots = α_{n} = 0$ .

Definición. Sea $V$ un espacio vectorial sobre un campo $F$ y $B \subseteq V$ . Decimos que $B$ es una base de $V$ si $B$ es generador y linealmente independiente.

Todo espacio vectorial tiene una base

Demostraremos el siguiente resultado

Teorema. Todo espacio vectorial tiene una base.

Demostración.

Sea $V$ un espacio vectorial sobre un campo $F$ . Lo que queremos mostrar es que existe un subconjunto $B$ de $V$ que genera a $B$ y que es linealmente independiente.

Si $V = {0}$ , entonces $\emptyset$ es una base para $V$ . Supongamos ahora que $V$ tiene al menos dos vectores distintos. Sea $F = {L \subseteq V : L es un conjunto linealmente independiente}$ . Notemos que $F$ es no vacío. En efecto, sea $v \in V$ un elemento distinto del vector cero. Luego, ${v}$ es linealmente independiente, por lo que ${v} \in F$ .

Lo que haremos ahora es probar que $F$ es una familia de conjuntos de carácter finito. Sea $L$ un conjunto tal que $L \in F$ . Luego, $L$ es linealmente independiente y, por tanto, cualquier subconjunto de $L$ es linealmente independiente, en particular todos los subconjuntos finitos de $L$ son linealmente independientes. En consecuencia, cualquier subconjunto finito de $L$ pertence a $F$ .

Ahora, sea $L$ un conjunto tal que todo subconjunto finito de $L$ pertenece a $F$ . Para cualquier elección de vectores distintos $v_{1}, \dots, v_{n}$ tenemos entonces que ${v_{1}, \dots, v_{n}}$ es linealmente independiente. Pero entonces cualquier elección de escalares $α_{1}, \dots, α_{n}$ tales que $0 = α_{1} v_{1} + \dots + α_{n} v_{n}$ cumple que $α_{1} = \dots = α_{n} = 0$ . Concluimos entonces que $L$ es linealmente independiente. Por tanto, $L \in F$ . Esto demuestra que $F$ es una familia de conjuntos de carácter finito.

Ahora, por el axioma de elección (en la versión de lema de Tukey-Teichmüller) toda familia no vacía de carácter finito tiene un elemento $\subseteq$ -maximal. Sea $B$ un elemento $\subseteq$ -maximal en $F$ . Afirmamos que $B$ es una base para $V$ . Como $B$ es linealmente independiente, sólo basta probar que $B$ genera a $V$ .

Procedamos por contradicción y supongamos que $B$ no genera a $V$ . Sea $v \in V$ que no esté en el espacio generado por $B$ . Entonces $B \cup {v}$ sería un subconjunto de $V$ linealmente independiente que contiene propiamente a $B$ (ver, por ejemplo la última proposición en la entrada Conjuntos generadores e independencia lineal). ¡Esto contradice la maximalidad de $B$ con respecto a la contención en $F$ !

Así, $B$ es linealmente independiente y generador, y por lo tanto es una base de $V$ .

Tarea moral

Los siguientes resultados presentan algunos refinamientos del resultado mencionado. Por ejemplo, enuncian que «cualquier base parcial se puede completar» a una base, o que «de cualquier conjunto generador se puede extraer una base», etc.

Sea $V$ un espacio vectorial sobre un campo $K$ . Muestra que todo conjunto linealmente independiente está contenido en una base de $V$ .
Sea $V$ un espacio vectorial. Muestra que si $S$ es un subconjunto generador de $V$ , entonces existe $β \subseteq S$ tal que $β$ es una base para $V$ .
Sea $V$ un espacio vectorial con base $β$ . Si $S$ es un conjunto linealmente independiente, muestra que existe un subconjunto $S_{1}$ de $β$ tal que $S \cup S_{1}$ es una base para $V$ .

Entradas relacionadas

Ir a Teoría de los Conjuntos I
Entrada anterior: El lema de Zorn

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: Axioma de elección

Por Gabriela Hernández Aguilar

Deja un comentario

Introducción

En esta entrada abordaremos un axioma relevante no sólo en teoría de conjuntos sino en muchas ramas de las matemáticas. Distintas proposiciones aparentemente sencillas no podrían demostrarse sin su ayuda y algunas de sus consecuencias son tan poderosas que cuesta trabajo aceptarlas. Es por eso que el llamado axioma de elección ha sido controversial desde su formulación a manos de Ernst Zermelo en 1904.

Funciones de elección

Comenzaremos dando una definición para después enunciar el mencionado axioma.

Definición. Sea $A$ un conjunto. Una función de elección para $A$ es una función $f : P (A) ∖ {\emptyset} \to A$ tal que, para todo $B \in P (A) ∖ {\emptyset}$ , se tiene que $f (B) \in B$ .

Ejemplo.

Sea $A = {0, 1}$ . Luego, $P (A) = {\emptyset, {0}, {1}, {0, 1}}$ . Si definimos $f : P (A) ∖ {\emptyset} \to A$ por medio $f = {({0}, 0), ({1}, 1), ({0, 1}, 1)}$ , entonces $f$ es una función de elección.

El siguiente resultado muestra que existe una gran cantidad de conjuntos que tienen una función de elección.

Proposición. Si $X$ es un conjunto finito no vacío, entonces $X$ tiene una función de elección.

Demostración.

Sea $X$ un conjunto finito y no vacío. Luego, por ser finito, existe un número natural $n$ y una función biyectiva $f : n \to X$ y, además, $n \neq 0$ ya que $X$ es no vacío. Ahora, para cada $A \subseteq X$ no vacío consideremos su imagen inversa, $f^{- 1} [A] = {m \in n : f (m) \in A}$ . Dado que $f^{- 1} [A] \neq \emptyset$ , entonces existe $min (f^{- 1} [A])$ . Definamos $F : P (X) ∖ {\emptyset} \to X$ por medio de $F (A) = f (min (f^{- 1} [A]))$ . Luego, $F$ es una función de elección para $X$ .

Axioma de elección y equivalencias

Aunque todos los conjuntos finitos no vacíos tengan función de elección, resultará imposible demostrar lo mismo para todos los conjuntos. Es por ello que necesitaremos agregar un axioma a nuestra teoría.

Axioma de elección. Todo conjunto no vacío tiene una función de elección.

Vamos a discutir varios de los usos de este axioma, pero para ello es conveniente poder pensarlo de muchas maneras. En esta primera entrada enunciaremos una serie de equivalencias a este teorema muy relacionadas con «elegir». En la siguiente entrada enunciaremos equivalencias relacionadas con «ordenar».

Teorema.¹ Las siguientes proposiciones son equivalentes:

El axioma de elección.
Si $A$ es una familia no vacía de conjuntos no vacíos y ajenos dos a dos, entonces existe un conjunto $B$ tal que para todo $A \in A$ , se tiene que $A \cap B$ es un conjunto unitario.
Toda función suprayectiva tiene al menos una inversa derecha.
Si ${A_{α}}_{α \in Γ}$ es tal que $A_{α} \neq \emptyset$ y $A_{α} \cap A_{β} = \emptyset$ para cualesquiera $α, β \in Γ$ con $α \neq β$ , entonces existe $B \subseteq \cup_{α \in Γ} A_{α}$ tal que $B \cap A_{α}$ es unitario para cada $α \in Γ$ .
Si ${A_{α}}_{α \in Γ}$ es una famila indizada no vacía de conjuntos no vacíos, entonces existe una función $f : Γ \to \cup_{α \in Γ} A_{α}$ tal que para cada $α \in Γ$ , se cumple que $f (α) \in A_{α}$ .
Si $F : X \to P (Y) ∖ {\emptyset}$ es una función, entonces existe una función $f : X \to Y$ tal que $f (x) \in F (x)$ para todo $x \in X$ .

La diferencia entre $2$ y $4$ es que en $5$ se pide que $B$ sea subconjunto de la unión de la familia.

Demostración.

$1) \Rightarrow 2)$ Supogamos que el axioma de elección es válido. Sea $A$ una familia no vacía de conjuntos no vacíos ajenos dos a dos.

Sea $C = ⋃ A$ . Como $C$ es no vacío, podemos fijar $f : P (C) ∖ {\emptyset} \to C$ una función de elección. Notemos que si $A \in A$ , entonces $A \subseteq C$ , por lo que $A \in P (C) ∖ {\emptyset}$ . Definamos $B = {f (A) : A \in A}$ . Veamos ahora que $B \cap A$ es un conjunto unitario para todo $A \in A$ .

Sea $A \in A$ un elemento arbitrario. Notemos que $f (A) \in B$ por definición de $B$ , pero también $f (A) \in A$ ya que $f$ es una función de elección en $C$ . Por lo tanto, ${f (A)} \subseteq A \cap B$ . Ahora, si $x \in A \cap B$ , en particular, $x \in B$ , por lo que $x = f (A^{'}) \in A^{'}$ para algún $A^{'} \in A$ y así $x \in A \cap A^{'}$ . En consecuencia, $A = A^{'}$ pues elementos distintos de $A$ son ajenos dos a dos. Tenemos entonces que $x = f (A^{'}) = f (A)$ , lo cual es suficiente para concluir que $A \cap B = {f (A)}$ , es decir, $A \cap B$ es un conjunto unitario.

$2) \Rightarrow 3)$

Sean $A$ y $B$ conjuntos y $f : A \to B$ una función suprayectiva. Para cada $x \in B$ definamos $A_{x} = {a \in A : f (a) = x}$ . Notemos que para cada $x \in B$ , se tiene que $A_{x} \neq \emptyset$ , pues $f$ es suprayectiva. Además, si $x \neq x^{'}$ , entonces $A_{x} \cap A_{x^{'}} = \emptyset$ , ya que si existiera un elemento $y \in A_{x} \cap A_{x^{'}}$ , tendríamos que $f (y) = x$ y $f (y) = x^{'}$ y, por consiguiente, $x = x^{'}$ ya que $f$ es una función, pero esto contradice que $x \neq x^{'}$ . Así pues, si $x \neq x^{'}$ , entonces $A_{x} \cap A_{x^{'}} = \emptyset$ .

Consideremos a la familia de conjuntos $A = {A_{x} : x \in B}$ la cual consta de conjuntos no vacíos y ajenos dos a dos. Por hipótesis, existe un conjunto $C$ tal que $C \cap A_{x}$ es un conjunto unitario para cada $A_{x} \in A$ . Para $x \in B$ , denotemos por $a_{x}$ al único elemento del conjunto $C \cap A_{x}$ . Definamos $g : B \to A$ por medio de $g (x) = a_{x}$ . Expresando a $g$ como un subconjunto de $B \times A$ tenemos que $g = {(x, a_{x}) : x \in B}$ . Notemos que $g$ es una función, ya que si $(w, v), (w, z) \in g$ , entonces $(w, v) = (x, a_{x})$ y $(w, z) = (y, a_{y})$ para algunos $x, y \in B$ . De las iguladades anteriores se sigue que $w = x = y$ y, por tanto, $v = a_{x} = a_{y} = z$ . Por tanto, $g$ es función. Finalmente, veamos que $g$ es inversa derecha de $f$ , es decir, que $f \circ g : B \to B$ es la función identidad; esto es, $f \circ g = I d_{B}$ .

Sea pues $x \in B$ un elemento arbitrario. Luego, $(f \circ g) (x) = f (g (x)) = f (a_{x}) = x$ , pues $a_{x} \in A_{x}$ . Por lo tanto, $f \circ g = I d_{B}$ , lo que muestra que $g$ es inversa derecha de $f$ .

$3) \Rightarrow 4)$ Supongamos que $A = {A_{α} : α \in Γ}$ es una familia no vacía de conjuntos no vacíos tales que $A_{α} \cap A_{β} = \emptyset$ si $α \neq β$ .

Definamos $f : ⋃_{α \in Γ} A_{α} \to Γ$ por medio de $f (x) = α$ si $x \in A_{α}$ . Podemos describir a $f$ como el siguiente conjunto $f := {(x, α) : x \in A_{α}, α \in Γ} \subseteq (⋃_{α \in Γ} A_{α}) \times Γ$ . Nuevamente, lo primero que hay que hacer es verificar que $f$ sea una función. Sean $(a, b), (a, c) \in f$ . Luego, $(a, b) = (x, α)$ y $(a, c) = (y, β)$ para algunos $x, y \in ⋃_{α \in Γ} A_{α}$ y $α, β \in Γ$ , tales que $x \in A_{α}$ y $y \in A_{β}$ . Dado que $(a, b) = (x, α)$ y $(a, c) = (y, β)$ , entonces $a = x = y$ y, en consecuencia, $x \in A_{α} \cap A_{β}$ , lo que muestra que $A_{α} \cap A_{β} \neq \emptyset$ y, por tanto, $α = β$ , es decir, $b = α = β = c$ , lo que muestra que $f$ es una función.

Ciertamente, $f$ es una función suprayectiva, pues si $α \in Γ$ es cualquier elemento, entonces, existe $x \in A_{α}$ pues $A_{α} \neq \emptyset$ , tal que $f (x) = α$ , por definición de $f$ . Esto muestra que $α$ es la imagen de un elemento en $⋃_{α \in Γ} A_{α}$ bajo la función $f$ y, por tanto, $f$ es suprayectiva. Luego, por hipótesis, existe $g : Γ \to ⋃_{α \in Γ} A_{α}$ función inversa derecha de $f$ , es decir, $f \circ g = I d_{Γ}$ . Sea $B := g [Γ] = {g (α) : α \in Γ} \subseteq ⋃_{α \in Γ} A_{α}$ .

Notemos que para cada $α \in Γ$ , se tiene que $g (α) \in A_{α}$ . En efecto, si $α \in Γ$ , entonces $f (g (α)) = I d_{Γ} (α) = α$ , por lo que $g (α) \in A_{α}$ . Por lo tanto, ${g (α)} \subseteq A_{α} \cap B$ para todo $α \in Γ$ .

Ahora, si $x \in A_{α} \cap B$ , entonces $x = g (β)$ para algún $β \in Γ$ . Luego, $f (x) = f (g (β)) = I d_{Γ} (β) = β$ . Por otro lado, como $x \in A_{α}$ , también se tiene que $f (x) = α$ y, por consiguiente, $β = α$ . Así, $x = g (α)$ , lo que demuestra que $A_{α} \cap B = {g (α)}$ . Por lo tanto, $B$ es subconjunto de $⋃_{α \in Γ} A_{α}$ y cumple que $B \cap A_{α}$ es un conjunto unitario para cada $α \in Γ$ .

$4) \Rightarrow 5)$ Sea ${A_{α}}_{α \in Γ}$ una familia de conjuntos no vacíos. Para cada $α \in Γ$ definamos $B_{α} := {α} \times A_{α}$ . Luego, ${B_{α} : α \in Γ}$ es una familia no vacía de conjuntos no vacíos tales que $B_{α} \cap B_{β} = \emptyset$ si $α \neq β$ .

Luego, por hipótesis, existe $B \subseteq ⋃_{α \in Γ} B_{α}$ tal que $B \cap B_{α}$ es un conjunto unitario para cada $α \in Γ$ . Ahora bien, el único elemento de $B \cap B_{α}$ es de la forma $(α, a)$ con $a \in A_{α}$ , pues pertenece, en particular, al conjunto $B_{α} = {α} \times A_{α} = {(α, a) : a \in A_{α}}$ . Denotemos por $a_{α}$ al único elemento de $A_{α}$ tal que $B \cap B_{α} = {(α, a_{α})}$ . Definamos $f : Γ \to ⋃_{α \in Γ} A_{α}$ por medio de $f (α) = a_{α}$ . Notemos que $f$ puede ser descrita como el conjunto ${(α, a_{α}) : α \in Γ}$ . Luego, para comprobar que $f$ es una función tomemos $(a, b), (a, c) \in f$ . Entonces, $(a, b) = (α, a_{α})$ y $(a, c) = (β, a_{β})$ para algunos $α, β \in Γ$ y $a_{α} \in A_{α}$ y $a_{β} \in A_{β}$ tales que $(α, a_{α})$ y $(β, a_{β})$ son los únicos elementos de $B \cap B_{α}$ y $B \cap B_{β}$ , respectivamente. A partir de las igualdades $(a, b) = (α, a_{α})$ y $(a, c) = (β, a_{β})$ se sigue que $a = α = β$ y, por tanto, $b = a_{α} = a_{β} = c$ . Esto que muestra $f$ es una función. Finalmente, para cada $α \in Γ$ , se tiene que $f (α) \in A_{α}$ .

$5) \Rightarrow 6)$ Sea $F : X \to P (Y) ∖ {\emptyset}$ una función.

Consideremos a la familia de conjuntos no vacíos $F = {F (x) : x \in X}$ . Luego, por hipótesis, existe una función $f : X \to ⋃ F$ tal que $f (x) \in F (x)$ para cada $x \in X$ . Notemos ahora que $⋃ F = ⋃_{x \in X} F (x) \subseteq Y$ . Así, $f$ es una función con dominio $X$ y codominio $Y$ . Por lo tanto, existe $f : X \to Y$ tal que $f (x) \in F (x)$ para cada $x \in X$ .

$6) \Rightarrow 1)$ Sea $X \neq \emptyset$ un conjunto. Definamos $F : P (X) ∖ {\emptyset} \to P (X) ∖ {\emptyset}$ por medio de $F (B) = B$ . Luego, por hipótesis, existe una función $f : P (X) ∖ {\emptyset} \to X$ tal que $f (B) \in F (B) = B$ para todo $B \in P (X) ∖ {\emptyset}$ . Por lo tanto, $X$ tiene una función de elección.

Una aplicación del axioma de elección a cardinales numerables

Para finalizar esta entrada, enunciaremos y demostraremos algunos resultados relacionados a conjuntos numerables que puede deducirse con el uso del axioma de elección.

Teorema. Sea ${A_{n} : n \in N}$ una familia de conjuntos ajenos dos a dos tal que $A_{n}$ es numerable para todo $n \in N$ . Entonces, $⋃_{n \in N} A_{n}$ es numerable.

Demostración.

Para cada $n \in N$ sea $B_{n} := {f : N \to A_{n} : f es función biyectiva}$ . Dado que cada $A_{n}$ es numerable, entonces, por definición, existe una función $f_{n} : N \to A_{n}$ biyectiva para todo $n \in N$ . Así pues, $B_{n} \neq \emptyset$ para cada $n \in N$ .

Consideremos la colección de conjuntos no vacíos ${B_{n} : n \in N}$ . Por el teorema anterior, el axioma de elección implica que existe una función $F : N \to ⋃_{n \in N} B_{n}$ tal que $F (n) \in B_{n}$ para cada $n \in N$ . Definamos $g_{n} := F (n)$ para cada $n \in N$ .

Definamos ahora $G : N \times N \to ⋃_{n \in N} A_{n}$ por medio de $G (r, s) = g_{s} (r)$ . Veamos que $G$ es una función biyectiva. Sean $(r, s), (x, y) \in N \times N$ tales que $G (r, s) = G (x, y)$ . Entonces, $g_{s} (r) = g_{y} (x)$ . Como $g_{s} \in B_{s}$ y $g_{y} \in B_{y}$ , entonces $g_{s} (r) \in A_{s}$ mientras que $g_{y} (x) \in A_{y}$ y, consecuentemente, $A_{s} \cap A_{y} \neq \emptyset$ , lo cual puede ocurrir si y sólo si $A_{s} = A_{y}$ , es decir, $s = y$ . Dado que $g_{s} (r) = g_{s} (x)$ y $g_{s}$ es biyectiva, entonces $r = x$ . Esto muestra que $(r, s) = (x, y)$ y, por lo tanto, $G$ es inyectiva.

Finalmente veamos que $G$ es suprayectiva. Sea $a \in ⋃_{n \in N} A_{n}$ . Luego, $a \in A_{m}$ para algún $m \in N$ y, por consiguiente, existe $b \in N$ tal que $g_{m} (b) = a$ , ya que $g_{m}$ es biyectiva. De modo que tomando al elemento $(b, m) \in N \times N$ se sigue que $G (b, m) = g_{m} (b) = a$ , lo que muestra que $G$ es suprayectiva.

Por lo tanto, $G$ es una biyección y, en consecuencia, $N \times N$ es equipotente a $⋃_{n \in N} A_{n}$ . Luego, como $N \times N$ es equipotente a $N$ , se sigue que $⋃_{n \in N} A_{n}$ es equipotente a $N$ , es decir, $⋃_{n \in N} A_{n}$ es numerable.

Otra aplicación relevante del axioma de elección relacionada a conjuntos numerables es la siguiente.

Teorema. Si $X$ es un conjunto infinito, entonces $X$ contiene un conjunto numerable.

Demostración.

Sea $X$ un conjunto infinito. Definamos $g : S = \cup_{n \in N} X^{n} \to P (X)$ por medio de $g (h) = X ∖ i m (h)$ para cada $h \in \cup_{n \in N} X^{n}$ , donde $X^{n}$ denota al conjunto de funciones de $n$ en $X$ . Observemos que $g (h) \neq \emptyset$ para cada $h \in \cup_{n \in N} X^{n}$ , pues $X$ es infinito. Sea $e : P (X) ∖ {\emptyset} \to X$ una función de elección. En la entrada Teoría de los Conjuntos I: Teorema de recursión, se dejó como un ejercicio probar que dado un conjunto $A$ y una función $h : \cup_{n \in N} A^{n} \to A$ , existe una única función $f : N \to A$ tal que $f (n) = h (f ↾_{n})$ para cada $n \in N$ . De este modo, para la función $e \circ g : S \to X$ existe una única función $f : N \to X$ tal que $f (n) = (e \circ g) (f ↾_{n})$ para cada $n \in N$ .

Afirmación. $f$ es una función inyectiva.
En efecto, sea $n \in N$ . Luego, $f (n) = (e \circ g) (f ↾_{n}) = e (g (f ↾_{n})) = e (X ∖ i m (f ↾_{n})) \in X ∖ i m (f ↾_{n})$ . Así pues, $f (n) \notin i m (f ↾_{n})$ , es decir, $f (n) \neq f (m)$ para cada $m < n$ . Lo anterior nos permite concluir que $f$ es inyectiva. Por lo tanto, $f [N] \subseteq X$ es un subconjunto numerable.

Este último resultado, el cual es una consecuencia del axioma de elección, nos permite responder a una pregunta que aparece en la entrada Teoría de los Conjuntos I: Conjuntos infinitos no numerables., la cual busca determinar si cualquier conjunto infinito es un conjunto infinito según Dedekind. La respuesta es afirmativa. Si $X$ es un conjunto infinito, por el resultado previo, $X$ contiene un conjunto numerable; luego, cualquier conjunto que contenga un conjunto numerable es infinito segun Dedekind.

Tarea moral

La siguiente lista de ejercicios te permitirá reforzar el contenido visto en esta entrada:

Demuestra que la unión numerable de conjuntos finitos es un conjunto numerable.
Otro de los pendientes que teníamos en entradas anteriores es la existencia de conjuntos de representantes para relaciones de equivalencia. Ahora lo podemos demostrar. Prueba que si $X$ es un conjunto y $R$ es una relación de equivalencia en $X$ , entonces existe un conjunto completo de representantes de la relación $R$ .
Demuestra que el axioma de elección es equivalente a la siguiente proposición: para toda relación $R$ existe una función $f$ tal que $d o m f$ es igual al dominio activo de $R$ y $f \subseteq R$ .

Más adelante…

En la siguiente entrada veremos otras equivalencias del axioma de elección, ahora relacionadas con órdenes parciales. Posteriormente usaremos eso para mostrar que todo conjunto puede ser bien ordenado.

Entradas relacionadas

Ir a Teoría de los Conjuntos I
Entrada anterior: Teoría de los Conjuntos I: Conjuntos infinitos no numerables.
Siguiente entrada: Teoría de los Conjuntos I: El lema de Zorn

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»

También puedes consultar la prueba de este teorema en: Hernández, F. (2019). Teoría de Conjuntos. Una introducción. (2. $^{a}$ ed.). México: Aportaciones Matemáticas No.13, SMM., pp. 166-167. ↩︎

Teoría de los Conjuntos I: Aritmética cardinal

Por Gabriela Hernández Aguilar

Deja un comentario

Introducción

En las entradas anteriores hablamos de conjuntos finitos e infinitos. Además, vimos que hay conjuntos infinitos que no son equipotentes entre sí: $N$ y $N$ . Ahora hablaremos un poco sobre qué son los cardinales, asumiremos su existencia y daremos una breve introducción a cómo se puede trabajar con ellos mediante aritmética cardinal.

Introducción a ¿qué es un cardinal?

La idea intuitiva detrás de los cardinales es que a cualquier conjunto $X$ se le pueda asignar un conjunto «canónico» $Y$ con la misma cardinalidad que $X$ . Si esto es posible, diremos que la cardinalidad de $X$ es $Y$ , y lo escribiremos como $| X | = Y$ . A $Y$ le llamamos un cardinal. Recuerda que intuitivamente la noción de «ser equipotentes» es parecida a una relación de equivalencia (aunque estrictamente no lo es). Con esta intuición, puedes pensar a los cardinales como un «conjunto de representantes» de esta relación de equivalencia.

Si bien estamos muy lejos de tener algo así, hemos logrado algo de progreso parcial. Si un conjunto $X$ es finito, entonces es equipotente a un único natural $n$ y en ese caso dijimos que su cardinal es $n$ , lo cual denotamos como $| X | = n$ . Si $X$ es numerable, entonces dijimos que su cardinal es $N$ y escribimos $| X | = N$ . Ya vimos que $P (N)$ no es numerable. Si quisiéramos, podríamos decir que el cardinal de cualquier conjunto equipotente a $P (N)$ es precisamente $P (N)$ , pero esto ya empieza a volverse algo tedioso y no es claro cómo se formaliza.

La formalización de los cardinales queda fuera del alcance de este curso, y depende de la manera en la que se axiomatiza la teoría de los conjuntos. Una manera de hacer esto es introducir a los números ordinales, lo cual queda como invitación a un curso posterior de teoría de los conjuntos. Sin embargo, si asumimos la existencia de los cardinales, podemos platicar un poco de la aritmética cardinal, lo cual haremos a continuación.

Suma de cardinales

Comenzaremos definiendo la suma de dos cardinales. Dicha operación está motivada en la regla de la suma para conjuntos finitos. Recuerda que esta regla dice que si $A$ y $B$ son conjuntos finitos disjuntos con $m$ y $n$ elementos, respectivamente, entonces $| A \cup B | = m + n$ .

Definición. Si $κ = | A |$ , $λ = | B |$ y $A \cap B = \emptyset$ , definimos $κ + λ = | A \cup B | .$

La definición anterior da por hecho que existen conjuntos ajenos $A$ y $B$ tales que $κ = | A |$ y $λ = | B |$ , lo cual es cierto, pues si hacemos $A_{1} = A \times {0}$ y $B_{1} = B \times {1}$ , entonces $κ = | A | = | A_{1} |$ , $λ = | B | = | B_{1} |$ y $A_{1} \cap B_{1} = \emptyset$ .

La definición también supone que $| A \cup B |$ no depende de la elección de $A$ y $B$ . Para comprobar que la definición de suma de cardinales está bien definida tenemos que mostrar que en efecto esto es así; esto es, que si $A, A^{'}, B, B^{'}$ son conjuntos tales que $κ = | A | = | A^{'} |$ , $λ = | B | = | B^{'} |$ y $A \cap B = \emptyset = A^{'} \cap B^{'}$ , entonces $| A \cup B | = | A^{'} \cup B^{'} |$ .

Lema. Si $A, A^{'}, B, B^{'}$ son conjuntos tales que $| A | = | A^{'} |$ , $| B | = | B^{'} |$ y $A \cap B = \emptyset = A^{'} \cap B^{'}$ , entonces $| A \cup B | = | A^{'} \cup B^{'} |$ .

Demostración.

Dado que $| A | = | A^{'} |$ y $| B | = | B^{'} |$ , podemos fijar funciones $f : A \to A^{'}$ y $g : B \to B^{'}$ biyectivas. Luego, $f \cup g : A \cup B \to A^{'} \cup B^{'}$ es una función biyectiva, por lo que $| A \cup B | = | A^{'} \cup B^{'} |$ .

La definición de suma de cardinales no sólo coincide con la suma ordinaria de números en el caso finito, sino que también se preservan algunas propiedades usuales. Por ejemplo, si $A$ y $B$ son conjuntos ajenos tales que $κ = | A |$ y $λ = | B |$ , entonces $κ + λ = λ + κ$ . En efecto, como $A \cup B = B \cup A$ , entonces $| A \cup B | = | B \cup A |$ , y la definición de suma de cardinales implica que $κ + λ = λ + κ$ . Esto muestra que la suma de cardinales es una operación conmutativa.

Por otro lado, si $κ$ , $λ$ y $μ$ son cardinales, se satisface por la asociatividad de la unión que $κ + (λ + μ) = (κ + λ) + μ$ . Es decir, la suma de cardinales es también una operación asociativa.

También se puede mostrar que si $κ$ y $λ$ son cardinales, entonces $κ \leq κ + λ$ . En efecto, si $A$ y $B$ son conjuntos ajenos tales que $κ = | A |$ y $λ = | B |$ , entonces $f : A \to A \cup B$ definida por medio de $f (a) = a$ (la inclusión de $A$ en $A \cup B$ ) es una función inyectiva. Esto muestra que $κ = | A | \leq | A \cup B | = κ + λ$ , como queríamos.

Asimismo, si $κ_{1} \leq κ_{2}$ y $λ_{1} \leq λ_{2}$ son cardinales, entonces $κ_{1} + λ_{1} \leq κ_{2} + λ_{2}$ . ¿Podrás demostrar esto?

Producto de cardinales

Ya que definimos la suma de cardinales y hemos notado que algunas propiedades de esta nueva operación coinciden con las que ya conocíamos sobre la suma de números naturales, podemos definir la multiplicación de cardinales, la cual, como es de esperarse, estará motivada en la multiplicación ya conocida de números naturales.

Definición. Si $A$ y $B$ son conjuntos tales que $κ = | A |$ y $λ = | B |$ , entonces $κ \cdot λ = | A \times B | .$
Así como con la suma, debemos verificar que esta nueva operación está bien definida.

Lema. Si $A, A^{'}, B, B^{'}$ son conjuntos tales que $| A | = | A^{'} |$ y $| B | = | B^{'} |$ , entonces $| A \times B | = | A^{'} \times B^{'} |$ .

Demostración.

Dado que $| A | = | A^{'} |$ y $| B | = | B^{'} |$ , podemos fijar funciones $f : A \to A^{'}$ y $g : B \to B^{'}$ biyectivas. Luego, si definimos $h : A \times B \to A^{'} \times B^{'}$ por medio de $h (a, b) = (f (a), g (b))$ , entonces $h$ es biyectiva. De modo que $| A \times B | = | A^{'} \times B^{'} |$ .

Así, en efecto el producto de cardinales no depende de los conjuntos elegidos.

Algunas propiedades del producto de números naturales se preservan para el producto de cardinales.

De manera similar, se puede mostrar que:

$κ \cdot (λ \cdot μ) = (κ \cdot λ) \cdot μ$ ,
$κ \cdot (λ + μ) = κ \cdot λ + κ \cdot μ$

para cualesquiera cardinales $κ$ , $λ$ y $μ$ . Intenta demostrar esto. Tendrás que usar propiedades de la unión y producto cartesiano. Por ejemplo, para el inciso 2 deberás usar que para cualesquiera conjuntos $A, B, C$ se cumple que $A \times (B \cup C) = (A \times B) \cup (A \times C)$ .

También hay algunas propiedades de desigualdad de cardinales que involucran al producto. A continuación discutimos algunas brevemente.

Si $κ = | A |$ y $λ = | B |$ , con $B \neq \emptyset$ , entonces, definiendo $f : A \to A \times B$ por medio de $f (a) = (a, b_{0})$ donde $b_{0} \in B$ es un elemento fijo, tenemos que $f$ es una función inyectiva y así $κ = | A | \leq | A \times B | = κ \cdot λ$ . Esto muestra que para cualesquiera cardinales $κ$ y $λ$ , con $λ \neq 0$ , $κ \leq κ \cdot λ$ .

De manera similar se puede mostrar que si $κ_{1} \leq κ_{2}$ y $λ_{1} \leq λ_{2}$ , entonces $κ_{1} \cdot κ_{2} \leq λ_{1} \cdot λ_{2}$ . Basta tomar conjuntos $A, A^{'}, B, B^{'}$ tales que $κ_{1} = | A |$ , $κ_{2} = | A^{'} |$ , $λ_{1} = | B |$ y $λ_{2} = | B^{'} |$ . Luego, como $κ_{1} \leq κ_{2}$ y $λ_{1} \leq λ_{2}$ , podemos fijar funciones inyectivas $f : A \to A^{'}$ y $g : B \to B^{'}$ y podemos definir $h : A \times B \to A^{'} \times B^{'}$ por medio de $h (a, b) = (f (a), g (b))$ , la cual resulta ser una función inyectiva. Esto muestra que $κ_{1} \cdot λ_{1} = | A \times B | \leq | A^{'} \times B^{'} | = κ_{2} \cdot λ_{2}$ .

Otra propiedad es que al multiplicar un cardinal por un natural, sucede lo que esperamos: el cardinal «se suma la cantidad apropiada de veces». Veamos un pequeño ejemplo. Si $κ$ es un cardinal, entonces $κ + κ = 2 \cdot κ$ .

En efecto, si $κ = | A |$ , entonces $2 \cdot κ = | {0, 1} \times A |$ , pues $2 = | {0, 1} |$ . Luego, notando que ${0, 1} \times A = ({0} \times A) \cup ({1} \times A)$ , y dado que $κ = | {0} \times A | = | {1} \times A |$ y ${0} \times A$ es ajeno a ${1} \times A$ , se sigue que $2 \cdot κ = | {0, 1} \times A | = | ({0} \times A) \cup ({1} \times B) | = κ + κ$ . Intenta demostrar que para cualquier natural $n$ y cardinal $κ$ se cumple que $(n + 1) \times κ = n \times κ + κ$ .

Finalmente, ¿cómo se comparan la suma y producto de un cardinal consigo mismo? Usando las propiedades ya comentadas, se sigue que para un cardinal $κ \geq 2$ , se cumple $κ + κ = 2 \cdot κ \leq κ \cdot κ .$

Exponenciación de cardinales

La última operación que introduciremos para cardinales será la exponenciación de cardinales.

Definición. Si $κ = | A |$ y $| B | = λ$ , entonces $κ^{λ} = | A^{B} |$ , donde $A^{B}$ denota al conjunto de las funciones de $B$ en $A$ .

Si has realizado los ejercicios de entradas anteriores, notarás que esta definición también generaliza el caso de $A$ y $B$ finitos, en donde $κ$ y $λ$ son naturales.

Para verificar que esta operación está bien definida tenemos el siguiente lema.

Lema. Si $| A | = | A^{'} |$ y $| B | = | B^{'} |$ , entonces $| A^{B} | = | {A^{'}}^{B^{'}} |$ .

Demostración.

Fijemos funciones biyectivas $f : A \to A^{'}$ y $g : B \to B^{'}$ y definamos $F : A^{B} \to {A^{'}}^{B^{'}}$ como sigue: si $k \in A^{B}$ , sea $F (k) = h$ , donde $h : B^{'} \to A^{'}$ está definida mediante $h (g (b)) = f (k (b))$ para cada $b \in B$ .

$F$ es una función inyectiva, pues, si $k_{1}, k_{2} \in A^{B}$ son tales que $k_{1} \neq k_{2}$ , entonces existe $b \in B$ de tal modo que $k_{1} (b) \neq k_{2} (b)$ . Luego, como $f : A \to A^{'}$ es una biyección y $k_{1} (b) \neq k_{2} (b)$ , se tiene $f (k_{1} (b)) \neq f (k_{2} (b))$ . De modo que si $F (k_{1}) = h_{1}$ y $F (k_{2}) = h_{2}$ , entonces $h_{1} (g (b)) = f (k_{1} (b)) \neq f (k_{2} (b)) = h_{2} (g (b))$ , lo que implica que $h_{1} \neq h_{2}$ , es decir, $F (k_{1}) \neq F (k_{2})$ .

Por otro lado, $F$ es una función suprayectiva, ya que si $h \in {A^{'}}^{B^{'}}$ , entonces considerando las funciones $f^{- 1} : A^{'} \to A$ (la cual existe por ser $f$ biyectiva) y $k = f^{- 1} \circ h \circ g : B \to A$ , se tiene que $F (k) = h^{'}$ donde $h^{'} (g (b)) = f (k (b)) = f ((f^{- 1} \circ h \circ g) (b)) = (f \circ f^{- 1} \circ h \circ g) (b) = h (g (b)),$
es decir, $h^{'} (g (b)) = h (g (b))$ para todo $b \in B$ . Como $B^{'} = {g (b) : b \in B}$ , entonces $h^{'} (b^{'}) = h (b^{'})$ para todo $b^{'} \in B^{'}$ , lo cual nos permite concluir que $h^{'} = h$ . Esto muestra que $F (k) = h$ y, por consiguientes, $F$ es suprayectiva. Por tanto, $F$ es una biyección y así $| A^{B} | = | {A^{'}}^{B^{'}} |$ .

Platiquemos de algunas de las propiedades de exponenciación.

De la definición de exponenciación tenemos que si $λ > 0$ , entonces $κ \leq κ^{λ}$ . Esto se debe a que si $κ = | A |$ y $λ = | B |$ , con $B \neq \emptyset$ , entonces definiendo $f : A \to A^{B}$ por medio de $f (a) = g_{a}$ , donde $g_{a} : B \to A$ está dada por $g_{a} (b) = a$ para todo $b \in B$ , entonces $f$ es una función inyectiva, lo que muestra que $κ = | A | \leq | A^{B} | = κ^{λ}$ .

Nota que en este último argumento, implícitamente, supusimos $A \neq \emptyset$ , ya que las funciones que definimos resultaban ser funciones constantes y dichas constantes eran elementos de $A$ ; sin embargo, si $A = \emptyset$ no podemos definir una función constante de $B$ en $A$ , ya que no hay elementos en $A$ y, de hecho, al ser $B$ no vacío no existen funciones de $B$ en $A$ . De modo que si $A = \emptyset$ , entonces $A^{B} = \emptyset$ , por lo que $| A | = 0 = | A^{B} |$ y así $| A | = | A |^{λ} = | A |^{| B |} =$ . En consecuencia, $κ \leq κ^{λ}$ aún cuando $κ = 0$ .

Por otro lado, si $κ > 1$ , se puede probar que $λ \leq κ^{λ}$ . Para ello supongamos que $A$ y $B$ son conjuntos tales que $κ = | A |$ y $λ = | B |$ con $κ > 1$ .

Si $λ = 0$ , entonces $B = \emptyset$ y la única función de $B$ en $A$ sería la función vacía, por lo que $κ^{λ} = | A^{B} | = 1$ . En consecuencia, $λ \leq κ^{λ}$ . Supongamos ahora que $B \neq \emptyset$ . Dado que $κ > 1$ , existen al menos dos elementos distintos $a_{0}, a_{1} \in A$ . Utilizando a estos dos elementos podemos definir algunas funciones de $B$ en $A$ como sigue: dado $b \in B$ , definamos $g_{b} : B \to A$ por medio de $g_{b} (x) = {\begin{array}{lcc} a_{0} & s i x = b \\ a_{1} & s i x \neq b \end{array}$ . Podemos considerar entonces la función $φ : B \to A^{B}$ cuya regla de correspondencia es $φ (b) = g_{b}$ . Dicha función resulta ser inyectiva, pues si $φ (b_{1}) = φ (b_{2})$ , entonces $g_{b_{1}} = g_{b_{2}}$ y por tanto $g_{b_{1}} (x) = g_{b_{2}} (x)$ para cada $x \in B$ . En particular, para $x = b_{1}$ tenemos que $a_{0} = g_{b_{1}} (b_{1}) = g_{b_{2}} (b_{1})$ . De modo que $b_{1} = b_{2}$ , pues en caso contrario tendríamos que $g_{b_{2}} (b_{1}) = a_{1}$ lo cual es una contradicción, ya que $g_{b_{2}} (b_{1}) = a_{0}$ . De esta manera, si $φ (b_{1}) = φ (b_{2})$ , entonces $b_{1} = b_{2}$ y así $φ$ es inyectiva.

Esta serie de argumentos muestra que $| B | \leq | A^{B} |$ , es decir, $λ \leq κ^{λ}$ .

A continuación enunciaremos un teorema que nos da una propiedad interesante del estilo «ley de los exponentes» para la exponenciación de cardinales.

Teorema. $κ^{λ + μ} = κ^{λ} κ^{μ}$ .

Demostración.

Sean $κ = | A |$ , $λ = | B |$ , $μ = | C |$ con $B \cap C = \emptyset$ . Para probar que $κ^{λ + μ} = κ^{λ} \cdot κ^{μ}$ vamos a exhibir una función biyectiva entre $A^{B} \times A^{C}$ y $A^{B \cup C}$ .

Definamos $F : A^{B} \times A^{C} \to A^{B \cup C}$ por medio de $F (f, g) = f \cup g$ . Para cualesquiera $f \in A^{B}$ y $g \in A^{C}$ , $f \cup g$ es efectivamente una función de $B \cup C$ en $A$ , debido a que $d o m (f \cup g) = d o m (f) \cup d o m (g) = B \cup C$ junto al hecho de que $f$ y $g$ son funciones compatibles ya que $d o m (f) \cap d o m (g) = B \cap C = \emptyset$ .

Ahora, $F$ es una función inyectiva, pues si $F (f, g) = F (h, k)$ , entonces $f \cup g = h \cup k$ ; luego, para cada $b \in B$ se tiene que $f (b) = (f \cup g) (b) = (h \cup k) (b) = h (b)$ , lo cual implica que $f = h$ y de manera análoga se sigue que $g = k$ . Por tanto, $(f, g) = (h, k)$ .
Ahora, si $h \in A^{B \cup C}$ , podemos considerar las restricciones $h ↾_{B}$ y $h ↾_{C}$ , las cuales resultan ser funciones de $B$ en $A$ y $C$ en $A$ , respectivamente. De modo que $(h ↾_{B}, h ↾_{C}) \in A^{B} \times A^{C}$ y $F (h ↾_{B}, h ↾_{C}) = h ↾_{B} \cup h ↾_{C} = h$ , lo que muestra que $F$ es suprayectiva. Por lo tanto, $F$ es una biyección y, en consecuencia, $κ^{λ + μ} = κ^{λ} \cdot κ^{μ}$ .

Para finalizar con esta entrada sobre aritmética cardinal, tenemos el siguiente resultado sobre el cardinal de un conjunto y su potencia.

Teorema. Si $| A | = κ$ , entonces $| P (A) | = 2^{κ}$ .

Demostración.

Vamos a establecer una función biyectiva entre $P (A)$ y ${0, 1}^{A}$ . Para cada $B \subseteq A$ , definamos $χ_{B} : A \to {0, 1}$ como sigue $χ_{B} (x) = {\begin{array}{lcc} 1 & s i x \in B \\ 0 & s i x \notin B . \end{array}$ Definamos entonces $f : P (A) \to {0, 1}^{A}$ como $f (B) = χ_{B}$ . Luego, si $B \neq C$ , entonces existe $x \in B ∖ C$ o existe $x \in C ∖ B$ , de modo que existe $x \in A$ tal que $χ_{B} (x) = 1$ y $χ_{C} (x) = 0$ o bien $χ_{B} (x) = 0$ y $χ_{C} (x) = 1$ . En cualquier caso se tiene que $χ_{B} \neq χ_{C}$ , ya que no coinciden en la imagen de un mismo elemento.

Este argumento muestra que $f$ es inyectiva.

Por otro lado, si $g \in {0, 1}^{A}$ , podemos considerar el conjunto $B = {x \in A : g (x) = 1}$ . Se tiene que $B \in P (A)$ y $χ_{B} = g$ , ya que si $x \in B$ , entonces $χ_{B} (x) = 1$ y $g (x) = 1$ ; por otro lado, si $x \notin B$ , entonces $χ_{B} (x) = 0$ y $g (x) = 0$ . Esto demuestra que $f$ es suprayectiva.

Por lo tanto, $f$ es una biyección y, en consecuencia, $| P (A) | = | {0, 1}^{A} | = | {0, 1} |^{| A |} = 2^{κ}$ .

Tarea moral

La siguiente lista de ejercicios te permitirá reforzar el contenido visto en esta entrada:

Muestra que $κ^{0} = 1$ para todo $κ$ y $κ^{1} = κ$ para todo $κ > 0$ .
Muestra que $1^{κ} = 1$ para todo $κ$ y $0^{κ} = 0$ para todo $κ > 0$ .
Demuestra que si $κ_{1} \leq κ_{2}$ y $λ_{1} \leq λ_{2}$ , entonces $κ_{1}^{λ_{1}} \leq κ_{2}^{λ_{2}}$ .
Prueba que $κ^{κ} \leq 2^{κ \cdot κ}$ .
¿Existe un conjunto $A$ tal que $P (A)$ es numerable? Argumenta tu respuesta.

Más adelante…

En la última unidad del curso hablaremos acerca del axioma de elección. Esto ayudará a cerrar algunos pendientes que hemos dejado a lo largo del curso. A grandes rasgos, el axioma de elección nos permitirá construir un conjunto eligiendo un elemento de cada conjunto de una familia de conjuntos. Como consecuencia, veremos que cualquier conjunto puede ser bien ordenado, así como algunas aplicaciones a otras áreas de las matemáticas.

Entradas relacionadas

Ir a Teoría de los Conjuntos I
Entrada anterior: Conjuntos numerables
Siguiente entrada: Axioma de elección

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»

Introducción

Lema del punto fijo

Teorema de Cantor-Schröder-Bernstein1

Tarea moral

Más adelante…

Entradas relacionadas

Agradecimientos

Introducción

Ordenando buenos órdenes de subconjuntos

El teorema del buen orden

Resumen de últimas equivalencias

Tarea moral

Más adelante…

Entradas relacionadas

Agradecimientos

Introducción

Recordatorio de definiciones

Todo espacio vectorial tiene una base

Tarea moral

Entradas relacionadas

Agradecimientos

Introducción

Funciones de elección

Axioma de elección y equivalencias

Una aplicación del axioma de elección a cardinales numerables

Tarea moral

Más adelante…

Entradas relacionadas

Agradecimientos

Introducción

Introducción a ¿qué es un cardinal?

Suma de cardinales

Producto de cardinales

Exponenciación de cardinales

Tarea moral

Más adelante…

Entradas relacionadas

Agradecimientos

Teorema de Cantor-Schröder-Bernstein¹