The Banach-Tarski Paradox: Doubling a Ball from Nothing
The Banach-Tarski doubling works by exploiting non-measurable sets and the Axiom of Choice, producing pieces with no well-defined volume — which is exactly why the paradox cannot occur in the real, measurable world.
A complete interactive classroom, not just a preview.
Start when you are ready to enter this Stage's 9 scenes and explore, respond, and learn as you go.
How can a solid ball be cut into pieces and rearranged into two identical balls of the same size and mass, and why doesn't this break the laws of physics?
Cut one solid ball into pieces and rearrange them into two identical balls — without adding any material.
Conservation of matter feels absolute: matter cannot appear from nothing. The Banach-Tarski Paradox claims otherwise, but only under exotic, non-measurable cuts.
Step-by-step visualization of how a ball is partitioned, rotated, and reassembled into two copies of itself, contrasted with the rigorous axiom that forbids it in the physical world.
The doubling is mathematically real but physically impossible: the 'pieces' are so wild they cannot be measured, assigned a volume, or moved in real space.
It's impossible — matter is conserved, so you can never get two balls from one by cutting and reassembling.
- Full proof of the free group construction
- Hausdorff paradox for polygons
- Solomonoff induction details
- Mathematical logic foundations beyond ZFC
- 01The Impossible PromiseslideQuestion
Open the investigation with the Banach-Tarski claim: one ball, cut, reassembled into two. Pose the driving question to the learner.
- One solid ball becomes two identical solid balls
- No material added, none removed
- Why does this feel impossible — and is it actually possible?
- 02Your First InstinctquizPrediction
Ask the learner to commit to a prediction before any evidence or explanation is revealed.
- Force a single explicit commitment
- Make the learner's prior intuition visible
- 03Watch the Pieces FlyinteractiveEvidence
Animate the cut-and-reassemble process: a ball is partitioned into fragments that are rotated and translated into two complete balls. The learner controls which group of rotations is applied.
- See the pieces fly apart
- Apply rotations to subsets
- Observe two reconstructed balls
- 04The Hidden Ingredient: The Axiom of ChoiceslideEvidence
Introduce the Axiom of Choice as the engine that lets mathematicians pick one element from infinitely many sets simultaneously — without specifying how.
- Infinitely many sets, pick one from each
- No rule required for the picks
- This is the lever that breaks 'measurability'
- 05Why the Pieces Have No VolumeinteractiveExplanation
Manipulate a non-measurable set: try to slide a grid over a rotated copy of itself. The learner sees that overlapping copies create a contradiction — the set cannot be assigned a finite volume.
- Drag a grid over a rotated copy
- See the overlap contradiction
- Conclude: no well-defined volume exists
- 06The Free Group on Two RotationsslideExplanation
Explain how two rotations (about perpendicular axes by arccos(1/3)) generate an infinite, non-commuting 'free group' — and that this infinity is what makes the duplication work.
- Two specific rotations generate infinite distinct combinations
- Non-commutativity produces exponentially many orbits
- The ball is partitioned along these orbits
- 07Why Physicists Don't WorryslideBoundary
Lay out the physical boundary: real objects are composed of atoms and have measurable volume; the BT pieces are uncountable, fractal-like, and cannot be carved by any physical tool.
- Real matter is discrete and measurable
- The BT pieces are non-constructive — no recipe to build them
- Conservation of mass stands in the physical universe
- 08Apply the Idea: A New UniverseinteractiveTransfer
Transfer task: imagine the universe where volume is defined differently. The learner drags a 'Banach-Tarski button' onto physical objects (an apple, a snowflake, a galaxy) and predicts which could in principle be doubled under that universe's rules.
- Identify which objects are 'measurable'
- Predict which are vulnerable to doubling
- Defend the reasoning
- 09Resolved: Math Doubles, Physics HoldsslideResolution
Close the loop: the doubling is a true theorem in ZFC set theory, but the pieces are non-measurable. Physical reality uses measurable sets, so the paradox is real as logic and harmless as physics.
- Banach-Tarski is mathematically valid
- It relies on non-measurable pieces via the Axiom of Choice
- In the measurable physical world, the paradox does not apply
Discussion threads for a Stage aren't available yet.
