166363 20260121131119.0 TAZ-TFG-2025-4652 spa Gómez Martínez, Pablo The Banach-Tarski paradox La paradoja de Banach-Tarski Zaragoza Universidad de Zaragoza 2025 by-nc-sa Creative Commons 3.0 http://creativecommons.org/licenses/by-nc-sa/3.0/ El teorema de Banach-Tarski establece que, dada una bola en el espacio euclídeo tridimensional, es posible descomponerla en un número finito de subconjuntos disjuntos y, mediante la aplicación de ciertas rotaciones, reconstruir a partir de ellos dos copias idénticas de la bola original. Este resultado, conocido como la \textit{Paradoja de Banach-Tarski}, constituye un punto de encuentro entre distintas áreas de la matemática moderna, y su estudio pone de manifiesto la profunda interacción entre la teoría de grupos, la geometría y la teoría de la medida.<br />Para formalizar la noción que subyace en el teorema, introducimos el concepto de \textit{conjunto paradójico}. Dado un grupo \( G \) que actúa sobre un conjunto \( X \), diremos que \( X \) es \textit{\( G \)-paradójico} si puede descomponerse en un número finito de subconjuntos disjuntos de los que, mediante la acción de elementos de \( G \), pueden obtenerse dos copias del conjunto original. En estos términos, el teorema de Banach-Tarski se reformula afirmando que la bola tridimensional es \( G \)-paradójica bajo la acción de un subgrupo de rotaciones.<br />El objetivo de este trabajo no se limita a la exposición y demostración rigurosa del teorema, sino que se centra en analizar la relación estructural entre el carácter paradójico de un conjunto y la posibilidad de definir sobre él una medida finito-aditiva e invariante bajo la acción de un grupo. Mostraremos que ambas propiedades, paradojicidad e invariancia de medida, son incompatibles.<br />En conjunto, los resultados que desarrollamos no solo ofrecen una comprensión rigurosa del Teorema de Banach-Tarski, sino que también ilustran la sorprendente profundidad de la interacción entre geometría, teoría de grupos y teoría de la medida, para lo cual, hacemos uso de ideas que se sitúan en el origen de múltiples líneas de investigación actuales (usaremos sucesiones de F\o lner, filtros y ultralímites)<br /><br /> Graduado en Matemáticas Derechos regulados por licencia Creative Commons 824728@unizar.es 409130 http://zaguan.unizar.es/record/166363/files/TAZ-TFG-2025-4652.pdf Memoria (spa) oai:zaguan.unizar.es:166363 driver trabajos-fin-grado 0 Lozano Rojo, Álvaro dir. Universidad de Zaragoza Matemáticas Geometría y Topología TAZ TFG CIEN 20251113195209.CREATION_DATE deposita:2026-01-21