¿Qué es el infinito en matemáticas?

Imagina un hotel con infinitas habitaciones. Todas están ocupadas, pero llega un nuevo huésped pidiendo alojamiento. El recepcionista piensa un momento, pulsa el altavoz y dice: “Cada cliente, por favor, muévase a la habitación siguiente a la que ocupa”. El cliente de la 1 pasa a la 2, el de la 2 a la 3, y así sucesivamente. Mágicamente, ¡la habitación 1 queda libre! El infinito no es simplemente “mucho”; se comporta de maneras que desafían nuestra lógica cotidiana. Esta es la historia que nos sirve de puerta de entrada a uno de los conceptos más fascinantes, malinterpretados y profundos de toda la historia del pensamiento humano.

En nuestra vida diaria usamos la palabra “infinito” para describir algo inabarcable, interminable, como el universo o el amor. Pero en matemáticas, el infinito no es una sensación ni una exageración poética: es una herramienta rigurosa con diferentes sabores, tamaños y paradojas. A lo largo de este artículo, vas a descubrir no solo qué es el infinito, sino cómo los matemáticos aprendieron a dominarlo sin volverse locos en el intento.

La pregunta que desveló a los filósofos: ¿se puede pensar lo ilimitado?

Antes de que existieran las ecuaciones, el infinito ya generaba dolor de cabeza. Los antiguos griegos, con Aristóteles a la cabeza, distinguían entre el infinito potencial y el infinito actual. El primero es un proceso que nunca termina (como contar 1, 2, 3… sin detenerse jamás). El segundo sería un conjunto completo e infinito que existe de golpe. Aristóteles aceptaba el infinito potencial pero rechazaba el actual, porque afirmar que algo “completo” pudiera ser infinito le parecía una contradicción.

Esta distinción marcó el pensamiento occidental durante dos mil años. Incluso Gauss, uno de los matemáticos más grandes de la historia, advertía contra el uso del infinito como algo completo, calificándolo como una “figura del lenguaje”. Hizo falta la audacia de un matemático a finales del siglo XIX para que esta visión cambiara para siempre y el infinito alcanzara su estatus matemático pleno.

Georg Cantor y la revolución de los conjuntos infinitos

El nombre que debes recordar es Georg Cantor. Este matemático alemán, nacido en 1845, se atrevió a tratar el infinito como un objeto matemático digno de estudio. Su idea fue brillante en su simplicidad: si podemos comparar tamaños de conjuntos finitos emparejando elementos sin que sobre ninguno (lo que llamamos biyección), ¿por qué no hacer lo mismo con conjuntos infinitos?

Imagina que eres un profesor con una clase llena y quieres saber si tienes más alumnos o más sillas sin contarlos. Pides a cada alumno que se siente. Si todas las sillas se ocupan y ningún alumno queda de pie, sabes que hay la misma cantidad. Cantor aplicó este principio a conjuntos infinitos y los resultados fueron revolucionarios.

El infinito más pequeño: los números naturales

Empecemos por el infinito que aparentemente entendemos mejor. Los números naturales son los que usamos para contar: 1, 2, 3, 4… y así indefinidamente. Cantor llamó a la cantidad de números naturales ℵ₀ (se lee “álef cero”, la primera letra del alfabeto hebreo). Este es el cardinal del conjunto de los naturales y representa el infinito numerable, el más pequeño posible.

Pero aquí viene lo sorprendente. Dentro de los naturales, encontramos subconjuntos que también parecen tener “menos” elementos y, sin embargo, tienen exactamente el mismo tamaño según el criterio de Cantor.

Pares, impares y el todo que no es mayor que la parte

Consideremos los números pares: 2, 4, 6, 8… A simple vista, hay la mitad de pares que de naturales. Sin embargo, podemos emparejar cada número natural con un número par sin dejar ninguno suelto: simplemente al 1 le corresponde el 2, al 2 le corresponde el 4, al 3 el 6, en general a cada *n* le corresponde 2*n*. Como podemos establecer esta correspondencia perfecta, ambos conjuntos tienen la misma cantidad de elementos, es decir, el mismo cardinal: ℵ₀.

Esta propiedad era un escándalo para la lógica clásica. Desde Euclides, se daba por sentado que el todo siempre es mayor que cualquiera de sus partes. Pero con el infinito, esta máxima se desmorona: un conjunto infinito puede tener el mismo tamaño que una de sus partes propias. De hecho, esta característica (poder ponerse en biyección con un subconjunto propio) se toma hoy como la definición formal de conjunto infinito.

¿Hay infinitos más grandes? El argumento de la diagonal

Si todos los infinitos que hemos visto hasta ahora tienen tamaño ℵ₀, ¿significa eso que todos los infinitos son iguales? La respuesta de Cantor fue un rotundo no, y su demostración es una de las cumbres del razonamiento matemático.

Cantor se preguntó por el conjunto de los números reales, esos que incluyen los decimales no periódicos como π, √2 o simplemente 0,1010010001… Para demostrar que los reales no pueden emparejarse con los naturales, inventó su famoso argumento diagonal.

El razonamiento (simplificado) es así: supongamos que pudiéramos hacer una lista numerada de todos los números reales entre 0 y 1, escritos con infinitos decimales. Algo como:

1 – 0,31245…
2 – 0,47891…
3 – 0,16832…
4 – 0,99107…
…

Ahora construimos un nuevo número cogiendo el primer decimal del primer número y cambiándolo, el segundo del segundo y cambiándolo, el tercero del tercero, etc. Ese nuevo número no puede estar en la lista, porque difiere del primer número en el primer decimal, del segundo en el segundo, del tercero en el tercero… ¡y así con todos! Hemos encontrado un número real que se había quedado fuera de nuestra supuesta lista completa. Por tanto, la lista nunca podrá contenerlos todos. Hay más números reales que naturales.

Esto implica que el infinito de los números reales es estrictamente mayor que el de los naturales. Cantor lo llamó c, por el continuo, y demostró que 2 elevado a ℵ₀ es igual a *c*. Acababa de demostrar que hay jerarquías dentro del infinito. No solo hay un infinito, sino muchos, de hecho una cantidad infinita de infinitos diferentes.

La hipótesis del continuo: la gran pregunta sin respuesta (dentro de lo posible)

Cantor se hizo inmediatamente la siguiente pregunta lógica: sabemos que ℵ₀ (naturales) es más pequeño que *c* (reales). ¿Existe algún infinito intermedio? Dicho formalmente: ¿existe un conjunto cuyo cardinal esté estrictamente entre ℵ₀ y *c*? Cantor creía que no, y esa afirmación se conoce como la hipótesis del continuo.

Pasaron décadas sin respuesta. Hasta que en 1938, Kurt Gödel demostró que la hipótesis del continuo no puede refutarse a partir de los axiomas estándar de las matemáticas (los axiomas ZFC). Y en 1963, Paul Cohen demostró que tampoco puede probarse. La hipótesis del continuo es independiente: podemos construir matemáticas consistentes donde sea cierta y matemáticas consistentes donde sea falsa. El infinito, de nuevo, se resistía a darnos certezas absolutas.

Paradojas del infinito: cuando la intuición falla estrepitosamente

Para afianzar estos conceptos y ver cuán resbaladizo es el infinito, exploremos algunas de las paradojas más célebres.

La paradoja del Hotel de Hilbert (expandida)

La anécdota del inicio de este artículo fue propuesta por el matemático David Hilbert hacia 1924 para ilustrar las propiedades extrañas de los conjuntos infinitos. Sigamos con ella:

Ya vimos que si el hotel infinito está lleno y llega un huésped, movemos cada huésped a la habitación n+1 y liberamos la primera. Pero ¿qué pasa si llega un autobús con infinitos pasajeros? El recepcionista, imperturbable, pide a cada huésped actual que se mude a la habitación que sea el doble de su número actual: el de la 1 a la 2, el de la 2 a la 4, el de la 3 a la 6… De este modo, todas las habitaciones impares quedan libres. Como hay infinitas habitaciones impares, todos los nuevos infinitos huéspedes se alojan sin problema.

¿Y si llegan infinitos autobuses con infinitos pasajeros en cada uno? Incluso entonces se puede reubicar a todos, usando un ingenioso sistema basado en números primos u otras asignaciones. El hotel de Hilbert muestra que, en el infinito numerable, “lleno” no significa “sin espacio”.

La paradoja de Zenón: Aquiles y la tortuga

Zenón de Elea, en el siglo V a.C., formuló varias paradojas para demostrar que el movimiento era imposible si el espacio y el tiempo se dividían infinitamente. La más famosa es la de Aquiles, el guerrero más veloz, que compite contra una lenta tortuga a la que da una pequeña ventaja.

El argumento: cuando Aquiles llega al punto donde empezó la tortuga, esta ha avanzado un pequeño trecho. Cuando Aquiles cubre ese trecho, la tortuga ha avanzado otro poco, y así hasta el infinito. Zenón concluía que Aquiles nunca alcanzaría a la tortuga, porque siempre quedarían infinitas etapas por recorrer.

La solución matemática vino con el desarrollo del cálculo infinitesimal y la comprensión moderna de las series infinitas. La suma de los infinitos intervalos de tiempo que Aquiles necesita para alcanzar a la tortuga es, en realidad, una suma infinita que converge a un valor finito. Por ejemplo, 1/2 + 1/4 + 1/8 + 1/16… suma exactamente 1. Aquiles alcanza a la tortuga, el movimiento es real, y la paradoja se disuelve cuando entendemos que una suma de infinitos términos puede dar un resultado finito. Lo infinitamente pequeño y lo infinitamente grande se dan la mano.

La esfera y el doble de volumen: el teorema de Banach-Tarski

Aunque esta paradoja va más allá del infinito en su variante de la teoría de conjuntos, merece una mención porque suele desconcertar a los estudiantes. En 1924, Stefan Banach y Alfred Tarski demostraron que, aceptando el axioma de elección (un axioma controvertido pero ampliamente usado), se puede descomponer una esfera maciza en un número finito de piezas y, tras aplicarlas movimientos rígidos (rotaciones y traslaciones, sin estirar ni deformar), reensamblarlas para formar dos esferas macizas idénticas a la original. El volumen se ha duplicado.

La “trampa” reside en que las piezas en que se divide la esfera son conjuntos tan extraños, tan infinitamente intrincados, que no tienen un volumen definido (son conjuntos no medibles). Esta paradoja muestra que el concepto de volumen, que damos por sentado, se apoya en una noción de medida que no puede aplicarse a todos los conjuntos posibles si aceptamos el axioma de elección. El infinito, una vez más, se cuela por las rendijas de nuestra intuición.

Distintos disfraces del infinito en las matemáticas actuales

El infinito no es un bloque monolítico. Según la rama matemática, se manifiesta de formas diferentes y con matices esenciales.

El infinito en el cálculo: límites y asíntotas

En cálculo, el infinito no es un número, sino una expresión de comportamiento. Al decir que el límite de 1/x cuando x tiende a 0 es infinito, estamos expresando que la función crece sin cota, no que “valga” un número llamado infinito. De igual modo, una asíntota horizontal en y = 0 para la función 1/x cuando x tiende a infinito no significa que la curva toque la recta, sino que se acerca a ella tanto como queramos.

Aquí el infinito es una herramienta de aproximación, un ideal al que nos acercamos sin alcanzarlo. Es el heredero directo del infinito potencial de Aristóteles, y funciona a la perfección para modelar el movimiento, el cambio y la acumulación continua.

El infinito en la geometría proyectiva: puntos de fuga

En geometría proyectiva, se añaden “puntos del infinito” a los planos habituales para que dos rectas paralelas siempre se corten en un punto, solo que ese punto está en el infinito. Todos esos puntos forman la “recta del infinito”. Esta ampliación simplifica muchísimos teoremas y elimina excepciones molestas (como tener que decir “dos rectas se cortan en un punto, salvo si son paralelas”).

Lo fascinante es que, en este contexto, los puntos del infinito no son un misterio metafísico: se definen algebraicamente mediante coordenadas homogéneas y se tratan con total naturalidad por los matemáticos y los sistemas de gráficos por ordenador. Lo que era una excepción se convierte en una simetría.

Los infinitesimales: lo infinitamente pequeño

Si hay un infinito hacia lo grande, también debe haber un infinito hacia lo pequeño. Los infinitesimales son cantidades “tan pequeñas como se quiera”, pero no exactamente cero. Aunque hoy el cálculo se enseña mediante límites (gracias a Cauchy y Weierstrass, que dieron rigor al edificio que Newton y Leibniz construyeron con infinitesimales), en la década de 1960 Abraham Robinson demostró que los infinitesimales podían formalizarse rigurosamente dentro del análisis no estándar. Existe un sistema numérico, los números hiperreales, que contiene infinitesimales e infinitos con plena carta de ciudadanía matemática.

Aplicaciones del infinito: de los fractales a la informática

Lejos de ser una curiosidad de salón, el dominio del infinito matemático tiene repercusiones prácticas impresionantes.

Fractales y la naturaleza

Los fractales son estructuras geométricas que repiten su patrón a escalas infinitamente pequeñas o grandes. El clásico conjunto de Mandelbrot tiene un perímetro infinito que encierra un área finita. Las simulaciones fractales permiten comprimir imágenes, diseñar antenas de telefonía y modelar el crecimiento de las plantas, los vasos sanguíneos o las costas marítimas. La autosemejanza infinita, aunque en la práctica solo se calcule hasta cierto nivel de detalle, es el corazón de su belleza y utilidad.

Computación y lenguajes formales

En informática teórica se trabaja a diario con conjuntos infinitos: el conjunto de todos los posibles programas, los lenguajes aceptados por autómatas o las máquinas de Turing. La decidibilidad y la complejidad computacional se preguntan si ciertos problemas pueden resolverse en un número finito de pasos, o si el tiempo de ejecución crece más allá de lo factible cuando el tamaño de la entrada tiende a infinito. La comprensión del infinito potencial es clave para entender los límites de lo que un ordenador puede hacer.

Cosmología y singularidades

En relatividad general, los agujeros negros esconden una singularidad: una región del espacio-tiempo donde la curvatura se hace infinita. Normalmente, la aparición de infinitos en una teoría física se interpreta como un síntoma de que la teoría ha dejado de ser válida y necesita ser sustituida por una más fundamental. La búsqueda de una teoría cuántica de la gravedad es, en parte, una búsqueda para eliminar esos infinitos indeseados.

Resultados de aprendizaje

Después de leer este artículo, deberías ser capaz de:

1. Distinguir entre el infinito potencial y el infinito actual, entendiendo por qué esta distinción fue crucial en la historia de la filosofía y las matemáticas.
2. Explicar la contribución de Georg Cantor al estudio del infinito, incluyendo los conceptos de cardinalidad, biyección y la definición de conjunto infinito.
3. Comparar el tamaño de conjuntos infinitos utilizando la correspondencia uno a uno, demostrando que el conjunto de los números naturales y el de los pares tienen el mismo cardinal ℵ₀.
4. Enunciar y esbozar el argumento diagonal de Cantor, comprendiendo por qué prueba que el infinito de los números reales es estrictamente mayor que el infinito de los números naturales.
5. Describir qué es la hipótesis del continuo y por qué su independencia la convierte en un hito de la lógica matemática del siglo XX.
6. Analizar paradojas clásicas (Hotel de Hilbert, Aquiles y la tortuga, Banach-Tarski) y explicar cómo las matemáticas modernas las resuelven recurriendo a propiedades del infinito.
7. Identificar las distintas manifestaciones del infinito en ramas como el cálculo (límites y asíntotas), la geometría proyectiva (puntos de fuga) y el análisis no estándar (infinitesimales).
8. Reconocer aplicaciones prácticas del concepto de infinito en campos como los fractales, la computación teórica y la cosmología.

Rodrigo Ricardo Editor y fundador