Infinito on kenji.blog

¿La flecha que vuela está quieta?: La paradoja de la 'flecha que vuela' de Zenón

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

Una flecha disparada por un arco vuela por el cielo. Ciertamente, esta flecha se está moviendo. Sin embargo, Zenón, un filósofo griego del siglo V a. C., desarrolló la siguiente temible lógica:

“La flecha que vuela, en realidad, está quieta”

Esto no es una broma ni un sofisma, sino la “Paradoja de la flecha”, que matemáticos y filósofos han estado debatiendo seriamente durante 2.500 años.

El argumento de Zenón

El argumento de Zenón toma el concepto del “instante de tiempo” como su punto de partida.

El tiempo es una sucesión de “instantes”.
Si capturamos un solo instante (un punto donde la duración del tiempo es cero) como si fuera una “fotografía”, la flecha “está” en un punto específico del espacio.
En ese instante, la flecha solo “ocupa” ese lugar y no se mueve. (Si se estuviera moviendo, requeriría un “lapso de tiempo”, no un “instante”).
Esto es igual sin importar qué instante se tome.
Si la flecha está en reposo en todos los instantes del tiempo, ¿cuándo se mueve la flecha?

graph TD A["Flecha en vuelo"] --> B["El tiempo es una sucesión de instantes"] B --> C["Instante t1: La flecha está en reposo en la posición A"] B --> D["Instante t2: La flecha está en reposo en la posición B"] B --> E["Instante t3: La flecha está en reposo en la posición C"] C --> F{"La flecha está en reposo en todos los instantes"} D --> F E --> F F --> G["Conclusión: ¡La flecha no se mueve!"] style A fill:#2196F3,color:#fff style F fill:#FF9800,color:#fff,stroke-width:2px style G fill:#F44336,color:#fff,stroke-width:3px

Intuición vs Lógica

“Qué absurdo. La flecha realmente está volando, ¿no es así?”, sería la primera reacción de la mayoría de las personas. Sin embargo, señalar lógicamente dónde se equivoca el argumento de Zenón es, de hecho, extremadamente difícil.

Se dice que Diógenes, otro filósofo de la antigua Grecia, respondió a Zenón simplemente poniéndose de pie, caminando por la habitación y demostrando: “Mira, se mueve”. Sin embargo, esto no constituye una refutación de la lógica de Zenón. Lo que Zenón está cuestionando no es “si podemos movernos o no”, sino “si podemos explicar sin contradicciones qué significa moverse usando nuestra lógica”.

La solución (o intento) mediante el cálculo

El cálculo, inventado por Newton y Leibniz en el siglo XVII, proporcionó una respuesta matemática (al menos parcialmente) a esta paradoja.

En el cálculo, la “velocidad en un instante dado (velocidad instantánea)” se define de la siguiente manera:

$$ v(t) = \lim_{\Delta t \to 0} \frac{\Delta x}{\Delta t} $$

Es decir, la velocidad se define como el “límite” en el que la cantidad de cambio en la posición $\Delta x$ se divide por la cantidad de cambio en el tiempo $\Delta t$, acercando $\Delta t$ a cero tanto como sea posible.

El punto clave aquí es que la “velocidad instantánea” no es la distancia recorrida dentro de un lapso de tiempo de cero. Es una cantidad definida como la “tendencia” o “límite” de los cambios minúsculos antes y después de ese momento.

Por lo tanto, la respuesta desde el punto de vista del cálculo sería la siguiente:

“Ciertamente, si extraes un instante de longitud cero, la flecha no se mueve ‘dentro’ de ese instante. Sin embargo, incluso en ese instante, la flecha posee la propiedad de ‘velocidad instantánea (un valor límite distinto de cero)’. Estar ’en reposo’ significa que la ‘velocidad instantánea es cero’, pero como la velocidad instantánea de una flecha en vuelo no es cero, no se puede decir que la flecha esté ’en reposo’.”

Preguntas filosóficas restantes

Aunque el cálculo proporcionó una solución práctica a la paradoja de Zenón, la cuestión no se ha resuelto filosóficamente por completo.

El concepto de “límite” es estrictamente una herramienta matemática (un procedimiento de cálculo) y no responde rigurosamente a preguntas fundamentales como "¿Qué es físicamente la unidad mínima de tiempo (instante)?", "¿Qué es la continuidad?" o "¿Cuál es la esencia del movimiento?".

En la física moderna (mecánica cuántica), se debate la posibilidad de que existan unidades mínimas también para el tiempo y el espacio (tiempo de Planck, longitud de Planck). Si el tiempo es “discreto (digital)” en lugar de “continuo”, la paradoja de Zenón tal vez deba ser reevaluada en un contexto completamente diferente.

Incluso después de 2.500 años, la flecha de Zenón sigue preguntándonos: “¿Qué es el movimiento?” y “¿Qué es el tiempo?”.

¿Qué tan larga es la costa de Gran Bretaña?: La paradoja de la costa

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

¿Cuántos kilómetros de longitud tiene la costa de Gran Bretaña? Podrías pensar que la respuesta se encuentra buscando en una enciclopedia o en un libro de texto de geografía. Sin embargo, en la realidad existe el extraño hecho de que “la respuesta cambia dependiendo de cómo se mida, y teóricamente es infinita”.

Esta es la paradoja de la costa (Coastline Paradox). Este descubrimiento fue el catalizador que más tarde dio origen a una rama de las matemáticas completamente nueva llamada “geometría fractal”.

Cuanto más corta es la regla, más aumenta la distancia

Una costa no es una línea perfectamente recta, sino que está compuesta por innumerables ensenadas, cabos e irregularidades en la superficie de las rocas.

Supongamos que medimos la costa de Gran Bretaña con una regla gigante (una línea recta) de 100 km de longitud. Con esta regla, las pequeñas ensenadas y los contornos irregulares de las penínsulas de menos de 100 km son ignorados, creándose atajos.

A continuación, intentemos medir de nuevo con una regla de 1 km de longitud. Entonces, como ahora estaremos midiendo a lo largo de los contornos de pequeñas bahías y cabos que antes fueron ignorados, la longitud total indudablemente aumentará.

Además, ¿qué pasaría si midiéramos cada una de las irregularidades de las rocas con una regla de 1 m, la superficie de las piedras con una regla de 1 cm, y el contorno de los granos de arena con una regla de 1 mm?

graph TD A["Medición de la costa"] --> B["Regla de 100 km"] A --> C["Regla de 1 km"] A --> D["Regla de 1 m"] B --> B1["Ignora pequeñas ensenadas"] B1 --> B2["Resultado: aprox. 2.800 km"] C --> C1["Sigue la forma de las ensenadas"] C1 --> C2["Resultado: aprox. 3.400 km"] D --> D1["Mide hasta las irregularidades de las rocas"] D1 --> D2["Resultado: aumento adicional (teóricamente infinito)"] style B2 fill:#FFCDD2,stroke:#333 style C2 fill:#E57373,stroke:#333 style D2 fill:#F44336,stroke:#333,color:#fff

Lewis Fry Richardson descubrió empíricamente este fenómeno en 1951. A medida que la unidad de medida (la longitud de la regla) se hace más pequeña, la longitud de la costa medida aumenta sin fin.

Dimensión fractal: Entre una y dos dimensiones

Quien dio una explicación matemática a esta paradoja fue el matemático Benoît Mandelbrot. En 1967, publicó en la revista Science un famoso artículo titulado “¿Cuánto mide la costa de Gran Bretaña? Autosimilitud estadística y dimensión fractal”.

Mandelbrot señaló que las formas de la naturaleza, como las costas, poseen autosimilitud (fractales), lo que significa que “no importa cuánto se amplíen, aparece la misma estructura compleja”.

Si fuera una línea matemática pura (unidimensional), su longitud no cambiaría aunque la regla se redujera a la mitad. Sin embargo, como una costa es tan irregular, es más compleja que una línea unidimensional, pero tampoco es una superficie bidimensional con área.

Mandelbrot introdujo el concepto de “dimensión fractal (dimensión de Hausdorff)” para expresar la complejidad de este tipo de figuras. Se estima que la dimensión fractal de la costa de Gran Bretaña es $D \approx 1.25$. Es decir, la costa de Gran Bretaña es una existencia misteriosa cuya dimensión es “mayor que la de una línea unidimensional, y menor que la de una superficie bidimensional”.

Si la longitud de la regla es $s$ y la longitud medida de la costa es $L(s)$, se establece la siguiente relación con la dimensión fractal $D$:

$$ L(s) \propto s^{1-D} $$

En el caso de la costa de Gran Bretaña, como $D = 1.25$, entonces $1 - D = -0.25$.

$$ L(s) \propto s^{-0.25} $$

Esto demuestra matemáticamente que a medida que la longitud de la regla $s$ se acerca a 0, el resultado de la medición $L(s)$ diverge hacia el infinito $\infty$.

Conclusión final: La longitud no se puede definir

El concepto de “longitud” que utilizamos cotidianamente solo funciona para líneas rectas y curvas suaves. Para las figuras fractales que existen en la naturaleza (costas, nubes, cordilleras, ramificaciones de vasos sanguíneos, etc.), preguntar por una “longitud absoluta” en realidad carece de sentido matemático.

“¿Qué tan larga es la costa de Gran Bretaña?” La respuesta correcta a esto es que “depende de la longitud de la regla con la que se mida”, y teóricamente es “infinita”. El hecho de que una longitud infinita esté plegada dentro de un espacio pequeño y limitado puede decirse que es una hermosa paradoja para nuestra percepción del espacio.

¿Se puede llenar de pintura, pero no se puede pintar su superficie? El cuerno de Gabriel

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

¿Qué pasaría si existiera un recipiente con “un volumen finito pero un área de superficie infinita”? Intuitivamente parece imposible, pero en el mundo de las matemáticas ciertamente existe tal sólido. Esta figura geométrica se llama “El cuerno de Gabriel (Gabriel’s Horn)”, también conocido como “La trompeta de Torricelli”.

Descubierta en 1641 por el matemático italiano Evangelista Torricelli, esta figura causó un gran impacto en los matemáticos y filósofos de la época, desencadenando un intenso debate sobre la naturaleza del “infinito”.

La paradoja de la pintura

Si comparamos las propiedades de esta figura con “pintura” de uso cotidiano, surge la siguiente extraña paradoja.

Si llenamos el cuerno con pintura: Dado que el volumen del cuerno es finito (exactamente $\pi$), solo se necesita verter $\pi$ litros (aproximadamente 3.14 litros) de pintura para llenar completamente el interior del cuerno.
Si pintamos la superficie del cuerno con pintura: El área de la superficie del cuerno es infinita. Por lo tanto, si intentamos pintar la superficie interior (o exterior) del cuerno con una brocha, no importa cuánta cantidad masiva de pintura preparemos, nunca terminaremos de pintarlo.

“Aunque podemos llenar el interior con 3.14 litros de pintura, necesitaríamos una cantidad infinita de pintura para cubrir su superficie” ¿Por qué ocurre esta situación contraria a la intuición?

graph TD A["Cuerno de Gabriel"] --> B["Cálculo de volumen (Integral)"] A --> C["Cálculo de superficie (Integral)"] B --> B1["Volumen = π (Finito)"] B1 --> B2["Se puede llenar el interior con pintura"] C --> C1["Superficie = ∞ (Infinita)"] C1 --> C2["No se puede terminar de pintar la superficie"] B2 --> D{"¡Paradoja!"} C2 --> D style A fill:#FFD54F,stroke:#333,stroke-width:2px style B1 fill:#81C784,stroke:#333 style C1 fill:#E57373,stroke:#333,color:#fff style D fill:#F44336,stroke:#333,color:#fff,stroke-width:3px

Demostración matemática: La magia del cálculo

El cuerno de Gabriel se genera al rotar la gráfica de la función $y = \frac{1}{x}$ (para $x \ge 1$) alrededor del eje $x$. Usemos el cálculo para hallar el volumen $V$ y el área de la superficie $A$ de este sólido.

1. Cálculo del volumen (por qué es finito)

El volumen $V$ de un sólido de revolución se obtiene integrando el área de la sección transversal (un círculo de radio $\frac{1}{x}$).

$$ V = \pi \int_{1}^{\infty} \left( \frac{1}{x} \right)^2 dx = \pi \int_{1}^{\infty} \frac{1}{x^2} dx $$

Calculando esta integral definida:

$$ V = \pi \left[ -\frac{1}{x} \right]_{1}^{\infty} = \pi (0 - (-1)) = \pi $$

El resultado converge a un valor finito $\pi$.

2. Cálculo del área de superficie (por qué es infinita)

Por otro lado, el cálculo del área de la superficie $A$ es el siguiente:

$$ A = 2\pi \int_{1}^{\infty} y \sqrt{1 + \left(\frac{dy}{dx}\right)^2} dx $$

Dado que

$$ \frac{dy}{dx} = -\frac{1}{x^2} $$

, el contenido dentro de la raíz cuadrada es $1 + \frac{1}{x^4}$. Aquí, como $\sqrt{1 + \frac{1}{x^4}} > 1$ para todo $x \ge 1$, se cumple la siguiente desigualdad:

$$ A > 2\pi \int_{1}^{\infty} \frac{1}{x} \cdot 1 dx = 2\pi \left[ \ln x \right]_{1}^{\infty} $$

El logaritmo natural $\ln x$ diverge hacia el infinito cuando $x \to \infty$. Por lo tanto, el área de la superficie $A$, que es mayor que esto, naturalmente también divergirá hacia el infinito.

La “explicación” de esta paradoja

Aunque se puede demostrar matemáticamente que es correcto, puede resultar difícil de aceptar desde el punto de vista del mundo real. “Si se puede llenar con pintura, esa pintura está tocando la superficie interior, entonces la superficie también debería estar pintada, ¿no es así?”

Esta discrepancia intuitiva surge de la confusión entre conceptos matemáticos y la realidad física.

En el mundo de las matemáticas, el “grosor” de la pintura puede hacerse infinitamente delgado hasta llegar a cero. El cuerno de Gabriel se vuelve infinitamente estrecho a medida que avanza, pero la pintura matemática puede volverse tan delgada como sea necesario para fluir hasta lo más profundo de su estrecho extremo, recubriendo una superficie infinita con un volumen finito (sin embargo, el grosor de la capa de pintura se acercará a cero hacia el extremo).

Sin embargo, en el mundo físico real, la pintura está hecha de átomos y moléculas (partículas con un tamaño finito). Incluso si vertemos pintura real, una vez que el tubo del cuerno se vuelve más estrecho que el “diámetro de una molécula de pintura”, la pintura no puede avanzar más. En otras palabras, físicamente es imposible llenarlo hasta el extremo o pintar su superficie infinita.

El cuerno de Gabriel es un hermoso ejemplo que nos enseña que la intuición humana está atada a las “reglas del mundo finito” y no siempre coincide con el mundo del cálculo que maneja el “infinito”.

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.

La paradoja de los dos sobres: el colapso lógico y la trampa de las decisiones provocados por el valor esperado infinito

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

1. La decisión definitiva: ¿Cambiar o no cambiar?

Estás en la etapa final de un programa de juegos. En la mesa frente a ti hay dos sobres (A y B) que se ven exactamente iguales. El presentador te dice:

“Un sobre contiene el doble de dinero que el otro. Por favor, elige uno.”

Después de dudar, eliges el sobre A. Justo cuando estás a punto de ver lo que hay dentro, el presentador te susurra como un demonio.

“Ahora mismo, puedes cambiar ese sobre A por el sobre B restante si quieres. ¿Lo cambias?”

Entonces, ¿deberías cambiar los sobres?

2. El “bucle infinito” que se deduce del cálculo del valor esperado

Aquí, pongamos en práctica un poco de pensamiento matemático. Supongamos que la cantidad de dinero en tu sobre A es de $X$ yenes. La cantidad en el sobre B, según las reglas, es “la mitad de $X$ yenes ($\frac{X}{2}$)” o “el doble de $X$ yenes ($2X$)”. La probabilidad de cada uno es $\frac{1}{2}$ (50%).

Entonces, calculemos el valor esperado (la cantidad promedio esperada) si cambias el sobre.

$$ E = \frac{1}{2} \times \left(\frac{X}{2}\right) + \frac{1}{2} \times (2X) $$ $$ E = \frac{X}{4} + X = \frac{5}{4}X = 1.25X $$

El resultado es sorprendente. Con solo cambiar el sobre, el valor esperado salta de los $X$ yenes originales a $1.25$ veces (un aumento del 25%). La conclusión es: “¡Pensando matemáticamente, definitivamente es más rentable cambiar!”.

Sin embargo, aquí ocurre un colapso lógico. Supongamos que lo cambiaste por el sobre B. ¿Qué pasaría si, inmediatamente después, el presentador volviera a preguntar: “¿Quieres volver al A después de todo?”? Se aplicará exactamente la misma fórmula, y esta vez será “cambiar de B a A aumentará el valor esperado 1,25 veces”.

Es decir, el valor esperado teórico seguirá aumentando infinitamente con solo seguir cambiando “de A a B” y “de B a A”. Esto es claramente contradictorio con la realidad (el contenido del sobre está determinado desde el principio, y no aumentará solo porque lo cambies).

graph TD Start["Eliges el sobre A (El contenido es X yenes)"] --> Think["Calculas si es mejor cambiar"] Think --> Case1["El sobre B tiene la mitad (X/2 yenes) : Probabilidad 50%"] Think --> Case2["El sobre B tiene el doble (2X yenes) : Probabilidad 50%"] Case1 --> Calc["Valor esperado = (X/4) + X = 1.25X"] Case2 --> Calc Calc --> SwitchToB["¡Cambias al sobre B! (El contenido es Y yenes)"] SwitchToB --> ThinkAgain["Calculas de nuevo"] ThinkAgain --> Case3["El sobre A tiene la mitad (Y/2 yenes) : Probabilidad 50%"] ThinkAgain --> Case4["El sobre A tiene el doble (2Y yenes) : Probabilidad 50%"] Case3 --> Calc2["Valor esperado = 1.25Y"] Case4 --> Calc2 Calc2 --> SwitchToA["¡Vuelves a cambiar al sobre A!"] SwitchToA --> Start style Calc fill:#ff9999,stroke:#333,stroke-width:2px style Calc2 fill:#ff9999,stroke:#333,stroke-width:2px style SwitchToA fill:#ff4444,color:#fff,stroke:#333,stroke-width:4px

¿Por qué un cálculo del valor esperado que parece perfecto a primera vista crea una paradoja tan extraña?

3. Aclarando el truco matemático: el intercambio de variables

La trampa de esta paradoja reside en el “uso de la variable aleatoria $X$”.

En la fórmula anterior, tratamos la cantidad $X$ del sobre A como una constante fija y supusimos que el sobre B era “$\frac{X}{2}$ o $2X$”. Sin embargo, lo que originalmente está fijo es “la suma de las cantidades en los dos sobres”, o “la cantidad menor”.

Sea $S$ la cantidad en el sobre con menos dinero. Entonces, el sobre con más dinero contiene la cantidad de $2S$. Hay solo dos patrones para todos los escenarios del juego (cada uno con una probabilidad de $\frac{1}{2}$).

Patrón 1: El sobre A que elegiste es el que tiene menos ($S$) y el sobre B es el que tiene más ($2S$)
Patrón 2: El sobre A que elegiste es el que tiene más ($2S$) y el sobre B es el que tiene menos ($S$)

Aquí calcularemos correctamente el valor esperado para “cuando no cambias” y “cuando cambias” el sobre.

Valor esperado cuando no cambias $E_{stay}$:

$$ E_{stay} = \frac{1}{2} \times S + \frac{1}{2} \times 2S = \frac{3}{2}S = 1.5S $$

Valor esperado cuando cambias $E_{switch}$: En el patrón 1 obtienes $2S$, y en el patrón 2 obtienes $S$.

$$ E_{switch} = \frac{1}{2} \times 2S + \frac{1}{2} \times S = \frac{3}{2}S = 1.5S $$ $$ E_{stay} = E_{switch} $$

¡El valor esperado coincide perfectamente! En el primer cálculo incorrecto, la ilusión de que “el valor esperado aumenta si cambias” fue creada por tratar diferentes valores, el $X$ en el patrón 1 (en realidad $S$) y el $X$ en el patrón 2 (en realidad $2S$), como la misma variable $X$.

pie title "La verdad del valor esperado (asumiendo S como la cantidad menor)" "Valor esperado si no cambias (1.5S)" : 50 "Valor esperado si cambias (1.5S)" : 50

4. ¿Qué pasa si ya has abierto el sobre?

La paradoja parece estar resuelta con esto. Sin embargo, nos espera un problema más profundo.

¿Qué pasaría si, antes de cambiar de sobre, vieras lo que hay dentro de tu sobre A? Abres el sobre A y resulta que contiene “10,000 yenes”.

En este momento, se convierte en un valor confirmado de $X = 10000$. El sobre B contiene “5,000 yenes” o “20,000 yenes”. ¿Qué sucede si aplicamos la primera fórmula aquí?

$$ E_{switch} = \frac{1}{2} \times 5000 + \frac{1}{2} \times 20000 = 2500 + 10000 = 12500 $$

El valor esperado es de 12,500 yenes. Es indudablemente más alto que los 10,000 yenes actuales. Además, esta vez $X$ es una “constante específica” de 10,000 yenes, por lo que el contraargumento de “intercambio de variables” de antes no es aplicable. Siendo este el caso, ¿es absolutamente más rentable cambiar?

Refutación por inferencia bayesiana: Falta de “distribución a priori”

Frente a esto, los matemáticos introdujeron el concepto de “distribución a priori (probabilidad a priori) de la cantidad de dinero”. La pregunta es si realmente podemos decir que los 5,000 yenes y los 20,000 yenes tienen cada uno una probabilidad de $\frac{1}{2}$ de estar dentro.

Por ejemplo, digamos que el presupuesto máximo del programa es de 100 millones de yenes. Si abres el sobre A y tiene “60 millones de yenes”, la probabilidad de que el sobre B tenga “120 millones de yenes” es cero (porque supera el presupuesto). En otras palabras, cuanto mayor sea la cantidad en el sobre A, menor debería ser la probabilidad de que el sobre B tenga “el doble”, y mayor debería ser la probabilidad de que tenga “la mitad”.

Si calculamos el valor esperado usando el Teorema de Bayes asumiendo una distribución a priori arbitraria $P(x)$, se ha demostrado matemáticamente que para cualquier distribución de probabilidad realista (cuya suma es 1), no existe una distribución mágica en la que “sea más rentable cambiar” para todas las cantidades $X$.

5. La trampa del infinito: la conexión con la paradoja de San Petersburgo

Existe un único caso en el que “es más rentable cambiar para todas las cantidades $X$”. Eso es solo cuando el presupuesto del programa es infinito y asumimos una “distribución de probabilidad impropia (una distribución cuya suma es infinita)” en la que todas las cantidades (1 yen, 2 yenes, 4 yenes, 8 yenes… infinito) aparecen de manera uniforme.

Sin embargo, en el mundo real no existe una cadena de televisión con activos infinitos. El error causado por este “valor esperado infinito” está profundamente arraigado en la Paradoja de San Petersburgo (el problema de cuánto estaría dispuesta a pagar una persona por una apuesta con un valor esperado infinito).

6. Resumen: Los peligros de la probabilidad y el valor esperado

“La paradoja de los dos sobres”, a pesar de consistir únicamente en multiplicaciones y sumas simples, nos enseña las siguientes lecciones.

Errores nacidos de definiciones ambiguas: si no dejas claro a qué se refiere una variable (¿$X$ siempre se refiere a la misma cantidad?), la lógica colapsa fácilmente.
La ilusión de que “sin información = probabilidad del 50%”: la suposición de “no sé, así que será mitad y mitad” (el principio de razón insuficiente) a veces provoca errores de cálculo fatales.
La dificultad de tratar con el infinito: introducir el concepto de “infinito”, que no se puede aplicar al mundo real, en fórmulas de cálculo produce resultados que van en contra del sentido común.

La próxima vez en la vida que pienses que “el césped del vecino se ve más verde y es mejor cambiar”, recuerda esta paradoja. Es posible que solo se hayan intercambiado las variables en tu fórmula de cálculo.