Hausdorff paradox

Hausdorff paradox

In mathematics, the Hausdorff paradox, named after Felix Hausdorff, states that if you remove a certain countable subset of the sphere "S"², the remainder can be divided into three subsets "A", "B" and "C" such that "A", "B", "C" and "B" ∪ "C" are all congruent. In particular, it follows that on "S"² there is no finitely additive measure defined on all subsets such that the measure of congruent sets is equal.

The paradox was published in 1914. [F. Hausdorff, " [http://docserver.digizeitschriften.de/contentserver/contentserver?command=docconvert&docid=362514 Bemerkung über den Inhalt von Punktmengen] ", [http://gdz-srv3.sub.uni-goettingen.de/cache/toc/D25917.html Mathematische Annalen] , vol 75. (1914) pp. 428-434.] The proof of the much more famous Banach–Tarski paradox uses Hausdorff's ideas.

This paradox shows that there is no finitely additive measure on a sphere defined on "all" subsets which is equal on congruent pieces. The structure of the group of rotations on the sphere plays a crucial role here — this fact is not true on the plane or the line. In fact, it is possible to define "area" for "all" bounded subsets in the Euclidean plane (as well as "length" on the real line) such that congruent sets will have equal "area". This "area", however, is only finitely additive, so it is not at all a measure. In particular, it implies that if two open subsets of the plane (or the real line) are equi-decomposable then they have equal Lebesgue measure.

Sometimes the Hausdorff paradox refers to another theorem of Hausdorff which was proved in the same paper. This theorem states that it is possible to "chop up" the unit interval into countably many pieces which (by translations only) can be reassembled into the interval of length 2. Hausdorff described these constructions in order to show that there can be no non-trivial, translation-invariant measure on the real line which assigns a size to "all" bounded subsets of real numbers. This is very similar in nature to the Vitali set.

ee also

*Vitali set
*Banach–Tarski paradox

References


Wikimedia Foundation. 2010.

Игры ⚽ Нужна курсовая?

Look at other dictionaries:

  • Hausdorff — Felix Hausdorff (Fotografie zwischen 1913 und 1921 entstanden) Felix Hausdorff (* 8. November 1868 in Breslau; † 26. Januar 1942 in Bonn) war ein deutscher Mathematiker. Er gilt als Mitbegründer der allgemeinen Topologie und lieferte wesentliche… …   Deutsch Wikipedia

  • Banach–Tarski paradox — The Banach–Tarski paradox is a theorem in set theoretic geometry which states that a solid ball in 3 dimensional space can be split into several non overlapping pieces, which can then be put back together in a different way to yield two identical …   Wikipedia

  • Felix Hausdorff — Infobox Scientist name = Felix Hausdorff |300px image width = 300px caption = birth date = Birth date|1868|11|8 birth place = Breslau, Germany death date = death date and age|1942|1|26|1868|11|8 death place = Bonn, Germany residence = nationality …   Wikipedia

  • Felix Hausdorff — (* 8. November 1868 in Breslau; † 26. Januar 1942 in Bonn) war ein deutscher Mathematiker. Er gilt als Mitbegründer der allgemeinen Topologie und lieferte wesentliche Beiträge zur allgemeinen und deskriptiven Mengenlehre, zu …   Deutsch Wikipedia

  • Axiom of choice — This article is about the mathematical concept. For the band named after it, see Axiom of Choice (band). In mathematics, the axiom of choice, or AC, is an axiom of set theory stating that for every family of nonempty sets there exists a family of …   Wikipedia

  • List of mathematics articles (H) — NOTOC H H cobordism H derivative H index H infinity methods in control theory H relation H space H theorem H tree Haag s theorem Haagerup property Haaland equation Haar measure Haar wavelet Haboush s theorem Hackenbush Hadamard code Hadamard… …   Wikipedia

  • Non-measurable set — This page gives a general overview of the concept of non measurable sets. For a precise definition of measure, see Measure (mathematics). For various constructions of non measurable sets, see Vitali set, Hausdorff paradox, and Banach–Tarski… …   Wikipedia

  • List of paradoxes — This is a list of paradoxes, grouped thematically. Note that many of the listed paradoxes have a clear resolution see Quine s Classification of Paradoxes.Logical, non mathematical* Paradox of entailment: Inconsistent premises always make an… …   Wikipedia

  • Measure (mathematics) — Informally, a measure has the property of being monotone in the sense that if A is a subset of B, the measure of A is less than or equal to the measure of B. Furthermore, the measure of the empty set is required to be 0. In mathematical analysis …   Wikipedia

  • Pathological (mathematics) — In mathematics, a pathological phenomenon is one whose properties are considered atypically bad or counterintuitive. Often, when the usefulness of a theorem is challenged by counterexamples, defenders of the theorem argue that the exceptions are… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”