Hausdorff maximal principle

Hausdorff maximal principle

In mathematics, the Hausdorff maximal principle, (also called the Hausdorff maximality theorem) formulated and proved by Felix Hausdorff in 1914, is an alternate and earlier formulation of Zorn's lemma and therefore also equivalent to the axiom of choice.

It states that in any partially ordered set, every totally ordered subset is contained in a maximal totally ordered subset (i.e. in a totally ordered subset which, if enlarged in any way, does not remain totally ordered: in general, there are many maximal totally ordered subsets containing a given totally ordered subset).

An equivalent (but not obviously so) form of the theorem is that in every partially ordered set there exists a maximal totally ordered subset.

Formal statement

The theorem can be stated in more formal terms. Let "E" be the collection of totally ordered subsets of a partially ordered set "A". This collection "E" can itself be turned into a partially ordered system, simply by means of set inclusion, since the elements of "E" are subsets of "A". That is, if x,yin E, then xsubseteq y if "x" is a subset of "y", and so (E,subseteq) is a partially ordered system. The Hausdorff maximality theorem then states that "E" has a maximal element.

One possible proof of the theorem follows from Zorn's lemma, by noting that the union of a chain in "E" is again an element of "E".

References

*
*


Wikimedia Foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Look at other dictionaries:

  • 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

  • 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

  • Zorn's lemma — Zorn s lemma, also known as the Kuratowski Zorn lemma, is a proposition of set theory that states:Every partially ordered set in which every chain (i.e. totally ordered subset) has an upper bound contains at least one maximal element.It is named… …   Wikipedia

  • Принцип максимума Хаусдорфа — (англ. Hausdorff maximal principle), также называемый теоремой Хаусдорфа о максимуме (англ. Hausdorff maximality theorem), утверждает: В любом частично упорядоченном множестве существует максимальное линейно упорядоченное подмножество.… …   Википедия

  • Утверждения — Утверждения, эквивалентные аксиоме выбора В данной статье рассматриваются различные формулировки и доказывается эквивалентность следующих предложений: Аксиома выбора Теорема Цермело Принцип максимума Хаусдорфа Лемма Куратовского Цорна… …   Википедия

  • Утверждения, эквивалентные аксиоме выбора — В данной статье рассматриваются различные формулировки и доказывается эквивалентность следующих предложений: Аксиома выбора Теорема Цермело Принцип максимума Хаусдорфа Лемма Куратовского Цорна Эквивалентность этих предложений следует понимать в… …   Википедия

  • Bourbaki–Witt theorem — In mathematics, the Bourbaki–Witt theorem in order theory, named after Nicolas Bourbaki and Ernst Witt, is a basic fixed point theorem for partially ordered sets. It states that if X is a chain complete poset, and : f : X o X such that : f (x)… …   Wikipedia

  • Lemme de Zorn — En mathématiques, le lemme de Zorn (ou théorème de Zorn, ou parfois lemme de Kuratowski Zorn), est un théorème de la théorie des ensembles qui affirme que si un ensemble ordonné est tel que toute chaîne (sous ensemble totalement ordonné) possède… …   Wikipédia en Français

  • Lemme De Zorn — En mathématiques, Le lemme de Zorn (ou théorème de Zorn, ou parfois lemme de Kuratowski Zorn), est un théorème de la théorie des ensembles qui affirme qu un ensemble ordonné tel que toute chaîne (sous ensemble totalement ordonné) possède un… …   Wikipédia en Français

Share the article and excerpts

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