Statement
The Hausdorff maximal principle states that, in any partially ordered set, every totally ordered subset is contained in a maximal totally ordered subset. Here a maximal totally-ordered subset is one that, if enlarged in any way, does not remain totally ordered. The maximal set produced by the principle is not unique, in general; there may be many maximal totally ordered subsets containing a given totally ordered subset.
An equivalent form of the principle is that in every partially ordered set there exists a maximal totally ordered subset.
To prove that it follows from the original form, let A be a poset. Then is a totally ordered subset of A, hence there exists a maximal totally ordered subset containing, in particular A contains a maximal totally ordered subset.
For the converse direction, let A be a partially ordered set and T a totally ordered subset of A. Then
is partially ordered by set inclusion, therefore it contains a maximal totally ordered subset P. Then the set satisfies the desired properties.
The proof that the Hausdorff maximal principle is equivalent to Zorn's lemma is very similar to this proof.
Read more about this topic: Hausdorff Maximal Principle
Famous quotes containing the word statement:
“I think, therefore I am is the statement of an intellectual who underrates toothaches.”
—Milan Kundera (b. 1929)
“The new statement will comprise the skepticisms, as well as the faiths of society, and out of unbeliefs a creed shall be formed. For, skepticisms are not gratuitous or lawless, but are limitations of the affirmative statement, and the new philosophy must take them in, and make affirmations outside of them, just as much as must include the oldest beliefs.”
—Ralph Waldo Emerson (1803–1882)
“Most personal correspondence of today consists of letters the first half of which are given over to an indexed statement of why the writer hasn’t written before, followed by one paragraph of small talk, with the remainder devoted to reasons why it is imperative that the letter be brought to a close.”
—Robert Benchley (1889–1945)