Auswahlprinzip von Rado
# Auswahlprinzip von Rado

Das Auswahlprinzip von Rado (oder Rados Auswahlprinzip genannt; englisch Rado’s Selection Principle oder Rado’s Selection Lemma) ist ein mathematischer Lehrsatz, welcher sowohl der Mengenlehre als auch der diskreten Mathematik zuzurechnen ist. Das Auswahlprinzip geht auf den deutschen Mathematiker Richard Rado zurück. Es ist ein wichtiges Hilfsmittel zur Herleitung bedeutender Resultate der transfiniten diskreten Mathematik wie etwa der transfiniten Versionen des Satzes von Dilworth oder des Heiratssatzes von Hall. Ebenso erweist sich der Satz von de Bruijn und Erdős als unmittelbare Folgerung aus Rados Auswahlprinzip.

Dem Beweis des Auswahlprinzips liegt das Auswahlaxiom oder eines der zu jenem äquivalenten Maximalprinzipien der Mengenlehre zugrunde. Es lässt sich zeigen, dass sich Rados Auswahlprinzip als Anwendung des Tychonoffschen Satzes ergibt.

## Formulierung des Auswahlprinzips

Im Folgenden bedeute für zwei Mengen $X$ und $Y$ die Notation $X{\subset \subset }Y$, dass $X$ eine endliche Teilmenge von $Y$ ist. Rados Auswahlprinzip lässt sich damit formulieren wie folgt:

       Gegeben seien eine nicht-leere Indexmenge $I$ , eine nicht-leere Grundmenge $M$ und in $M$ eine Mengenfamilie ${\mathcal {M}}=(M_{i})_{i\in I}$ , bestehend aus nicht-leeren Teilmengen $M_{i}{\subset \subset }M$ ( $i\in I$ ).
       Ferner sei zu jeder endlichen Unterfamilie ${\mathcal {M}}_{J}=(M_{j})_{j\in J}$ ( $J{\subset \subset }I$ ) eine Auswahlfunktion ${{\alpha }_{J}}$ gegeben.
       Dann existiert für ${\mathcal {M}}$ eine Auswahlfunktion ${\alpha }$ , welche eine teilweise Fortsetzung der ${{\alpha }_{J}}$ ( $J{\subset \subset }I$ ) darstellt dergestalt, dass es zu jeder dieser Indexmengen $J{\subset \subset }I$ eine ebensolche Indexmenge $K$ gibt mit $J\subseteq K{\subset \subset }I$ und ${{\alpha }_{K}}{{\upharpoonright }J}={\alpha }{{\upharpoonright }J}$.

## Einige Folgerungen

Unter Benutzung von Rados Auswahlprinzip ergeben sich unter anderem:

* Der Satz von de Bruijn - Erdős:

       Ein Graph ist $k$-färbbar ( $k\in \mathbb {N}$ ) dann und nur dann, wenn jeder endliche induzierte Teilgraph $k$-färbbar ist.
* Der Satz von Dilworth (transfinite Version):

       Eine unendliche teilweise geordnete Menge der Breite $w\in \mathbb {N}$ lässt sich stets in $w$ paarweise disjunkte Ketten zerlegen.
* Der Heiratssatz (transfinite Version):

       Eine unendliche Familie endlicher Mengen besitzt eine Auswahl (Vertretersystem) dann und nur dann, wenn jede endliche Unterfamilie die Hall-Bedingung erfüllt.
* Der Satz von B. H. Neumann:

       Eine Gruppe besitzt eine mit der Gruppenstruktur verträgliche Totalordnung dann und nur dann, wenn jede endlich erzeugte Untergruppe eine solche besitzt.
* Der Satz von F. W. Levi:

       Eine abelsche Gruppe besitzt eine mit der Gruppenstruktur verträgliche lineare Anordnung dann und nur dann, wenn sie torsionsfrei ist.
