La paradoja del Gran Hotel de Hilbert es una paradoja matemática que lleva el nombre del matemático alemán David Hilbert. Hilbert la utilizó como ejemplo para mostrar cómo el infinito no actúa de la misma manera que los números regulares.
La paradoja describe un hotel con un número infinito numerable de habitaciones (habitaciones 1, 2, 3, ...), todas ocupadas, y plantea preguntas sobre qué ocurre cuando llegan nuevos huéspedes. Intuitivamente parece imposible admitir más personas si todas las habitaciones ya están ocupadas, pero matemáticamente hay formas de reorganizar a los huéspedes que permiten alojar a más (incluso a una cantidad infinita adicional).
Descripción básica y ejemplo simple
Supongamos que al hotel llega un nuevo huésped y todas las habitaciones están ocupadas. El gerente pide al huésped de la habitación n que se mude a la habitación n+1 (es decir, el de la 1 pasa a la 2, el de la 2 pasa a la 3, y así sucesivamente). De este modo la habitación 1 queda libre para el nuevo huésped. Este procedimiento muestra que un conjunto infinito numerable puede ser puesto en correspondencia biunívoca con una parte propia de sí mismo.
Admitir infinitos huéspedes adicionales
Si llega un autobús con una cantidad infinita de nuevos pasajeros, se puede aplicar otra reubicación: pedir al huésped que ocupa la habitación n que pase a la habitación 2n (de modo que la 1 → 2, 2 → 4, 3 → 6, ...). Así quedan libres todas las habitaciones impares (1, 3, 5, ...), suficientes para alojar a todos los nuevos pasajeros. Con estrategias análogas se puede acomodar cualquier número numerable infinito de nuevos huéspedes.
Qué nos enseña sobre el infinito
- Cardinalidad y conjuntos numerables: el hotel ilustra que el conjunto de los números naturales es equipotente (misma cardinalidad) que una de sus partes propias; esto es característico del infinito numerable.
- Biyectividad: las reubicaciones descritas corresponden a funciones biyectivas entre el conjunto de huéspedes original y otro conjunto (por ejemplo, n ↦ n+1 o n ↦ 2n). Estas funciones muestran que ambos conjuntos tienen la misma «longitud» en sentido de cardinalidad.
- Distinción entre infinito actual y finito: acciones imposibles en conjuntos finitos (como emparejar todos los elementos de un conjunto con elementos de una de sus partes propias) sí son posibles en conjuntos infinitos.
Limitaciones y aclaraciones
- No es una contradicción lógica: la paradoja no contradice las reglas de la matemática; más bien, destaca propiedades contraintuitivas del infinito.
- Imposibilidad física: aunque coherente en teoría de conjuntos, en la práctica un hotel así es imposible debido a limitaciones físicas: espacio, tiempo, energía y la imposibilidad de realizar infinitas operaciones en un tiempo finito.
- No todos los infinitos son iguales: hay distintos tamaños de infinito. Por ejemplo, el conjunto de los números reales es no numerable y tiene una cardinalidad mayor que la de los naturales; no existe una reubicación sencilla equivalente que haga que un conjunto real se empareje con una de sus partes de la misma forma.
Implicaciones filosóficas y pedagógicas
El Gran Hotel de Hilbert se usa con frecuencia en clases y divulgación para:
- Mostrar la diferencia entre intuición finita y comportamiento infinito.
- Introducir conceptos de teoría de conjuntos, cardinalidad y funciones biyectivas.
- Estimular la reflexión filosófica sobre el infinito actual versus el potencial y sobre cómo la matemática formaliza ideas que resultan paradójicas a la intuición cotidiana.
En resumen, la paradoja del Gran Hotel de Hilbert no pretende describir una situación real sino ilustrar propiedades formales del infinito numerable: permite entender por qué en matemáticas el infinito se comporta de modo distinto a los conjuntos finitos y cómo las nociones de tamaño y correspondencia se generalizan más allá de la experiencia cotidiana.
