Emparejar elementos permite medir un conjunto infinito
Dos conjuntos tienen el mismo tamaño o cardinalidad si existe una biyección, una correspondencia uno a uno que empareja cada elemento de uno con exactamente uno del otro y no deja ninguno fuera. Esta regla funciona en colecciones finitas y se vuelve sorprendente en las infinitas. Los números naturales 1, 2, 3... pueden emparejarse con los pares mediante n ↦ 2n. Aunque los pares parecen ser solo una parte, ambos conjuntos tienen la misma cardinalidad. Esa posibilidad de coincidir con un subconjunto propio caracteriza el infinito en sentido de Dedekind.
No se termina de contar para comprobarlo. La fórmula describe todos los emparejamientos de una vez. Por eso añadir o retirar una cantidad finita de elementos no cambia la cardinalidad de los naturales, algo imposible para un conjunto finito.
Enteros y fracciones caben en una lista
Un conjunto es numerable si sus elementos pueden enumerarse con los naturales. Los enteros parecen duplicarlos porque se extienden hacia positivos y negativos, pero una lista como 0, 1, -1, 2, -2... los incluye sin omisiones. El orden habitual no importa; lo decisivo es que cada entero reciba una posición finita.
Los racionales también son numerables pese a que entre dos hay infinitos. Podemos colocarlos en una cuadrícula de numeradores y denominadores, recorrer diagonales y saltar fracciones repetidas. Densidad y cardinalidad son propiedades distintas: una colección puede aparecer entre cualquier par de puntos y seguir siendo listable.
Una lista que siempre deja fuera un número real
Cantor demostró que los números reales entre 0 y 1 no son numerables. Supongamos que existe una lista completa de sus expansiones decimales. Construimos un número cuya primera cifra difiere de la primera del primer número, la segunda de la segunda del segundo y así sucesivamente. El nuevo número difiere de cada entrada en al menos una posición, por lo que no estaba en la lista.
La prueba diagonal no depende de que todavía no hayamos escrito suficientes términos: invalida cualquier lista imaginable. Para evitar ambigüedades como 0,4999... = 0,5000..., se eligen cifras que no produzcan esas dobles representaciones. El resultado establece un infinito no numerable, estrictamente mayor que el de los naturales.
Siempre se puede construir un infinito mayor
El conjunto potencia P(S) contiene todos los subconjuntos de S. Cantor probó que no existe una biyección entre S y P(S), sea S finito o infinito. Si una función intentara asignar a cada elemento un subconjunto, formamos el conjunto de los elementos que no pertenecen al subconjunto que les fue asignado; ese conjunto no puede aparecer correctamente en la lista.
Así no existe un «infinito más grande de todos». A partir de cualquier cardinal, el conjunto potencia produce otro mayor. El infinito matemático no es una única cantidad nebulosa, sino una jerarquía estudiada con reglas. Los cardinales aleph nombran tamaños infinitos y permiten calcular sumas, productos y potencias.
La pregunta que los axiomas habituales no deciden
La cardinalidad de los naturales se denota ℵ₀; la de los reales, continuo. La hipótesis del continuo afirma que no hay un tamaño intermedio. Gödel mostró que no puede refutarse desde los axiomas estándar de Zermelo-Fraenkel con elección si estos son consistentes; Cohen demostró que tampoco puede probarse. Por tanto, añadirla o negarla produce teorías compatibles con esos axiomas, bajo la misma condición de consistencia.
Independencia no significa que la respuesta cambie por opinión. Significa que un conjunto concreto de axiomas no determina la proposición. Los matemáticos investigan principios adicionales por sus consecuencias y naturalidad. Este caso transformó la comprensión de lo que una teoría formal puede decidir.
Qué evita el hotel infinito y qué enseña
El hotel de Hilbert ilustra cómo un hotel numerable lleno admite nuevos huéspedes desplazando al ocupante de n a n+1. Es una metáfora de biyecciones, no un plano para construir un edificio. Los conjuntos infinitos son objetos definidos dentro de teorías; no implican que el universo físico contenga habitaciones sin fin.
En análisis, topología, probabilidad e informática importa distinguir numerable y no numerable. Los programas posibles forman un conjunto numerable porque son cadenas finitas, mientras las funciones de naturales a bits son no numerables; por eso existen funciones que ningún programa puede calcular. La teoría de conjuntos convierte una intuición desconcertante en una medida exacta: comparar infinito exige construir o descartar correspondencias, no mirar cuál colección parece más densa.
La aritmética cardinal también rompe hábitos finitos. Para cardinales infinitos, sumar dos conjuntos numerables o multiplicarlos sigue dando ℵ₀: una cuadrícula de pares naturales puede recorrerse por diagonales. En cambio, el conjunto de todas las secuencias infinitas de ceros y unos tiene cardinalidad del continuo. El orden de una colección añade otra noción: naturales, enteros y racionales pueden tener la misma cardinalidad y estructuras de orden radicalmente diferentes.
Medida y cardinalidad tampoco coinciden. El intervalo [0,1] y toda la recta real poseen igual cardinalidad mediante una función biyectiva, aunque uno tenga longitud finita y otro infinita. El conjunto de Cantor tiene tantos puntos como el intervalo, pese a ocupar longitud total cero. Estas diferencias no son juegos terminológicos: análisis y probabilidad necesitan separar cuántos puntos existen, cómo están ordenados y qué medida ocupan.
El axioma de elección permite seleccionar un elemento de cada conjunto de una familia incluso sin una regla explícita y equivale a resultados como que todo conjunto puede bien ordenarse. Produce consecuencias potentes y algunas contraintuitivas, incluida Banach-Tarski. La mayoría de matemáticas lo usa de forma explícita o implícita, mientras áreas constructivas estudian qué pruebas sobreviven sin él. Hablar de cardinales requiere saber qué axiomas sostienen la comparación.
