La paradoja de Banach-Tarski es un resultado sorprendente en la teoría de conjuntos que afirma que es posible descomponer una esfera tridimensional en un número finito de piezas, y luego reensamblarlas para formar dos esferas idénticas a la original. Esto parece violar el sentido común, ya que no se está creando nueva materia, sino que se está manipulando la misma materia de manera que se duplica. Pero ¿cómo es posible esto?
Para entender esta paradoja, debemos adentrarnos en el entorno de las matemáticas abstractas. La paradoja de Banach-Tarski se basa en la idea de que el espacio euclidiano tridimensional es un espacio no contable, lo que significa que no se puede establecer una correspondencia uno a uno entre sus puntos y los números naturales. Esta característica permite la construcción de conjuntos que no son medibles, es decir, no tienen un volumen definido.
La demostración de la paradoja implica una serie de pasos complejos que incluyen la utilización de grupos de isometrías, la construcción de conjuntos no medibles y la aplicación de técnicas de teoría de conjuntos. Para simplificar el concepto, podemos imaginar la esfera como un objeto hecho de chocolate. Si dividimos este chocolate en un número finito de piezas, cada una de las cuales es un conjunto no medible, entonces podemos reensamblar estas piezas para formar dos trozos de chocolate idénticos al original.
Cómo funciona la paradoja de Banach-Tarski
Para comprender la paradoja, podemos analizar un caso más sencillo: la descomposición de la esfera bidimensional (S²) en dos copias de S². La idea es descomponer un subgrupo del grupo de rotaciones de S² en subconjuntos autosimilares y utilizar la acción de este subgrupo sobre S² para obtener las piezas deseadas.
Consideremos el grupo libre con dos generadores (F₂), que consta de palabras formadas con las letras 'a' y 'b'. Podemos descomponer F₂ en cuatro piezas: los elementos que comienzan con 'a', los que comienzan con 'b', los que comienzan con 'a⁻¹' y los que comienzan con 'b⁻¹'. Al multiplicar estas piezas por 'a' o 'b', podemos obtener dos copias de F₂ a partir de las cuatro piezas originales.
Ahora, encontramos un subgrupo (H) del grupo de rotaciones de S² que es isomorfo a F₂. Este subgrupo está generado por dos rotaciones: una alrededor del eje x con un ángulo θ (arcocos(1/3)) y otra alrededor del eje z con el mismo ángulo θ. Las órbitas de la acción de H sobre S² son las piezas que nos permiten descomponer S² en dos copias de sí misma.
¿Por qué es una paradoja?
La paradoja de Banach-Tarski desafía nuestra intuición porque parece violar el principio de conservación de la materia. Al descomponer y reensamblar la esfera, parece que estamos creando nueva materia de la nada. Sin embargo, la paradoja no viola las leyes de la física. En realidad, la paradoja de Banach-Tarski se basa en la naturaleza abstracta del espacio euclidiano y la existencia de conjuntos no medibles.
La paradoja de Banach-Tarski es un resultado matemático abstracto que no tiene aplicaciones directas en el entorno físico. Sin embargo, es un ejemplo maravilloso de cómo las matemáticas pueden desafiar nuestra percepción del entorno y generar resultados sorprendentes. La capacidad de descomponer y reensamblar objetos de manera que parezcan duplicarse nos recuerda que la realidad puede ser mucho más compleja de lo que imaginamos.
Implicaciones de la paradoja de Banach-Tarski
Aunque la paradoja de Banach-Tarski no tiene aplicaciones prácticas, tiene importantes implicaciones en la teoría de conjuntos y la lógica matemática. Muestra que los sistemas matemáticos pueden tener propiedades sorprendentes e inesperadas. También plantea preguntas profundas sobre la naturaleza del espacio, la medida y la infinitud.
La paradoja de Banach-Tarski es un ejemplo de cómo las matemáticas pueden ser una fuente de inspiración para nuevos descubrimientos y teorías. Es un recordatorio de que nuestra comprensión del entorno está en constante evolución y que las matemáticas pueden ayudarnos a comprender mejor la realidad que nos rodea.
Si quieres conocer otros artículos parecidos a La paradoja de banach-tarski: duplicando chocolate con matemáticas puedes visitar la categoría Chocolate.