Georg Cantor no sólo cambió las matemáticas. Lo rompió.
Nacido en San Petersburgo en 1845, este matemático alemán observó los números y vio algo que otros pasaban por alto. Antes de él, el infinito era un concepto vago. Un gran número que siguió adelante. Pero Cantor lo vio como un lugar. Un paisaje con diferentes regiones, diferentes tamaños y diferentes reglas.
Se convirtió en el fundador de la teoría de conjuntos al tratar los sistemas numéricos como entidades completas. No se limitó a observar los números racionales individuales. Miró a todo el grupo. Todo el conjunto de ellos. Este cambio de perspectiva condujo a un descubrimiento que todavía resulta incorrecto para la mayoría de las personas.
No todos los infinitos son iguales.
Contando lo incontable
Lo primero que demostró Cantor fue que se pueden contar algunos conjuntos infinitos. Toma los números racionales. Estas son fracciones. Cualquier número se puede escribir como un número entero dividido por otro. Parece que hay muchas más fracciones que números para contar (1, 2, 3…).
Cantor mostró una correspondencia uno a uno. Emparejó cada número racional con un número de conteo único. Ninguno quedó fuera. Ninguno repetido.
El conjunto de los números racionales es contable.
Esto significaba que la infinidad de fracciones tiene el mismo “tamaño” que la infinidad de números enteros. Los matemáticos llaman a esto infinito contable. Es manejable. Puedes enumerarlo. Puedes indexarlo.
Pero luego vino el verdadero shock.
Cantor centró su atención en los números irracionales. Números como pi o la raíz cuadrada de dos. Estos decimales continúan para siempre sin repetirse. Llenan los espacios entre fracciones. Cantor demostró que aquí no existe tal correspondencia.
No puedes emparejarlos con números para contar. Simplemente hay demasiados.
Este conjunto es incontable. Es más grande. Es un infinito más grande.
Grados de infinito
Este descubrimiento obligó a Cantor a clasificar lo que llamó números transfinitos. Estos son grados de infinito.
Si piensas en el infinito como una altura, Cantor demostró que no es sólo un pico alto. Es una cadena montañosa. Algunos picos son más altos que otros. La infinidad de números reales es mayor que la infinidad de números para contar.
No lo descubrió simplemente adivinando. Usó una lógica rigurosa. Comparó directamente el tamaño de los conjuntos. Si puede hacer coincidir cada elemento del conjunto A con el conjunto B sin sobras, son del mismo tamaño. Si no puedes, uno es más grande.
Por eso es importante comprender el argumento de la diagonal de Cantor. Es la prueba de que los números reales son incontables. Muestra una forma concreta de encontrar un número que no está en ninguna lista que intente crear.
Por qué esto es importante para aprender matemáticas
La mayoría de la gente deja de oír hablar de Cantor en la escuela secundaria. O nunca saber nada de él. Aprenden matemáticas como un conjunto de reglas estáticas. Agregar. Sustraer. Multiplicar. Dividir.
Cantor nos enseña que las matemáticas son dinámicas. Se trata de relaciones entre grupos. No sólo dígitos individuales.
Cuando estudias conceptos básicos de la teoría de conjuntos, estás aprendiendo a pensar en estructuras. ¿Cómo encajan estas piezas? ¿Pueden mapearse entre sí? ¿Qué sobra?
Esto no es sólo una teoría abstracta. Así es como la informática maneja los datos. Así es como funciona la lógica. Así es como entendemos los límites
