El argumento diagonal de Cantor: por qué los números reales no pueden listarse
Supón que alguien te entrega una lista. Es una lista infinita, y afirman que contiene todos los números reales entre 0 y 1. No una muestra, no una selección: todos y cada uno de ellos, indexados ordenadamente como r1, r2, r3, y así sucesivamente, extendiéndose para siempre.
La respuesta de Georg Cantor, en 1891, fue esta: cualquiera que sea la lista que me entregues, puedo leer un número que no está en ella. La construcción tarda unos treinta segundos en describirse. La consecuencia tardó décadas en ser asimilada por los matemáticos, porque significa que el infinito viene en más de un tamaño.
Contar y listar
Antes del movimiento diagonal, conviene ser preciso sobre qué significa "numerable". Un conjunto es numerable si puedes asignar a cada elemento una etiqueta única de número natural: un primer elemento, un segundo, un tercero, y así sucesivamente, sin que quede nada sobrante. Los números naturales son numerables por definición. También lo son los enteros (enuméralos como 0, 1, -1, 2, -2, ...) e incluso los racionales, aunque listar cada fracción requiere un ingenioso patrón en zigzag.
El argumento de Cantor muestra que los números reales entre 0 y 1 son genuinamente distintos: no existe ningún etiquetado, sin importar cómo lo intentes. Esto no es un fracaso de la imaginación. Es una demostración de que la tarea es imposible.
Supón que la lista existe
El argumento es una demostración por contradicción. Comienza concediéndole al oponente todo lo que quiere: supón que existe realmente una lista completa de todos los números reales en (0, 1). Escribe cada número como una expansión decimal infinita.
La lista podría comenzar así:
- r1 = 0.14159265...
- r2 = 0.73205080...
- r3 = 0.00000000...
- r4 = 0.27182818...
- r5 = 0.91415926...
- ...
Cada entrada sigue para siempre. La lista sigue para siempre. Y, por suposición, cada número real entre 0 y 1 aparece en algún lugar de ella.
Ahora observa qué sucede cuando lees a lo largo de la diagonal.
Leyendo la diagonal
Mira el primer dígito decimal de r1, el segundo dígito decimal de r2, el tercero de r3, y así sucesivamente. En el ejemplo anterior, esos dígitos diagonales son: 1, 3, 0, 2, 9, ...
Ahora construyes un nuevo número, llámalo d, dígito a dígito. La regla: para cada dígito diagonal, elige un dígito diferente, pero evita deliberadamente el 0 y el 9.
| r₁ | 0 | . | 1 | 4 | 1 | 5 | 9 | |
| r₂ | 0 | . | 3 | 3 | 3 | 3 | 3 | |
| r₃ | 0 | . | 5 | 0 | 0 | 0 | 0 | |
| r₄ | 0 | . | 7 | 1 | 8 | 2 | 8 | |
| r₅ | 0 | . | 6 | 0 | 2 | 5 | 9 | |
| new | 0 | . | 2 | 4 | 1 | 3 | 8 | … |
Each highlighted digit sits on the diagonal. The new number changes every one of them (1 3 0 2 9 becomes 2 4 1 3 8), so it cannot equal any row in the list.
Los dígitos diagonales son 1, 3, 0, 2, 9. Aplicar la regla produce 2, 4, 1, 3, 8. Así que d = 0.24138...
Evitar el 0 y el 9 es una salvaguarda pequeña pero necesaria. Algunos números reales tienen dos representaciones decimales: 0.4999... y 0.5000... nombran el mismo punto en la recta numérica. Cambiar un dígito a 0 o a 9 podría llevarte al "otro nombre" de un número ya en la lista, lo que enturbiaria el argumento. Al mantenerte en el rango de 1 a 8 para cada dígito cambiado, garantizas que d tiene exactamente una expansión decimal, y la comparación a continuación es limpia.
El nuevo número difiere de cada entrada
Aquí está la recompensa.
d difiere de r1 en el primer lugar decimal
El primer dígito de d fue elegido para diferir del primer dígito de r1. Por lo tanto, d no es igual a r1. Difieren en la posición 1.
d difiere de r2 en el segundo lugar decimal
El segundo dígito de d fue elegido para diferir del segundo dígito de r2. Por lo tanto, d no es igual a r2. Difieren en la posición 2.
d difiere de rn en el n-ésimo lugar decimal, para todo n
Por construcción, el n-ésimo dígito de d difiere del n-ésimo dígito de rn. Dado que dos números con un dígito diferente en cualquier posición son desiguales, d no es igual a rn, para ningún n que menciones.
Este es el movimiento diagonal: d fue diseñado para chocar con cada entrada de la lista, en el único punto donde cada entrada está más expuesta, su propia posición diagonal.
d es un número real entre 0 y 1, pero no está en la lista
El número d = 0.24138... es claramente un número real en el intervalo (0, 1). Pero acabamos de mostrar que difiere de r1, de r2, de r3, de cada entrada. Si la lista fuera completa, d tendría que aparecer en algún lugar de ella. No lo hace. Por lo tanto, la lista no es completa.
La contradicción es nítida: asumimos que la lista era completa, y produjimos un número real que no está en ella. La suposición debe ser falsa. No puede existir ninguna lista completa de los números reales entre 0 y 1.
Lo que esto dice en realidad
Los matemáticos dicen que los números naturales tienen cardinalidad aleph-nulo (escrito con la letra hebrea aleph: el primer cardinal transfinito). Los números reales tienen una cardinalidad estrictamente mayor, a veces escrita como c o como 2 elevado a la potencia de aleph-nulo. El argumento de Cantor es lo que establece que estos dos infinitos no son del mismo tamaño.
Esto fue muy controvertido cuando Cantor lo publicó. Algunos colegas descartaron el resultado como una curiosidad o un error. No es ninguna de las dos cosas. Se sitúa en los cimientos de cómo los matemáticos piensan sobre conjuntos, cardinalidad y la estructura de la recta de los números reales, y conecta directamente con preguntas sobre qué puede y qué no puede computarse (ver también la demostración en el teorema de Goodstein para otro caso donde algo demostrablemente verdadero empuja contra los límites de los sistemas formales).
Por qué funciona la diagonal
Lo que hace al argumento elegante es su especificidad. No estás adivinando un número faltante ni apelando a una intuición vaga sobre cuán grandes son los reales. Estás leyendo exactamente qué posiciones controla cada entrada de la lista, y luego construyendo un número que evade cada entrada precisamente en esa posición.
La propia lista te dice dónde mirar. Cada entrada de la lista te entrega una coordenada, su propio dígito diagonal, y la construcción convierte esas coordenadas en un número que la lista no puede contener.
La simplicidad es engañosa. No hay nada aquí que requiera saber nada sobre las entradas de la lista. No importa qué números estén en ella, en qué orden, ni cómo fueron elegidos. El argumento es universal: toma cualquier lista de números reales, y la construcción diagonal produce un número real que no está en esa lista.
El zen de todo esto
El argumento diagonal de Cantor forma parte de una larga tradición de resultados matemáticos que parecen no deber funcionar. Te quedas mirando la demostración esperando encontrar el truco, la suposición oculta, el lugar donde la lógica se desliza. No está. La demostración es exactamente tan simple como parece.
Lo que te pide aceptar es más extraño que la propia demostración: que "infinito" no es un destino único. Los enteros y los reales son ambos infinitos, pero lo son de maneras categóricamente distintas. El argumento diagonal es la línea divisoria.
Para tener una idea más profunda de cómo las colecciones infinitas pueden comportarse de manera extraña, la estructura de los decimales infinitos es un buen lugar donde mirar a continuación, o cómo funcionan los límites cuando las sucesiones se acercan a un valor para siempre sin alcanzarlo. El argumento diagonal pertenece a esa misma familia: una mirada precisa y paciente a lo que sucede en el borde del infinito, donde la intuición necesita una demostración para mantenerse honesta.
El infinito no es una sola cosa. Esa es la noticia. El argumento que la entrega cabe en media página.
Preguntas comunes
- ¿Qué demuestra el argumento diagonal de Cantor?
- Demuestra que los números reales entre 0 y 1 son no numerables: ninguna lista, por más ingeniosamente construida que sea, puede contener todos los números reales en ese intervalo. Simplemente hay más números reales que posiciones en cualquier lista.
- ¿Qué significa 'no numerable'?
- Un conjunto es numerable si puedes emparejar cada uno de sus elementos con un número natural (1, 2, 3, ...) de modo que no quede nada fuera. Los números naturales, los enteros e incluso los racionales son todos numerables. Los reales no lo son: son demasiado numerosos para colocarse en una correspondencia uno a uno de ese tipo.
- ¿Por qué no puedes simplemente añadir el número faltante a la lista?
- Puedes hacerlo, pero entonces el argumento diagonal se aplica de nuevo a la lista nueva y más larga y produce otro número faltante. El argumento funciona para cualquier lista, por larga o ingeniosamente organizada que sea, así que no hay manera de parchearla hasta completarla.
- ¿Por qué evitas los dígitos 0 y 9 al cambiarlos?
- Algunos números reales tienen dos representaciones decimales: 0.4999... y 0.5000... son el mismo número. Si cambias un dígito a 0 o a 9, podrías caer accidentalmente en el 'otro nombre' de un número que ya está en la lista. Evitar 0 y 9 sortea esta tecnicidad y mantiene la demostración limpia.
- ¿Los números racionales también son no numerables?
- No. Los números racionales son numerables: puedes listar sistemáticamente cada fracción p/q y asignarle un índice de número natural, sin dejar nada fuera. El argumento diagonal de Cantor apunta a los números reales, no a los racionales.
¿Te gustó razonarlo paso a paso?
Math Zen convierte esta intuición en práctica diaria, con problemas adaptativos en 24 temas de matemáticas.
