The Banach-Tarski Paradox

In 1924, mathematicians Stefan Banach and Alfred Tarski proved one of the most disorienting theorems in all of mathematics: a solid ball can be decomposed into a finite number of pieces and those pieces reassembled — using only rigid rotations and translations — into two balls identical to the original.

No stretching. No overlap. No extra material. Just five carefully chosen subsets, rearranged.

This is not a paradox in the sense of a contradiction. It is a rigorously proved theorem. What it reveals is that infinite sets behave in ways that defy the intuition we build from physical objects. The pieces involved are so wildly intricate — so-called non-measurable sets — that you cannot assign them a meaningful volume. And that is precisely what makes the duplication possible.

The engine behind the whole construction is the Axiom of Choice: the set-theoretic principle that says you can always pick one element from each set in any collection of non-empty sets, even an infinite collection with no rule for choosing. Comfortable for finite problems, it opens a door to behavior that looks like magic when applied to infinite ones.

The pieces in the real Banach-Tarski construction are non-constructive — they exist by the Axiom of Choice and cannot be drawn explicitly. What we can do is visualize the idea: decompose a ball into labeled regions and show how they reassemble into two copies.

<!-- {{c_intro}} -->
<p class="hint">{{hint_para}}</p>
<div class="stage-label" id="stage-label">{{label_original}}</div>
<div class="canvas-wrap">
  <canvas id="cvs" width="340" height="180"></canvas>
</div>
<div class="status" id="status">{{status_ready}}</div>
<div class="btns">
  <button id="btn-split" type="button">{{btn_split}}</button>
  <button id="btn-reassemble" type="button" disabled>{{btn_reassemble}}</button>
  <button id="btn-reset" type="button" class="ghost">{{btn_reset}}</button>
</div>
<p class="footnote">{{footnote}}</p>

/* {{c_style}} */
* { box-sizing: border-box; }
body { font-family: system-ui, sans-serif; color: #222; margin: 0; padding: .5rem; }
.hint { font-size: .88rem; color: #444; margin: 0 0 .6rem; line-height: 1.5; }
.stage-label { font-size: .8rem; font-weight: 700; letter-spacing: .06em;
               text-transform: uppercase; color: #5a7088; margin-bottom: .3rem; }
.canvas-wrap { border: 1px solid #cdd9e3; border-radius: 10px; overflow: hidden;
               background: #f4f7fa; display: inline-block; }
canvas { display: block; }
.status { font-size: .95rem; font-weight: 600; margin: .55rem 0 .4rem; min-height: 1.4em; color: #1d3557; }
.status.ok { color: #0a7d33; }
.status.info { color: #1d3557; }
.btns { display: flex; gap: .5rem; flex-wrap: wrap; }
button { font: 600 14px system-ui, sans-serif; padding: .45rem .9rem; border: 1px solid #1d3557;
         background: #1d3557; color: #fff; border-radius: 8px; cursor: pointer; transition: opacity .15s; }
button:disabled { opacity: .38; cursor: default; }
button.ghost { background: #fff; color: #1d3557; }
.footnote { font-size: .78rem; color: #666; margin: .6rem 0 0; line-height: 1.5; }

// Code not found

Notice that the five colored regions together cover the original ball exactly once. After reassembly, each copy is built from a disjoint subset of those regions — and yet both copies are the same size as the original. The key insight is that non-measurable pieces have no well-defined volume, so "size is conserved" simply does not apply.

How does this actually work? The argument has three layers.

Layer 1 — The Hausdorff paradox (1914). Felix Hausdorff showed that the sphere $S^2$ can be split into four parts $A$, $B$, $C$, $D$ where $D$ is countable and the remaining three satisfy $A \cong B \cong C \cong B \cup C$ (congruent under rotations). This already breaks volume intuition on the sphere surface.

Layer 2 — The free group $F_2$. The proof uses two specific rotations of three-dimensional space, say $\rho$ and $\sigma$, that together generate a free group of rank 2: every non-identity word in $\rho$, $\rho^{-1}$, $\sigma$, $\sigma^{-1}$ gives a distinct rotation, and there are no accidental cancellations. The orbit of almost any point on the sphere under this group is an infinite, intricately tangled set.

Layer 3 — The Axiom of Choice picks representatives. From each orbit we choose exactly one point. This "choice set" is non-measurable: it has no well-defined Lebesgue measure. The five pieces of the ball are assembled from cosets of this choice set under $F_2$. Because the pieces are non-measurable, the usual conservation law $\text{volume}(A \cup B) = \text{volume}(A) + \text{volume}(B)$ simply does not apply — and that is the entire loophole.

The result is sharp: the theorem requires three or more dimensions. In one or two dimensions an analogous decomposition is impossible — measurable sets behave normally there, and the relevant groups are amenable (they admit an invariant mean). The connection to the halting problem and undecidability is philosophical rather than formal, but both share the same moral: invoking an existence guarantee (the Axiom of Choice; an oracle) without a constructive procedure leads to objects that break our everyday rules.

The paradox is not physically realizable — atoms are not points, and non-measurable sets cannot be cut with scissors. But its mathematical fallout is enormous:

• Measure theory: Banach-Tarski was a major reason why Lebesgue measure is defined only on measurable sets. The paradox makes precise what "having a volume" really means and why some sets do not qualify.
• Foundations of set theory: The theorem is a concrete demonstration of what the Axiom of Choice can do. Mathematicians who find the result unacceptable sometimes work in axiom systems that deny Choice (such as ZF without AC, or certain constructive frameworks) where Banach-Tarski fails.
• Amenable groups: The impossibility of the paradox in low dimensions led to the study of amenable groups — groups that do admit an invariant finitely-additive measure. This connects directly to areas of geometric group theory and ergodic theory.
• Philosophy of mathematics: The paradox is one of the clearest illustrations that formal truth and physical intuition can diverge. A statement can be a theorem and still feel impossible — because mathematics is not constrained to model the physical world.

It also connects to the broader family of "non-constructive existence" results: like the halting problem, it shows that knowing something exists (a decomposition, a solution) does not mean you can find or describe it.

The Banach-Tarski paradox is real — in the only sense that matters for mathematics. The proof is valid, the five pieces exist (by the Axiom of Choice), and two balls genuinely do emerge from one. There is no error, no trick, no sleight of hand.

What the paradox teaches is that "size" is a gift we grant to sets, not a property they inherently carry. The non-measurable pieces in the decomposition simply fall outside the scope of any consistent notion of volume. Remove the Axiom of Choice and the paradox vanishes — which tells you exactly which axiom is doing the work.

If that feels uncomfortable, it is supposed to. Mathematics is not a description of the physical world; it is a formal game with rules, and some of those rules — like Choice — have consequences that no physical experiment could ever demonstrate. Banach-Tarski is the clearest reminder that a theorem can be both rigorously true and completely impossible to perform.