# Satz von Erdős-Rado

Der Satz von Erdős-Rado, benannt nach Paul Erdős und Richard Rado, ist ein mathematischer Satz aus dem Gebiet der Mengenlehre. Er trifft eine Aussage darüber, wie groß eine Menge sein muss, um eine gewisse Zerlegungseigenschaft zu haben.

## Die Pfeilnotation

Für eine Menge $A$ sei $[A]^{n}$ die Menge aller $n$-elementigen Teilmengen von $A$, wobei $n$ eine natürliche Zahl sei. Für Kardinalzahlen $\kappa$, $\lambda$, $m$ schreibt man
    $\kappa \rightarrow (\lambda )_{m}^{n}$,
falls folgende Aussage richtig ist:
    Ist $[\kappa ]^{n}=\bigcup _{\alpha <m}X_{\alpha }$ eine Zerlegung von $[\kappa ]^{n}$ in $m$ (paarweise disjunkte) Teilmengen, so enthält wenigstens eine dieser Zerlegungsmengen $X_{\alpha }$ eine Teilmenge der Form $[H]^{n}$, wobei $H\subset \kappa$ die Mächtigkeit $\lambda$ hat.
Diese auf P. Erdős und R. Rado zurückgehende Pfeilnotation soll hier durch einige Beispiele verdeutlicht werden. Der Fall $n=1$ bedeutet einfach, dass bei einer Zerlegung von $\kappa$ in $m$ Teile wenigstens ein Teil die Mächtigkeit $\lambda$ haben muss. Allein aus Mächtigkeitsgründen gilt also für unendliche Kardinalzahlen $\kappa >\lambda$, dass $\kappa \rightarrow (\lambda )_{2}^{1}$ oder $\kappa \rightarrow (\lambda )_{\aleph _{0}}^{1}$, wobei $\aleph _{0}$ die Aleph-Notation für die kleinste unendliche Kardinalzahl sei. Interessantere, das heißt weniger triviale, Aussagen erhält man erst für den Fall $n\geq 2$. So lässt sich der Satz von Ramsey in der Pfeilnotation wie folgt formulieren:
    $\aleph _{0}\rightarrow (\aleph _{0})_{m}^{n}$ für alle natürlichen Zahlen $m,n$.
Man beachte, dass die Aussage $\kappa \rightarrow (\lambda )_{m}^{n}$ richtig bleibt, wenn man zu größeren Kardinalzahlen $\kappa$ übergeht oder wenn man eine der Größen $\lambda ,m,n$ verkleinert. In der Pfeilnotation werden die Größen durch den Pfeil also nach ihrem Monotonieverhalten getrennt, was zumindest eine Merkhilfe ist.
Gilt die Aussage $\kappa \rightarrow (\lambda )_{m}^{n}$ nicht, so schreibt man auch $\kappa \not \rightarrow (\lambda )_{m}^{n}$. Ist $m=2$, so lassen manche Autoren den Index $m$ gerne weg.
W. Sierpiński hat für unendliche Kardinalzahlen $\kappa$ gezeigt, dass
    $2^{\kappa }\not \rightarrow (\kappa ^{+})^{2}$ oder genauer $2^{\kappa }\not \rightarrow (\kappa ^{+})_{2}^{2}$,
wobei $\kappa ^{+}$ die Nachfolger-Kardinalzahl von $\kappa$ bezeichnet.

## Formulierung des Satzes

Unter Verwendung obiger Pfeilnotation und der Beth-Funktion $\beth$ lautet der Satz von Erdős-Rado:
* $\beth _{n}^{+}\rightarrow (\aleph _{1})_{\aleph _{0}}^{n+1}$ für alle natürlichen Zahlen $n$.
Für $n=0$ ist $\beth _{0}^{+}=\aleph _{0}^{+}=\aleph _{1}$ und der Satz von Erdős-Rado besagt lediglich $\aleph _{1}\rightarrow (\aleph _{1})_{\aleph _{0}}^{1}$, das heißt, bei einer Zerlegung von $\aleph _{1}$ in abzählbar viele Teile muss wenigstens ein Teil die Mächtigkeit $\aleph _{1}$ haben, und das bedeutet, dass $\aleph _{1}$ nicht abzählbare Vereinigung abzählbarer Mengen ist. Erst für $n\geq 1$ erhält man nicht-triviale Aussagen.
Die oben genannte auf Sierpiński zurückgehende Aussage besagt für $\kappa =\aleph _{0}$, dass $2^{\aleph _{0}}\not \rightarrow (\aleph _{1})_{2}^{2}$ oder wegen des Monotonieverhaltens $\kappa \not \rightarrow (\aleph _{1})_{2}^{2}$ für alle $\kappa \leq 2^{\aleph _{0}}$. Der Satz von Erdős-Rado trifft nun die positive Aussage $\kappa \rightarrow (\aleph _{1})_{2}^{2}$ für alle $\kappa >2^{\aleph _{0}}$, denn für $n=1$ erhält man $(2^{\aleph _{0}})^{+}\rightarrow (\aleph _{1})_{\aleph _{0}}^{2}$, und das Monotonieverhalten der Pfeilnotation führt zur gewünschten Aussage.
Obiger Satz lässt folgende Verallgemeinerung auf höhere Mächtigkeiten zu, die ebenfalls als Satz von Erdős-Rado bezeichnet wird. Für eine unendliche Kardinalzahl $\kappa$ definiere rekursiv
    $\exp _{0}(\kappa )\,=\,\kappa$
    $\exp _{n+1}(\kappa )\,=\,2^{\exp _{n}(\kappa )}$.
Dann gilt
* $\exp _{n}(\kappa )^{+}\rightarrow (\kappa ^{+})_{\kappa }^{n+1}$ für alle natürlichen Zahlen $n$ und alle unendlichen Kardinalzahlen $\kappa$.
Dieses Ergebnis ist scharf, das heißt, die Kardinalzahl auf der linken Seite des Pfeils kann nicht durch eine kleinere ersetzt werden. Daher ist der Satz von Erdős-Rado eine Aussage darüber, wie groß eine Kardinalzahl $\mu$ sein muss, damit die Partitionseigenschaft $\mu \rightarrow (\kappa ^{+})_{\kappa }^{2}$ erfüllt ist: Es muss $\mu \,>\,\exp _{n}(\kappa )$ sein.
Für $\kappa =\aleph _{0}$ ist $\exp _{n}(\kappa )=\beth _{n}$, und man erhält den zuvor genannten Satz von Erdős-Rado als Spezialfall. Wegen der Monotonieeigenschaften der Pfeilnotation folgt aus dem Fall $n=1$ des Satzes von Erdős-Rado:
    $(2^{\kappa })^{+}\rightarrow (\kappa ^{+})^{2}$ für alle unendlichen Kardinalzahlen $\kappa$.