Konfinalität

In der Ordnungstheorie und Mengenlehre findet die Eigenschaft konfinal (auch: kofinal, engl. cofinal) Anwendung bei topologischen Teilnetzen, so auch bei den proendlichen Zahlen. Der davon abgeleitete Begriff der Konfinalität (auch: Kofinalität, Vorlage:EnS) bezeichnet ein spezielles Attribut von halbgeordneten Teilmengen, nämlich eine Kardinalzahl.

Der Begriff wurde von Felix Hausdorff eingeführt.

Definitionen

• Sei $\lambda$ eine durch $\le$ partiell geordnete Menge und $X\subseteq \lambda$. Die Menge $X$ heißt konfinal (kofinal) in $\lambda$ oder auch konfinal in $(\lambda ,\le )$, falls zu jedem $\mu \in \lambda$ ein $\xi \in X$ mit $\mu \le \xi$ existiert.

• Die Konfinalität von $\lambda$ wird mit $\mathrm{cf}(\lambda )$ bezeichnet und ist definiert als die kleinste Kardinalität einer konfinalen Teilmenge, d. h.

$\mathrm{cf}(\lambda ):=\underset{X\subseteq \lambda \text{ konfinal}}{\min }|X|$.

• Für eine Ordinalzahl $\lambda$ und damit auch für eine jede Kardinalzahl $\lambda$ hat man folgende Begriffsbildung:

Falls $\mathrm{cf}(\lambda )<\lambda$, so heißt $\lambda$ singulär.

Falls $\mathrm{cf}(\lambda )=\lambda$, so heißt $\lambda$ regulär.

Begriffsbildung im Sinne von Hausdorff

In Hausdorffs Grundzüge der Mengenlehre findet man die eine allgemeinere Begriffsbildung zur Konfinalität, welche im Falle, dass eine linear geordnete Menge vorliegt, mit der obigen übereinstimmt. Dieser allgemeinere Begriff lässt sich folgendermaßen darstellen:

• Ist $(S,\preccurlyeq )$ eine nichtleere teilweise geordnete Menge und $T\subseteq S$ eine darin liegende nichtleere Teilmenge, so sagt man, $S$ sei mit $T$ konfinal, wenn kein Element $s\in S$ existiert, welches echt größer ist als jedes Element $t\in T$.

Folgerungen

• Die Relation

$X\stackrel{\text{cof}}{\subseteq }\lambda :⟺X\subseteq \lambda \wedge X$ ist kofinal in $\lambda$

ist transitiv und reflexiv, also eine Quasiordnung.

Transitivität: Ist $X\stackrel{\text{cof}}{\subseteq }\lambda$ und Vorlage:Nowrap dann ist erstens Vorlage:Nowrap Zweitens gibt es zu jedem $\xi \in X$ ein $\eta \in Y$ mit Vorlage:Nowrap Ist nun Vorlage:Nowrap dann gibt es ein $\xi \in X$ mit $\mu \le \xi$, also auch ein Vorlage:Nowrap Zusammengenommen folgt Vorlage:Nowrap

Die Reflexivität ist trivial.

• Die Konfinalität ist genau dann $0$, wenn die partiell geordnete Menge leer ist.
• Die Konfinalität ist genau dann $1$, wenn die Ordnung ein Maximum besitzt, etwa wenn es sich um eine Nachfolgerordinalzahl handelt.
• Für nicht-leere partiell geordnete Mengen ohne maximale Elemente ist die Konfinalität mindestens abzählbar, also ${\mathrm{\aleph }}_0$ (siehe Aleph-Funktion), und höchstens die Kardinalität der Menge selbst, denn jede partiell geordnete Menge liegt konfinal in sich selbst.
• Für totalgeordnetes $\lambda$ gilt $\mathrm{cf}(\mathrm{cf}(\lambda ))=\mathrm{cf}(\lambda )$, das heißt, $\mathrm{cf}(\lambda )$ ist regulär.
• Für eine Limeszahl $\lambda$ (aufgefasst als Von-Neumann-Ordinalzahl) ist eine Teilmenge $X$ genau dann konfinal, wenn ihre Vereinigung $\bigcup X$ gleich $\lambda$ ist.
• Besitzt eine unendliche Menge $K$ reguläre Kardinalität $\kappa$, so benötigt man mindestens $\kappa$ viele Mengen mit Mächtigkeit kleiner als $\kappa$, um $K$ als Vereinigung dieser Mengen darzustellen.
• Für eine Limeszahl $\lambda$ ist eine Teilmenge genau dann konfinal, wenn sie als Netz, versehen mit der natürlichen Ordnung, in der Ordnungstopologie von $\lambda +1$ gegen $\lambda$ konvergiert.

Beispiele

• Die Konfinalität von $ℝ$ mit der natürlichen Ordnung ist ${\mathrm{\aleph }}_0$, denn die natürlichen Zahlen bilden eine abzählbare konfinale Teilmenge.
• ${\mathrm{\aleph }}_0$ ist regulär.
• Schränkt man ein Netz unter Übernahme der Ordnung auf eine konfinale Teilmenge ein, erhält man ein Teilnetz (jedoch muss nicht jedes Teilnetz diese Gestalt besitzen).
• Die Kardinalzahl ${\mathrm{\aleph }}_{\omega }$ ist singulär. Es gilt $\mathrm{cf}({\mathrm{\aleph }}_{\omega })={\mathrm{\aleph }}_0$, denn $\{{\mathrm{\aleph }}_i\mid i\in \mathbb{N}\}$ ist eine konfinale Teilmenge.
• Ist $\alpha$ eine Nachfolgerordinalzahl und gilt das Auswahlaxiom, so ist ${\mathrm{\aleph }}_{\alpha }$ stets regulär. Die Frage, ob es neben ${\mathrm{\aleph }}_0$ weitere und damit überabzählbare, reguläre Limeskardinalzahlen gibt, ist Kern der Große-Kardinalzahl-Axiome, d. h. der Axiome über die Existenz großer Kardinalzahlen.

Literatur

• Ulf Friedrichsdorf, Alexander Prestel: Mengenlehre für den Mathematiker (= Vieweg-Studium. 58 Grundkurs Mathematik.). Vieweg, Braunschweig u. a. 1985, ISBN 3-528-07258-X.
• Thomas Jech: Set Theory. 3rd millennium Edition, revised and expanded. Springer, Berlin u. a. 2003, ISBN 3-540-44085-2.
• Vorlage:Literatur
• Vorlage:Literatur
• Vorlage:Literatur
• Vorlage:Literatur