Satz von König (Mengenlehre)

Der Satz von König ist ein Satz aus der Mengenlehre, der von dem ungarischen Mathematiker Julius König 1905 entdeckt wurde. Der Satz ist eine strikte Ungleichung zwischen zwei Kardinalzahlen.

Aussage

Für eine Familie $⟨{\kappa }_i\mid i\in I⟩$ von Kardinalzahlen ist die Summe dieser Kardinalzahlen die Mächtigkeit der disjunkten Vereinigung von Mengen der Mächtigkeit ${\kappa }_i$,

$\sum _{i\in I}{\kappa }_i=|\bigcup _{i\in I}{M}_i|,$

und das Produkt die Mächtigkeit des kartesischen Produkts,

$\prod _{i\in I}{\kappa }_i=|\prod _{i\in I}{M}_i|=|\{f:I\to \bigcup _{i\in I}{M}_i\mid \mathrm{\forall }i\in If(i)\in M_i\}|.$

Hierbei sind die $M_i$ paarweise disjunkte Mengen mit $|M_i|={\kappa }_i$, zum Beispiel $M_i={\kappa }_i\times \{i\}$. Die Wohldefiniertheit beider Operationen folgt aus dem Auswahlaxiom.

Der Satz von König besagt nun:

Für zwei Kardinalzahlfolgen $⟨{\kappa }_i\mid i\in I⟩$ und $⟨{\lambda }_i\mid i\in I⟩$ mit ${\kappa }_i<{\lambda }_i$ für alle $i\in I$ gilt:

$\sum _{i\in I}{\kappa }_i<\prod _{i\in I}{\lambda }_i$.

Beweis

Seien $⟨X_i\mid i\in I⟩$, $⟨Y_i\mid i\in I⟩$ zwei Familien von paarweise disjunkten Mengen mit $|X_i|={\kappa }_i<{\lambda }_i=|Y_i|$. Ohne Beschränkung der Allgemeinheit kann man annehmen, dass $X_i⊊Y_i$. Es ist zu zeigen: Es gibt eine injektive, aber keine bijektive Abbildung

$\mathrm{\Phi }:\bigcup _{i\in I}{X}_i\to \prod _{i\in I}{Y}_i=\{f:I\to \bigcup _{i\in I}{Y}_i\mid \mathrm{\forall }i\in If(i)\in Y_i\}$

Für jedes $i\in I$ sei ${\alpha }_i$ ein Element aus $Y_i\setminus X_i$. Sei $x\in \bigcup _{i\in I}{X}_i$. Dann gibt es ein eindeutiges $j\in I$ mit $x\in X_j$. Sei $f:=\mathrm{\Phi }(x)\in \prod _{i\in I}{Y}_i$ die Funktion mit

$f(i)=\{\begin{array}{cc}x,& i=j\\ {\alpha }_i,& i\ne j\end{array}$.

Dann ist $\mathrm{\Phi }$ injektiv.

Sei nun eine beliebige solche Abbildung $\mathrm{\Phi }$ gegeben. Für $i\in I$ definiere $f(i)$ als ein Element aus $Y_i\setminus \{\mathrm{\Phi }(x)(i)|x\in X_i\}$. Dann ist $f$ an der Stelle $i$ verschieden von allen Bildern von $\mathrm{\Phi }$ aus $X_i$. Da dies für alle $i\in I$ gilt, ist $\mathrm{\Phi }$ nicht surjektiv und damit nicht bijektiv.

Folgerungen

Aus dem Satz von König lassen sich weitere Ungleichungen unmittelbar herleiten ($\kappa$ und $\lambda$ seien Kardinalzahlen):

• Bezeichnet $\mathrm{cf}(\kappa )$ die Konfinalität von $\kappa$, so gilt für $\kappa$ unendlich ${\kappa }^{\mathrm{cf}(\kappa )}>\kappa$.
• für $\kappa >1$ und $\lambda$ unendlich $\mathrm{cf}({\kappa }^{\lambda })>\lambda$.

Literatur

• Jech, Thomas: Set Theory, Springer-Verlag Berlin Heidelberg (2006), ISBN 3-540-44085-2.
• König, Julius: Zum Kontinuumsproblem, Mathematische Annalen 60 (1905), 177–180.