The hidden choice behind an infinite collection
For a finite row of boxes, choosing one item from each is straightforward: open them one by one. For an infinite family of nonempty sets, however, there may be no rule that identifies a selected element in every set. The axiom of choice says that a simultaneous selection is still possible, even when no explicit selection procedure is supplied.
That distinction separates proving that something exists from showing how to construct it. The axiom does not provide a practical recipe; it permits mathematicians to reason as if a choice function—a rule picking one element from each set—exists.
How that reaches the Banach–Tarski result
The Banach–Tarski theorem applies this kind of unrestricted selection to points in an ideal three-dimensional ball. In simplified terms, points can be grouped according to how rotations move them around. Choosing representatives from an enormous collection of these groups lets mathematicians define pieces that cannot be described as ordinary chunks with smooth boundaries.
The pieces can then be moved using rotations and translations to form two copies of the original ball. The theorem is about an exact mathematical partition, not a cutting technique: its pieces are highly scattered sets, not objects that could be separated and handled in a workshop.
Why volume does not rule it out
Everyday volume calculations assume the pieces have well-defined volumes that add up. The Banach–Tarski pieces are nonmeasurable: the usual notion of volume cannot consistently assign them individual volumes. So the apparent doubling does not mean physical matter has been created; the ordinary volume-conservation argument simply does not apply to these sets.
The striking consequence is that one abstract assumption about making infinitely many choices can unlock results that defy physical intuition—while also exposing exactly where that intuition depends on familiar, measurable shapes.
