|
The  -dimensional ball can be split in a finite number of pieces which can be pasted together to give two balls of the same volume as the first!
Let us formulate the theorem formally. We say that a set
 is decomposable in  pieces
 if there exist some isometries
 of
 such that
 while
 are all disjoint.
We then say that two sets
 are equi-decomposable if both  and  are decomposable in the same pieces
 .
Theorem 1 (Banach-Tarski) The unit ball
 is equi-decomposable to the union of two disjoint unit balls.
The actual number of pieces needed for this decomposition is not so large. Say that ten pieces are enough.
Also it is not important that the set considered is a ball. Every two set with non empty interior are equi-decomposable in
 . Also the ambient space can be chosen larger. The theorem is true in all
 with  but it is not true in
 nor in
 .
Where is the paradox? We are saying that a piece of (say) gold can be cut and pasted to obtain two pieces equal to the previous one. And we may divide these two pieces in the same way to obtain four pieces and so on...
We believe that this is not possible since the weight of the piece of gold does not change when I cut it.
A consequence of this theorem is, in fact, that it is not possible to define the volume for all subsets of the  -dimensional space. In particular the volume cannot be computed for some of the pieces in which the unit ball is decomposed (some of them are not measurable).
The existence of non-measurable sets is proved more simply and in all dimension by Vitali Theorem. However Banach-Tarski paradox says something more. It says that it is not possible to define a measure on all the subsets of
 even if we drop the countable additivity and replace it with a finite additivity:
Another point to be noticed is that the proof needs the axiom of choice. So some of the pieces in which the ball is divided are not constructable.
See http://www.math.metu.edu.tr/˜berkman/choice/ for more details.
| 
