The axiom of choice lets math defy intuition

How a sphere can be split without being cut

The Banach–Tarski theorem is possible because its “pieces” are defined by membership, not by shape. A point either belongs to a piece or it does not; the pieces need not be connected, smooth, or even describable by a practical cutting rule. In the theorem, a solid ball is partitioned into finitely many such point sets, then each set is moved using rigid rotations and translations to assemble two balls matching the original.

The crucial operation is not a clever physical cut. It is a way of sorting points according to how certain rotations move them. Repeated rotations create groups of points linked by those motions. The axiom of choice permits selecting one representative point from each group—even when there are too many groups to list or inspect one by one. That selection helps define the scattered sets used in the rearrangement.

Why ordinary volume does not block the result

For everyday objects, volume behaves predictably: divide a measurable object into pieces, move them without stretching, and their volumes still add up to the original. The theorem’s sets are too irregular for that familiar rule. They are nonmeasurable: ordinary geometric volume cannot consistently assign them sizes while preserving the usual rules of volume.

So there is no arithmetic in which a finite amount of ordinary ball-volume becomes twice as much. The construction works because the pieces fall outside the class of sets for which volume is defined. The axiom of choice supplies the selections that make this kind of decomposition possible; it does not provide a method for locating or handling the points.

A mathematical possibility, not a physical recipe

Real matter is made of atoms, and real cutting and rearranging operate at physical scales. Banach–Tarski instead concerns ideal points in a continuous mathematical space. Its striking lesson is about the assumptions behind geometry: once arbitrary point sets are allowed, “volume is preserved by rearrangement” is no longer a rule that applies to every possible piece.