/ Ciencias.
Matemáticas
Carta editorial No. 6, Mayo 2022
En la segunda mitad del siglo XIX se desarrolló por
primera vez una teoría formal sobre el infinito y los
conjuntos. Extrañamente, a diferencia de muchos
otros grandes avances en las matemáticas y las
ciencias, esta fue creada prácticamente por solo
un hombre: Georg Cantor. Nacido en San Peters-
burgo se mudó muy joven a Alemania que en aque-
lla época era la sede más pujante e intensa de las
matemáticas mundiales. Ahí nacieron la Teoría de
Conjuntos y la Teoría de los números transfinitos.
Su trabajo fue recibido con escepticismo por parte
de algunos, pues en particular, su teoría de los nú-
meros transfinitos trastocaba nociones aceptadas
desde la antigüedad en muchos diversos campos
del pensamiento humano: la filosofía, la religión, las
matemáticas, la lógica y las ciencias. ¿Cómo repre-
sentar matemáticamente a los conjuntos y sus “ta-
maños” o cardinalidad? ¿Qué marco fundamental se
necesitaba para poder definir y manipular dichos
“números”? ¿Qué tipo de aritmética se podría
Luis Leñero Elu
desarrollar con estos números transfinitos? Al
responder estas preguntas Cantor estableció las
¿Infinitos?
reglas para que la matemática pudiera investigar
y comprender uno de los conceptos más vagos y
complejos: el infinito.
Grandotes y
chiquitos
Teoría de conjuntos y
36 37
números transfinitos
Revista Nueva Educación Latinoamericana permite la reutilización y remezcla de los contenidos publicados de acuer- Figura 1. Georg Cantor
do con la licencia Creative Commons Atribución-NoComercial 4.0 Internacional (CC BY-NC 4.0): se pueden copiar,
usar, difundir, transmitir y exponer públicamente con la condición de citar la fuente original (revista, autores y URL).
/ Ciencias. Matemáticas
Carta editorial No. 6, Mayo 2022
Los Conjuntos y su tamaño Cada cual tiene una sola pareja. Sabemos que a Así pues, si cualquier número entero z es positivo
cualquier número Natural, llamémosle m, lo pode- lo asigno a (2z) - 1 (es decir: lo multiplico por 2 y le
Cada vez que podemos definir una característica en que cualquier otro, estaríamos mintiendo, dado que
mos emparejar con 2m, y simultáneamente sabe- resto 1); y si z es negativo lo asocio a (es decir: lo
común de varios elementos estamos, sin ir más lejos, G+1 es también un número natural, y es más grande.
mos que un número par cualquiera, llamémosle p, multiplico por -2).
declarando la existencia de un conjunto. Por ejemplo, Aquí es donde aparece la idea de Infinito.
si mencionamos la característica de los seres huma- es el doble de “algo”, ese algo es un número natural
que se llamaría s; así que podemos decir con toda Por lo tanto, los Enteros (Z) y los Naturales (N) tie-
nos de ser zurdos esto implica inmediatamente for- La noción de infinito, pese a ser compleja, es un
seguridad que... p = 2 x s; esto significa que, a todo nen la misma cardinalidad, es decir son igualmente
mar un conjunto de todos los humanos zurdos. concepto muy usual y se emplea en muchos ámbi-
número p le podemos asociar un número natural s infinitos. ¿Cómo que “igualmente”? ¿Acaso puede
tos de la vida y del conocimiento. Aunque al parecer
(que viene siendo el doble suyo: 2m) ¡Ah carambas! haber infinitos “no iguales”? ¡¿Hay infinitos mayo-
Al número de elementos que forman un conjunto se contradiga nuestra percepción inmediata, final-
res a otros infinitos?!
le llama cardinalidad. Por ejemplo, la cardinalidad mente resulta fácil entenderla a partir de la noción
del conjunto de los dedos de tus manos es 10. Y una de lo ilimitado. Esto tiene una consecuencia asombrosa y extraña:
manera de comparar dos conjuntos es creando pa- Hay la misma cantidad de números Naturales que Los Racionales
rejas entre los elementos de uno y del otro. Si cada de números pares. Son conjuntos igual de infinitos.
Comparar emparejando Hasta ahora todos los infinitos que les he presenta-
elemento de uno de los dos conjuntos tiene una y do son igual de grandes. Vamos con el conjunto que
solo una pareja del otro conjunto podemos decir Concentrándonos en el campo de las matemáticas, Otros números, otros les sigue. Es el conjunto de los llamados números
que los dos conjuntos tienen la misma cantidad de vemos que cuando aparece la noción de infinito conjuntos ¿más grandes? Racionales, representados por la letra Q y son to-
elementos o la misma cardinalidad. empiezan a suceder cosas raras, anti-intuitivas.
¿Y los Naturales son todos los números que dos los números que se pueden expresar como una
Si tomamos el conjunto de los números del 1 al 10 y Imaginemos el conjunto de todos los números Na- conocemos? ¿Qué hay de los números negativos? fracción o razón: siendo a y b números enteros.
contamos los dedos de las manos, emparejamos uno turales. Es infinito. Ahora imaginemos el conjunto El -1, el -2, el -3, etc. Pues bien, si al conjunto de Todos los Enteros se pueden expresar como una
a uno cada dedo con un número. Y podemos concluir de los números pares. Pues aunque supuestamente los números positivos (los Naturales) le agregamos fracción; por ejemplo 5 es equivalente a , y -8 que
que la cardinalidad de los dedos de las manos es 10 y serían la mitad de los números Naturales, son tam- los mismos pero con signo negativo, se forma es equivalente a . Pero hay también muchos núme-
la cardinalidad de los números del 1 al 10 es 10 también. bién infinitos. Y además si emparejamos ambos un nuevo conjunto que los matemáticos llaman el ros que no son enteros pero que sí son fracciones;
Es decir, tienen la misma cardinalidad. Realmente, el conjuntos, resulta que sí podríamos relacionar cada conjunto de los Enteros , a los que se representa por ejemplo o . Otra vez nos encontramos con un
hecho de emparejar un conjunto a algunos de los nú- uno de los números pares con un número natural, con la letra Z. Acá nos va a suceder lo mismo que conjunto que contiene a los anteriores y que parece
meros naturales es lo que llamamos CONTAR. sin detenernos. Esto implica, pues, que ambos con- con los naturales y los pares. Si encontramos un infinito también. ¿Podremos emparejarlos?
juntos tienen la misma cardinalidad, ¡que son igual emparejamiento de uno a uno entre los Naturales
de grandes! (N) y los Enteros (Z) sabremos que ambos conjuntos
Los números hacen conjuntos tienen la misma cardinalidad, es decir, son igual de
Hablemos de números. Los números con los que con- Pues aquí les va: grandes. Mira cómo se pueden relacionar los ele-
tamos son los más intuitivos y naturales a los que mentos de cada conjunto:
al 1 lo relacionamos con el 2
estamos expuestos desde nuestra primera infancia.
Y a todos ellos se les llama justo así: Naturales. ¡Y a al 2 con el cuatro Z N
38 decir verdad, se trata de un conjunto muy grande! 39
1 va al 1
al 3 con el seis
Y ¿cuál es su cardinalidad?; o sea ¿cuántos núme- el -1 va al 2
ros naturales hay? Ah caray… al 4 con el ocho….
el 2 va a el 3
Pues sabemos que no tienen límite, es decir que y así con todos, al n con el 2 X n. y el -2 va a el 4
no hay un número más grande que todos. Porque
si decimos que G es un número natural más grande el 3 va a el 5
Figura 2. Modo de emparejamiento para la demostración de Cantor de
y el -3 va al 6 que los Racionales son numerables.
/ Ciencias. Matemáticas
Carta editorial No. 6, Mayo 2022
Vamos a contarlos. Empezamos con: Y aquí es donde se pone buena la cosa. Vamos a tratar de ver si el
infinito de los Naturales, los Enteros y los Racionales es igual al de los
N Q Reales.
el 1 y lo emparejamos con el 1/1 2
1
Vamos a tomar solo un subconjunto o parte de los Reales: todos los
números que hay entre el Cero y el Uno. Y consideremos también al
el 2 con el 2/1
conjunto de los números Naturales.
el 3 con el 1/2
Si pudiéramos encontrar un emparejamiento entre ambos conjunto,
el 4 con el 1/3 significaría que son igualmente infinitos. Es decir que los números
Reales tienen la misma cardinalidad que los Naturales o como algu-
1
el 5 con el 2/2 nos dicen, que los Reales son numerables.
el 6 con el 3/1, etc. A veces los matemáticos cuando quieren demostrar algo que sospe-
chan no es posible, justamente suponen que sí lo es y encuentran una
Así, mientras podamos inventar un modo de enlis- Figura 3. El planteamiento de raíz de dos a partir del Teorema de Pitágoras. contradicción. Usaremos esta técnica llamada reducción al absurdo.
tar un conjunto, aunque sea infinito será del mismo
tamaño que los Naturales. Este número causó varias conmociones e incluso la Supongamos que podemos hacer un emparejamiento o lista numera-
muerte. En la secta de los Pitagóricos su existencia da de todos los números contenidos entre el 0 y el 1. Supongamos que
Por lo tanto, ya encontramos que N, Z y Q son in- era casi una representación de algo extraño y maligno. esa lista existe y que es completa. Es decir que todos los Reales entre
finitos de igual tamaño. Y que, extrañamente, los 0 y 1 están en ella.
Naturales están contenidos en los Enteros y estos a Otro número no racional es Pi Es decir, las veces
su vez están contenidos en los Racionales. que cabe el diámetro de un círculo en su circunfe- Esa lista sería así:
rencia. Pi empieza así: 3.14159…….. y luego siguen
En particular los Racionales tienen una propiedad una infinidad de números decimales, y por cierto 1 - 0.03245445545345….
que no tienen los Naturales o los Enteros. Siempre sin ningún orden descubierto hasta la fecha.
sucede que entre cualesquiera dos Racionales hay 2 - 0.43042040340332…..
otro Racional. Esto no se cumple en los Naturales; Como estos números no son Racionales les lla-
3 - 0.33333333333333…..
por ejemplo: entre el 2 y el 3 no existe otro número maron Irracionales. Y al conjunto de los números
Natural. En cambio si consideramos dos números Racionales unido al de los Irracionales se le llama 4 - 0.76758666576666…..
Racionales p y q, resulta que es Racional y está conjunto de los números Reales. El panorama ge-
justo en medio de p y q. neral queda así. Recuerden que supusimos que dicha lista está completa; es decir,
que todos los Reales entre 0 y 1 están en ella.
Un conjunto realmente más grande Fabriquemos un número:
40 Y... ¿ya se me acabaron los números? ¿Hay más? 41
Empezará con 0.
Sí. Hay números que no son racionales y algunos
de ellos son hasta famosos. Uno de los primeros Y en el primer decimal ponemos un dígito diferente al primer decimal
que descubrieron los griegos fue la diagonal de un del primer número de la lista. Como el primer decimal del primer nú-
triángulo cuyos lados miden 1. y cuyo valor, según el mero de la lista es 0, pondremos un número cualquiera diferente a 0,
teorema de Pitágoras es Raíz de 2. por ejemplo: 2.
Ok. Entonces el número que estamos construyendo ahora es 0.2
Figura 4. Esquema de la contención de los subconjuntos de los números Reales.
/ Ciencias. Matemáticas
Carta editorial No. 6, Mayo 2022
1. Que lleguen todos 15. Que llegue solo David
Sigamos. Ahora pongamos como segundo decimal un dígito diferente al segundo decimal del
segundo número de la lista, que es 3. Entonces elegimos un número diferente a 3, que sea 6. 2. Que lleguen solo Arturo y Berenice 16. Que no llegue nadie
Ahora nuestro número es 0.26 y así haremos sucesivamente para cada dígito, haciéndolo 3. Que lleguen Arturo y Carla Esto quiere decir que si en el club hay 4 miembros,
diferente del dígito correspondiente de cada número de la lista. Este número que acaba- las posibilidades de reunión son 16. Resalté las po-
4. Que lleguen Berenice y Carla sibilidades que estaban incluidas en los casos ante-
mos de fabricar es diferente al primero de la lista porque difiere en su primer dígito. Es
diferente al segundo de la lista porque difiere en su segundo dígito y así sucesivamente: riores. Es decir, mientras aumentan los elementos,
5. Que llegue solo Arturo
nuestro número es diferente a cada uno de todos los de la lista. y además nuestro número los subconjuntos previos quedan incluidos.
es 0.26….. que es un número entre 0 y 1. Por lo tanto la lista no estaba completa. 6. Que llegue solo Berenice
Retomando: Con un club de 2 miembros hay 4 reu-
Y así, siempre que pensemos que ya se pudo hacer una lista completa, podemos demos- 7. Que llegue solo Carla niones, con uno de 3 hay 8, y con uno de 4 hay 16.
trar que le falta al menos el número que construimos. Y esto demuestra que no se puede 1-2
hacer una relación de uno a uno entre los Naturales y los números Reales entre 0 y 1, y 8. Que no llegue Nadie
por supuesto mucho menos entre los Naturales y todos los Reales. Bastó un nuevo miembro al club para que con 3 se 2-4
Por lo tanto, los números reales son infinitos pero un infinito más grande que el de los llegara a 8 posibilidades.
3-8
Naturales, Enteros o Racionales. Si entrara David al club tendremos más posibilidades:
4-16
Todas las reuniones posibles de los 1. Que lleguen todos
miembros de un club Estas parejas de números se pueden relacionar me-
2. Que lleguen solo Arturo, Berenice y Carla diante una operación básica. Elevamos el número 2
Si tenemos un club de juegos en el que se organizan al tamaño del club y nos da el número de reuniones
reuniones semanales, y los miembros del club pue- 3. Que lleguen Arturo, Berenice y David posibles.
den asistir o no, veremos que las reuniones pueden
contar con los siguientes asistentes: 4. Que lleguen Arturo, Carla y David 2 elevado a la 1 es 2 (21=2)
Si los miembros del club son solo 2, digamos Arturo y 5. Que lleguen Berenice, Carla y David 2 elevado a 2 es 4 (22=4)
Berenice, la reunión próxima puede ser de 4 maneras:
6. Que lleguen solo Arturo y Berenice 2 elevado a 3 es 8 (23=8)
1. Que lleguen todos, es decir Arturo y Berenice.
7. Que lleguen solo Arturo y Carla 2 elevado a 4 es 16 (24=16)
2. Que solo llegue Arturo
8. Que lleguen solo Arturo y David Así pues, si queremos saber cuántas reuniones po-
3. Que solo llegue Berenice sibles hay en un club con 5 miembros, basta efec-
9. Que lleguen Berenice y Carla tuar la operación 25 =32.
42 43
4. Que no llegue nadie.
10. Que lleguen Berenice y David Eso traducido a la jerga matemática se diría así:
Tres de estos casos suenan muy aburridos, pero es
que son solo 2 miembros y solo se dan 4 posibilidades. 11. Que lleguen Carla y David Dado un conjunto de nombre N, con una cardinali-
dad n (número de elementos), el conjunto de todos
Si entrara Carla al club, aumentan las posibilidades: 12. Que llegue solo Arturo
sus subconjuntos tiene cardinalidad de 2 a la n. 2n
(Nota: se sombrean las posibilidades ya incluidas 13. Que llegue solo Berenice
Además, remarqué los casos del anterior club que
en el conjunto anterior). quedan contenidos en el club de un miembro más.
14. Que llegue solo Carla
/ Ciencias. Matemáticas
Carta editorial No. 6, Mayo 2022
Después de la tempestad viene...
Por último, podemos expresar cualquier número Real como un subconjunto de com- Referencias
binaciones de los números Naturales. Y esto tiene una consecuencia sorprendente.
[Link]
Los números Naturales tienen cardinalidad infinita, llamémosle 0. La cardi- cantor-el-hombre-que-descubrio-distintos-infinitos/
nalidad del conjunto de todos los subconjuntos de los Naturales, es decir de los
[Link]
Reales será 2 elevado a la 0. es decir:
[Link]
[Link]
Grandes temas de la matemática: Capítulo 13: Infinito
[Link]
channel=Derivando
¿Cuántos Infinitos Existen? ∞ El Teorema de Cantor
Infinity is bigger than you think - Numberphile
Figura 5. La relación entre la cardinalidad de los Naturales y los Reales.
Y dejaré una última pregunta, que es una GRAN Ficha del autor
pregunta. Si hay estos dos infinitos y el primero es Luis Leñero Elu: [Link]@[Link]
menor que el segundo, ¿Hay algún infinito interme-
dio? Esta pregunta, esta gran incógnita fue la más Estudió Matemáticas en la Facultad de Ciencias de la UNAM. Es com-
importante planteada por el gran matemático David positor, maestro y fundador del Instituto del Juego. Se ha dedicado
Hilbert en el segundo congreso mundial de Matemá- a la enseñanza y la comunicación educativa aplicando tecnologías y
ticas en París del año 1900. El nombre de esta gran gamificación en diversos ámbitos.
44 45
hipótesis es “La hipótesis del Continuo de Cantor”,
creada por el matemático Alemán Georg Cantor, que
la formuló con implicaciones cataclísmicas para el
mundo de la Lógica, las Matemáticas en sí y la Filo-
sofía de la Ciencia.
