Kardinalzahl (Mathematik)

aus Wikipedia, der freien Enzyklopädie
Wechseln zu: Navigation, Suche

Kardinalzahlen (lat. cardo „Türangel“, „Dreh- und Angelpunkt“) sind in der Mathematik eine Verallgemeinerung der natürlichen Zahlen zur Beschreibung der Mächtigkeit, auch Kardinalität, von Mengen.

Die Mächtigkeit einer endlichen Menge ist eine natürliche Zahl – die Anzahl der Elemente in der Menge. Der Mathematiker Georg Cantor beschrieb, wie man dieses Konzept innerhalb der Mengenlehre auf unendliche Mengen verallgemeinern und wie man mit unendlichen Kardinalzahlen rechnen kann.

Unendliche Mengen können unterschiedliche Mächtigkeiten haben. Diese werden mit dem Symbol (Aleph, dem ersten Buchstaben des hebräischen Alphabets), und einem (anfangs ganzzahligen) Index bezeichnet. Die Mächtigkeit der natürlichen Zahlen , die kleinste Unendlichkeit, ist in dieser Schreibweise .

Eine natürliche Zahl kann für zwei Zwecke benutzt werden: Zum einen, um die Anzahl der Elemente einer endlichen Menge zu beschreiben, und zum anderen, um die Position eines Elements in einer endlich-geordneten Menge anzugeben. Während diese beiden Konzepte für endliche Mengen übereinstimmen, muss man sie für unendliche Mengen unterscheiden. Die Beschreibung der Position in einer geordneten Menge führt zum Begriff der Ordinalzahl, während die Größenangabe zu Kardinalzahlen führt, die hier beschrieben sind.

Definition[Bearbeiten | Quelltext bearbeiten]

Zwei Mengen und heißen gleichmächtig, wenn es eine Bijektion von nach gibt; man schreibt dann . Die Gleichmächtigkeit von Mengen ist eine Äquivalenzrelation auf der Klasse aller Mengen.

Kardinalzahlen als echte Klassen
Die Äquivalenzklasse der Menge bezüglich der Relation der Gleichmächtigkeit nennt man die Kardinalzahl .

Das Problem bei dieser Definition ist, dass die Kardinalzahlen dann selbst keine Mengen, sondern echte Klassen sind. (Mit Ausnahme von ).

Dieses Problem lässt sich umgehen, indem man mit nicht die ganze Äquivalenzklasse bezeichnet, sondern ein Element daraus auswählt, man wählt sozusagen ein Repräsentantensystem aus. Um dies formal korrekt zu tun, bedient man sich der Theorie der Ordinalzahlen, die man bei diesem Ansatz entsprechend vorher definiert haben muss:

Kardinalzahlen als spezielle Ordinalzahl
Jede Menge ist gleichmächtig zu einer wohlgeordneten Menge (insofern man den zum Auswahlaxiom äquivalenten Wohlordnungssatz voraussetzt). Zu gehört eine Ordinalzahl. kann so gewählt werden, dass diese Ordinalzahl kleinstmöglich wird, da die Ordinalzahlen selbst wohlgeordnet sind; dann ist eine Anfangszahl. Man kann die Kardinalzahl mit dieser kleinsten Ordinalzahl gleichsetzen.

Durch diesen mengentheoretischen Handgriff ist die Kardinalität einer Menge selbst wieder eine Menge. Es folgt unmittelbar der Vergleichbarkeitssatz, dass die Kardinalzahlen total geordnet sind, denn sie sind als Teilmenge der Ordinalzahlen sogar wohlgeordnet. Dieser lässt sich nicht ohne das Auswahlaxiom beweisen.

Motivation[Bearbeiten | Quelltext bearbeiten]

Anschaulich dienen Kardinalzahlen dazu, die Größe von Mengen zu vergleichen, ohne sich auf das Aussehen ihrer Elemente beziehen zu müssen. Für endliche Mengen ist das leicht. Man zählt einfach die Anzahl der Elemente. Um unendliche Mengen zu vergleichen, benötigt man etwas mehr Arbeit, um ihre Mächtigkeit zu charakterisieren.

Im Folgenden werden die Begriffe höchstens gleichmächtig und weniger mächtig benötigt:

Wenn es eine Bijektion von auf eine Teilmenge von gibt, dann heißt höchstens gleichmächtig zu . Man schreibt dann .
Wenn es eine Bijektion von auf eine Teilmenge von gibt, aber keine Bijektion von nach existiert, dann heißt weniger mächtig als und mächtiger als . Man schreibt dann .

Diese Begriffe werden im Artikel Mächtigkeit näher erläutert.

Zum Beispiel gilt für endliche Mengen, dass echte Teilmengen weniger mächtig sind als die gesamte Menge, dagegen wird im Artikel Hilberts Hotel an einem Beispiel veranschaulicht, dass unendliche Mengen echte Teilmengen haben, die zu ihnen gleichmächtig sind.

Bei der Untersuchung dieser großen Mengen stellt sich die Frage, ob gleichmächtige geordnete Mengen notwendig zusammenpassende Ordnungen haben. Es stellt sich heraus, dass das für unendliche Mengen nicht so ist, z. B. unterscheidet sich die gewöhnliche Ordnung der natürlichen Zahlen von der geordneten Menge . Die Menge ist gleichmächtig zu . So ist eine Bijektion, aber in gibt es im Gegensatz zu ein größtes Element. Berücksichtigt man die Ordnung von Mengen, kommt man zu Ordinalzahlen. Die Ordinalzahl von heißt und die von ist .

Eigenschaften[Bearbeiten | Quelltext bearbeiten]

Im Artikel Mächtigkeit wird gezeigt, dass die Kardinalzahlen total geordnet sind.

Eine Menge heißt endlich, wenn es eine natürliche Zahl gibt, sodass genau Elemente hat. Das heißt also, dass entweder leer ist falls , oder dass es eine Bijektion von auf die Menge gibt. Eine Menge heißt unendlich, falls es keine solche natürliche Zahl gibt.

Man kann zeigen, dass die unendlichen Mengen genau jene Mengen sind, die zu einer echten Teilmenge gleichmächtig sind (siehe Dedekind-unendlich).

Es gilt ferner, dass die Kardinalzahl die kleinste unendliche Kardinalzahl ist. Die nächstgrößere Kardinalzahl ist (unter der Annahme der Kontinuumshypothese ist ; allerdings gilt auch ohne die Kontinuumshypothese gewiss ). Für jede Ordinalzahl gibt es eine -te unendliche Kardinalzahl , und jede unendliche Kardinalzahl wird so erreicht. Da die Ordinalzahlen eine echte Klasse bilden, ist auch die Klasse der Kardinalzahlen echt.

Man beachte, dass ohne das Auswahlaxiom Mengen nicht notwendigerweise wohlgeordnet werden können, und die im Abschnitt Definition angegebene Gleichsetzung von Kardinalzahlen mit bestimmten Ordinalzahlen nicht hergeleitet werden kann. Man kann Kardinalzahlen dann trotzdem als Äquivalenzklassen gleichmächtiger Mengen definieren, diese sind dann aber nur noch halbgeordnet, da verschiedene Kardinalzahlen nicht mehr vergleichbar sein müssen; diese Forderung ist äquivalent zum Auswahlaxiom. Man kann aber auch die Mächtigkeit von Mengen untersuchen, ohne Kardinalzahlen überhaupt zu benutzen.

Rechenoperationen[Bearbeiten | Quelltext bearbeiten]

Hauptartikel: Kardinalzahlarithmetik

Sind und disjunkte Mengen, dann definiert man

  • .

Dabei ist ein kartesisches Produkt und die Menge aller Funktionen von nach .

Man kann zeigen, dass diese Verknüpfungen für natürliche Zahlen mit den üblichen Rechenoperationen übereinstimmen. Darüber hinaus gilt für alle Mengen , , :

  • Addition und Multiplikation sind assoziativ und kommutativ.
  • Addition und Multiplikation erfüllen das Distributivgesetz.
  • Es gelten die Potenzgesetze und .

Die Addition und Multiplikation unendlicher Kardinalzahlen ist (unter Voraussetzung des Auswahlaxioms) leicht: Ist oder unendlich und beide Mengen nichtleer, dann gilt

Keine Kardinalzahl außer besitzt eine Gegenzahl (ein bezüglich der Addition inverses Element), also bilden die Kardinalzahlen mit der Addition keine Gruppe, und erst recht keinen Ring.

Es ist gleich der Mächtigkeit der Potenzmenge von und Cantors Diagonalbeweis zeigt, dass für jede Menge ist. Daraus folgt, dass es keine größte Kardinalzahl gibt.

Schreibweise[Bearbeiten | Quelltext bearbeiten]

Die endlichen Kardinalzahlen sind die natürlichen Zahlen und werden entsprechend notiert. Für die unendlichen Kardinalzahlen verwendet man für gewöhnlich die Aleph-Notation, also für die erste unendliche Kardinalzahl, für die zweite usw. Allgemein gibt es somit zu jeder Ordinalzahl auch eine Kardinalzahl .

Es gilt: . Von den übrigen Kardinalzahlen weiß man, dass es sie gibt und dass sie so geordnet sind, aber nicht, was sie genau darstellen (siehe dazu den folgenden Abschnitt).

Die tatsächlich bekannten Ordinalzahlen werden gelegentlich mit Hilfe der Beth-Funktion dargestellt. Eine bedeutende davon ist (man beachte, dass das Aleph hier keinen Index hat).

An der Schreibweise ist die jeweilige Verwendung als Kardinalzahl zu erkennen. So gilt an sich (man beachte das Fehlen der Mächtigkeitsstriche), aber für die Ordinalzahl wird erstere, für die Kardinalzahl die mittlere und für die sonst gebrauchte Menge der natürlichen Zahlen letztere Schreibweise verwendet

Kontinuumshypothese[Bearbeiten | Quelltext bearbeiten]

Hauptartikel: Kontinuumshypothese

Die verallgemeinerte Kontinuumshypothese (englisch generalized continuum hypothesis, daher kurz GCH) besagt, dass für jede unendliche Menge zwischen den Kardinalzahlen und keine weiteren Kardinalzahlen liegen. Die Kontinuumshypothese (englisch continuum hypothesis, daher kurz CH) macht diese Behauptung nur für den Fall . Sie ist unabhängig von der Zermelo-Fraenkel-Mengenlehre zusammen mit dem Auswahlaxiom (ZFC).

Siehe auch[Bearbeiten | Quelltext bearbeiten]

Große Kardinalzahl

Literatur[Bearbeiten | Quelltext bearbeiten]