Hausdorff's Maximal Principle

Theorem

Formulation 1

Let $\struct {\PP, \preceq}$ be a non-empty partially ordered set.

Then there exists a maximal chain in $\PP$.


Formulation 2

Let $A$ be a non-empty set of sets.

Let $S$ be the set of all chain of sets of $A$ (ordered under the subset relation).

Then every element of $S$ is a subset of a maximal element of $S$ under the subset relation.


Hausdorff's Maximal Principle and Axiom of Choice

Axiom of Choice implies Hausdorff's Maximal Principle

Let the Axiom of Choice be accepted.

Then holds.


Hausdorff's Maximal Principle implies Axiom of Choice

Let be accepted.

Then the Axiom of Choice holds.


Also known as

is also known as the Hausdorff Maximal Principle.

Some sources call it the Hausdorff Maximality Principle or the Hausdorff Maximality Theorem.


Also see

  • Results about Hausdorff's maximal principle can be found here.


Source of Name

This entry was named for Felix Hausdorff.

This article is issued from ProofWiki. The text is available under Creative Commons Attribution-ShareAlike License unless otherwise noted. Additional terms may apply for the media files.