Banach-Tarski paradox


The 3-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 An is decomposablePlanetmathPlanetmath in N pieces A1,,AN if there exist some isometries θ1,,θN of n such that A=θ1(A1)θN(AN) while θ1(A1),,θN(AN) are all disjoint.

We then say that two sets A,Bn are equi-decomposable if both A and B are decomposable in the same pieces A1,,AN.

Theorem 1 (Banach-Tarski).

The unit ball B3R3 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 3. Also the ambient space can be chosen larger. The theorem is true in all n with n3 but it is not true in 2 nor in .

Where is the paradoxMathworldPlanetmath? 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 3-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 dimensionMathworldPlanetmathPlanetmath 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 3 even if we drop the countable additivityMathworldPlanetmath and replace it with a finite additivity:

μ(AB)=μ(A)+μ(B)A,Bdisjoint.

Another point to be noticed is that the proof needs the axiom of choiceMathworldPlanetmath (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