The Banach-Tarski Paradox

The Impossible Theorem

In 1924, Stefan Banach and Alfred Tarski proved one of the most counterintuitive results in all of mathematics:

🎁 The Theorem

A solid 3-dimensional ball can be decomposed into a finite number of pieces (as few as 5) and those pieces can be rotated and translated to form two complete balls, each the same size as the original.

No stretching. No gaps. No overlaps. Just rigid motions—rotations and translations that preserve distances.

This seems to violate conservation of mass, volume, and basic logic. Yet it's a proven mathematical theorem!

How Is This Possible?

The key lies in the bizarre properties of non-measurable sets—collections of points so pathologically constructed that they have no well-defined volume.

1

Axiom of Choice

The construction requires selecting points from infinitely many sets simultaneously—possible only with this controversial axiom.

2

Free Group

Rotations of the sphere form a "free group"—a structure with self-similar properties like a fractal.

3

Paradoxical Decomposition

Points are classified by rotation sequences, creating pieces that can reassemble in multiple ways.

4

Non-Measurable Pieces

The pieces have no volume in any meaningful sense—they're too "scattered" to measure.

The Free Group Trick

Consider two rotation axes through the sphere's center. Let A be a rotation around one axis, and B be a rotation around another. The key insight:

F₂ = {e, A, A^-1, B, B^-1, AB, BA, A^-1B, AB^-1, ...}

This "free group on two generators" has a magical property: it's paradoxically decomposable.

Imagine writing out all possible "words" using letters A, A^-1, B, B^-1 (no cancellations like AA^-1). This infinite set can be split into four pieces that, when recombined, give you two copies of the original set!

💭 Self-Similarity

Words starting with A… form a subset. Add A^-1 to the front of each, and you get all words not starting with A. The structure contains copies of itself—enabling the duplication.

Why Can't We Actually Do This?

⚠ Physical Impossibility

Don't try this with a real ball! The paradox relies on mathematical abstractions that can't exist in physical reality:

1. The pieces aren't solid objects

They're "point sets"—infinitely scattered collections of individual points with no coherent structure. You couldn't cut along any boundary.

2. Matter is discrete, not continuous

Real matter is made of atoms. The theorem requires treating space as infinitely divisible with uncountably many points.

3. The pieces have no volume

Non-measurable sets have undefined "size"—they're neither zero-volume nor positive-volume. Conservation laws don't apply to things with no well-defined quantity.

4. Requires infinite precision

Constructing the pieces requires making infinitely many choices (via Axiom of Choice). No finite description exists.

Historical Controversy

When Banach and Tarski published their result in 1924, many mathematicians were disturbed. The theorem was seen as a reductio ad absurdum—proof that something was wrong with the foundations of mathematics.

"The axiom of choice is obviously true, the well-ordering principle obviously false, and who can tell about Zorn's lemma?"

— Jerry Bona (mathematical joke about equivalent axioms)

The Banach-Tarski paradox is often cited by critics of the Axiom of Choice—the controversial principle that allows selecting elements from infinitely many sets simultaneously. Without it, the paradox cannot be proven.

However, most mathematicians accept the Axiom of Choice because:

It's intuitive for finite cases
Many useful theorems depend on it
The "paradoxes" don't affect measurable (physically relevant) sets

Variations and Extensions

The minimal case: It's been proven that 5 pieces suffice—and 4 pieces are not enough (for the ball; 4 suffice for the sphere surface).

Any dimension: The paradox works in 3D and higher. Interestingly, it fails in 1D and 2D! In those dimensions, the rotation group is "amenable" and doesn't permit paradoxical decompositions.

Different shapes: A pea can be decomposed and reassembled into a ball the size of the Sun. Or conversely, the Sun can become a pea!

🌏 The Von Neumann Paradox

For 2D, a weaker version exists: the plane can be paradoxically decomposed using affine transformations (including shearing)—but not with just rotations and translations.

What Does It Mean?

The Banach-Tarski paradox reveals deep truths about the nature of mathematics:

1. Mathematics ≠ Physics
Mathematical objects (like point sets) don't need to correspond to physical reality. The real number line contains "more" points than could ever be represented by atoms in the universe.

2. Volume isn't fundamental
We usually think of volume as an intrinsic property. But it's actually a measure we assign to sets—and some sets resist measurement entirely.

3. Infinity is weird
The paradox exploits the same strangeness that lets Hilbert's Hotel accommodate infinitely many new guests when already full. Infinite sets don't obey everyday intuitions.

4. Axiom choices matter
Different foundations for mathematics (with or without Axiom of Choice) lead to different "truths." Mathematics is not a single monolithic system.

Doubling a Sphere