Die Kofinalität einer geordneten Menge oder Ordinalzahl ist der kleinste Ordnungstyp einer kofinalen (unbeschränkten) Teilmenge; für ein Ordinal α ist cf(α) das kleinste Ordinal β, für das es eine streng wachsende Folge vom Typ β mit Limes α gibt.

Prinzip

Eine Teilmenge S eines Posets P ist kofinal, wenn jedes Element von P ≤ einem Element von S ist; die Kofinalität ist der minimale Ordnungstyp eines solchen S. Für Kardinale κ misst cf(κ), ob κ regulär (cf(κ)=κ) oder singulär (cf(κ)<κ) ist — ein zentrales Unterscheidungsmerkmal in der Kardinalarithmetik und Kombinatorik.

Demonstration

cf(ω) = ω, weil die natürlichen Zahlen eine kofinale Folge in ω bilden; cf(ω+1) = 1, da das einzige maximale Element kofinal ist; cf(ω_1) = ω_1, weil keine abzählbare Teilmenge von ω_1 unbeschränkt ist, somit ist der kleinste kofinale Ordnungstyp ω_1 selbst.

Fehlanwendung

Kofinalität mit Kardinalität zu verwechseln oder die Minimalität des Ordnungstyps nicht zu prüfen führt zu Fehlern — etwa die Behauptung cf(ω_1)=ω aufgrund allgemeiner Abzählbarkeitsargumente verwechselt kofinales Verhalten mit der Kardinalität von Teilmengen.

Konsequenz

Kofinalität steuert Grenzverhalten und beeinflusst strukturelle Resultate: reguläre Kardinalzahlen lassen sich nicht als Vereinigungen weniger kleinerer Mengen gleicher Kardinalität darstellen, stationäre Mengen und Reflexionsprinzipien hängen von Kofinalitäten ab, und kombinatorische Partitionseigenschaften beruhen auf cf-Werten.

Umkehrung

Das duale Konzept ist Initialität oder Koinitialität (der kleinste Ordnungstyp einer initial unbeschränkten Teilmenge) oder das Betrachten beschränkter initialer Segmente statt unbeschränkter Endstücken; die Umkehr verschiebt den Fokus darauf, wie eine Menge von unten erzeugt wird statt wie sie ihrem Supremum zustrebt.

Abgrenzung

Definiert für Posets und Ordinäle; Aussagen über cf benötigen einen geordneten Kontext und lassen sich nicht sinnvoll auf ungeordnete Kollektionen übertragen. Für Ordinäle ist cf selbst ein Ordinal; für allgemeine gerichtete Posets benutzt man minimal kofinalen Kardinal oder Ordnungstyp, und manche Posets besitzen keine kleinen kofinalen Teilmengen.

Semantische Spannung

Kofinalität steht häufig in Spannung zur intuitiven Auffassung von 'Größe' und 'Grenze': Sie ist ein ordnungstheoretisches Invariant (Ordnungstyp unbeschränkter Folgen) und kein bloßes Kardinalzählmaß, weshalb cf-Aussagen nicht unbedacht zu Kardinalitätsaussagen reduziert werden dürfen.

Synthese

Kofinalität beschreibt, wie eine geordnete Menge von unten durch unbeschränkte Teilmengen minimalen Typs angenähert wird: Man bestimmt cf durch Suche nach kleinsten Ordnungstypen kofinaler Sequenzen, verwendet cf zur Klassifikation von Ordinälen und Kardinalen in regulär oder singulär und zur Steuerung kombinatorischer und Grenzphänomene.