Mathematics
The Banach-Tarski Paradox and the Axiom of Choice
Quick fact
The Banach-Tarski paradox shows that a solid sphere can be split into just five pieces that, when rearranged, form two complete spheres of the same size as the original—seemingly doubling its volume. The catch? The pieces are non-measurable sets, so they don't have a well-defined volume, and the construction relies on the Axiom of Choice.
Why this is interesting
You have a solid ball. Could you cut it into a few pieces and reassemble it to get two identical balls of the same size? Mathematically, yes—if you accept the Axiom of Choice. But how can that be?
Read the full explanation
Understanding The Banach-Tarski Paradox and the Axiom of Choice
Imagine you have a rubber ball. You can stretch or deform it, but you can't change its volume without adding material. Intuitively, if you cut a ball into a finite number of pieces, the total volume stays the same when you put them back together—no matter how you rearrange them. That's conservation of volume. The Banach-Tarski paradox overturns this intuition. It says you can cut a ball into a handful of pieces (actually five is enough) and then reassemble those pieces into two balls that are both exactly the same size as the original. How? The key is that the pieces are not 'nice' pieces like slices of an apple. They are infinitely complex, fractal-like sets that have no definable volume. In mathematics, we call such sets 'non-measurable.' You can't assign a numerical volume to them, so the operation 'volume of pieces' is meaningless. The paradox relies on the Axiom of Choice, which allows you to pick elements from an infinite number of sets without a specific rule. It's a bit like being able to choose one shoe from each pair in an infinite closet, even though you have no way to describe your choices. With the Axiom of Choice, you can construct these wild, non-measurable pieces. Even though the result seems physically impossible, it's logically sound if you accept the Axiom of Choice and the notion of non-measurable sets.
A deeper explanation
The Banach-Tarski paradox arises from a deep interplay between the Axiom of Choice, group actions, and measure theory. The Axiom of Choice lets us choose a single element from each of an infinite collection of sets, even when there is no explicit rule for the selection. In the context of the paradox, we consider the sphere's surface. By choosing a point from each orbit of a certain group of rotations, we can partition the surface into a set that is not measurable. This is analogous to the Vitali set on the unit interval, which is a classic example of a non-measurable set. The paradox then works by taking the sphere, isolating its center point, and decomposing the rest into a few pieces. Using the Axiom of Choice, we select a representative from each orbit under a specially chosen group of rotations (like a discrete group generated by two rotations). The set of representatives, together with its rotated copies, can be arranged to form a duplicate sphere. Because the pieces are non-measurable, we cannot assign them a volume, so conservation of volume does not apply. The paradox does not violate physical laws because it requires infinitely precise cuts and the pieces are so intricate that they cannot be physically realized. It reveals a fundamental tension: the Axiom of Choice is extremely useful in mathematics, but it also produces results that contradict physical intuition. The paradox highlights the importance of the Axiom of Choice in set theory and its consequences, and it shows that measure theory must carefully restrict 'measurable' sets. In the Zermelo-Fraenkel axiom system without the Axiom of Choice, it is consistent that the paradox does not hold, meaning the Axiom of Choice is essential for its derivation. This connects to broader questions about the limits of mathematical formalization and the nature of infinity.