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, englisch cofinality) bezeichnet ein spezielles Attribut von halbgeordneten Teilmengen, nämlich eine Kardinalzahl.

Der Begriff wurde von Felix Hausdorff eingeführt.

Definitionen

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

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

\operatorname {cf} (\lambda )\;:=\min _{X\subset \lambda {\text{ konfinal}}}|X|

.

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

Falls

\operatorname {cf} (\lambda )<\lambda

, so heißt

\lambda

singulär.

Falls

\operatorname {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:[1][2]

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$ .[3]

Folgerungen

Die Relation

{\displaystyle X\mathrel {\overset {\underset {\text{cof}}{}}{\subset }} \lambda \quad

ist kofinal in

\lambda

ist transitiv und reflexiv, also eine Quasiordnung.

Transitivität: Ist

X\mathrel {\overset {\underset {\text{cof}}{}}{\subset }} \lambda

und

Y\mathrel {\overset {\underset {\text{cof}}{}}{\subset }} X

, dann ist erstens

Y\subset X\subset \lambda

. Zweitens gibt es zu jedem

\xi \in X

ein

\eta \in Y

mit

\xi \leq \eta

. Ist nun

\mu \in \lambda

, dann gibt es ein

\xi \in X

mit

\mu \leq \xi

, also auch ein

\eta \in Y

mit

\mu \leq \xi \leq \eta

. Zusammengenommen folgt

Y\mathrel {\overset {\underset {\text{cof}}{}}{\subset }} \lambda

.

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 $\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 $\operatorname {cf} (\operatorname {cf} (\lambda ))=\operatorname {cf} (\lambda )$ , das heißt, $\operatorname {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 $\textstyle \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 $\mathbb {R}$ mit der natürlichen Ordnung ist $\aleph _{0}$ , denn die natürlichen Zahlen bilden eine abzählbare konfinale Teilmenge.
$\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 $\aleph _{\omega }$ ist singulär. Es gilt $\operatorname {cf} (\aleph _{\omega })=\aleph _{0}$ , denn $\{\aleph _{i}\mid i\in \mathbb {N} \}$ ist eine konfinale Teilmenge.
Ist $\alpha$ eine Nachfolgerordinalzahl und gilt das Auswahlaxiom, so ist $\aleph _{\alpha }$ stets regulär. Die Frage, ob es neben $\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.
P. S. Alexandroff: Lehrbuch der Mengenlehre. Übersetzt aus dem Russischen von Manfred Peschel, Wolfgang Richter und Horst Antelmann. Verlag Harri Deutsch, Thun und Frankfurt am Main 1994, ISBN 3-8171-1365-X.
Egbert Harzheim: Ordered Sets (= Advances in Mathematics. Band 7). Springer Verlag, New York 2005, ISBN 0-387-24219-8 (MR2127991).
Felix Hausdorff: Grundzüge der Mengenlehre. Reprinted, New York, 1965. Chelsea Publishing Company, New York, N. Y. 1965.
Erich Kamke: Mengenlehre (= Sammlung Göschen. 999/999a). 7. Auflage. Walter de Gruyter, Berlin, New York 1971.

Einzelnachweise

Felix Hausdorff: Grundzüge der Mengenlehre. Reprinted, New York, 1965, S. 140.
Erich Kamke: Mengenlehre. 1971, S. 167–168.
In Bezug auf die vorliegende Ordnungsrelation $\preccurlyeq$ .

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.

[FH-001-1] Felix Hausdorff: Grundzüge der Mengenlehre. Reprinted, New York, 1965, S. 140.

[EK-001-2] Erich Kamke: Mengenlehre. 1971, S. 167–168.

[3] In Bezug auf die vorliegende Ordnungsrelation $\preccurlyeq$ .