Imagine you have one ball.
You can cut it into pieces.
Then you move the pieces.
You can make two balls!
They look just like the first.
It sounds like magic.
Can you think of a way?
Imagine you have one ball.
You can cut it into pieces. Then you move the pieces. You can make two balls! They look just like the first ball.
This sounds like magic. It is called a paradox. A paradox is something that seems impossible but is true.
You only need five pieces to do this. You do not stretch or bend the pieces. You only move and turn them.
You can even turn a tiny pea into the Sun!
Math helps us see how this works.
Imagine you have one solid ball.
You could cut it into pieces. Then you could move and turn those pieces. You could make two balls that look exactly like the first one! This sounds like magic. In math, we call this a paradox. A paradox is something that seems impossible but is actually true.
This idea is called the Banach–Tarski paradox. It was named after Stefan Banach and Alfred Tarski. They showed you only need five pieces to do this. You do not stretch or bend the pieces. You only use rotations and moves to put them back.
How can one ball become two? It works because the pieces are very strange. They are not solid chunks. Instead, they are infinite scatterings of points. These pieces are so odd that they do not have a measurable volume. Because they have no set volume, the math does not break when they become two balls. This rule works for any two shapes in three-dimensional space. You could even turn a tiny pea into the Sun!
Imagine you have a single solid ball in your hand.
You could cut this ball into a few special pieces. Then, you could move and rotate those pieces in space. Surprisingly, you could put them back together to make two balls. These two new balls would be identical to the first one. This sounds like a magic trick, but it is a math truth. In math, we call this a paradox. A paradox is something that seems impossible but is actually correct.
This strange idea is called the Banach–Tarski paradox. It works because the pieces are not normal solid chunks. Instead, the pieces are made of infinite scatterings of points. These points are spread out in a very special way. Because they are so scattered, these pieces do not have a measurable volume. Volume is the amount of space an object takes up. Since these pieces have no set volume, the math does not break. You are not actually adding new matter to the world. You are just rearranging points that were already there.
Two mathematicians named Stefan Banach and Alfred Tarski shared this idea. They published their work in a paper in 1924. They built their ideas on work by other thinkers. Giuseppe Vitali worked on similar ideas in 1905. Felix Hausdorff also studied the shapes of spheres in 1914. Banach and Tarski showed a much stronger version of the rule. They proved it works for almost any solid shape in 3D space. This means you could turn a tiny pea into the Sun.
There are many specific facts about how this works. A researcher named Raphael M. Robinson found a key number. He showed that you can do this with only five pieces. You cannot do it with fewer than five pieces. This rule only works in three dimensions or higher. It does not work in one or two dimensions. In 3D space, shapes have a richer structure to move in. This allows the pieces to be moved into their new spots.
This math relies on a special rule called the axiom of choice. This rule helps mathematicians pick items from many different groups. Without this rule, the paradox might not be provable. Many people use this axiom in their math every day. It helps solve many other hard problems too. Even though the paradox seems to break rules of size, it stays true. It shows us that math can be very different from our daily lives. The world of points and shapes is full of wonder.
The Banach–Tarski paradox is a famous theorem in set-theoretic geometry. It describes a process that seems to defy the laws of physics. The theorem states that a solid ball in three-dimensional space can be divided into a finite number of disjoint subsets. These subsets can then be reassembled using only rotations and translations. Once reassembled, they form two identical copies of the original ball. This process does not involve stretching, bending, or adding any new points to the set.
To many, this sounds impossible because it seems to double the volume of the object. However, this is a veridical paradox. This means it is a mathematical truth that contradicts our physical intuition but contains no logical contradictions.
The mechanism of this paradox relies on the nature of the pieces used in the decomposition. These pieces are not solid chunks like you would find in a real-world object. Instead, they are non-measurable sets. In mathematics, a non-measurable set is a collection of points that does not have a defined volume. Because these subsets lack a measurable volume, the standard rules of volume preservation do not apply. You are not adding matter; you are simply rearranging infinite scatterings of points.
While the individual pieces have no defined volume, the final reassembled balls do have a defined volume. This explains why the total volume can change during the process.
There are different versions and scales of this theorem. The basic version focuses on doubling a single ball. A more powerful version is known as the strong form of the Banach–Tarski paradox. This version states that any two bounded subsets of three-dimensional Euclidean space are equidecomposable. This is true as long as both subsets have a non-empty interior. This leads to the famous informal description called the "pea and the Sun" paradox. It suggests that a tiny pea could be chopped up and reassembled into the Sun.
The history of this discovery is linked to several important mathematicians. Stefan Banach and Alfred Tarski published their construction in a paper in 1924. Their work built upon earlier mathematical foundations. Giuseppe Vitali created a similar construction regarding the unit interval in 1905. Felix Hausdorff also explored paradoxical decompositions of the sphere in 1914. These researchers paved the way for Banach and Tarski to explore more complex subsets of Euclidean spaces.
Specific mathematical constraints define how this paradox operates. For example, the number of pieces required is quite small. A researcher named Raphael M. Robinson proved that doubling a ball can be done with exactly five pieces. He also showed that it is impossible to achieve this with fewer than five pieces. Furthermore, the paradox is strictly dependent on the number of dimensions. It is false in one or two dimensions. It only works in three or more dimensions because of the richer structure of Euclidean motions in those spaces.
The proof of the paradox relies heavily on the axiom of choice. This is a critical rule in set theory that allows for the construction of non-measurable sets. The axiom of choice allows mathematicians to make an uncountable number of choices to build these complex sets. Without this axiom, the paradox cannot be proven. In fact, the paradox is not a theorem of standard Zermelo-Fraenkel set theory alone. It requires the addition of the axiom of choice to function.
This paradox has deep connections to other fields of mathematics. It helped motivate the study of amenable groups. A mathematician named John von Neumann studied the groups of equivalences that make these decompositions possible. He introduced the concept of amenability to describe groups where such paradoxes cannot exist. Tarski later proved that amenable groups are precisely those that do not allow for paradoxical decompositions. This research moved mathematics toward new directions in group theory and foundational logic.
Where will your curiosity go next?
🖼️ Images & Media (3)
More to explore
✨ What else?
Related topics you might enjoy
🪜 Step back
Simpler topics to build understanding
What is Nepedia?
A free, ad-free encyclopedia for children. Every article is written at five reading levels, so the same page works for a five-year-old and a fifteen-year-old — use the level switcher above to see this one change. No account needed to read.