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 $A\\subset\\mathbb{R}^{n}$ is decomposable in $N$ pieces $A_{1},\\ldots,A_{N}$ if there exist some isometries $\\theta_{1},\\ldots,\\theta_{N}$ of $\\mathbb{R}^{n}$ such that $A=\\theta_{1}(A_{1})\\cup\\ldots\\cup\\theta_{N}(A_{N})$ while $\\theta_{1}(A_{1}),\\ldots,\\theta_{N}(A_{N})$ are all disjoint.

We then say that two sets $A,B\\subset\\mathbb{R}^{n}$ are equi-decomposable if both $A$ and $B$ are decomposable in the same pieces $A_{1},\\ldots,A_{N}$ .

Theorem 1 (Banach-Tarski).

The unit ball $\\mathbb{B}^{3}\\subset\\mathbb{R}^{3}$ 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 $\\mathbb{R}^{3}$ . Also the ambient space can be chosen larger. The theorem is true in all $\\mathbb{R}^{n}$ with $n\\geq 3$ but it is not true in $\\mathbb{R}^{2}$ nor in $\\mathbb{R}$ .

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 $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 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 $\\mathbb{R}^{3}$ even if we drop the countable additivity and replace it with a finite additivity:

\\mu(A\\cup B)=\\mu(A)+\\mu(B)\\quad\\forall A,B\\ \\mathrm{disjoint}.

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