Infinito Numerable
“El infinito numerable es «un infinito que puedes numerar»; los reales son un infinito mayor que ni siquiera se puede numerar.”
La fórmula
|ℕ| = |ℤ| = |ℚ| = ℵ₀ < |ℝ|Cómo leerla: Los naturales, los enteros y los racionales se pueden numerar todos 1,2,3,… así que comparten el mismo tamaño de infinito ℵ₀, pero los reales son un infinito mayor
- ℵ₀
- — Álef-cero — el infinito más pequeño, el tamaño del infinito «numerable»
- ℕ
- — El conjunto de los números naturales — la referencia para el infinito numerable
- ℝ
- — El conjunto de los números reales — un infinito no numerable (mayor)
El gancho
Podrías pensar que todos los infinitos son igual de infinitos — no lo son. Existe el infinito numerable y el infinito no numerable: hay infinitos de distintos tamaños.
En palabras simples
Si los elementos de un conjunto infinito se pueden numerar 1,2,3,… sin dejar ninguno fuera, es «numerablemente infinito». Los naturales, los enteros y los racionales cumplen esto. Sin embargo, los reales no se pueden numerar así ni siquiera en principio — son un infinito mayor.
La intuición
Dos infinitos son «del mismo tamaño» si se pueden emparejar sin que sobre nada (una correspondencia uno a uno). Imagina el Hotel de Hilbert — tiene infinitas habitaciones, todas ocupadas, pero cuando llega un huésped nuevo mueves a cada huésped a la siguiente habitación (n→n+1), liberando la habitación 1. ¡Un «infinito lleno» todavía tiene espacio! Si existe tal emparejamiento, son el mismo infinito.
Cómo se construye
Incluso los números pares por sí solos igualan en tamaño a los naturales: n↔2n los empareja perfectamente (una parte igual al todo — la paradoja del infinito). Los enteros también se pueden alinear 0,1,−1,2,−2,… y numerar. Incluso los racionales se pueden contar recorriendo una tabla en diagonal. Los reales, en cambio, se demuestran no numerables mediante el «argumento diagonal» de Cantor.
Ejemplo
Supón que enumeras todos los números reales — 0.a₁a₂a₃…, 0.b₁b₂b₃…, … Ahora construye un número nuevo cambiando cada dígito diagonal (el 1er dígito del 1er número, el 2do del 2do, …) por otro distinto. Este número difiere de cada número listado en al menos una posición, así que no está en la lista — ninguna lista puede contener todos los reales. Por lo tanto, |ℝ| > ℵ₀.
Error común
Un error común es «infinito + 1 = infinito, así que todos los infinitos son iguales». Sumar no lo agranda, pero un infinito de «orden distinto» como los reales nunca se puede emparejar uno a uno con los naturales. El infinito tiene una jerarquía real.
Dónde se usa
Qué problemas puede resolver un algoritmo (computabilidad), el hecho de que la mayoría de los números reales son «innombrables», que «casi todo» número es irracional en términos de probabilidad, las jerarquías infinitas de la lógica — una piedra angular de las matemáticas modernas y la informática.
De dónde viene
En 1874 Georg Cantor demostró que «el infinito viene en tamaños», fundando la teoría de conjuntos. Tratado como herejía en su época, fue defendido por la frase de Hilbert: «Nadie nos expulsará del paraíso que Cantor creó».
Requisitos previos
Comprobación rápida
¿Cuál de los siguientes es un conjunto infinito «no numerable» (mayor)?
- todos los enteros
- todos los números pares
- todos los racionales
- todos los números reales✓
Práctica
El Hotel de Hilbert tiene infinitas habitaciones y todas están ocupadas. Cuando llega un huésped nuevo, ¿cómo deben moverse los huéspedes para hacerle espacio?
Respuesta: 3
- Mueve a cada huésped de la habitación n a la habitación n+1
- Esto vacía la habitación 1 para el huésped nuevo
- Incluso un infinito lleno puede hacer espacio
Idea clave: El infinito numerable crea espacio nuevo «desplazando a todos una posición» — la paradoja del infinito.
En la correspondencia uno a uno n ↔ 2n entre los naturales y los pares, ¿cuál es la pareja de n=7?
Respuesta: 14
- La regla es n ↔ 2n
- 7 ↔ 2·7 = 14
Idea clave: Un subconjunto (los pares) tiene el mismo tamaño que el todo (los naturales) — posible solo porque es infinito.
¿Es el conjunto de todos los racionales un infinito «numerable»?
Respuesta: 0
- Ordena las fracciones en una tabla y recórrela en diagonal en zigzag para numerarlas 1,2,3,…
- Salta los duplicados (fracciones reducibles) y ninguno queda fuera
- Así que los racionales son numerables, de tamaño ℵ₀
Idea clave: Los racionales parecen densos, pero aun así se pueden numerar — el mismo tamaño que los naturales.
Explica en tu cuaderno por qué el argumento diagonal de Cantor demuestra que los reales no son numerables.
Respuesta: undefined
- Supón que has enumerado todos los números reales (haces una lista completa)
- Construye un real nuevo cambiando cada dígito diagonal por un valor distinto
- Este número difiere del n-ésimo número de la lista en la n-ésima posición, así que no coincide con ninguno → no está en la lista
- Contradicción → ninguna lista puede contener todos los reales (no numerable)
Idea clave: Argumento diagonal: supón una «lista completa» y siempre puedes construir un número que falta → |ℝ| > ℵ₀.