Mathematics
The Banach-Tarski Paradox and Non-Measurable Sets
Quick fact
Quick Fact: The Banach-Tarski paradox shows that a solid ball can be cut into just five non-measurable pieces that can be reassembled into two equal-sized copies of the original ball.
Why this is interesting
Imagine slicing a basketball into a few pieces and then fitting those pieces back together to make two perfect basketballs, each the same size as the original. That’s exactly what the Banach-Tarski paradox claims is mathematically possible.
Read the full explanation
Understanding The Banach-Tarski Paradox and Non-Measurable Sets
When you think of a solid ball, you naturally picture a continuous object with a definite volume. In mathematics, a set is 'measurable' if we can assign it a standard volume (like the ball's volume). The Banach-Tarski paradox begins by considering a sphere's surface (or ball) and dividing it into a special collection of points. By using the axiom of choice, we can pick one point from each of certain infinite families to form a set that is so scattered and spread out that it doesn't have a well-defined volume—called a non-measurable set. The trick is to take these non-measurable pieces and, using only rotations and translations (moves that preserve volume if the pieces had volume), rearrange them to create two copies of the original ball. Since the pieces themselves have no volume, the usual law of volume conservation doesn't apply. To see why this is possible, compare it to constructing a puzzle. If you had a puzzle with pieces that have definable areas, you could not create extra area without adding pieces. But if the pieces are so irregular that they have no area at all—like dust scattered everywhere—you can reassemble them in different ways and 'gain' volume, because the pieces don't respect boundaries of space.
A deeper explanation
The Banach-Tarski paradox is not a trick but a theorem that follows logically from a set of assumptions, specifically the axiom of choice (AC). The core idea is using a group of rotations of a sphere that behaves like a free group on two generators. A free group has the property that you can partition it into two parts that are each congruent to the whole group via rotations. By applying this idea to the sphere, we can break the sphere into a handful of subsets that, when manipulated by these rotations, can be reassembled into two spheres. The catch is that these subsets are non-measurable: they cannot be assigned a Lebesgue measure (volume) consistently. Thus, the paradox illustrates a fundamental limit of the concept of volume and forces us to accept that under AC, there exist sets that are simply too wild to measure. The paradox has deep implications: it shows that the axiom of choice is not just a practical tool but can lead to counterintuitive consequences, and it highlights the need for careful foundations in mathematics. It doesn't mean the physical world behaves this way—physical objects are composed of measurable atoms—but in the abstract world of infinite, point-filled sets, volume is not always well-defined.