Karo (Mengenlehre)

aus Wikipedia, der freien Enzyklopädie

Wechseln zu: Navigation, Suche

$\Diamond$ (Karo) ist ein "kombinatorisches" Prinzip in der Mengenlehre.

[Bearbeiten] Definition

Für jede unendliche Kardinalzahl $κ$ ist $\Diamond_\kappa$ eine Abkürzung für die folgenden Aussage:

es gibt eine Folge $\langle A_\alpha: \alpha \in \kappa \rangle$ mit folgenden Eigenschaften:

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

Statt $\Diamond_{\omega_1}$ schreibt man oft nur $\Diamond$ .

[Bearbeiten] Zusammenhang mit CH und GCH

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

[Bearbeiten] Anwendungen

Mit Hilfe von ◊ kann man eine Suslingerade konstruieren.

Von „http://lexikon.power-oldie.com/Karo_%28Mengenlehre%29“

Kategorie: Mengenlehre

Dieser Artikel basiert auf dem Artikel Karo (Mengenlehre) aus der freien Enzyklopädie Wikipedia und steht unter der GNU-Lizenz für freie Dokumentation. In der Wikipedia ist eine Liste der Autoren verfügbar.