#278 · The Banach–Tarski Paradox

A single solid sphere can be split into five pieces and reassembled into two identical spheres of the same size — a result so strange it defies intuition. This is the Banach–Tarski paradox, a theorem in mathematics that challenges our understanding of volume, space, and the limits of physical reality.

In 1924, Polish mathematicians Stefan Banach and Alfred Tarski published a paper that would shake the foundations of geometric intuition. Their theorem, now known as the Banach–Tarski paradox, proposed something seemingly impossible: a solid ball in three-dimensional space can be divided into a finite number of pieces and then reassembled into two identical copies of the original ball. The process involves only rotations and translations — no stretching, bending, or adding new material. The only catch is that the pieces used in the transformation are not ordinary solids, but rather non-measurable sets of points, which have no defined volume in the traditional sense.

The paradox hinges on the Axiom of Choice, a principle in set theory that allows for the construction of such non-measurable sets. This axiom, though widely accepted, is not without controversy. It permits the selection of one element from each of an infinite collection of sets, even when there is no explicit rule for making the choice. In the case of the Banach–Tarski paradox, the Axiom of Choice is used to partition the sphere into subsets that cannot be assigned a consistent volume. The pieces are then rearranged using rotations and translations to form two spheres, each with the same volume as the original.

A single matte sphere floats in a dark studio Illustration · AI-generated (FLUX.1-dev)

The Mathematics of the Paradox

The Banach–Tarski paradox is not a trick of language or a sleight of hand — it is a rigorous mathematical result. The key to understanding it lies in the structure of the group of Euclidean motions in three-dimensional space. This group, which includes all rotations and translations, contains a free subgroup with two generators. This subgroup is not amenable, meaning it does not admit a finitely additive, translation-invariant measure. As a result, it is possible to decompose a sphere into subsets that cannot be assigned a volume and then reassemble them in a way that seems to double the volume.

The sphere separates into five strange Illustration · AI-generated (FLUX.1-dev)

The paradox is often illustrated with a more dramatic version: a pea can be cut into a finite number of pieces and reassembled into a sphere the size of the Sun. This is not a metaphor but a literal statement of the theorem. The pieces required for this transformation are the same kind of non-measurable sets used in the original paradox. The reason this is not possible in the physical world is that real objects are made of atoms, and atoms cannot be split into the infinite scatterings of points required by the paradox. The paradox is purely a mathematical result, and it does not apply to physical matter.

Five non-geometric fragments drift apart around the empty space where the original sphere Illustration · AI-generated (FLUX.1-dev)

Why the Paradox is Not a Contradiction

The Banach–Tarski paradox is a veridical paradox, meaning it is true but appears to contradict common sense. It does not violate the laws of physics or the principles of mathematics. The confusion arises from the fact that the theorem relies on the Axiom of Choice, which is not necessary for most of the mathematics used in everyday life. The Axiom of Choice allows for the construction of non-measurable sets, which are not required for the measurement of physical objects. In the real world, we can define the volume of a solid object because we do not encounter non-measurable sets. In the abstract world of mathematics, however, such sets are possible and can lead to surprising results.

The five fragments reassemble in midair into two complete spheres of equal size Illustration · AI-generated (FLUX.1-dev)

The paradox is also not a contradiction in the logical sense. It does not produce a statement that is both true and false. Instead, it shows that the Axiom of Choice leads to results that are counterintuitive but logically consistent. The paradox has been studied extensively, and it has been shown that the number of pieces required for the transformation can be as few as five. This is the minimum number of pieces needed to perform the paradoxical decomposition, and it is a sharp result in the sense that fewer than five pieces will not suffice.

Philosophical Implications

The Banach–Tarski paradox has profound philosophical implications. It challenges the idea that mathematical objects must correspond to physical reality. In mathematics, the Axiom of Choice is often used as a tool to prove the existence of certain objects, even if those objects cannot be explicitly constructed. The paradox shows that some of these objects can have properties that seem to defy common sense. This has led to debates about the nature of mathematical truth and the role of the Axiom of Choice in mathematics.

A close view of one newly formed sphere reveals that its surface is not smooth at microsco Illustration · AI-generated (FLUX.1-dev)

The paradox also raises questions about the relationship between mathematics and the physical world. If a mathematical result is true but cannot be realized in the physical world, what does that say about the limits of mathematics? Some mathematicians argue that the paradox is a reason to reject the Axiom of Choice, while others see it as a reason to accept it. The debate continues, and the paradox remains a topic of discussion in both mathematics and philosophy.

A human hand reaches toward a newly formed Banach-Tarski sphere above a plain table Illustration · AI-generated (FLUX.1-dev)

The Banach–Tarski paradox is a reminder that mathematics is not always intuitive. It is a discipline that deals with abstract concepts and logical consistency, not necessarily with physical reality. The paradox is a beautiful example of the power and the strangeness of mathematics, and it continues to inspire new research and new questions.

一个实心球体可以被分割成五个部分，然后重新组装成两个大小相同的相同球体——这一结果如此反常，以至于违背了我们的直觉。这就是巴拿赫-塔斯基悖论，一个挑战我们对体积、空间以及物理现实极限理解的数学定理。

1924年，波兰数学家Stefan Banach和Alfred Tarski发表了一篇论文，这篇论文动摇了几何直觉的基础。他们的定理，如今被称为巴拿赫-塔斯基悖论，提出了一个看似不可能的事情：三维空间中的一个实心球可以被分成有限数量的块，然后重新组合成两个与原球完全相同的球体。这个过程仅涉及旋转和平移——没有拉伸、弯曲或添加新材料。唯一的限制是，转换中使用的块不是普通的固体，而是非可测点集，这些点集在传统意义上没有定义的体积。

这个悖论依赖于Axiom of Choice，这是集合论中的一个原理，允许构建这样的非可测集。这个公理虽然被广泛接受，但并非没有争议。它允许从无限集合的每个集合中选择一个元素，即使没有明确的选择规则。在巴拿赫-塔斯基悖论的情况下，选择公理被用来将球体划分为无法赋予一致体积的子集。然后这些块通过旋转和平移重新排列，形成两个体积与原球相同的球体。

悖论的数学原理

巴拿赫-塔斯基悖论并不是语言的诡计或手法的把戏——它是一个严谨的数学结果。理解它的关键在于三维空间中欧几里得运动群的结构。这个群包括所有的旋转和平移，其中包含一个由两个生成元生成的自由子群。这个子群是非阿门的，意味着它不承认有限可加的平移不变测度。因此，有可能将一个球分解成无法赋予体积的子集，然后以一种看似使体积翻倍的方式重新组合它们。

这个悖论通常用一个更戏剧性的版本来说明：一颗豌豆可以被切成有限数量的块，然后重新组合成一个与太阳一样大的球体。这不是一个比喻，而是定理的字面陈述。这种转换所需的块与原始悖论中使用的非可测集是一样的。这个悖论在物理世界中不可能实现的原因是，真实物体由原子构成，而原子无法被分割成悖论所需的无限散点。这个悖论纯粹是一个数学结果，它不适用于物理物质。

为什么这个悖论不是一个矛盾

巴拿赫-塔斯基悖论是一个真实的悖论，意味着它是真实的，但似乎与常识相矛盾。它没有违反物理定律或数学原理。困惑的产生是因为该定理依赖于Axiom of Choice，而这在日常生活中使用的大部分数学中并不是必需的。选择公理允许构造非可测集，而这些集对于物理物体的测量并不是必需的。在现实世界中，我们可以定义固体物体的体积，因为我们不会遇到非可测集。然而，在数学的抽象世界中，这样的集合是可能的，并且可能导致令人惊讶的结果。

这个悖论在逻辑意义上也不是矛盾。它不会产生一个既真又假的陈述。相反，它表明Axiom of Choice会导致反直觉但逻辑一致的结果。这个悖论已经被广泛研究，并且已经证明，实现这种转换所需的块数可以少至五个。这是执行悖论分解所需的最小块数，而且这是一个明确的结果，因为少于五个块是不够的。

哲学意义

巴拿赫-塔斯基悖论有深远的哲学意义。它挑战了数学对象必须与物理现实相对应的想法。在数学中，Axiom of Choice通常被用作证明某些对象存在的工具，即使这些对象不能被明确构造出来。这个悖论表明，其中一些对象可能具有似乎违背常识的性质。这引发了关于数学真理本质和Axiom of Choice在数学中作用的争论。

这个悖论还提出了数学与物理世界之间关系的问题。如果一个数学结果是真实的，但无法在物理世界中实现，这说明了数学的局限性是什么？一些数学家认为这个悖论是拒绝Axiom of Choice的理由，而另一些人则认为这是接受它的理由。争论仍在继续，这个悖论仍然是数学和哲学中的一个讨论话题。

巴拿赫-塔斯基悖论提醒我们，数学并不总是直观的。它是一门处理抽象概念和逻辑一致性的学科，而不一定是物理现实。这个悖论是一个美丽而奇特的数学例子，它继续激发新的研究和新的问题。

Una única esfera sólida puede dividirse en cinco piezas y volver a ensamblarse en dos esferas idénticas del mismo tamaño — un resultado tan extraño que desafía la intuición. Este es el [[paradoja Banach–Tarski]], un teorema en matemáticas que pone a prueba nuestra comprensión del volumen, del espacio y de los límites de la realidad física.

En 1924, los matemáticos polacos Stefan Banach y Alfred Tarski publicaron un artículo que sacudiría los cimientos de la intuición geométrica. Su teorema, ahora conocido como la paradoja de Banach-Tarski, propuso algo aparentemente imposible: una bola sólida en el espacio tridimensional puede dividirse en un número finito de piezas y luego reensamblarse en dos copias idénticas de la bola original. El proceso implica solamente rotaciones y traslaciones — no hay estiramiento, doblado ni adición de nuevo material. La única condición es que las piezas usadas en la transformación no son sólidos ordinarios, sino conjuntos no medibles de puntos, que no tienen un volumen definido en el sentido tradicional.

La paradoja se basa en la Axiom of Choice, un principio en teoría de conjuntos que permite la construcción de tales conjuntos no medibles. Este axioma, aunque ampliamente aceptado, no carece de controversia. Permite seleccionar un elemento de cada uno de una colección infinita de conjuntos, incluso cuando no existe una regla explícita para hacer la elección. En el caso de la paradoja de Banach-Tarski, el Axioma de Elección se utiliza para dividir la esfera en subconjuntos que no pueden asignarse un volumen coherente. Las piezas se reorganizan entonces mediante rotaciones y traslaciones para formar dos esferas, cada una con el mismo volumen que la original.

La matemática de la paradoja

La paradoja de Banach-Tarski no es un truco de lenguaje ni un engaño — es un resultado matemático riguroso. La clave para comprenderla reside en la estructura del grupo de movimientos euclidianos en el espacio tridimensional. Este grupo, que incluye todas las rotaciones y traslaciones, contiene un subgrupo libre con dos generadores. Este subgrupo no es amenable, lo que significa que no admite una medida finitamente aditiva e invariante por traslaciones. Como resultado, es posible descomponer una esfera en subconjuntos que no pueden asignarse un volumen y luego reensamblarlos de una manera que parece duplicar el volumen.

La paradoja suele ilustrarse con una versión más dramática: una guisante puede cortarse en un número finito de piezas y reensamblarse en una esfera del tamaño del Sol. Esto no es una metáfora, sino una afirmación literal del teorema. Las piezas necesarias para esta transformación son del mismo tipo de conjuntos no medibles utilizados en la paradoja original. La razón por la cual esto no es posible en el mundo físico es que los objetos reales están compuestos de átomos, y los átomos no pueden dividirse en las infinitas dispersiones de puntos requeridas por la paradoja. La paradoja es puramente un resultado matemático, y no se aplica a la materia física.

Por qué la paradoja no es una contradicción

La paradoja de Banach-Tarski es una paradoja veridical, lo que significa que es verdadera pero parece contradecir el sentido común. No viola las leyes de la física ni los principios de las matemáticas. La confusión surge del hecho de que el teorema se basa en la Axiom of Choice, que no es necesaria para la mayor parte de las matemáticas utilizadas en la vida cotidiana. El Axioma de Elección permite la construcción de conjuntos no medibles, que no son necesarios para la medición de objetos físicos. En el mundo real, podemos definir el volumen de un objeto sólido porque no nos encontramos con conjuntos no medibles. En el mundo abstracto de las matemáticas, sin embargo, tales conjuntos son posibles y pueden llevar a resultados sorprendentes.

La paradoja tampoco es una contradicción en el sentido lógico. No produce una afirmación que sea al mismo tiempo verdadera y falsa. Más bien, muestra que la Axiom of Choice conduce a resultados que son contraintuitivos pero lógicamente consistentes. La paradoja ha sido estudiada ampliamente, y se ha demostrado que el número de piezas necesarias para la transformación puede ser tan pequeño como cinco. Este es el número mínimo de piezas necesarias para realizar la descomposición paradójica, y es un resultado preciso en el sentido de que menos de cinco piezas no serían suficientes.

Implicaciones filosóficas

La paradoja de Banach-Tarski tiene profundas implicaciones filosóficas. Desafía la idea de que los objetos matemáticos deban corresponder a la realidad física. En matemáticas, la Axiom of Choice se utiliza a menudo como una herramienta para demostrar la existencia de ciertos objetos, incluso si esos objetos no pueden construirse explícitamente. La paradoja muestra que algunos de estos objetos pueden tener propiedades que parecen defiar el sentido común. Esto ha llevado a debates sobre la naturaleza de la verdad matemática y el papel de la Axiom of Choice en las matemáticas.

La paradoja también plantea preguntas sobre la relación entre las matemáticas y el mundo físico. Si un resultado matemático es verdadero pero no puede realizarse en el mundo físico, ¿qué dice eso sobre los límites de las matemáticas? Algunos matemáticos argumentan que la paradoja es una razón para rechazar la Axiom of Choice, mientras que otros la ven como una razón para aceptarla. El debate continúa, y la paradoja sigue siendo un tema de discusión en matemáticas y filosofía.

La paradoja de Banach-Tarski es un recordatorio de que las matemáticas no siempre son intuitivas. Es una disciplina que trata con conceptos abstractos y consistencia lógica, no necesariamente con la realidad física. La paradoja es un ejemplo hermoso del poder y la extrañeza de las matemáticas, y sigue inspirando nuevas investigaciones y nuevas preguntas.

Uma única esfera sólida pode ser dividida em cinco peças e reagrupada em duas esferas idênticas do mesmo tamanho — um resultado tão estranho que defia a intuição. Isto é o paradoxo de Banach–Tarski, um teorema em matemática que desafia a nossa compreensão de volume, espaço e os limites da realidade física.

Em 1924, matemáticos poloneses Stefan Banach e Alfred Tarski publicaram um artigo que abalou as bases da intuição geométrica. Seu teorema, conhecido atualmente como o paradoxo de Banach–Tarski, propôs algo aparentemente impossível: uma bola sólida no espaço tridimensional pode ser dividida em um número finito de peças e depois reagrupada para formar duas cópias idênticas da bola original. O processo envolve apenas rotações e translações — sem alongamento, dobra ou adição de material novo. A única condição é que as peças utilizadas na transformação não sejam sólidos comuns, mas sim conjuntos não mensuráveis de pontos, que não possuem volume definido no sentido tradicional.

O paradoxo depende do Axiom of Choice, um princípio da teoria dos conjuntos que permite a construção de tais conjuntos não mensuráveis. Este axioma, embora amplamente aceito, não carece de controvérsias. Ele permite a escolha de um elemento de cada um de uma coleção infinita de conjuntos, mesmo quando não há uma regra explícita para fazer essa escolha. No caso do paradoxo de Banach–Tarski, o Axioma da Escolha é usado para dividir a esfera em subconjuntos aos quais não pode ser atribuído um volume consistente. As peças são então reorganizadas usando rotações e translações para formar duas esferas, cada uma com o mesmo volume da original.

A Matemática do Paradoxo

O paradoxo de Banach–Tarski não é um truque de linguagem nem uma manipulação enganosa — é um resultado matemático rigoroso. A chave para compreendê-lo está na estrutura do grupo de movimentos euclidianos no espaço tridimensional. Este grupo, que inclui todas as rotações e translações, contém um subgrupo livre com dois geradores. Este subgrupo não é amenable, o que significa que ele não admite uma medida aditiva finita e invariante por translações. Como resultado, é possível decompor uma esfera em subconjuntos aos quais não pode ser atribuído um volume e depois reagrupá-los de uma maneira que parece duplicar o volume.

O paradoxo é frequentemente ilustrado com uma versão mais dramática: uma ervilha pode ser cortada em um número finito de peças e reagrupada em uma esfera do tamanho do Sol. Isso não é uma metáfora, mas uma afirmação literal do teorema. As peças necessárias para essa transformação são do mesmo tipo de conjuntos não mensuráveis utilizados no paradoxo original. O motivo pelo qual isso não é possível no mundo físico é que os objetos reais são feitos de átomos, e os átomos não podem ser divididos nas infinitas dispersões de pontos exigidas pelo paradoxo. O paradoxo é puramente um resultado matemático, e não se aplica à matéria física.

Por que o Paradoxo Não é uma Contradição

O paradoxo de Banach–Tarski é um paradoxo veridical, ou seja, é verdadeiro, mas parece contradizer o senso comum. Ele não viola as leis da física nem os princípios da matemática. A confusão surge do fato de que o teorema depende do Axiom of Choice, que não é necessário para a maioria das matemáticas utilizadas na vida cotidiana. O Axioma da Escolha permite a construção de conjuntos não mensuráveis, os quais não são necessários para a medição de objetos físicos. No mundo real, podemos definir o volume de um objeto sólido porque não encontramos conjuntos não mensuráveis. No mundo abstrato da matemática, no entanto, tais conjuntos são possíveis e podem levar a resultados surpreendentes.

O paradoxo também não é uma contradição no sentido lógico. Ele não produz uma afirmação que seja ao mesmo tempo verdadeira e falsa. Em vez disso, ele mostra que o Axiom of Choice leva a resultados que são contrários à intuição, mas logicamente consistentes. O paradoxo foi amplamente estudado, e foi demonstrado que o número de peças necessárias para a transformação pode ser tão baixo quanto cinco. Este é o número mínimo de peças necessárias para realizar a decomposição paradoxal, e é um resultado preciso no sentido de que menos de cinco peças não serão suficientes.

Implicações Filosóficas

O paradoxo de Banach–Tarski tem profundas implicações filosóficas. Ele desafia a ideia de que os objetos matemáticos devem corresponder à realidade física. Na matemática, o Axiom of Choice é frequentemente usado como uma ferramenta para provar a existência de certos objetos, mesmo que esses objetos não possam ser explicitamente construídos. O paradoxo mostra que alguns desses objetos podem ter propriedades que parecem defiar o senso comum. Isso levou a debates sobre a natureza da verdade matemática e o papel do Axiom of Choice na matemática.

O paradoxo também levanta questões sobre a relação entre matemática e o mundo físico. Se um resultado matemático é verdadeiro, mas não pode ser realizado no mundo físico, o que isso diz sobre os limites da matemática? Alguns matemáticos argumentam que o paradoxo é um motivo para rejeitar o Axiom of Choice, enquanto outros veem nisso um motivo para aceitá-lo. O debate continua, e o paradoxo permanece um tema de discussão tanto na matemática quanto na filosofia.

O paradoxo de Banach–Tarski é um lembrete de que a matemática nem sempre é intuitiva. É uma disciplina que lida com conceitos abstratos e consistência lógica, não necessariamente com a realidade física. O paradoxo é um belo exemplo do poder e da estranheza da matemática, e continua a inspirar novas pesquisas e novas perguntas.

يمكن تقسيم كرة صلبة واحدة إلى خمس قطع وإعادة تجميعها لتشكيل كرتين متماثلتين في الحجم — نتيجة غريبة تتعارض مع الحدس. هذا هو تناقض باناخ-تارسكي، نظرية رياضية تتحدى فهمنا للمقاس والفضاء والحدود الواقعية.

في عام 1924، نشر عالمَا الرياضيات البولنديان Stefan Banach وAlfred Tarski ورقة بحثية كانت ستشكل زلزالاً في الأسس المفاهيمية للهندسة. نص مبرهنته، المعروفة الآن باسم تناقض باناخ-تارسكي، يقترح شيئاً يظهر أنه مستحيل: يمكن تقسيم كرة صلبة في الفضاء ثلاثي الأبعاد إلى عدد محدود من القطع، ومن ثم إعادة تجميعها لتشكيل نسختين متطابقتين من الكرة الأصلية. تتضمن العملية فقط دورانات وحركات ترجمية - دون تمديد أو ثني أو إضافة مواد جديدة. والشرط الوحيد هو أن القطع المستخدمة في التحويل ليست أشكالاً صلبة عادية، بل مجموعات غير قابلة للقياس، والتي لا تمتلك حجمًا معرفًا بالمعنى التقليدي.

يتمحور التناقض حول Axiom of Choice، مبدأ في نظرية المجموعات يسمح ببناء مثل هذه المجموعات غير القابلة للقياس. على الرغم من قبول هذا المبدأ على نطاق واسع، إلا أنه ليس خالياً من الجدل. يسمح هذا المبدأ باختيار عنصر واحد من كل مجموعة من مجموعة لا نهائية من المجموعات، حتى عندما لا توجد قاعدة صريحة لعملية الاختيار. في حالة تناقض باناخ-تارسكي، تُستخدم مسلمة الاختيار لتقسيم الكرة إلى مجموعات فرعية لا يمكن تعيين حجم متسق لها. ومن ثم تُعاد ترتيب القطع باستخدام دورانات وحركات ترجمية لتشكيل كرتين، كل منهما بنفس الحجم الذي كانت تمتلكه الكرة الأصلية.

رياضيات التناقض

تناقض باناخ-تارسكي ليس خدعة لغوية أو حيلة يدويّة، بل هو نتيجة رياضية صارمة. المفتاح لفهمه يكمن في بنية مجموعة الحركات الإقليدية في الفضاء ثلاثي الأبعاد. تحتوي هذه المجموعة، والتي تضم كل الدورانات والتحركات الترجمية، على زمرة حرة ذات عنصرين. هذه الزمرة غير قابلة للتوافق، مما يعني أنها لا تقبل قياسًا محدودًا الجمع، ثابتًا تحت الترجمة. نتيجة لذلك، من الممكن تفكيك كرة إلى مجموعات فرعية لا يمكن تعيين حجم لها، ومن ثم إعادة تجميعها بطريقة تبدو كأنها تضاعف الحجم.

غالبًا ما يُعرض التناقض بنسخة أكثر درامية: يمكن قطع حبة بذرة إلى عدد محدود من القطع وإعادة تجميعها لتشكيل كرة بحجم الشمس. هذا ليس مجرد مجاز بل هو بيان حرفي للنظرية. القطع المطلوبة لهذا التحويل هي نفس نوع المجموعات غير القابلة للقياس المستخدمة في التناقض الأصلي. السبب في أن هذا غير ممكن في العالم المادي هو أن الأشياء الحقيقية مصنوعة من الذرات، والذرات لا يمكن تقسيمها إلى التشتتات اللانهائية من النقاط المطلوبة من قبل التناقض. التناقض هو نتيجة رياضية خالصة، ولا ينطبق على المادة المادية.

لماذا التناقض ليس تناقضًا

تناقض باناخ-تارسكي هو تناقض حقيقي، مما يعني أنه صحيح ولكنه يتعارض مع الحدس. فإنه لا ينتهك قوانين الفيزياء أو مبادئ الرياضيات. ينشأ الغموض من حقيقة أن النظرية تعتمد على Axiom of Choice، وهو ليس ضروريًا لمعظم الرياضيات المستخدمة في الحياة اليومية. تسمح مسلمة الاختيار ببناء مجموعات غير قابلة للقياس، والتي لا تُحتاج لقياس الأجسام المادية. في العالم الحقيقي، يمكننا تعريف حجم جسم صلب لأننا لا نواجه مجموعات غير قابلة للقياس. في العالم الرياضي المجرد، ومع ذلك، يمكن أن تكون مثل هذه المجموعات ممكنة ويمكن أن تؤدي إلى نتائج مفاجئة.

التناقض ليس أيضًا تناقضًا من الناحية المنطقية. فإنه لا ينتج بيانًا يُعتبر صحيحًا وخطأ في الوقت نفسه. بل يظهر أن Axiom of Choice يؤدي إلى نتائج معاكسة للحدس ولكن منطقية. تم دراسة التناقض بشكل واسع، وتم إثبات أن عدد القطع المطلوبة للتحويل يمكن أن يكون بحد أدنى خمسة. هذا هو الحد الأدنى لعدد القطع اللازمة لإجراء التفكيك التناقض، وهو نتيجة حادة في المعنى أنه لن يكفي أقل من خمسة قطع.

الاستنتاجات الفلسفية

يحتوي تناقض باناخ-تارسكي على تداعيات فلسفية عميقة. فإنه يتحدى فكرة أن الكائنات الرياضية يجب أن تتوافق مع الواقع المادي. في الرياضيات، تُستخدم Axiom of Choice كأداة لإثبات وجود بعض الكائنات، حتى لو لم تكن هذه الكائنات قابلة للبناء الصريح. يظهر التناقض أن بعض هذه الكائنات يمكن أن تمتلك خصائص تبدو متعارضة مع الحدس. وقد أدى ذلك إلى جدال حول طبيعة الحقيقة الرياضية ودور Axiom of Choice في الرياضيات.

يرفع التناقض أيضًا أسئلة حول العلاقة بين الرياضيات والعالم المادي. إذا كانت نتيجة رياضية صحيحة ولكنها لا يمكن تنفيذها في العالم المادي، فماذا يدل ذلك على حدود الرياضيات؟ يجادل بعض الرياضيين أن التناقض هو سبب لرفض Axiom of Choice، بينما يراه آخرون سببًا لقبوله. يستمر النقاش، ويظل التناقض موضوعًا للنقاش في الرياضيات والفلسفة على حد سواء.

يُذكّر تناقض باناخ-تارسكي أن الرياضيات ليست دائمًا مفهومة بسهولة. إنها تخصص يتعامل مع مفاهيم مجردة وتوافق منطقي، وليس بالضرورة مع الواقع المادي. التناقض هو مثال جميل على قوة الرياضيات وغرابتها، ويستمر في إلهام أبحاث جديدة وأسئلة جديدة.

Une seule sphère solide peut être divisée en cinq morceaux et réassemblée en deux sphères identiques de même taille — un résultat si étrange qu’il défie l’intuition. C’est le paradoxe de Banach–Tarski, un théorème des mathématiques qui remet en question notre compréhension du volume, de l’espace et des limites de la réalité physique.

En 1924, les mathématiciens polonais Stefan Banach et Alfred Tarski ont publié un article qui ébranlerait les fondements de l'intuition géométrique. Leur théorème, désormais connu sous le nom de paradoxe de Banach-Tarski, proposait quelque chose d'apparemment impossible : une balle solide dans l'espace à trois dimensions peut être divisée en un nombre fini de morceaux, puis réassemblée en deux copies identiques de la balle originale. Le processus n'implique que des rotations et des translations — pas d'étirement, de pli, ni d'ajout de matière. La seule réserve est que les pièces utilisées dans la transformation ne sont pas des solides ordinaires, mais plutôt des ensembles non mesurables de points, qui n'ont pas de volume défini dans le sens traditionnel.

Le paradoxe repose sur le Axiom of Choice, un principe de la théorie des ensembles qui permet la construction de tels ensembles non mesurables. Bien que largement accepté, cet axiome n'est pas sans controverse. Il permet de sélectionner un élément à partir de chacun d'une collection infinie d'ensembles, même lorsqu'il n'existe pas de règle explicite pour faire ce choix. Dans le cas du paradoxe de Banach-Tarski, l'axiome du choix est utilisé pour partitionner la sphère en sous-ensembles auxquels on ne peut attribuer un volume cohérent. Les pièces sont ensuite réorganisées à l'aide de rotations et de translations pour former deux sphères, chacune ayant le même volume que l'originale.

Les mathématiques du paradoxe

Le paradoxe de Banach-Tarski n'est pas un tour de langage ou un tour de passe-passe — c'est un résultat mathématique rigoureux. La clé pour le comprendre réside dans la structure du groupe des mouvements euclidiens dans l'espace à trois dimensions. Ce groupe, qui inclut toutes les rotations et translations, contient un sous-groupe libre à deux générateurs. Ce sous-groupe n'est pas moyennable, ce qui signifie qu'il ne permet pas l'existence d'une mesure additives finie invariante par translation. En conséquence, il est possible de décomposer une sphère en sous-ensembles auxquels on ne peut attribuer un volume, puis de les réassembler d'une manière qui semble doubler le volume.

Le paradoxe est souvent illustré avec une version plus spectaculaire : une petite bille peut être coupée en un nombre fini de morceaux et réassemblée en une sphère de la taille du Soleil. Ce n'est pas une métaphore mais une déclaration littérale du théorème. Les morceaux nécessaires à cette transformation sont exactement les mêmes ensembles non mesurables utilisés dans le paradoxe d'origine. La raison pour laquelle cela n'est pas possible dans le monde physique est que les objets réels sont composés d'atomes, et les atomes ne peuvent pas être divisés en les nuages infinis de points requis par le paradoxe. Le paradoxe est purement un résultat mathématique, et il ne s'applique pas à la matière physique.

Pourquoi le paradoxe n'est pas une contradiction

Le paradoxe de Banach-Tarski est un paradoxe veridical, c'est-à-dire qu'il est vrai mais semble contredire le bon sens. Il ne viole pas les lois de la physique ni les principes des mathématiques. La confusion provient du fait que le théorème repose sur le Axiom of Choice, qui n'est pas nécessaire pour la plupart des mathématiques utilisées dans la vie courante. L'axiome du choix permet la construction d'ensembles non mesurables, qui ne sont pas nécessaires pour mesurer les objets physiques. Dans le monde réel, nous pouvons définir le volume d'un objet solide parce que nous ne rencontrons pas d'ensembles non mesurables. Dans le monde abstrait des mathématiques, en revanche, de tels ensembles sont possibles et peuvent mener à des résultats surprenants.

Le paradoxe n'est pas non plus une contradiction au sens logique. Il ne produit pas d'affirmation à la fois vraie et fausse. Il montre plutôt que le Axiom of Choice conduit à des résultats contre-intuitifs mais logiquement cohérents. Le paradoxe a été étudié en profondeur, et il a été démontré que le nombre de pièces nécessaires à la transformation peut être aussi faible que cinq. C'est le nombre minimum de pièces nécessaires pour effectuer la décomposition paradoxale, et c'est un résultat précis au sens où moins de cinq pièces ne suffiront pas.

Implications philosophiques

Le paradoxe de Banach-Tarski a des implications philosophiques profondes. Il remet en question l'idée que les objets mathématiques doivent correspondre à la réalité physique. En mathématiques, le Axiom of Choice est souvent utilisé comme outil pour prouver l'existence de certains objets, même si ceux-ci ne peuvent pas être explicitement construits. Le paradoxe montre que certains de ces objets peuvent avoir des propriétés qui semblent défier le bon sens. Cela a suscité des débats sur la nature de la vérité mathématique et le rôle du Axiom of Choice en mathématiques.

Le paradoxe soulève également des questions sur la relation entre les mathématiques et le monde physique. Si un résultat mathématique est vrai mais ne peut pas être réalisé dans le monde physique, qu'est-ce que cela dit sur les limites des mathématiques ? Certains mathématiciens argumentent que le paradoxe est une raison de rejeter le Axiom of Choice, tandis que d'autres le voient comme une raison de l'accepter. Le débat continue, et le paradoxe reste un sujet de discussion à la fois en mathématiques et en philosophie.

Le paradoxe de Banach-Tarski est un rappel que les mathématiques ne sont pas toujours intuitives. C'est une discipline qui traite de concepts abstraits et de cohérence logique, pas nécessairement de la réalité physique. Le paradoxe est un exemple magnifique de la puissance et de l'étrangeté des mathématiques, et il continue d'inspirer de nouvelles recherches et de nouvelles questions.

Sebuah bola padat tunggal dapat dipisahkan menjadi lima bagian dan dirakit kembali menjadi dua bola identik dengan ukuran yang sama — hasil yang begitu aneh hingga bertentangan dengan intuisi. Ini adalah paradoks Banach–Tarski, sebuah teorema dalam matematika yang menantang pemahaman kita tentang volume, ruang, dan batas-batas realitas fisik.

Pada tahun 1924, para matematikawan Polandia Stefan Banach dan Alfred Tarski mempublikasikan sebuah karya yang akan mengguncang dasar-dasar intuisi geometri. Teorema mereka, yang sekarang dikenal sebagai paradoks Banach–Tarski, mengusulkan sesuatu yang tampaknya mustahil: sebuah bola padat di ruang tiga dimensi dapat dibagi menjadi sejumlah terbatas potongan dan kemudian dirakit kembali menjadi dua salinan identik dari bola asli. Proses ini hanya melibatkan rotasi dan translasi — tidak ada peregangan, pembengkokan, atau penambahan bahan baru. Satu-satunya syarat adalah bahwa potongan yang digunakan dalam transformasi ini bukanlah benda padat biasa, melainkan himpunan titik non-metrik, yang tidak memiliki volume terdefinisi dalam pengertian tradisional.

Paradoks ini bergantung pada Axiom of Choice, sebuah prinsip dalam teori himpunan yang memungkinkan konstruksi himpunan non-metrik seperti itu. Aksioma ini, meskipun secara luas diterima, tidak tanpa kontroversi. Ia memungkinkan pemilihan satu elemen dari masing-masing himpunan dalam koleksi tak terhingga, bahkan ketika tidak ada aturan eksplisit untuk membuat pilihan tersebut. Dalam kasus paradoks Banach–Tarski, Aksioma Pemilihan digunakan untuk membagi bola menjadi himpunan bagian yang tidak dapat diberi volume konsisten. Potongan-potongan ini kemudian diatur ulang menggunakan rotasi dan translasi untuk membentuk dua bola, masing-masing dengan volume yang sama dengan aslinya.

Matematika di Balik Paradoks

Paradoks Banach–Tarski bukanlah trik bahasa atau trik tangan — ini adalah hasil matematika yang ketat. Kunci untuk memahami paradoks ini terletak pada struktur grup gerakan Euklides di ruang tiga dimensi. Grup ini, yang mencakup semua rotasi dan translasi, mengandung sebuah subgrup bebas dengan dua generator. Subgrup ini tidak aman, artinya tidak mengizinkan pengukuran aditif hingga dan invarian translasi. Sebagai akibatnya, mungkin untuk membagi sebuah bola menjadi himpunan bagian yang tidak dapat diberi volume dan kemudian merakit ulang mereka dengan cara yang tampaknya menggandakan volume.

Paradoks ini sering diilustrasikan dengan versi yang lebih dramatis: sebuah kacang polong dapat dipotong menjadi sejumlah terbatas potongan dan dirakit ulang menjadi bola sebesar matahari. Ini bukan metafora, melainkan pernyataan literal dari teorema tersebut. Potongan yang diperlukan untuk transformasi ini adalah jenis himpunan non-metrik yang digunakan dalam paradoks asli. Alasannya ini tidak mungkin terjadi di dunia nyata adalah karena benda-benda nyata terbuat dari atom, dan atom tidak dapat dibagi menjadi penyebaran tak terbatas dari titik yang diperlukan oleh paradoks. Paradoks ini murni hasil matematika, dan tidak berlaku untuk materi fisik.

Mengapa Paradoks Ini Bukan Kontradiksi

Paradoks Banach–Tarski adalah paradoks veridikal, artinya benar tetapi tampak bertentangan dengan akal sehat. Ini tidak melanggar hukum fisika atau prinsip matematika. Kekacauan muncul dari fakta bahwa teorema ini bergantung pada Axiom of Choice, yang tidak diperlukan untuk sebagian besar matematika yang digunakan dalam kehidupan sehari-hari. Aksioma Pemilihan memungkinkan konstruksi himpunan non-metrik, yang tidak diperlukan untuk pengukuran objek fisik. Di dunia nyata, kita dapat mendefinisikan volume dari benda padat karena kita tidak menghadapi himpunan non-metrik. Di dunia abstrak matematika, bagaimanapun, himpunan-himpunan ini memungkinkan dan dapat menghasilkan hasil yang mengejutkan.

Paradoks ini juga bukan kontradiksi dalam arti logis. Ia tidak menghasilkan pernyataan yang sekaligus benar dan salah. Sebaliknya, ia menunjukkan bahwa Axiom of Choice menghasilkan hasil yang kontra-intuitif tetapi konsisten secara logis. Paradoks ini telah dipelajari secara luas, dan telah ditunjukkan bahwa jumlah potongan yang diperlukan untuk transformasi bisa sekecil lima. Ini adalah jumlah minimum potongan yang diperlukan untuk melakukan dekomposisi paradoks, dan merupakan hasil tajam dalam arti bahwa kurang dari lima potongan tidak akan memadai.

Implikasi Filosofis

Paradoks Banach–Tarski memiliki implikasi filosofis yang mendalam. Ia menantang gagasan bahwa objek matematika harus sesuai dengan realitas fisik. Dalam matematika, Axiom of Choice sering digunakan sebagai alat untuk membuktikan eksistensi objek tertentu, bahkan jika objek-objek tersebut tidak dapat dibangun secara eksplisit. Paradoks ini menunjukkan bahwa beberapa dari objek ini dapat memiliki sifat yang tampaknya melawan akal sehat. Hal ini telah memicu perdebatan tentang sifat kebenaran matematika dan peran Axiom of Choice dalam matematika.

Paradoks ini juga mengajukan pertanyaan tentang hubungan antara matematika dan dunia fisik. Jika sebuah hasil matematika benar tetapi tidak dapat direalisasikan di dunia fisik, apa yang ini katakan tentang batas-batas matematika? Beberapa matematikawan berargumen bahwa paradoks ini adalah alasan untuk menolak Axiom of Choice, sementara yang lain melihatnya sebagai alasan untuk menerima. Perdebatan terus berlangsung, dan paradoks tetap menjadi topik diskusi dalam matematika dan filsafat.

Paradoks Banach–Tarski adalah pengingat bahwa matematika tidak selalu intuitif. Ini adalah disiplin yang berurusan dengan konsep abstrak dan konsistensi logis, bukan hanya dengan realitas fisik. Paradoks ini adalah contoh indah dari kekuatan dan keanehan matematika, dan terus menginspirasi penelitian baru dan pertanyaan-pertanyaan baru.

단단한 구체 하나를 다섯 조각으로 나눈 후 재조립하면 크기가 동일한 동일한 구체 두 개를 만들 수 있다. 이는 직관을 뒤엎는 이질적인 결과다. 이는 부안-타르스키 역설로 알려진 수학 정리로, 부피, 공간, 그리고 물리적 현실의 한계에 대한 우리의 이해를 도전한다.

1924년에 폴란드의 수학자 Stefan Banach과 Alfred Tarski은 기하학적 직관의 기초를 흔들 수 있는 논문을 발표했다. 그들의 정리인 지금은 바나흐-타르스키 역설(Banach–Tarski paradox)로 알려진 이 이론은 보기에 불가능해 보이는 것을 제안한다. 3차원 공간에 있는 고체 구를 유한한 수의 조각으로 나눈 후, 이 조각들을 다시 조립하여 원래 구와 동일한 두 개의 복사본을 만들 수 있다는 것이다. 이 과정은 늘리거나 구부리거나 새로운 물질을 추가하는 것이 아니라, 단지 회전과 이동만을 이용한다. 유일한 문제는 이 변환에 사용되는 조각들이 보통의 고체가 아니라, 전통적인 의미에서 부피가 정의되지 않은 비측정 집합(non-measurable sets)이라는 점이다.

이 역설은 Axiom of Choice에 기반한다. 이는 집합론의 원리로, 이러한 비측정 집합을 구성할 수 있게 해준다. 이 공리(axiom)는 널리 받아들여지지만, 논란이 없는 것은 아니다. 무한한 집합의 집합에서 각 집합에서 하나의 원소를 선택할 수 있음을 허용하지만, 선택 방법에 대한 명확한 규칙이 없을 때에도 그렇다. 바나흐-타르스키 역설의 경우, 선택 공리는 구를 부피를 일관되게 할당할 수 없는 부분집합으로 나누는 데 사용된다. 그런 다음 이 조각들을 회전과 이동을 통해 재배열하여, 각각 원래 구와 같은 부피를 가진 두 개의 구를 만든다.

역설의 수학

바나흐-타르스키 역설은 언어의 트릭이나 속임수의 결과가 아니라 엄밀한 수학적 결과이다. 이를 이해하는 열쇠는 3차원 공간의 유클리드 운동군(Euclidean motions)의 구조에 있다. 이 운동군은 모든 회전과 이동을 포함하며, 두 개의 생성자를 갖는 자유 부분군(free subgroup)을 포함한다. 이 부분군은 유한 가법적이고 이동 불변인 측도를 허용하지 않으며, 이로 인해 구를 부피를 할당할 수 없는 부분집합으로 분해하고, 이들을 다시 조립하여 부피가 두 배로 늘어나는 듯한 결과를 만들어낼 수 있다.

이 역설은 보다 극적인 버전으로 설명되기도 한다. 예를 들어, 콩알을 유한한 수의 조각으로 잘라 태양 크기의 구로 재조립할 수 있다는 것이다. 이는 은유가 아니라 정리의 문구 그대로의 표현이다. 이 변환에 필요한 조각은 원래 역설에서 사용된 비측정 집합과 같은 종류이다. 이와 같은 일이 물리적 세계에서는 불가능한 이유는 실제 물체가 원자로 구성되어 있고, 이 원자들을 역설이 요구하는 무한한 점의 분산으로 나눌 수 없기 때문이다. 역설은 순수한 수학적 결과이며, 물리적 물질에는 적용되지 않는다.

역설이 모순이 아닌 이유

바나흐-타르스키 역설은 진실이면서도 일반 상식과 모순되는 것으로, veridical paradox(진실한 역설)에 해당한다. 이는 물리 법칙이나 수학 원칙을 위반하지 않는다. 혼란은 이 정리가 Axiom of Choice에 기반한다는 사실에서 비롯된다. 이 공리는 일상생활에서 사용되는 대부분의 수학에는 필수적이지 않다. 선택 공리는 비측정 집합을 구성할 수 있게 해주지만, 실제 물리적 대상의 측정에는 필요하지 않다. 현실 세계에서는 비측정 집합을 만나지 않기 때문에, 고체 물체의 부피를 정의할 수 있다. 그러나 추상적인 수학 세계에서는 이러한 집합이 존재할 수 있으며, 이로 인해 놀라운 결과가 나타날 수 있다.

이 역설은 논리적 모순이 아니다. 참이면서 동시에 거짓인 문장을 만들어내지 않는다. 오히려 이는 Axiom of Choice가 직관에 반하는 결과를 도출할 수 있음을 보여준다. 이 역설은 광범위하게 연구되어 왔으며, 변환에 필요한 조각의 수가 최소 5개라는 것이 밝혀졌다. 이는 역설적인 분해를 수행하기 위해 필요한 최소한의 조각 수이며, 이보다 적은 수의 조각으로는 불가능하다는 점에서 명확한 결과이다.

철학적 함의

바나흐-타르스키 역설은 철학적으로도 깊은 의미를 지닌다. 수학적 대상이 물리적 현실과 반드시 일치해야 한다는 생각을 도전한다. 수학에서는 Axiom of Choice가 종종 특정 대상의 존재를 증명하는 도구로 사용되며, 이 대상들이 명시적으로 구성될 수 없어도 그러하다. 이 역설은 이러한 대상들이 일반 상식에 반하는 성질을 가질 수 있음을 보여준다. 이는 수학적 진리의 본질과 Axiom of Choice의 수학 내 역할에 대한 논쟁을 불러일으켰다.

이 역설은 또한 수학과 물리 세계 사이의 관계에 대한 질문을 제기한다. 수학적 결과가 참이지만 물리적 세계에서는 실현되지 않는다면, 이는 수학의 한계에 대해 무엇을 의미하는가? 일부 수학자는 이 역설이 Axiom of Choice을 거부하는 이유가 된다고 주장하지만, 다른 이들은 이를 받아들이는 이유가 된다고 본다. 이 논쟁은 계속되고 있으며, 이 역설은 수학과 철학 양 분야에서 여전히 논의되는 주제이다.

바나흐-타르스키 역설은 수학이 항상 직관적이지 않다는 것을 상기시켜 준다. 수학은 추상적 개념과 논리적 일관성을 다루는 학문이며, 반드시 물리적 현실과 일치하지는 않는다. 이 역설은 수학의 힘과 이상함을 아름답게 보여주는 예이며, 여전히 새로운 연구와 질문을 불러일으키고 있다.

Одна сплошная сфера может быть разделена на пять частей и собрана снова в две идентичные сферы такого же размера — результат настолько странный, что противоречит интуитивному восприятию. Это парадокс Банаха — Тарского, теорема математики, которая ставит под сомнение наше понимание объёма, пространства и пределов физической реальности.

В 1924 году польские математики Stefan Banach и Alfred Tarski опубликовали работу, которая потрясла основы геометрической интуиции. Их теорема, теперь известная как парадокс Банаха — Тарского, предложила нечто, казалось бы, невозможное: твёрдый шар в трёхмерном пространстве можно разделить на конечное число частей, а затем собрать из них два идентичных копии исходного шара. В процессе используются только вращения и переносы — никакого растяжения, изгиба или добавления нового материала. Единственное ограничение заключается в том, что части, используемые в преобразовании, не являются обычными телами, а представляют собой неизмеримые множества точек, у которых нет определённого объёма в традиционном смысле.

Парадокс основан на Axiom of Choice, принципе теории множеств, позволяющем строить такие неизмеримые множества. Эта аксиома, хотя и широко принимается, не лишена споров. Она позволяет выбирать один элемент из каждого множества бесконечной коллекции множеств, даже если нет явного правила для выбора. В случае парадокса Банаха — Тарского аксиома выбора используется для разбиения сферы на подмножества, которым невозможно приписать согласованный объём. Затем части перестраиваются с помощью вращений и переносов, чтобы сформировать две сферы, каждая из которых имеет такой же объём, как исходная.

Математика парадокса

Парадокс Банаха — Тарского — это не трюк с языком или обман — это строгий математический результат. Ключ к пониманию его содержится в структуре группы евклидовых движений в трёхмерном пространстве. Эта группа, включающая все вращения и переносы, содержит свободную подгруппу с двумя образующими. Эта подгруппа не является аменабельной, то есть не допускает конечнозаданную, инвариантную относительно переносов меру. В результате можно разложить сферу на подмножества, которым невозможно приписать объём, и затем собрать их так, что объём, кажется, удваивается.

Парадокс часто иллюстрируют более драматической версией: горошина может быть разрезана на конечное число частей и собрана в сферу размером с Солнце. Это не метафора, а буквальное утверждение теоремы. Части, необходимые для этого преобразования, — это те же самые неизмеримые множества, что и в оригинальном парадоксе. Причина, по которой это невозможно в физическом мире, заключается в том, что реальные объекты состоят из атомов, а атомы нельзя разделить на бесконечные рассеивания точек, требуемые парадоксом. Парадокс — это чисто математический результат, и он не применим к физическим объектам.

Почему парадокс не противоречие

Парадокс Банаха — Тарского — это веридикальный парадокс, то есть он истинен, но противоречит здравому смыслу. Он не нарушает законы физики или принципы математики. Путаница возникает из-за того, что теорема опирается на Axiom of Choice, который не требуется для большинства математических вычислений, используемых в повседневной жизни. Аксиома выбора позволяет строить неизмеримые множества, которые не требуются для измерения физических объектов. В реальном мире мы можем определить объём твёрдого тела, потому что мы не сталкиваемся с неизмеримыми множествами. В абстрактном мире математики такие множества возможны и могут приводить к неожиданным результатам.

Парадокс также не является противоречием в логическом смысле. Он не порождает утверждения, которое одновременно истинно и ложно. Вместо этого он показывает, что Axiom of Choice приводит к результатам, которые противоречат здравому смыслу, но логически последовательны. Парадокс изучался в деталях, и было показано, что число частей, необходимых для преобразования, может быть настолько мало, как пять. Это минимальное число частей, необходимое для парадоксального разложения, и это острый результат в том смысле, что меньше пяти частей недостаточно.

Философские последствия

Парадокс Банаха — Тарского имеет глубокие философские последствия. Он ставит под сомнение идею, что математические объекты должны соответствовать физической реальности. В математике Axiom of Choice часто используется как инструмент для доказательства существования определённых объектов, даже если эти объекты нельзя явно построить. Парадокс показывает, что некоторые из этих объектов могут иметь свойства, которые, кажется, противоречат здравому смыслу. Это вызвало дебаты о природе математической истины и о роли Axiom of Choice в математике.

Парадокс также поднимает вопросы о взаимосвязи между математикой и физическим миром. Если математический результат истинен, но не может быть реализован в физическом мире, что это говорит о границах математики? Некоторые математики считают, что парадокс — это причина отвергнуть Axiom of Choice, в то время как другие рассматривают его как причину принять его. Дискуссия продолжается, и парадокс остаётся предметом обсуждения как в математике, так и в философии.

Парадокс Банаха — Тарского напоминает нам, что математика не всегда интуитивна. Это дисциплина, которая имеет дело с абстрактными понятиями и логической последовательностью, а не обязательно с физической реальностью. Парадокс — прекрасный пример силы и странности математики, и он продолжает вдохновлять новые исследования и новые вопросы.

Eine einzige feste Kugel kann in fünf Stücke zerlegt und zu zwei identischen Kugeln gleicher Größe neu zusammengesetzt werden — ein Ergebnis so seltsam, dass es der Intuition trotzt. Dies ist das Banach–Tarski-Paradoxon, ein mathematischer Satz, der unser Verständnis von Volumen, Raum und den Grenzen der physischen Realität herausfordert.

Im Jahr 1924 veröffentlichten die polnischen Mathematiker Stefan Banach und Alfred Tarski eine Arbeit, die die Grundlagen der geometrischen Anschauung erschüttern sollte. Ihr Satz, der heute als Banach-Tarski-Paradoxon bekannt ist, stellte etwas vor, das scheinbar unmöglich ist: Eine feste Kugel im dreidimensionalen Raum kann in eine endliche Anzahl von Stücken zerlegt und anschließend zu zwei identischen Kopien der ursprünglichen Kugel zusammengesetzt werden. Der Prozess beinhaltet nur Drehungen und Verschiebungen – kein Dehnen, Biegen oder Hinzufügen neuer Materialien. Der einzige Haken ist, dass die bei der Umformung verwendeten Stücke keine gewöhnlichen Festkörper sind, sondern nicht messbare Punktmengen, die im traditionellen Sinne kein definiertes Volumen besitzen.

Das Paradoxon basiert auf dem Axiom of Choice, einem Prinzip der Mengenlehre, das die Konstruktion solcher nicht messbaren Mengen ermöglicht. Dieses Axiom, das weitgehend akzeptiert wird, ist nicht ohne Kontroverse. Es erlaubt die Auswahl eines Elements aus jedem einer unendlichen Sammlung von Mengen, selbst wenn keine explizite Regel für die Auswahl vorliegt. Im Fall des Banach-Tarski-Paradoxons wird das Auswahlaxiom verwendet, um die Kugel in Teilmengen zu unterteilen, denen kein konsistentes Volumen zugewiesen werden kann. Die Stücke werden dann mithilfe von Drehungen und Verschiebungen so umgeordnet, dass zwei Kugeln entstehen, die jeweils das gleiche Volumen wie die ursprüngliche haben.

Die Mathematik des Paradoxons

Das Banach-Tarski-Paradoxon ist kein sprachlicher Trick oder eine Täuschung – es ist ein rigoroses mathematisches Ergebnis. Der Schlüssel zu seinem Verständnis liegt in der Struktur der Gruppe der euklidischen Bewegungen im dreidimensionalen Raum. Diese Gruppe, die alle Drehungen und Verschiebungen umfasst, enthält eine freie Untergruppe mit zwei Erzeugenden. Diese Untergruppe ist nicht amenable, was bedeutet, dass sie keine endlich additives, translationsinvariante Maß zulässt. Als Folge davon ist es möglich, eine Kugel in Teilmengen zu zerlegen, denen kein Volumen zugewiesen werden kann, und diese anschließend so zusammenzusetzen, dass sich das Volumen scheinbar verdoppelt.

Das Paradoxon wird oft mit einer dramatischeren Version illustriert: Eine Erbse kann in eine endliche Anzahl von Stücken geschnitten und zu einer Kugel der Größe der Sonne zusammengesetzt werden. Dies ist keine Metapher, sondern eine wörtliche Aussage des Satzes. Die für diese Transformation erforderlichen Stücke sind dieselbe Art von nicht messbaren Mengen wie im ursprünglichen Paradoxon. Der Grund dafür, dass dies in der physischen Welt nicht möglich ist, liegt darin, dass reale Objekte aus Atomen bestehen, und Atome können nicht in die unendlichen Punktwolken zerlegt werden, die das Paradoxon erfordert. Das Paradoxon ist rein mathematisch, und es gilt nicht für physische Materie.

Warum das Paradoxon keine Widersprüchlichkeit darstellt

Das Banach-Tarski-Paradoxon ist ein veridical Paradoxon, was bedeutet, dass es wahr ist, aber scheinbar der allgemeinen Vorstellung widerspricht. Es verletzt weder die Gesetze der Physik noch die Prinzipien der Mathematik. Die Verwirrung entsteht aus der Tatsache, dass der Satz auf das Axiom of Choice angewiesen ist, das für den Großteil der Mathematik, die im Alltag verwendet wird, nicht erforderlich ist. Das Auswahlaxiom ermöglicht die Konstruktion nicht messbarer Mengen, die für die Messung physischer Objekte nicht erforderlich sind. In der realen Welt können wir das Volumen eines Festkörpers definieren, weil wir nicht mit nicht messbaren Mengen konfrontiert sind. In der abstrakten Welt der Mathematik sind solche Mengen jedoch möglich und können zu überraschenden Ergebnissen führen.

Das Paradoxon ist zudem keine Widersprüchlichkeit im logischen Sinne. Es produziert keine Aussage, die sowohl wahr als auch falsch ist. Stattdessen zeigt es, dass das Axiom of Choice zu Ergebnissen führt, die zwar gegenintuitiv sind, aber logisch konsistent sind. Das Paradoxon wurde intensiv untersucht, und es wurde gezeigt, dass die Anzahl der für die Transformation erforderlichen Stücke bei fünf liegen kann. Dies ist die minimale Anzahl an Stücken, die erforderlich ist, um die paradoxale Zerlegung durchzuführen, und es handelt sich dabei um ein scharfes Ergebnis im Sinne der Mathematik, da weniger als fünf Stücke nicht ausreichen würden.

Philosophische Implikationen

Das Banach-Tarski-Paradoxon hat tiefgreifende philosophische Implikationen. Es stellt die Idee in Frage, dass mathematische Objekte notwendigerweise der physischen Realität entsprechen müssen. In der Mathematik wird das Axiom of Choice oft als Werkzeug verwendet, um die Existenz bestimmter Objekte zu beweisen, selbst wenn diese Objekte nicht explizit konstruiert werden können. Das Paradoxon zeigt, dass einige dieser Objekte Eigenschaften besitzen können, die der allgemeinen Vorstellung zuwiderlaufen. Dies hat zu Debatten über die Natur der mathematischen Wahrheit und die Rolle des Axiom of Choice in der Mathematik geführt.

Das Paradoxon wirft auch Fragen über das Verhältnis zwischen Mathematik und der physischen Welt auf. Wenn ein mathematisches Ergebnis wahr ist, aber in der physischen Welt nicht realisierbar ist, was sagt das über die Grenzen der Mathematik aus? Einige Mathematiker argumentieren, dass das Paradoxon einen Grund abgibt, das Axiom of Choice abzulehnen, während andere es als einen Grund ansehen, es zu akzeptieren. Die Debatte geht weiter, und das Paradoxon bleibt ein Thema der Diskussion sowohl in der Mathematik als auch in der Philosophie.

Das Banach-Tarski-Paradoxon ist eine Erinnerung daran, dass Mathematik nicht immer intuitiv ist. Es ist eine Disziplin, die mit abstrakten Konzepten und logischer Konsistenz umgeht, nicht notwendigerweise mit physischer Realität. Das Paradoxon ist ein beeindruckendes Beispiel für die Kraft und die Eigenartigkeit der Mathematik, und es inspiriert weiterhin neue Forschung und neue Fragen.

एक ठोस गोला पाँच टुकड़ों में बाँटा जा सकता है और फिर दो ऐसे समान गोलों में पुनः संयोजित किया जा सकता है जो एक ही आकार के होते हैं — एक ऐसा परिणाम जो इतना अजीब है कि यह अभिज्ञान के खंडन करता है। यह बनाच-तर्स्की परेडॉक्स है, गणित में एक प्रमेय जो आयतन, अंतरिक्ष और भौतिक वास्तविकता की सीमाओं के हमारे समझ का चुनौती देता है।

1924 में, पोलिश गणितज्ञ Stefan Banach और Alfred Tarski ने एक ऐसे पेपर का प्रकाशन किया, जिससे ज्यामितीय अंतर्दृष्टि के आधार काँप उठे। उनका प्रमेय, अब बनाच-तर्स्की परिप्रेक्ष्य (Banach–Tarski paradox) के नाम से जाना जाता है, कुछ असंभव लगने वाली बात का प्रस्ताव रखता है: तीन आयामी अंतरिक्ष में एक ठोस गोला एक सीमित संख्या में टुकड़ों में विभाजित किया जा सकता है और फिर दो प्रतियों में पुनर्संयोजित किया जा सकता है। प्रक्रिया में केवल घूर्णन और अनुवाद शामिल हैं — कोई खींचना, मोड़ना, या नए सामग्री को जोड़ना नहीं। एकमात्र शर्त यह है कि परिवर्तन में उपयोग किए गए टुकड़े सामान्य ठोस नहीं हैं, बल्कि अक्षम निर्देशांकों के बिंदुओं के समुच्चय हैं, जिनका परंपरागत अर्थ में कोई परिभाषित आयतन नहीं है।

परिप्रेक्ष्य उस Axiom of Choice पर निर्भर करता है, जो समुच्चय सिद्धांत में ऐसे अक्षम समुच्चयों के निर्माण की अनुमति देता है। यह अभिगृहीत, हालांकि व्यापक रूप से स्वीकृत है, बिना विवाद के नहीं है। यह एक अनन्त संग्रह के प्रत्येक समुच्चय से एक तत्व के चयन की अनुमति देता है, भले ही चयन करने का कोई स्पष्ट नियम न हो। बनाच-तर्स्की परिप्रेक्ष्य के मामले में, चयन के अभिगृहीत का उपयोग गोले को उन उपसमुच्चयों में विभाजित करने के लिए किया जाता है, जिन्हें एक संगत आयतन नहीं दिया जा सकता है। फिर उन टुकड़ों को घूर्णन और अनुवाद का उपयोग करके पुनर्व्यवस्थित किया जाता है ताकि दो गोले बनाए जा सकें, जिनमें से प्रत्येक मूल गोले के आयतन के समान हो।

परिप्रेक्ष्य के गणित

बनाच-तर्स्की परिप्रेक्ष्य भाषा का एक धोखा या हथकरघा नहीं है — यह एक निर्मित गणितीय परिणाम है। इसे समझने की कुंजी तीन आयामी अंतरिक्ष में यूक्लिडीय गतियों के समूह की संरचना में है। इस समूह में सभी घूर्णन और अनुवाद शामिल हैं, जिसमें दो उत्पादकों वाला एक मुक्त उपसमूह शामिल है। यह उपसमूह अमनीय है, अर्थात यह एक परिमित रूप से योगात्मक, अनुवाद-अक्षय माप नहीं देता है। परिणामस्वरूप, एक गोला को उन उपसमुच्चयों में विघटित करना संभव है, जिन्हें आयतन नहीं दिया जा सकता है, और फिर उन्हें ऐसे तरीके से पुनर्संयोजित किया जा सकता है जो आयतन को दोगुना करने जैसा लगता है।

परिप्रेक्ष्य को अक्सर एक अधिक धमाकेदार संस्करण के साथ चित्रित किया जाता है: एक मटर को एक सीमित संख्या में टुकड़ों में काटा जा सकता है और फिर उन्हें सूर्य के आकार के एक गोले में पुनर्संयोजित किया जा सकता है। यह एक उपमा नहीं है, बल्कि प्रमेय का एक शाब्दिक कथन है। इस परिवर्तन के लिए आवश्यक टुकड़े मूल परिप्रेक्ष्य में उपयोग किए गए उसी प्रकार के अक्षम समुच्चय हैं। यह भौतिक दुनिया में संभव नहीं है क्योंकि वास्तविक वस्तुएँ परमाणुओं से बनी होती हैं, और परमाणु ऐसे अनंत बिंदुओं के विखंडन के लिए आवश्यक नहीं होते हैं। परिप्रेक्ष्य शुद्ध रूप से गणितीय परिणाम है, और यह भौतिक पदार्थ पर लागू नहीं होता है।

क्यों परिप्रेक्ष्य एक विरोधाभास नहीं है

बनाच-तर्स्की परिप्रेक्ष्य एक विराम परिप्रेक्ष्य (veridical paradox) है, अर्थात यह सच है लेकिन आम धारणा के खिलाफ लगता है। यह भौतिकी के नियमों या गणित के सिद्धांतों के खिलाफ नहीं है। भ्रम इस तथ्य से उत्पन्न होता है कि प्रमेय उस Axiom of Choice पर निर्भर करता है, जो अधिकांश दिनचर्या के गणित में आवश्यक नहीं है। चयन के अभिगृहीत अक्षम समुच्चयों के निर्माण की अनुमति देता है, जो भौतिक वस्तुओं के मापन के लिए आवश्यक नहीं हैं। वास्तविक दुनिया में, हम एक ठोस वस्तु के आयतन को परिभाषित कर सकते हैं क्योंकि हम अक्षम समुच्चयों से नहीं मिलते हैं। हालांकि, गणित की अमूर्त दुनिया में, ऐसे समुच्चय संभव हैं और अप्रत्याशित परिणाम ला सकते हैं।

परिप्रेक्ष्य तार्किक अर्थ में भी एक विरोधाभास नहीं है। यह किसी ऐसे कथन का उत्पादन नहीं करता है जो एक ही समय में सच और झूठ हो। बजाय इसके, यह दिखाता है कि Axiom of Choice अंतर्दृष्टि के खिलाफ परिणाम ला सकता है लेकिन तार्किक रूप से संगत होता है। परिप्रेक्ष्य का व्यापक रूप से अध्ययन किया गया है, और यह दिखाया गया है कि परिवर्तन के लिए आवश्यक टुकड़ों की संख्या पाँच तक कम हो सकती है। यह विरोधाभासी विघटन करने के लिए आवश्यक टुकड़ों की न्यूनतम संख्या है, और इसे तीव्र परिणाम के रूप में माना जाता है क्योंकि पाँच से कम टुकड़े पर्याप्त नहीं होंगे।

दार्शनिक निहितार्थ

बनाच-तर्स्की परिप्रेक्ष्य के गहरे दार्शनिक निहितार्थ हैं। यह उस विचार को चुनौती देता है कि गणितीय वस्तुएँ भौतिक वास्तविकता के संगत होनी चाहिए। गणित में, Axiom of Choice को अक्सर कुछ वस्तुओं के अस्तित्व को साबित करने के लिए एक उपकरण के रूप में उपयोग किया जाता है, भले ही उन वस्तुओं का विशिष्ट निर्माण न हो सके। परिप्रेक्ष्य दिखाता है कि कुछ ऐसी वस्तुएँ ऐसे गुणों के साथ हो सकती हैं जो सामान्य धारणा के खिलाफ लगते हैं। इससे गणितीय सत्य के प्रकृति और Axiom of Choice के भूमिका के बारे में बहस हुई है।

परिप्रेक्ष्य गणित और भौतिक दुनिया के बीच संबंधों के बारे में प्रश्न भी उठाता है। यदि एक गणितीय परिणाम सच है लेकिन भौतिक दुनिया में वास्तविक नहीं हो सकता है, तो यह गणित की सीमाओं के बारे में क्या कहता है? कुछ गणितज्ञों का कहना है कि परिप्रेक्ष्य उस Axiom of Choice को अस्वीकृत करने का कारण है, जबकि अन्य इसे स्वीकृत करने का कारण देखते हैं। बहस जारी है, और परिप्रेक्ष्य गणित और दर्शन में चर्चा का विषय बना रहता है।

बनाच-तर्स्की परिप्रेक्ष्य यह याद दिलाता है कि गणित हमेशा स्पष्ट नहीं होता है। यह एक ऐसी शाखा है जो अमूर्त अवधारणाओं और तार्किक संगतता के साथ निपटती है, आवश्यक रूप से भौतिक वास्तविकता के साथ नहीं। परिप्रेक्ष्य गणित की शक्ति और अजीबता का एक सुंदर उदाहरण है, और यह नए अनुसंधान और नए प्रश्नों को प्रेरित करता रहता है।

一つの実体のある球は、五つのピースに分割され、同じ大きさの二つの同一の球に再構成される。この結果は、常識を覆すほど不思議である。これはバナッハ＝タルスキーのパラドックスと呼ばれる数学の定理であり、体積や空間、そして物理的現実の限界に関する私たちの理解に挑戦するものである。

1924年、ポーランドの数学者Stefan BanachとAlfred Tarskiは、幾何学的直感の基礎を揺るがす論文を発表した。彼らの定理は現在、バナッハ＝タルスキーのパラドックスとして知られている。この定理は、一見不可能に思えることを提案している。三次元空間にある固体の球は、有限個のピースに分割され、その後、元の球と同一の二つのコピーに再構成できるというのだ。この過程では、伸び縮みや曲げ、新たな素材の追加は一切行われず、回転と平行移動のみを用いる。唯一の注意点は、変換に用いられるピースが通常の固体ではなく、伝統的な意味では体積を持たない非測度集合の点であるということである。

このパラドックスは、Axiom of Choiceに依存している。これは集合論における原理であり、このような非測度集合の構成を可能にする。この公理は広く受け入れられているが、無数の集合からそれぞれ一つずつ要素を選ぶことを許すにもかかわらず、選択の明確なルールが存在しない場合でもであるため、無視できないほどの論争を巻き起こしている。バナッハ＝タルスキーのパラドックスにおいては、選択公理が、体積を一貫して割り当てることができないような球の部分集合への分割を可能にする。その後、回転と平行移動を用いて、それぞれが元の体積と同じ体積を持つ二つの球に再構成される。

パラドックスの数学

バナッハ＝タルスキーのパラドックスは、言葉遊びや欺瞞ではなく、厳密な数学的結果である。理解する鍵は、三次元空間におけるユークリッド運動の群の構造にある。この群はすべての回転と平行移動を含み、二つの生成元を持つ自由部分群を含んでいる。この部分群はアメナブルでなく、有限加法的で平行移動不変な測度を許容しない。その結果、体積を割り当てることができない部分集合に球を分解し、体積が倍になるように再構成することが可能になる。

このパラドックスは、さらに劇的なバージョンで説明されることもある。つまり、ピーナツ粒を有限個のピースに切断し、それを再構成して太陽ほどの大きさの球を作り出すことができる、というのだ。これは比喩ではなく、定理の文字通りの表現である。この変換に必要なピースは、元のパラドックスで用いられた非測度集合と同じ種類である。しかし、現実世界ではこれが不可能なのは、実際の物体は原子から成り立っており、パラドックスが要求する無限の点の散らばりに原子を分割することはできないからである。このパラドックスは純粋に数学的な結果であり、物理的な物質には適用されない。

なぜこのパラドックスは矛盾ではないのか

バナッハ＝タルスキーのパラドックスは、真実でありながら常識に反するという意味で、真実的パラドックスである。これは物理法則や数学の原理に反するものではない。混乱の原因は、この定理がAxiom of Choiceに依存している点にある。この公理は、日常的な数学の多くには必要とされない。選択公理は、物理的対象の測定には必要ない非測度集合の構成を可能にする。現実世界では、非測度集合に遭遇しないため、固体の体積を定義することができる。しかし、数学の抽象的な世界では、このような集合が存在可能であり、驚くべき結果をもたらすことがある。

このパラドックスは、論理的な意味での矛盾でもない。真であり偽でもあるような文を生み出さない。むしろ、Axiom of Choiceが直感に反するが論理的に整合的な結果をもたらすことを示している。このパラドックスは広く研究されており、変換に必要なピースの数が五つ以下であることが示されている。これは、パラドックス的な分解に必要な最小のピース数であり、五つ未満では不可能であるという明確な結果である。

哲学的含意

バナッハ＝タルスキーのパラドックスは、深い哲学的含意を持つ。それは、数学的対象が必ずしも物理的現実に対応するわけではないことを挑発する。数学では、Axiom of Choiceは、その対象が明確に構成されなくても、ある対象の存在を証明するための道具としてしばしば用いられる。このパラドックスは、そのような対象が常識に反する性質を持つ可能性を示しており、数学的真理の本質やAxiom of Choiceの役割についての議論を引き起こした。

このパラドックスは、数学と物理世界の関係についても疑問を投げかける。数学的結果が真であっても、物理世界では実現できない場合、それは数学の限界について何を意味するのだろうか。ある数学者は、このパラドックスがAxiom of Choiceを棄却する理由であると考える一方、他の数学者は、むしろこれを受理する理由として見る。この議論は続いており、このパラドックスは数学と哲学の両方の分野で引き続き議論の対象である。

バナッハ＝タルスキーのパラドックスは、数学が常に直感的ではないことを思い出させてくれる。それは抽象的概念と論理的整合性を扱う学問であり、必ずしも物理的現実と一致するわけではない。このパラドックスは、数学の力と不思議さを示す美しい例であり、新たな研究や新たな問いを引き続き生み出している。

The Banach–Tarski Paradox