🏷️ Origen

La formularon los matemáticos polacos Stefan Banach y Alfred Tarski en un artículo de 1924 publicado en la revista Fundamenta Mathematicae («Sur la décomposition des ensembles de points en parties respectivement congruentes»). No es una paradoja en el sentido de una contradicción lógica: es un teorema demostrado, correcto y aceptado. Lo «paradójico» es que su conclusión choca de frente con toda intuición física. Se apoya en trabajos previos de Felix Hausdorff (1914), que ya había encontrado una descomposición «imposible» de la esfera.

🤔 Qué es (el planteamiento)

El teorema dice, en cristiano, algo increíble: se puede coger una bola sólida, partirla en un número finito de trozos (bastan cinco), mover y girar esos trozos —sin deformarlos, sin estirarlos, sin añadir nada— y volver a montarlos para obtener dos bolas sólidas idénticas a la original. Duplicas la esfera de la nada. Con el mismo tipo de truco, una versión más fuerte («Banach-Tarski fuerte») afirma que puedes descomponer un guisante y recomponerlo, con movimientos rígidos, en una bola del tamaño del Sol.

Suena a magia o a trampa, pero no lo es: cada paso es lógicamente impecable a partir de los axiomas estándar de las matemáticas. La clave está en qué son esos «trozos». No son pedazos con forma de tarta ni nada que puedas imaginar o cortar con un cuchillo: son conjuntos de puntos infinitamente dispersos y retorcidos, tan enrevesados que no tienen un «volumen» bien definido. Se llaman conjuntos no medibles.

🌀 Por qué descoloca (la tensión)

Descoloca porque parece violar algo sagrado: la conservación del volumen. Si parto un objeto y lo recompongo moviendo los trozos, la cantidad de «materia» debería ser la misma. Aquí, en cambio, el volumen se duplica a partir de cortes y giros. Nuestra intuición grita «¡de dónde sale la otra bola!».

La tensión de fondo es esta: la intuición está calibrada para el mundo físico, donde la materia está hecha de átomos —una cantidad finita de trozos indivisibles— y donde «cortar» significa separar por una superficie. Pero el teorema no habla de materia: habla del continuo matemático, una bola idealizada con una cantidad infinita e incontable de puntos sin tamaño. En ese mundo, la noción de «volumen» no se aplica a todos los conjuntos de puntos imaginables, solo a los «medibles». El teorema exige usar piezas no medibles, a las que preguntar «¿cuánto volumen tienen?» no tiene respuesta. Y si tus piezas no tienen volumen definido, la aritmética «el todo es igual a la suma de las partes» simplemente no rige.

🔑 Soluciones e intentos de respuesta

• No hay error que corregir; hay que entender qué dice de verdad. No es un fallo a resolver, sino un teorema correcto. La «solución» es comprender que la contradicción con la física es aparente: el teorema no permite duplicar oro ni pan, porque la materia real no es un continuo infinitamente divisible. Es un resultado sobre la geometría del infinito, no sobre el mundo.
• El sospechoso habitual: el axioma de elección. La demostración usa de forma esencial el axioma de elección, que permite «elegir a la vez» un punto de cada uno de infinitos conjuntos sin dar una regla concreta para hacerlo. Ese axioma es lo que hace posible construir los conjuntos no medibles. Algunos matemáticos lo ven con recelo precisamente por consecuencias como esta. Su mejor defensa: sin él se caen muchísimos resultados útiles y naturales de las matemáticas; su pega: permite fabricar objetos «monstruosos» imposibles de exhibir explícitamente.
• Renunciar a los conjuntos raros. Si uno se restringe a conjuntos medibles (los que sí tienen volumen), la paradoja desaparece: está demostrado que no puedes duplicar la bola usando solo piezas medibles. El precio es aceptar que existen conjuntos a los que no se les puede asignar volumen de forma coherente. La paradoja vive justo en ese hueco.
• Cuestión de dimensión. Curiosamente, el fenómeno no ocurre en la recta ni en el plano (dimensiones 1 y 2): allí sí existe una noción de «medida» que se lleva bien con los movimientos rígidos. Solo aparece en tres dimensiones o más, porque el grupo de rotaciones del espacio es lo bastante «rico» (contiene un grupo libre) para permitir el truco. Eso señala que el nudo no está en el infinito a secas, sino en la estructura de las rotaciones en el espacio.

🧠 Qué debate de fondo toca

Toca el problema del infinito actual y la brecha entre el continuo matemático y el mundo físico. Es un aviso de que nuestra intuición sobre «volumen», «cantidad» y «partes» está hecha para lo finito y se rompe al entrar en lo infinito no numerable. También pone sobre la mesa un debate de fundamentos: hasta qué punto aceptamos herramientas (como el axioma de elección) que son potentísimas pero producen objetos que nadie puede señalar ni construir de manera explícita. En el fondo, pregunta qué significa que algo «exista» en matemáticas: ¿basta con que se siga de los axiomas, aunque sea inimaginable?

🔗 Relacionadas / fuentes

• Misma familia (infinito que desafía la intuición): `hotel-de-hilbert.md`, `aquiles-y-la-tortuga.md`, `la-dicotomia.md`. Fundamentos/lógica: `paradoja-de-russell.md`. Base: `_INDICE-paradojas.md`.
• Fuentes: Banach & Tarski, Fundamenta Mathematicae (1924); antecedente de Hausdorff (1914); entradas de divulgación matemática sobre conjuntos no medibles y axioma de elección (SEP: «The Axiom of Choice»).