Teoría De Conjuntos on kenji.blog

Paradoja de Richard: La contradicción provocada por los decimales infinitos y el "argumento de la diagonal"

Thu, 10 Sep 2026 12:00:00 +0900

1. Una lista de números definibles con palabras

La “Paradoja de Richard”, publicada por el matemático francés Jules Richard en 1905, es como un pariente de la “Paradoja de Berry” que presentamos antes. Sin embargo, esta es más matemática y contiene una profunda contradicción, como si asomara al infinito.

Primero, imagina recopilar todos los “números reales (decimales) entre 0 y 1 que puedan definirse completamente en español”.

Por ejemplo, números como los siguientes:

“Cero punto cinco” $\rightarrow$ $0.5$
“Un tercio” $\rightarrow$ $0.333333...$
“El número formado por los decimales de pi a partir del primer decimal” $\rightarrow$ $0.14159265...$

Las combinaciones de frases que se pueden expresar en español solo requieren reorganizar las letras que aparecen en el diccionario, por lo que se les puede asignar un “orden”. (Por ejemplo, ordenándolos del menor número de letras al mayor, y si tienen el mismo número de letras, ordenarlos alfabéticamente).

De esta manera, a “todos los números reales definibles en español” se les puede asignar un número continuo infinito (una lista): primero, segundo, tercero…

$$ \begin{align*} r_1 &= 0.\mathbf{3}333... \\ r_2 &= 0.5\mathbf{0}00... \\ r_3 &= 0.14\mathbf{1}5... \\ r_4 &= 0.777\mathbf{7}... \\ &\vdots \end{align*} $$

En esta lista deberían estar cubiertos de manera absolutamente exhaustiva, sin faltar ni uno, “todos los números reales concebibles que puedan definirse en español”.

2. La técnica diabólica: el “argumento de la diagonal”

Aquí, Richard realiza una operación aterradora. Crea artificialmente un “número $X$ completamente nuevo” que evita todos los números de la lista.

La forma de crearlo es sencilla.

Mira el primer decimal del primer número de la lista (en el ejemplo anterior, el $3$). Suma $1$ a ese número para que sea el primer dígito de $X$ ($3+1=4$).
Mira el segundo decimal del segundo número de la lista (en el ejemplo anterior, el $0$). Suma $1$ a ese número para que sea el segundo dígito de $X$ ($0+1=1$).
Mira el tercer decimal del tercer número de la lista (en el ejemplo anterior, el $1$). Suma $1$ a ese número para que sea el tercer dígito de $X$ ($1+1=2$).

※ Si el número original fuera un $9$, se regresaría a $0$.

El nuevo número $X$ creado con este método (en el ejemplo anterior, $X = 0.4128...$) nunca coincidirá en absoluto con ningún número de la lista. Esto se debe a que el número del “lugar decimal $n$” ha sido modificado intencionalmente para que sea distinto al del $n$-ésimo número. (Esta técnica se llama “argumento de la diagonal”, la cual fue ideada por el matemático genio Cantor para demostrar el tamaño infinito de los números reales).

3. La completitud de la Paradoja de Richard

Ahora bien, aquí comienza la paradoja.

Acabamos de crear un nuevo número $X$. Y la “regla” para crear este $X$ ha sido explicada (definida) perfectamente por las frases en español que escribí arriba.

Es decir, $X$ es “un número real definible en español”.

Sin embargo, recordemos la premisa inicial. Se suponía que “los números reales definibles en español” estaban todos exhaustivamente incluidos dentro de la lista inicial ($r_1, r_2, r_3...$). A pesar de esto, $X$ está hecho de manera que no coincida con ningún número de la lista.

$X$ debe existir dentro de la lista (porque se definió en español).
$X$ no debe existir dentro de la lista (porque se hizo diferente a todos los números de la lista mediante el argumento de la diagonal).

¡Una contradicción perfecta! Esta es la paradoja de Richard.

4. ¿Por qué se derrumbó la lógica? (La trampa del metalenguaje)

La causa de esta paradoja, al igual que la paradoja de Berry, radica en haber confundido la “jerarquía de los lenguajes”.

Para hacer matemáticas rigurosamente, se debe separar claramente la “lista de números objetivo (lenguaje objeto)” y “las reglas que hablan desde el exterior sobre las propiedades de esa lista (metalenguaje)”.

La lista de Richard es una colección de “definiciones de números calculables”. Sin embargo, la regla para crear el nuevo número $X$, que consiste en “mirar el $n$-ésimo dígito del $n$-ésimo número de la lista”, es una operación del “metalenguaje” que no puede ejecutarse sin tener una vista panorámica de la lista desde el exterior.

La paradoja de Richard estalló creando una autocontradicción porque intentó infiltrar en secreto el “número $X$ metalingüístico, creado operando la lista desde afuera”, en el interior de la “lista interna”.

5. El paso del testigo a Gödel

Esta paradoja de Richard causó un gran impacto en el mundo de las matemáticas de aquel entonces. “Si no tenemos cuidado, las palabras humanas (y los sistemas lógicos) provocan autocontradicciones de inmediato. ¿Cómo podemos hacer que las matemáticas sean perfectas y libres de contradicciones?”

En 1931, el matemático genio Kurt Gödel, de tan solo 25 años, dio una solución final a este problema. Gödel logró traducir y reproducir perfectamente la estructura de esta paradoja —que Richard había provocado usando “la ambigüedad del español”— utilizando “fórmulas matemáticas estrictas (Números de Gödel)”.

El resultado que derivó de esto es el famoso “Teorema de Incompletitud de Gödel”. Fue un gran descubrimiento que demostró los límites del conocimiento humano: “Sin importar cuán rigurosamente construyas las reglas matemáticas, dentro de esas reglas siempre surgirán ‘verdades que no se pueden probar ni refutar’ (las matemáticas son incompletas)”.

La paradoja de Richard comenzó como un simple juego de palabras contradictorio, y eventualmente evolucionó hasta convertirse en el arma más poderosa para destruir la “absolutidad” de las matemáticas como disciplina académica.

El Gran Hotel de Hilbert: Cómo alojar infinitos huéspedes adicionales en un hotel lleno

Thu, 10 Sep 2026 06:00:00 +0900

1. Bienvenido al hotel definitivo

El gran matemático alemán David Hilbert ideó el siguiente experimento mental fascinante para explicar cuán lejos está el concepto de “infinito” de la intuición humana.

Imagínese: en algún lugar del universo existe el “Gran Hotel de Hilbert”. En este hotel hay infinitas habitaciones numeradas: habitación 1, habitación 2, habitación 3…

Un día, hubo un gran evento en todo el universo, y este hotel infinito se llenó, ocupando todas sus habitaciones, quedando “completo”. Entonces, un viajero exhausto llegó y preguntó en recepción: “¿Podrían darme una habitación?”.

Un hotel normal no tendría más remedio que rechazarlo diciendo: “Lo sentimos, estamos completos”. Sin embargo, este es el hotel infinito. El gerente sonrió y dijo: “Por supuesto. Le prepararemos una habitación de inmediato”. A pesar de estar lleno, ¿cómo alojará al nuevo huésped?

2. Caso 1: Cómo alojar a 1 nuevo huésped

El gerente hizo el siguiente anuncio por megafonía a todos los huéspedes que ya estaban alojados:

“Atención a todos los huéspedes. Por favor, trasládense a la habitación con el número resultante de sumar ‘1’ a su número de habitación actual.”

¿Qué sucederá entonces?

El huésped de la habitación 1 se traslada a la habitación 2.
El huésped de la habitación 2 se traslada a la habitación 3.
El huésped de la habitación 3 se traslada a la habitación 4.
El huésped de la habitación $n$ se traslada a la habitación $n+1$.

graph LR subgraph "Antes del traslado (Completo)" R1["Habitación 1
(Huésped A)"] R2["Habitación 2
(Huésped B)"] R3["Habitación 3
(Huésped C)"] R4["..."] end subgraph "Después del traslado" NewR1["Habitación 1
(¡Libre!)"] NewR2["Habitación 2
(Huésped A)"] NewR3["Habitación 3
(Huésped B)"] NewR4["Habitación 4
(Huésped C)"] end R1 -->|Traslado| NewR2 R2 -->|Traslado| NewR3 R3 -->|Traslado| NewR4 NewGuest["Nuevo huésped"] -->|Check-in| NewR1 style NewR1 fill:#aaffaa,stroke:#333,stroke-width:2px style NewGuest fill:#ffaaaa,stroke:#333,stroke-width:2px

Como hay infinitas habitaciones, no ocurrirá que “el huésped de la última habitación sea expulsado”. Todos pueden mudarse sin problemas a la habitación contigua. Y de manera asombrosa, la habitación 1 quedó libre. El nuevo viajero pudo alojarse sin problemas en la habitación 1.

En el mundo del infinito, se cumple que $\infty + 1 = \infty$. Incluso si sacamos “uno” del “todo (infinito)”, el tamaño del todo no cambia.

3. Caso 2: Cómo alojar a infinitos huéspedes nuevos

Ahora bien, al día siguiente. El hotel vuelve a estar completamente lleno. En ese momento llega un autobús infinito con, nada menos, que “infinitos pasajeros”. Los huéspedes que bajan del autobús exigen en recepción: “¡Preparen habitaciones para todos!”.

Si pidiera el traslado de “sumar 1” como el día anterior, llevaría una eternidad. Pero el gerente no entra en pánico. Vuelve a hacer un anuncio por megafonía.

“Atención a todos los huéspedes. Por favor, trasládense a la habitación con el número resultante de multiplicar ‘por 2’ su número de habitación actual.”

¿Qué sucederá entonces?

El huésped de la habitación 1 se traslada a la habitación 2.
El huésped de la habitación 2 se traslada a la habitación 4.
El huésped de la habitación 3 se traslada a la habitación 6.
El huésped de la habitación $n$ se traslada a la habitación $2n$.

Con este traslado, los infinitos huéspedes que ya estaban alojados encajaron perfectamente en “todas las habitaciones con números pares”. ¡Y milagrosamente, “todas las habitaciones con números impares (habitación 1, habitación 3, habitación 5…)” quedaron completamente vacías!

Dado que también existen infinitos números impares, si el gerente va guiando a los pasajeros del autobús infinito en orden comenzando por el primero hacia la habitación 1, luego la 3, la 5…, podrá alojarlos a todos.

En el mundo del infinito, se cumple que $\infty + \infty = \infty$. Aunque se sume infinito al infinito, el tamaño sigue siendo el mismo “infinito”.

4. Caso 3: ¿Qué pasa si llegan infinitos autobuses infinitos?

Al día siguiente. El hotel está lleno una vez más. Entonces, asombrosamente, llegan “infinitos autobuses, cada uno con infinitos pasajeros”, uno tras otro.

Infinitos pasajeros en el autobús 1, infinitos pasajeros en el autobús 2, infinitos pasajeros en el autobús 3… esto continúa infinitamente. Como era de esperar, incluso el gerente casi entra en pánico, pero como es un genio matemático, se le ocurrió utilizar “números primos”.

El gerente dio las siguientes instrucciones:

Traslado de los huéspedes que ya están en el hotel Tomando su número de habitación actual como $n$, se les pide que se trasladen a la habitación “$2^n$”. (Habitación 1 $\rightarrow$ Habitación 2, Habitación 2 $\rightarrow$ Habitación 4, Habitación 3 $\rightarrow$ Habitación 8…) Con esto, todos los huéspedes actuales han sido reubicados.
Acomodación de los pasajeros del autobús 1 (infinitos) Tomando su número de asiento como $n$, se les guía a la habitación “$3^n$”. (Habitación 3, Habitación 9, Habitación 27…)
Acomodación de los pasajeros del autobús 2 (infinitos) Usando el siguiente número primo, el 5, se les guía a la habitación “$5^n$”. (Habitación 5, Habitación 25, Habitación 125…)
Acomodación de los pasajeros del autobús $k$ (infinitos) Usando el $k+1$-ésimo número primo $P$, se les guía a la habitación “$P^n$”.

Por el poderoso teorema matemático de la “unicidad de la factorización en números primos (cualquier número puede expresarse de una única manera como producto de números primos)”, los números de habitación $2^n, 3^n, 5^n, 7^n \dots$ nunca se superpondrán con los de nadie más.

De esta manera, el gerente logró alojar brillantemente a la incomprensible cantidad de “infinito $\times$ infinito” huéspedes en un solo hotel infinito.

5. El infinito tiene diferentes “tamaños” (Teorema de Cantor)

Lo que nos enseña el Gran Hotel de Hilbert es el hecho de que el “infinito numerable (el infinito que se puede contar asignando números como 1, 2, 3…)”, por mucho que se sume o se multiplique, finalmente cabe dentro del mismo tamaño de ‘infinito numerable’.

Sin embargo, el matemático Georg Cantor descubrió una verdad aún más aterradora. Los “números naturales” y las “fracciones” se pueden alojar todos en este hotel infinito. Pero si llegan huéspedes que representan los “números reales (todos los decimales, incluidos los irracionales)”, es absolutamente imposible alojarlos a todos, incluso usando este hotel infinito.

Está demostrado que la cantidad de números reales es fundamentalmente un “infinito mayor (de un nivel superior)” que la cantidad de habitaciones del hotel infinito (infinito numerable). Solemos agrupar todo bajo la palabra “infinito”, pero en realidad, dentro del infinito existe una estructura jerárquica (cardinalidad) que va desde los “infinitos pequeños” hasta los “infinitos tan grandes que son absolutamente inalcanzables”.

6. Conclusión: El “infinito” que destruye la intuición humana

El Gran Hotel de Hilbert ilustra vívidamente cómo el “sentido común de lo finito” cultivado en nuestra vida diaria simplemente no aplica en el “mundo de lo infinito”.

“El todo es mayor que la parte” “Nadie puede entrar en un hotel lleno” “Si sumas infinito a infinito, se hace más grande”

Todas estas intuiciones obvias son espectacularmente traicionadas. El mundo del infinito es un tesoro de paradojas (verdades contraintuitivas). Los matemáticos, en lugar de temer a estas paradojas, las dominaron con el poder de la lógica, las clasificaron y construyeron el hermoso sistema que hoy conocemos como teoría de conjuntos moderna.

La próxima vez que le digan “el hotel está completo” y le rechacen una habitación, intente imaginar: “Ojalá este hotel fuera el Gran Hotel de Hilbert”.

La Paradoja de Banach-Tarski: ¿Cortar una esfera produce dos esferas del mismo tamaño?

Thu, 10 Sep 2026 02:00:00 +0900

1. Un teorema mágico: ¿1 = 1 + 1 ?

Imagina que tienes una esfera de oro puro frente a ti. Cortas esta esfera en varias piezas con un cuchillo. Luego, combinas estas piezas como si fueran un rompecabezas. No estiras, doblas ni agregas oro nuevo a las piezas. Simplemente las mueves y las unes.

Sin embargo, al observar el rompecabezas terminado, descubres que se han creado “dos esferas de oro puro exactamente del mismo tamaño que la esfera original”.

“¡Eso es absurdo! ¡Va en contra de la ley de conservación de la masa y es una fantasía de alquimista!”, podrías pensar. Esto es absolutamente imposible en el mundo físico real. Pero en el mundo de la matemática pura (geometría y teoría de conjuntos), esto está demostrado como un teorema 100% correcto lógicamente.

Esta es la “Paradoja de Banach-Tarski”, demostrada en 1924 por dos matemáticos: Stefan Banach y Alfred Tarski.

2. Entendiendo exactamente la afirmación de la paradoja

El teorema demostrado por Banach y Tarski puede expresarse en términos matemáticos precisos de la siguiente manera:

Teorema de Banach-Tarski Dada cualquier esfera sólida $S$ en un espacio tridimensional, puede ser dividida en un número finito de piezas disjuntas. Luego, reensamblando estas piezas (solo mediante rotaciones y traslaciones), se pueden formar dos esferas sólidas que tienen exactamente el mismo radio que la esfera original $S$.

Aún más sorprendente, aplicando este teorema, podemos afirmar lo siguiente:

Al dividir un guisante en un número finito de piezas y reensamblarlas, se puede crear una esfera exactamente del tamaño del Sol. (También conocida como la paradoja del guisante y el Sol).

¿Por qué se permite algo tan mágico matemáticamente? El secreto se esconde en dos palabras clave: “Infinito” y “Axioma de Elección”.

3. Las extrañas propiedades del “Infinito”

El primer paso para entender esta paradoja es conocer las extrañas propiedades de los “conjuntos infinitos”.

En el mundo “finito” que manejamos habitualmente, el todo siempre es mayor que sus partes. Por ejemplo, si tomas los números pares (5 números) de entre los números del 1 al 10 (10 números), la cantidad se reduce a la mitad.

Sin embargo, este sentido común no se aplica en el mundo del “infinito”. ¿Qué hay más: todos los “números naturales” (1, 2, 3, 4, …) o todos los “números pares” (2, 4, 6, 8, …)? Intuitivamente, parece que hay más números naturales porque los pares son solo la mitad. Pero intenta emparejarlos de la siguiente manera:

1 $\rightarrow$ 2
2 $\rightarrow$ 4
3 $\rightarrow$ 6
$n \rightarrow 2n$

De esta manera, por cada número natural, siempre se puede emparejar con exactamente un número par que es el doble de grande (correspondencia uno a uno). No sobra ningún número. Es decir, matemáticamente, “la cantidad de números naturales (infinito)” y “la cantidad de números pares (infinito)” son exactamente del mismo tamaño.

A pesar de haber tomado la mitad (números pares) de la totalidad (números naturales), el tamaño sigue siendo el mismo. En los conjuntos infinitos, puede ocurrir que “una parte sea igual al todo”. El Teorema de Banach-Tarski es la forma definitiva de aplicar esta “magia del infinito” a un conjunto de “puntos” en un espacio tridimensional.

4. Los puntos del espacio se cortan de forma “No medible”

Cuando cortas un objeto real (como oro o una manzana) con un cuchillo, las piezas siempre tienen un “volumen”. Sin embargo, una esfera en matemáticas es una “colección infinita de puntos” que en sí mismos no tienen volumen.

Banach y Tarski dividieron estos infinitos puntos en grupos (particiones) utilizando un método muy especial y complejo. La forma en que se dividen es tan compleja y dispersa que alcanzan un estado donde “el volumen ya no se puede medir” (conjunto no medible).

graph TD S["Esfera original S (Volumen V)"] -->|División especial| P1["Pieza 1 (Volumen no medible)"] S --> P2["Pieza 2 (Volumen no medible)"] S --> P3["Pieza 3 (Volumen no medible)"] S --> P4["Pieza 4 (Volumen no medible)"] S --> P5["Pieza 5 (Volumen no medible)"] P1 -->|Rotación y traslación| S1["Nueva esfera 1 (Volumen V)"] P2 -->|Rotación y traslación| S1 P3 -->|Rotación y traslación| S1 P4 -->|Rotación y traslación| S2["Nueva esfera 2 (Volumen V)"] P5 -->|Rotación y traslación| S2 style S fill:#ffddaa,stroke:#333,stroke-width:2px style S1 fill:#aaddff,stroke:#333,stroke-width:2px style S2 fill:#aaddff,stroke:#333,stroke-width:2px

Si cada pieza se convierte en una agrupación borrosa de puntos que “no tienen volumen (no se pueden medir)”, podemos escapar de la restricción de la regla física (aditividad de la medida) que dicta que “la suma de las piezas debe ser igual al volumen original”.

Luego, rotando y combinando hábilmente estas piezas borrosas de puntos, la “magia del infinito” completa dos esferas que están densamente empaquetadas con exactamente los mismos puntos que la esfera original. De hecho, se ha demostrado que esta operación de “crear dos esferas a partir de una” es posible dividiendo la esfera original en solo 5 piezas.

5. El culpable de todo: ¿Qué es el “Axioma de Elección”?

Entonces, ¿por qué es matemáticamente posible realizar una “división tan compleja que su volumen no se puede medir”? Esto se debe a que aceptamos una regla llamada “Axioma de Elección” (Axiom of Choice), que es fundamental en las matemáticas modernas.

El Axioma de Elección, en términos simples, es la siguiente regla:

Concepto del Axioma de Elección Cuando hay objetos dentro de muchas cajas, es la regla que dice que “puedes elegir un objeto de cada caja para crear un nuevo conjunto”.

Si el número de cajas es finito, cualquiera puede hacerlo normalmente. Sin embargo, si el número de cajas es “infinito”, un humano no puede terminar de realizar la operación de “elegir uno por uno” infinitas veces. Aun así, el Axioma de Elección permite afirmar que “está bien asumir que el conjunto formado por las elecciones existe”.

Este axioma fue extremadamente útil e indispensable para construir las matemáticas modernas. La mayoría de los matemáticos aceptaron esta regla diciendo, “Bueno, es obvio”.

Pero, si aceptas este Axioma de Elección, también terminas aceptando la existencia de la “colección dispersa y borrosa de puntos cuyo volumen no se puede medir” (conjuntos no medibles) mencionada antes. Y como resultado, el Teorema de Banach-Tarski, que dice que “una esfera se convierte en dos”, se deriva como una necesidad lógica.

6. Conclusión: El “Mundo más allá de la intuición” que pintan las matemáticas

La Paradoja de Banach-Tarski no es una paradoja en el sentido de que “hay una contradicción en la lógica”. Es una paradoja en el sentido de que la lógica es 100% correcta, pero la conclusión derivada contradice violentamente la intuición humana y las leyes de la física.

Cuando se publicó este teorema, algunos matemáticos argumentaron: “¡Si se llega a una conclusión tan descabellada, el Axioma de Elección debe estar equivocado!”. Sin embargo, hoy en día, muchos matemáticos aceptan el Axioma de Elección y también aceptan el Teorema de Banach-Tarski como una “propiedad extraña pero hermosa que poseen el espacio tridimensional y los conjuntos infinitos”.

Como el mundo físico en el que vivimos está compuesto por átomos, que son “partículas con un tamaño determinado (finitas)”, no podemos hacer que un guisante tenga el tamaño del Sol. Sin embargo, en el lienzo de las “matemáticas” creado por la mente humana, el tamaño de un punto es cero y se permiten las operaciones infinitas.

Se podría decir que la Paradoja de Banach-Tarski es una de las obras maestras de las matemáticas modernas que nos enseña qué tan fácilmente el concepto de “infinito” puede superar la simple intuición humana.