Karo (Mengenlehre)

$◊$ (Karo) ist ein „kombinatorisches“ Prinzip in der Mengenlehre.

Definition

Für jede unendliche Kardinalzahl $\kappa$ ist ${◊}_{\kappa }$ eine Abkürzung für die folgenden Aussage:

• es gibt eine Folge $⟨A_{\alpha }:\alpha \in \kappa ⟩$ mit folgenden Eigenschaften:

• für alle $\alpha$ gilt $A_{\alpha }\subseteq \alpha$
• für alle $A\subseteq \kappa$ ist die Menge $\{\alpha \in \kappa :A\cap \alpha =A_{\alpha }\}$ eine stationäre Teilmenge von $\kappa$.

Oft spricht man vereinfachend davon, dass das Prinzip ${◊}_{\kappa }$ es ermöglicht, Teilmengen von $\kappa$ zu „erraten“. Während die Anzahl der Teilmengen von $\kappa$ (also die Kardinalität der Potenzmenge von $\kappa$) zwar nach dem Satz von Cantor größer als $\kappa$ ist, postuliert ${◊}_{\kappa }$, dass es eine transfinite Folge der Länge $\kappa$ gibt, die alle Teilmengen von $\kappa$ „errät“ (genauer: stationär oft besser und besser approximiert).

Statt ${◊}_{{\omega }_1}$ schreibt man oft nur $◊$.

Zusammenhang mit CH und GCH

Die Aussage ◊ ist in der Zermelo-Fraenkel-Mengenlehre (ZFC) weder beweisbar noch widerlegbar.

Man zeigt leicht, dass aus ◊ die Kontinuumshypothese CH folgt. Allgemeiner folgt aus ${◊}_{{\kappa }^{+}}$ die Gleichung $2^{\kappa }={\kappa }^{+}$. Aus CH kann man ◊ nicht folgern, aber aus $2^{\kappa }={\kappa }^{+}$ zusammen mit ${\kappa }^{\omega }=\kappa$ kann man ${◊}_{{\kappa }^{+}}$ schließen. Aus der verallgemeinerten Kontinuumshypothese GCH folgt also ${◊}_{{\kappa }^{+}}$ für alle $\kappa$ mit überabzählbarer Konfinalität.

Anwendungen

◊ impliziert, dass die Suslin-Hypothese falsch ist; mit anderen Worten: dass es eine Suslin-Gerade gibt, also eine nicht-separable lineare Ordnung, in der dennoch jede Familie von disjunkten Intervallen höchstens abzählbar ist.