Satz von Hausdorff
# Satz von Hausdorff

Der Satz von Hausdorff ist einer der zahlreichen mathematischen Lehrsätze, die der deutsche Mathematiker Felix Hausdorff (1868–1942) zu den Gebieten Mengenlehre und Ordnungstheorie beigetragen hat. Der Satz geht zurück auf Hausdorffs Arbeiten über Konfinalität und Ordnungstypen.

## Formulierung des Satzes

Der Satz lässt sich wie folgt formulieren:

    In einer nichtleeren linear geordneten Menge $(K,\preccurlyeq )$ existiert stets eine durch die gegebene Ordnungsrelation $\preccurlyeq$ wohlgeordnete Teilmenge $W\subseteq K$, die in $(K,\preccurlyeq )$ konfinal ist.
    Hat $K$ dabei die Mächtigkeit $|K|=\aleph _{\tau }\;(\tau \in \mathrm {On} )$ und besitzt $W$ den Ordnungstypus $\operatorname {ord} (W)=\xi$, so gilt in Bezug auf die zu $\aleph _{\tau }$ gehörige Anfangszahl die Ungleichung $\xi \leq \omega _{\tau }$.

## Folgerungen

Aus dem Hausdorff'schen Satz ergibt sich unmittelbar folgendes Resultat:

    In einer nichtleeren teilweise geordneten Menge $(S,\preccurlyeq )$ existiert stets eine durch die gegebene Ordnungsrelation $\preccurlyeq$ wohlgeordnete Teilmenge $W\subseteq S$, mit der $(S,\preccurlyeq )$ konfinal im Sinne von Hausdorff ist.

Weiterhin gewinnt man aus dem Satz ein Resultat über reguläre Ordinalzahlen:

    Jede unendliche reguläre Ordinalzahl ist eine Anfangszahl $\omega _{\tau }$, während die einzigen endlichen regulären Ordinalzahlen $0$ und $1$ sind.

Der Satz besitzt zudem eine weitere Verschärfung, die im Wesentlichen auch auf Hausdorff zurückgeht:

    Für eine linear geordnete Menge $(K,\preccurlyeq )$ ist die Konfinalität $\operatorname {cf} (K,\preccurlyeq )$ stets entweder $0$ oder $1$ oder aber – nämlich dann, wenn $(K,\preccurlyeq )$ kein größtes Element besitzt – eine reguläre Anfangszahl und daneben gibt es keine andere reguläre Ordinalzahl, die als Ordnungstypus $\operatorname {ord} (W)$ einer in $(K,\preccurlyeq )$ enthaltenen konfinalen Teilmenge $W\subseteq K$ vorkommt.
