Mathematics
The Banach-Tarski Paradox and the Nature of Sets
Quick fact
The Banach-Tarski paradox demonstrates that, assuming the axiom of choice, a solid ball in 3D can be split into five pieces and reassembled into two perfect copies of the original ball, seemingly doubling its volume without any stretching or overlapping.
Why this is interesting
Imagine taking a solid ball, cutting it into a few pieces, and rearranging them to create two identical balls, each the same size as the original. This sounds impossible—yet mathematics says it can be done.
Read the full explanation
Understanding The Banach-Tarski Paradox and the Nature of Sets
At first, this defies everything we know about physical objects. In the real world, you can't create matter from nothing. But the Banach-Tarski paradox operates in the realm of pure mathematics, where sets can be infinitely intricate. The key lies in the pieces: they are not like real physical chunks with smooth boundaries. Instead, they are so infinitely shredded and complex that they have no well-defined volume. Think of it like this: if you could take an infinite cloud of points and group them in a very strange way, you could permute those groups to fill space twice over. The 'trick' is that these groups are so hopelessly scattered that our usual notion of size—Lebesgue measure—cannot assign them a volume at all. This is only possible in three or more dimensions; in two dimensions, a similar trick fails. The paradox is a stark warning that our intuition about 'volume' breaks down when we deal with infinitely intricate sets.
A deeper explanation
The mechanism behind the Banach-Tarski paradox relies on the axiom of choice, which allows us to select one element from each of infinitely many nonempty sets. Using this, one can decompose a sphere (the surface of a ball) into a finite number of subsets that are 'equidecomposable'—meaning they can be broken into pieces that can be rotated to form another sphere. The paradox exploits the structure of the rotation group in 3D, which contains a free group on two generators. This free group can be partitioned into two sets, each of which can be reassembled to recreate the whole group. By applying this to a sphere via the axiom of choice, we get the paradoxical decomposition. The pieces are not measurable because they contain representatives from each orbit of the group action, and no consistent measure can be assigned to them. This illustrates that the axiom of choice, while seemingly intuitive, has profound and counterintuitive consequences in the foundations of mathematics.