Investigación profunda: los infinitos de Cantor — hay infinitos más grandes que otros

Durante siglos, el infinito fue un tema de filósofos y teólogos, y muchos matemáticos le tenían miedo. Cantor (1845–1918) hizo algo distinto: lo trató como un objeto matemático al que se le pueden hacer preguntas precisas. Su herramienta fue simple y demoledora: comparar dos colecciones emparejando sus elementos, uno a uno, sin que sobre ninguno. Con esa idea descubrió que el infinito de los decimales es estrictamente mayor que el infinito de los números naturales.

1. El misterio: ¿puede haber más infinitos que uno?

Piensa en dos colecciones infinitas: los números naturales (1, 2, 3, …) y los números pares (2, 4, 6, …). La intuición dice que hay «el doble» de naturales que de pares, porque los pares son solo una parte. Pero Cantor propuso una pregunta mejor: ¿tienen el mismo tamaño? Para responder, no hay que restar; hay que emparejar.

2. La pista: emparejar sin que sobre nada

Aquí está el truco. Asocia cada número natural con su doble: 1 va con 2, 2 con 4, 3 con 6, y así sucesivamente. Cada natural tiene un par, y cada par tiene un natural que le corresponde: no sobra ninguno de los dos lados. Eso significa que el infinito de los pares es exactamente tan grande como el infinito de todos los naturales. Un conjunto puede tener el mismo tamaño que una parte de sí mismo: algo imposible para colecciones finitas.

3. La evidencia: naturales, enteros y racionales (todos «iguales»)

Cantor mostró que los naturales, los enteros y hasta los números racionales (las fracciones) tienen el mismo tamaño de infinito. Aunque las fracciones parecen muchísimas más, se pueden ordenar en una lista infinita en la que, con paciencia, todas aparecen en algún lugar. A este tamaño se le llama alef-cero (ℵ₀): el infinito más pequeño, el de lo que se puede «contar» uno tras otro.

4. La hipótesis: y los decimales, ¿también?

Si los naturales, los enteros y las fracciones comparten el mismo infinito, Cantor sospechaba que los números reales —todos los decimales, los que llenan una recta sin huecos— formarían un infinito de otro calibre. Su conjetura era audaz: no importa qué lista infinita de decimales inventes, siempre quedará algún decimal fuera. Es decir, los reales son más que numerables.

5. La investigación: el argumento diagonal

La prueba es una obra de arte llamada argumento diagonal. Imagina que alguien afirma tener una lista infinita con TODOS los decimales entre 0 y 1. Cantor responde construyendo un decimal nuevo: mira el primer dígito del primer número y cámbialo; mira el segundo dígito del segundo número y cámbialo; sigue la diagonal y cambia cada dígito que encuentres. El número así formado difiere del primero en el primer decimal, del segundo en el segundo, y de cada uno en al menos una cifra. No está en la lista. Como la lista era cualquiera, ninguna lista funciona.

6. La complicación: una idea que fue atacada

El resultado era tan contraintuitivo que muchos colegas lo rechazaron. El gran lógico Leopold Kronecker se opuso con dureza, y en su época se llegó a hablar de «enfermedad» y de «paraíso» a propósito de la teoría de conjuntos. Cantor sufrió episodios de depresión y murió en un hospital. Su amigo David Hilbert lo defendió con una frase célebre: nadie nos expulsará del paraíso que Cantor creó para nosotros.

7. La explicación: medir lo inmedible

La clave conceptual es que Cantor definió el tamaño (la «cardinalidad») de un conjunto mediante emparejamientos, no mediante conteos. Con esa definición, «dos infinitos iguales» significa «se pueden emparejar sin sobrantes», y «uno mayor» significa «no existe ningún emparejamiento posible». El argumento diagonal prueba precisamente que no existe emparejamiento entre los naturales y los reales. Así, por primera vez, el infinito dejó de ser una nebulosa filosófica y se volvió una escalera de tamaños perfectamente definida.

9. Tu turno: juega con el hotel infinito

Actividad de razonamiento y aplicación: usa el hotel de Hilbert. Reto 1: llega un huésped nuevo (hotel lleno). Da una regla para alojarlo. Reto 2: llega un autobús con infinitos huéspedes numerados 1, 2, 3, … (hotel lleno). Da una regla para alojarlos a TODOS. Pista para el reto 2: mueve al huésped de la habitación n a la 2n, dejando libres todas las impares. Escribe tus reglas y comprueba que nadie se queda fuera.

Cantor nos dejó una lección sobre el poder de definir con precisión. Al preguntar «¿qué significa que dos conjuntos tengan el mismo tamaño?» y responderla con emparejamientos, abrió un continente entero de las matemáticas. La próxima vez que algo parezca «demasiado grande para contarse», recuerda: a veces basta con inventar la pregunta correcta para poder, literalmente, contar lo incontable.