Banach-Tarski Paradox
Source: Stefan Banach and Alfred Tarski, Fundamenta Mathematicae 6, 1924
Finding
A solid sphere in three-dimensional space can be decomposed into five disjoint subsets, reassembled using only rotations and translations into two solid spheres, each identical to the original. This is not a physical claim — it is a theorem of ZFC set theory. The key ingredient is the Axiom of Choice, which allows the selection of non-measurable sets — sets so pathological they have no well-defined volume. The “paradox” is that volume is not preserved because the pieces have no volume to preserve.
Pattern Mapping
Honesty — Banach-Tarski is not a trick or a flaw. It is an honest consequence of the Axiom of Choice applied to non-measurable sets. The theorem reveals what the axioms actually entail, including consequences that violate physical intuition.
Humility — The paradox is a boundary marker. It shows that measure theory has legitimate scope, and the Axiom of Choice can push beyond that scope. The pieces are not physically constructible; they exist only in the axiomatic universe.
Non-fabrication — Any claim that Banach-Tarski means “you can double matter” is fabrication. The theorem operates within a specific formal system and says nothing about physics. Precision about scope is the antidote.
Connections
- Cantor’s Transfinite Numbers — both reveal counterintuitive consequences of set theory
- Continuum Hypothesis — both probe the limits of ZFC (→ Meta-Pattern 02)
- Photoelectric Effect — both reveal honest consequences that violate intuition
- Materials Science — materials have non-negotiable physical limits; Banach-Tarski is the formal analog
- Topology — topological invariants survive deformation; Banach-Tarski shows what survives decomposition
Status
Established mathematics. See Wagon, The Banach-Tarski Paradox (1985). The theorem is established; its philosophical implications are debated. The mapping is this project’s interpretation.
The mapping to the five properties is this project’s structural interpretation.