Die Kardinalität einer Menge ist die Äquivalenzklasse der Mengen, die mit ihr in Bijektion stehen; Kardinalität misst Größe bis auf Bijektion und unterscheidet endliche und unendliche Größen, indiziert durch Kardinalzahlen wie ℵ_0 oder 2^{ℵ_0}.

Prinzip

Zwei Mengen haben genau dann dieselbe Kardinalität, wenn es eine Bijektion zwischen ihnen gibt; Kardinalarithmetik und Vergleich (≤ mittels Injektionen) erweitern diesen Begriff und liefern Invarianten wie Alephs und das Kontinuum, die das 'Wie viele' unabhängig von Ordnung oder Struktur abstrahieren.

Demonstration

Die Menge der natürlichen Zahlen N hat Kardinalität ℵ_0, da sie mit jeder abzählbar unendlichen Menge bijektiert; die reellen Zahlen R haben Kardinalität 2^{ℵ_0} (das Kontinuum); endliche Mengen haben als Kardinalität ihre Anzahl an Elementen n ∈ N.

Fehlanwendung

Kardinalität mit Ordungstypen oder mit Maß (Lebesgue-Maß) zu verwechseln ist ein Kategorienfehler, weil zwei Mengen dieselbe Kardinalität haben können, aber sehr unterschiedliche topologische oder maßtheoretische Eigenschaften; ebenso irreführend ist es, Kardinalität wie eine gewöhnliche numerische Größe ohne Kontext zu behandeln.

Konsequenz

Kardinalität klassifiziert Mengen nach ihrer Größe bis auf Bijektion, ermöglicht Vergleiche (Gleichheit, ≤ mittels Injektionen, strikte Kleinerheit) und bildet die Grundlage für Kardinalarithmetik, die Klassifikation von Unendlichkeiten und Aussagen über die Existenz von Mengen gegebener Kardinalitäten unter set-theoretischen Annahmen.

Umkehrung

Statt Mengen nach Bijektionsklassen zu identifizieren, kann man Ordungstypen, Maße oder strukturelle Invarianten untersuchen, die Mengen gleicher Kardinalität unterscheiden; diese Umkehr betont zusätzliche Struktur jenseits der bloßen Größe.

Abgrenzung

Gilt für Mengen in ZF-artigen Mengentheorien und verlangt Klarheit darüber, ob mit reinen Mengen, Klassen oder Mengen in einem bestimmten Universum gearbeitet wird; Kardinalität ignoriert Mehrfachzählungen in Multimengen, und Kardinalarithmetik kann von Wahlaxiomen abhängen (z. B. beeinflusst AC die Vergleichbarkeit von Kardinalzahlen).

Semantische Spannung

Kardinalität steht im Spannungsfeld zu intuitiven Größenbegriffen aus Maßtheorie, Topologie oder Komplexitätstheorie: Kardinalität ist eine grobe Äquivalenzrelation (Bijektion), die Struktur übersieht; man darf sie daher nicht mit feineren Äquivalenzen verwechseln.

Synthese

Kardinalität ist das bijektionsbasierte Größenmaß einer Menge: Bijectionen identifizieren Gleich-Kardinalitätsklassen, Injektionen und Surjektionen vergleichen Größen, und mit Kardinalarithmetik (unter Beachtung set-theoretischer Hypothesen) lässt sich über endliche und unendliche Mächtigkeiten argumentieren.