Introducción
En esta nueva unidad comenzaremos a hablar acerca de conjuntos infinitos, para ello necesitamos hablar acerca de la cantidad de elementos que poseen estos conjuntos. En esta sección comenzaremos a entablar una relación entre los elementos de un conjunto y otro, veremos que si podemos establecer una función biyectiva entre dos conjuntos diremos que tales conjuntos son equipotentes.
Equipotencia
Definición. Sean $A$ y $B$ conjuntos. Decimos que $A$ y $B$ son equipotentes si existe una función $f:A\to B$ tal que $f$ es biyectiva. Denotaremos $A$ equipotente a $B$ como $A\sim B$.
Ejemplo.
Sea $A=\mathbb{N}$ y $B=\set{x: x=2k\ \text{para algún}\ k\in\mathbb{N}}$.
Afirmación. $A$ y $B$ son equipotentes.
Demostración de la afirmación.
Sea $f:\mathbb{N}\to B$ dada por $f(n)=2n$ para todo $n\in \mathbb{N}$. Primero veamos que $f$ es función.
Sean $(a,b), (a,c)\in f$, entonces $(a,b)=(x, 2x)$ y $(a,c)=(y, 2y)$ para algunos $x,y\in\mathbb{N}$. Como $(a,b)=(x,2x)$, entonces $a=x$ y $b=2x$; asimismo, como $(a,c)=(y,2y)$, entonces $a=y$ y $c=2y$. Así, $x=y$, pues $a=x$ y $a=y$. Luego, $b=2x=2y=c$. Por lo tanto, $f$ es función.
Ahora veamos que $f$ es biyectiva.
- Inyectividad.
Sean $x,y\in \mathbb{N}$ tales que $f(x)= f(y)$, esto es $2x=2y$. Luego, por ley de la cancelación para el producto tenemos que $x=y$ y, por tanto, $f$ es inyectiva. - Sobreyectividad.
Si $y\in B$, entonces $y=2k$ para algún $k\in \mathbb{N}$. Así, existe $k\in \mathbb{N}$ tal que $f(k)=2k=y$ y, por consiguiente, $f$ es sobreyectiva.
Por lo tanto, $f$ es biyectiva, de modo que $A\sim B$.
$\square$
Teorema. Sean $A,B$ y $C$ conjuntos. Entonces se satisfacen los siguientes enunciados:
- $A$ es equipotente a $A$.
- Si $A$ es equipotente a $B$, entonces $B$ es equipotente a $A$.
- Si $A$ es equipotente a $B$ y $B$ es equipotente a $C$, entonces $A$ es equipotente a $C$.
Demostración.
- La función $Id_A$ es una función biyectiva, por lo que podemos concluir que $A\sim A$.
- Supongamos que $A\sim B$, entonces existe $f:A\to B$ tal que $f$ es una función biyectiva. Luego, $f^{-1}:B\to A$ es una función biyectiva y por lo tanto, $B\sim A$.
- Supongamos que $A\sim B$ y $B\sim C$, esto es, existe $f:A\to B$ biyectiva y $g:B\to C$ biyectiva. Luego, consideremos $g\circ f: A\to C$, como $f$ y $g$ son biyectivas, entonces $g\circ f$ es biyectiva.
Así, $A\sim C$.
$\square$
Dominancia
Hemos visto que para que un conjunto sea equipotente a otro se requiere que exista una función biyectiva, por lo que podemos preguntarnos si hay una forma en que los conjuntos se comparen si solo existe una función inyectiva pero no sobreyectiva. Así va a ser y viene descrito en la siguiente definición.
Definición. Sean $A$ y $B$ conjuntos. Decimos que $B$ domina a $A$ si existe $f: A\to B$ tal que $f$ es inyectiva. Lo denotaremos como $A\lesssim B$.
Ejemplo.
Sean $A=\set{1,2,3}$ y $B=\mathbb{N}$. Tenemos que $A\lesssim B$ pues existe $f=\set{(1,1), (2,2), (3,3)}$ tal que $f$ es función inyectiva. Sin embargo, no existe $h:A\to B$ tal que $h$ sea sobreyectiva.
$\square$
Teorema. Sean $A,B$ y $C$ conjuntos. Entonces se satisfacen los siguientes enunciados:
- $A\lesssim A$.
- Si $A\lesssim B$ y $B\lesssim C$, entonces $B\lesssim C$.
Demostración.
- La función $Id_A$ es una función biyectiva, en paticular es una función inyectiva por lo que podemos concluir que $A\lesssim A$.
- Supongamos que $A\lesssim B$ y $B\lesssim C$, esto es, existe $f:A\to B$ inyectiva y $g:B\to C$ inyectiva. Luego, consideremos $g\circ f: A\to C$, como $f$ y $g$ son inyectivas, entonces $g\circ f$ es inyectiva.
Así, $A\sim C$.
$\square$
Lo siguiente que podemos probar es que si $A$ y $B$ son conjuntos tales que $A\lesssim B$ y $B\lesssim A$, entonces $A\sim B$. Este resultado corresponde al teorema de Cantor-Schröder-Bernstein que demostraremos en la próxima entrada.
Tarea moral
Los siguientes ejercicios te permitirán aprender más resultados acerca de equipotencia y dominancia:
- Demuestra que si $n$ y $m$ son números naturales, entonces, o bien $n$ domina a $m$ o bien $m$ domina a $n$.
- Demuestra que si $A$ es un conjunto, entonces su conjunta potencia lo domina; esto es, muestra que existe una función inyectiva de $A$ en $P(A)$.
- Si $A$, $B$, $C$ y $D$ son conjuntos tales que $A\sim B$ y $C\sim D$, ¿será cierto que $A\cup C\sim B\cup D$? Argumenta tu respuesta.
- Demuestra que si $A\subseteq B$, entonces $B$ domina a $A$.
Más adelante…
En la siguiente entrada abordaremos el tema de conjuntos finitos. Probaremos el teorema de Cantor-Schröder-Bernstein. Este teorema nos será de gran utilidad para averiguar si dos conjuntos tienen la misma cantidad de elementos.
Entradas relacionadas
- Ir a Teoría de los Conjuntos I
- Entrada anterior: Teoría de los Conjuntos I: Producto en los naturales
- Siguiente entrada: Teoría de los Conjuntos I: Teorema de Cantor-Schröder-Bernstein
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»