Banach–Tarski paradox

Banach–Tarski paradox
Name	Banach–Tarski paradox
Field	Mathematics
Introduced	1924
By	Stefan Banach, Alfred Tarski
Keywords	Measure theory, Set theory, Group theory

Banach–Tarski paradox The Banach–Tarski paradox is a theorem in Mathematics asserting that a solid ball in three-dimensional Euclidean space can be decomposed into a finite number of disjoint subsets and reassembled, using only rotations and translations, into two identical copies of the original ball. The result, proved by Stefan Banach and Alfred Tarski in 1924, relies on nonconstructive methods connected to the Axiom of Choice, yielding counterintuitive consequences for notions of volume and decomposition. The theorem has stimulated work across Set theory, Measure theory, Group theory, and debates involving foundational figures and institutions.

Overview

The theorem states that under the assumptions of standard Zermelo–Fraenkel set theory with the Axiom of Choice (ZFC), there exist subsets of the 3‑dimensional unit ball that are nonmeasurable but can be moved by elements of the rotation group SO(3) and the translation group to produce paradoxical decompositions. The construction uses free subgroups of SO(3), linking the result to work by John von Neumann on amenability, and inspired investigations by Henri Lebesgue, Felix Hausdorff, and Errett Bishop. Philosophers and institutions including Bertrand Russell, Ludwig Wittgenstein, and university departments in Cambridge, Oxford, and Princeton University have discussed its implications.

Historical background

The paradox grew from early 20th‑century studies in measure and set theory: Lebesgue formulated measure theoretic objections to pathological sets, while Hausdorff and Sierpiński explored sets without regularity properties. Stefan Banach and Alfred Tarski published the result in 1924, building on group theoretic ideas related to Emil Artin and combinatorial set theory studied by Paul Erdős and André Weil. Subsequent developments involved John von Neumann's 1929 and 1930 analyses of paradoxical decompositions and the notion of amenability, influencing later work by Murray Gell-Mann-era mathematicians and research groups at institutions such as Hilbert's school and the Mathematical Institute, Oxford.

Statement and formulations

One standard formulation: a solid unit ball in Riemannian geometry's 3‑dimensional Euclidean space can be partitioned into finitely many disjoint sets A1,...,An such that there exist isometries g1,...,gn, g'1,...,g'n in the group generated by rotations and translations with g1(A1) ∪ ... ∪ gn(An) = Ball and g'1(A1) ∪ ... ∪ g'n(An) = Ball × 2, yielding two balls congruent to the original. Equivalent formulations appear using group actions of SO(3), free subgroups isomorphic to the free group on two generators F2, and paradoxical decompositions in the sense of von Neumann. Variants use countable decompositions, measurable partitions relative to Lebesgue measure, and versions in higher dimensions linked to results by Jan Mycielski and Marek Kuczma.

Mathematical foundations

The proof requires axioms and structures from formal mathematics: Zermelo–Fraenkel set theory augmented by the Axiom of Choice enables well‑ordering and selection functions crucial for choosing representatives from orbits under group actions. The role of measure theory—notably Lebesgue measure—is central because the pieces in the decomposition are nonmeasurable, a phenomenon related to earlier pathologies studied by Émile Borel and Arthur Eddington’s popular expositions. Group theoretic foundations draw on properties of free groups, amenability (von Neumann), and representations of SO(3), connecting to harmonic analysis traditions exemplified by Norbert Wiener and Salomon Bochner.

Proof outline

The proof constructs a free subgroup of SO(3) generated by two rotations whose powers produce infinitely many disjoint orbit classes; this mirrors combinatorial constructions used by Camille Jordan and later by Emil Artin. Using the Axiom of Choice, one selects a set of representatives for the orbits under this subgroup, then applies group elements to reassemble copies of the representative set into paradoxical unions. Von Neumann formalized the concept of paradoxicality and amenability, and the Banach–Tarski argument leverages his criteria to conclude the existence of paradoxical decompositions. Technical steps reference work by Felix Hausdorff on decompositions and topological group theory advanced at centers such as Université de Paris and University of Göttingen.

Consequences and controversies

The result generated philosophical and mathematical debate—figures like Bertrand Russell and Ludwig Wittgenstein questioned implications for mathematical realism and physical interpretation—while mathematicians including Errett Bishop and Hermann Weyl critiqued reliance on nonconstructive axioms. In applied and pedagogical contexts at universities such as Harvard University, Massachusetts Institute of Technology, and University of Chicago, instructors stress that the paradox does not imply physical duplication of matter because the pieces are highly pathological and nonmeasurable. The theorem influenced foundational research into alternatives to the Axiom of Choice, such as Zermelo–Fraenkel set theory without Choice and variants studied by Paul Cohen and Kurt Gödel.

Variants and related results

Related results include the Hausdorff paradox, paradoxical decompositions in groups as studied by John von Neumann, and extensions in higher dimensions by Jan Mycielski and others. The notion of amenability, formalized by von Neumann and advanced by researchers at institutions like École Normale Supérieure and Institute for Advanced Study, delineates groups that avoid Banach–Tarski type decompositions; amenable groups include Abelian groups and solvable groups, while nonamenable examples involve free groups and certain matrix groups studied by Issai Schur and Emmy Noether. Connections exist to modern work in descriptive set theory by Donald A. Martin and combinatorial set theory by Paul Erdős.

Category:Theorems in set theory