math set-theory infinity paradox axiom-of-choice

The Banach-Tarski Paradox: Doubling a Sphere from Nothing

Imagine someone hands you a solid rubber ball and challenges you: cut it into pieces, rearrange those pieces using only rotations and translations — no stretching, no scaling, no adding material — and produce two balls identical to the first. Most people would say that's impossible. Conservation of matter, conservation of volume — the universe simply doesn't allow you to conjure matter from nowhere.

In the mathematical universe, however, it is a proven theorem. The Banach-Tarski Paradox states that a solid three-dimensional ball can be decomposed into a finite number of disjoint pieces, which can then be reassembled — using only rigid motions — into two solid balls, each the same size as the original. As Stefan Banach and Alfred Tarski themselves noted, you could, in principle, decompose a pea and reassemble the pieces into something the size of the Sun.

This is not a trick, a joke, or a mistake. It is mathematics. And the fact that it is true tells us something profound about the nature of infinity, the foundations of math, and the strange gap between abstract reasoning and physical reality.

The Concept

In 1924, two Polish mathematicians — Stefan Banach, then 32 and already renowned for his foundational work in functional analysis, and Alfred Tarski, just 23 and fresh from completing his doctorate at the University of Warsaw — published a paper in Fundamenta Mathematicae titled Sur la décomposition des ensembles de points en parties respectivement congruentes ("On the decomposition of point sets into respectively congruent parts").

Their theorem: a solid ball in three-dimensional space can be partitioned into a finite number of disjoint subsets, and those subsets can be reassembled, using only rotations and translations, into two complete copies of the original ball.

The key word is finite. If you were allowed infinitely many pieces, you might expect all sorts of strange things to be possible — infinity is famously weird. But Banach and Tarski showed that a surprisingly small number of pieces is sufficient. The standard decompositions involve as few as five pieces.

The pieces themselves, however, are extraordinarily strange. They are not anything you could actually cut with scissors or describe with a formula. They are what mathematicians call non-measurable sets — collections of points so pathologically complex that they have no well-defined volume. You cannot assign them a size in any meaningful sense. They are not "small" or "large" — they are, in a precise technical way, unmeasurable.

This is the sleight of hand. When volume is undefined, the conservation-of-volume argument simply fails to apply.

Why It Matters

The Banach-Tarski Paradox has no physical applications — you cannot actually perform this decomposition on a real object. Matter is made of discrete atoms, and non-measurable sets of points require infinitely divisible, continuous matter. The pieces involved are not physical chunks you could hold; they are infinitely scattered clouds of points, each one individually identifiable but collectively defying any geometric description.

So why does this matter?

First, it exposes something deep about the Axiom of Choice — one of the most debated assumptions in all of mathematics.

The Axiom of Choice is the statement that, given any collection of non-empty sets, you can always choose exactly one element from each set, even if there are infinitely many sets and no rule for making the choices. It sounds innocuous. Of course you can pick one thing from each group! But when applied to uncountably infinite collections, this "obvious" assumption has consequences that strain the imagination.

The construction of non-measurable sets — and therefore the Banach-Tarski Paradox — requires the Axiom of Choice. Without it, the paradox cannot be derived. This has made Banach-Tarski the most famous argument against accepting the Axiom of Choice: if accepting this axiom lets you mathematically "double a sphere," maybe we should be more careful about what we're accepting.

Most mathematicians continue to use the Axiom of Choice because it is enormously useful and because the alternatives lead to an impoverished mathematics. But Banach-Tarski is a perpetual reminder that the axioms we choose have consequences we might not expect.

Second, the paradox established the modern foundation for measure theory — the rigorous mathematical study of length, area, and volume. In the early 20th century, mathematicians were grappling with exactly what it means for a set of points to have a "size." Giuseppe Vitali had already shown in 1905 that not all sets of real numbers can be assigned a meaningful length. Banach-Tarski extended this to three dimensions in a spectacularly dramatic way. Understanding why the paradox works leads directly to understanding what Lebesgue measure is, why it's defined the way it is, and why certain sets simply fall outside its scope.

The Details

To understand how the paradox actually works, you need to understand three key ingredients: free groups, non-measurable sets, and the crucial role of three dimensions.

Free Groups of Rotations

Consider the following challenge: can you find two rotations of 3D space that, when composed in different sequences, never accidentally return you to your starting orientation (unless you've done zero net rotation)?

The answer is yes. You can find two rotations — one around the vertical axis and one around a tilted axis — such that any sequence of these rotations (and their inverses), if it's not the identity sequence, produces a different orientation. This is the free group on two generators, and it is the algebraic heart of the paradox.

Felix Hausdorff was the first to use this idea. In 1914, he showed that the sphere (the surface of a ball) could be decomposed into four pieces, three of which could be rearranged to form the complete sphere again. This "Hausdorff Paradox" was the direct inspiration for Banach and Tarski.

The free group of rotations lets you partition the sphere into orbits — families of points related by these rotations. Using the Axiom of Choice to select one representative from each orbit, you can then redistribute these representatives using the rotations of the free group to conjure extra copies of the sphere.

Why Three Dimensions?

Here's a surprising fact: the Banach-Tarski Paradox does not work in one or two dimensions. A line segment cannot be doubled by cutting and rearranging. A disk cannot be doubled either.

The reason is algebraic. In two dimensions, the rotation group is too "simple" — it is amenable, meaning it lacks the wild non-commutative structure that makes free groups possible. In three dimensions, you can find rotations that don't commute in the specific way required, generating the free group structure that powers the paradox.

This is a remarkable geometric fact. There is something fundamentally different about 3D space — and higher — that 2D space lacks. The Banach-Tarski Paradox is a theorem about the geometry of the third dimension, not a universal feature of all spaces.

What the Pieces Look Like

If you're picturing neatly-cut wedges of a sphere — like slicing an orange — you have the wrong mental image entirely. The pieces in a Banach-Tarski decomposition cannot be visualized. Each piece is a dense, fractal-like cloud of points, scattered throughout the ball without any describable boundary. If you tried to color each piece a different color, every neighborhood of every point would contain points of every color. The pieces interpenetrate each other everywhere, yet they are perfectly disjoint — no point belongs to more than one piece.

This is what makes them non-measurable. Volume is, at its core, a measure of how much space a region occupies locally. These pieces, being infinitely tangled with each other, resist any local description. The usual tools for measuring volume simply break down.

Physical Impossibility

To be precise about why this cannot be physically realized: real matter is composed of a finite number of atoms. Cutting a physical ball into pieces produces pieces made of atoms, and no rearrangement of a finite number of atoms can produce twice as many atoms. Conservation of mass is safe.

Moreover, any physically meaningful "cutting" of an object would produce pieces with well-defined volumes — because physical pieces have boundaries you can describe. The pieces in the Banach-Tarski decomposition have no describable boundaries; their construction requires the Axiom of Choice to "select" points without any rule, producing sets that are provably impossible to construct explicitly.

The paradox belongs entirely to the mathematical realm of infinitely divisible continua. But that realm is exactly where most of our deepest mathematics lives.

A Philosophical Wrinkle

The Banach-Tarski Paradox sits at the intersection of mathematics and philosophy in a peculiar way. It's been called a reductio ad absurdum of the Axiom of Choice — a demonstration that if you accept this axiom, you must accept seemingly impossible consequences. But mathematicians who have studied it closely generally reach the opposite conclusion: the paradox shows that our intuitions about "volume" and "size" are simply incomplete.

The pieces in the Banach-Tarski decomposition don't really double the volume — they expose that volume was never well-defined for these pieces in the first place. There's no conservation violation because there's nothing to conserve when measuring the pieces individually. The paradox is a feature, not a bug: it's what forced mathematicians to define measure theory carefully, to specify exactly which sets get to have a volume and which ones don't.

In this sense, Banach-Tarski is less a paradox about spheres and more a paradox about what we mean by size.

Takeaways

  • The paradox is real and proven: A 3D ball can be decomposed into finitely many pieces and reassembled into two identical balls — this is a genuine theorem of mathematics, not a trick.
  • Non-measurable sets are the key: The pieces have no well-defined volume, which is why conservation of volume doesn't apply. Not all sets of points can be assigned a size.
  • The Axiom of Choice is the engine: The paradox cannot be derived without it, making Banach-Tarski the most dramatic argument in the century-long debate over whether this axiom should be accepted.
  • Dimensions matter: The paradox works in 3D (and higher) but not in 1D or 2D — the rotation group in three dimensions has a structural richness that lower-dimensional spaces lack.
  • Physics is safe: Real matter is discrete and atomic. The paradox lives in the mathematical world of infinite point sets, not the physical world of particles and fields.

Resources:

Originally published at travispickens.com

Back to posts