Banach-Tarski paradox
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.
1 Comments
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 (http://planetmath.org/AxiomOfChoice). So some of the pieces in which the ball is divided are not constructable.
See http://www.math.metu.edu.tr/ berkman/choice/http://www.math.metu.edu.tr/ berkman/choice/ for more details.
Title | Banach-Tarski paradox |
Canonical name | BanachTarskiParadox |
Date of creation | 2013-03-22 13:45:40 |
Last modified on | 2013-03-22 13:45:40 |
Owner | paolini (1187) |
Last modified by | paolini (1187) |
Numerical id | 12 |
Author | paolini (1187) |
Entry type | Theorem |
Classification | msc 28A99 |
Classification | msc 03B99 |
Related topic | PsuedoparadoxInMeasureTheory |
Related topic | HausdorffParadox |
Related topic | ProofOfHausdorffParadox |
Related topic | DehnsTheorem |
Defines | decomposable |
Defines | equi-decomposable |