Thank you for visiting this site. This article covers the “Banach–Tarski Paradox.”
Cut a ball into five pieces, then reassemble them using only rotations and translations — and you end up with two balls of exactly the same size. Incredible as it sounds, this was mathematically proved with complete rigor in 1924 by Polish mathematicians Stefan Banach and Alfred Tarski.
It is widely considered one of the most counter-intuitive theorems in all of mathematics, and it raises profound questions about the very foundations of the discipline.
What Was Proved?
More precisely, the theorem states:
A sphere in three-dimensional space can be partitioned into a finite number of pieces, which can then be reassembled by rotations and translations alone to form two spheres each of the same size as the original.
Crucially, no “stretching” or “compression” is involved — purely rotation and translation. Yet the volume doubles. This appears to violate the laws of physics, but mathematically it is correct.
The minimum number of pieces required is five. It has also been proved that four pieces are insufficient. The fact that just five pieces suffice makes the paradox all the more startling.
How Is This Possible?
The trick lies in the nature of the “pieces” themselves.
When we cut a cake or an apple in everyday life, each piece has a well-defined volume, and the volumes of all pieces sum to the original. But the pieces in the Banach–Tarski decomposition are strange shapes for which the usual notion of “volume” cannot be defined. These are called “non-measurable sets” in mathematics — they exist as collections of points, but they are so infinitely complex in structure that no volume in cubic centimetres (or any unit) can be meaningfully assigned to them.
Because no volume can be assigned to the pieces, the rule “sum of volumes = original volume” does not apply. This is what makes the apparently volume-multiplying reassembly possible.
What Is a Non-Measurable Set?
To understand non-measurable sets, consider a one-dimensional analogy.
Take the interval of real numbers from 0 to 1. Choose points according to a certain special rule and group them: take exactly one point from each group — the result is a “Vitali set.”
The Vitali set cannot be assigned a length (the one-dimensional analogue of volume). If its length were 0, countably many translated copies would still have total length 0 — unable to cover the interval from 0 to 1. If its length were positive, countably many copies would have infinite total length — unable to fit within a finite interval. Both lead to contradictions, so assigning any length at all is impossible.
The pieces in the Banach–Tarski decomposition are a three-dimensional extension of this same idea.
The Role of the Axiom of Choice
Essential to the Banach–Tarski Paradox is a mathematical axiom called the Axiom of Choice.
Informally, the Axiom of Choice states that given any collection of non-empty sets, there exists a function that selects one element from each set. In everyday contexts this seems obvious, but when infinitely many sets are involved, it is a powerful claim.
The non-measurable pieces in the Banach–Tarski decomposition are constructed using exactly this axiom. Without the Axiom of Choice, such pieces cannot be built, and the paradox does not arise.
Because the paradox is so counter-intuitive, some mathematicians argued that “the Axiom of Choice should not be accepted.” But since the axiom is used to prove many important theorems — Zorn’s Lemma, the Tychonoff theorem, the existence of a basis for every vector space, and others — it cannot simply be discarded.
Modern mathematics generally accepts the Axiom of Choice, and the Banach–Tarski Paradox is recognized as a “counter-intuitive but correct theorem.” The paradox is regarded as the price one pays for adopting the Axiom of Choice.
Why Doesn’t It Work in Two Dimensions?
Interestingly, the Banach–Tarski Paradox holds only in three or more dimensions — it fails in one or two dimensions.
The reason is that the rotation group in three dimensions contains a structure called a “free group,” which can generate infinitely complex combinations and enables the “paradoxical decomposition” needed to construct the non-measurable sets. The two-dimensional rotation group lacks this structure, so the same approach cannot be applied.
Can It Be Physically Executed?
Naturally, duplicating a ball in the real world is impossible.
The reason is that the pieces in the Banach–Tarski decomposition are physically unrealizable shapes of infinite complexity — no knife, no matter how precise, could cut them out.
Because matter is made of atoms, physical cutting cannot go below the atomic scale. The Banach–Tarski Paradox exists only in the idealized mathematical world where matter is treated as “a set of points.”
Even so, the fact that a mathematically rigorous theorem can completely violate physical intuition poses a deep question about the relationship between mathematics and physics. Mathematics is a language for describing the physical world, yet mathematics contains concepts with no physical counterpart. The Banach–Tarski Paradox is the most dramatic example of this. It invites deep questions about how far mathematics corresponds to physical reality.
Summary
This article covered the “Banach–Tarski Paradox.”
The conclusion that a sphere can be split into two copies of itself is breathtakingly shocking, and it vividly exposes the strangeness lurking at the core of mathematics — infinity and set theory. Mathematical theorems need not be intuitively obvious; this paradox teaches that lesson with extraordinary force.
To return to the full list of paradoxes, follow the link below.
Thank you for reading. We hope to see you in the next article.
