Mathematics
The Banach-Tarski Paradox and the Nature of Volume
Quick fact
The Banach-Tarski paradox demonstrates that a solid ball in 3D space can be decomposed into just five pieces and reassembled into two complete balls, each identical to the original. This is possible because the pieces are non-measurable sets, which lack a well-defined volume, and the construction relies on the axiom of choice.
Why this is interesting
Imagine cutting a ball into a few pieces and reassembling them into two balls exactly the same size as the original. Mathematically, that's possible—but only if you ignore the usual meaning of volume.
Read the full explanation
Understanding The Banach-Tarski Paradox and the Nature of Volume
We normally think of volume as a fundamental property of physical objects. If you cut a ball into pieces, the total volume of the pieces equals the volume of the original ball. But what if we could cut into pieces so bizarre that they have no volume at all? The Banach-Tarski paradox shows that if we accept the axiom of choice, we can decompose a sphere into a finite number of such 'ghostly' pieces, then slide and rotate them to form two perfect spheres. The paradox arises because these pieces are not just weird shapes—they are so irregular that they cannot be assigned any consistent volume. No physical cutting could achieve this, but mathematically, it is a logical consequence of certain assumptions about sets and infinity.
A deeper explanation
The Banach-Tarski paradox follows from a deeper fact about infinite sets: a group of rotations can be split into two parts, each of which can be transformed to recreate the whole group. Starting with a sphere, we can apply this decomposition to a countable collection of points, after isolating the points that are fixed by rotations. The key is that we use the axiom of choice to select one representative from each orbit of points under the group of rotations. This lets us partition the sphere into non-measurable sets—sets that do not have a well-defined volume. Since Lebesgue measure (our formal notion of volume) is translation and rotation invariant, if the pieces were measurable, the paradox would be impossible. The paradox thus shows that the axiom of choice allows the existence of non-measurable sets, and that volume cannot be defined for all sets of points. It highlights the boundary between what is physically intuitive and what is logically possible in mathematics.