The Banach-Tarski Paradox is one of the most mind-bending results in mathematics, made possible by the Axiom of Choice (AC). It states:
“A solid ball in 3D space can be split into just five pieces, which—when rotated and moved—can be reassembled into two identical copies of the original ball.”
This seems to violate conservation of volume, but mathematically, it’s airtight. Here’s how it works—and why it forces us to rethink “size.”
1. The Magic Trick: One Ball → Two Balls
The Steps
- Take a solid ball (e.g., a sphere of radius 1).
- Split it into five disjoint pieces (let’s call them A, B, C, D, E).
- Rotate and move the pieces:
- A and B form a complete new ball.
- C and D form another complete new ball.
- E is a leftover “odd” set—but it’s so sparse it doesn’t contribute to volume.
The Catch
- The pieces cannot be physically constructed—they’re infinitely complex, like fractal dust.
- They are non-measurable sets, meaning they have no well-defined volume.
2. Why Does This Happen? (The Math Behind the Madness)
Key Ingredients
- The Axiom of Choice (AC)
- AC lets us pick points from the ball in an infinitely precise way, creating “weird” sets that ignore volume.
- Without AC, such a decomposition is impossible.
- Free Group Theory (Rotational Symmetry)
- The ball’s surface can be split into infinitely many orbits (paths traced by rotations).
- AC lets us select one point from each orbit, forming a “paradoxical” set.
- Non-Measurable Sets
- The pieces cannot be assigned a volume—they’re so scattered that traditional geometry breaks down.
3. Does This Mean Volume Isn’t Conserved?
In Physics? No.
- Real matter is made of atoms, not infinitely divisible points.
- You can’t actually duplicate a gold ball this way.
In Math? Yes—Because of AC.
- The original ball and the two copies all have the same volume $(4/3 πr³)$.
- But the intermediate pieces have no volume at all—they’re mathematical ghosts.
Analogy: Infinity Tricks
Think of it like:
- Taking all the even numbers (infinite set) and odd numbers (infinite set).
- Combined, they make all integers (same “size” as evens or odds alone).
- Banach-Tarski does something similar—but with space-filling, volume-defying sets.
Alternative Universes?
If we reject AC, Banach-Tarski disappears—but so do many useful theorems (e.g., “every vector space has a basis”).
The Takeaway
The Banach-Tarski Paradox proves:
- Math allows shapes to “teleport” if you accept AC.
- Volume isn’t always preserved when dealing with infinity.
- Some infinities are so wild that they defy physical intuition.