Hausdorff paradox
Let be the unit sphere in the Euclidean space . Thenit is possible to take “half” and “a third” of such thatboth of these parts are essentially congruent (we give a formalversion in a minute). This sounds paradoxical:wouldn’t that mean that half of the sphere’s area is equal to only athird? The “paradox” resolves itself if one takes into account thatone can choose non-measurable subsets of the sphere which ostensively are “half” and a “third” of it, using geometric congruence as means of comparison.
Let us now formally state the Theorem.
Theorem (Hausdorff paradox [H]).
There exists a disjoint of the unit sphere in theEuclidean space into four subsets , such that thefollowing conditions are met:
- 1.
Any two of the sets , , and are congruent.
- 2.
is countable
.
A crucial ingredient to the proof is the http://planetmath.org/node/310axiom of choice, so thesets , and are not constructible. The theorem itself is acrucial ingredient to the proof of the so-called Banach-Tarskiparadox
.
References
- H F. Hausdorff, Bemerkung über den Inhalt vonPunktmengen, Math. Ann. 75, 428–433, (1915), http://dz-srv1.sub.uni-goettingen.de/sub/digbib/loader?did=D28919http://dz-srv1.sub.uni-goettingen.de/sub/digbib/loader?did=D28919 (in German).