##  [Kardinalität](/de/node/60252) 

 Definition

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

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

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

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

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

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

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

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

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.