<?xml version="1.0" encoding="UTF-8"?>
<references>
<reference>
  <a1>Gómez Martínez, Pablo</a1>
  <a2>Lozano Rojo, Álvaro</a2>
  <t1>La paradoja de Banach-Tarski</t1>
  <t2/>
  <sn/>
  <op/>
  <vo/>
  <ab>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.&lt;br /&gt;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.&lt;br /&gt;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.&lt;br /&gt;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)&lt;br /&gt;&lt;br /&gt;</ab>
  <la>spa</la>
  <k1/>
  <pb>Universidad de Zaragoza</pb>
  <pp>Zaragoza</pp>
  <yr>2025</yr>
  <ed/>
  <ul>http://zaguan.unizar.es/record/166363/files/TAZ-TFG-2025-4652.pdf;
	</ul>
  <no>Imported from Invenio.</no>
</reference>

</references>