Satz von Cantor

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

Der Satz von Cantor besagt, dass eine Menge weniger mächtig als ihre Potenzmenge (der Menge aller Teilmengen) ist, dass also gilt. Er stammt vom Mathematiker Georg Cantor und ist eine Verallgemeinerung von Cantors zweitem Diagonalargument. Der Satz ist in allen Modellen gültig, die das Aussonderungsaxiom erfüllen.

Bemerkung: Der Satz gilt für alle Mengen, insbesondere auch für die leere Menge, denn ist einelementig. Allgemein gilt für endliche Mengen, dass die Potenzmenge einer -elementigen Menge Elemente hat. Da stets , ist der Satz von Cantor für endliche Mengen klar, er gilt aber eben auch für unendliche Mengen.

Beweis[Bearbeiten | Quelltext bearbeiten]

Offensichtlich gilt , da eine injektive Abbildung ist.

Wir wollen nun zeigen, dass es keine surjektive Abbildung geben kann.

Um einen Widerspruch zu erhalten, nehmen wir an, dass es doch eine surjektive Abbildung gibt.

Wir definieren nun . Aufgrund des Aussonderungsaxioms ist eine Menge und somit . Wegen der Annahme, dass surjektiv ist, gibt es ein mit . Dann gilt aber nach Definition von :

Dieser Widerspruch zeigt, dass die Annahme falsch ist und es keine surjektive Abbildung geben kann – dann kann es aber erst recht keine bijektive Abbildung geben, was den Fall ausschließt, und wir wissen .

Historisches[Bearbeiten | Quelltext bearbeiten]

Cantor lieferte einen ersten Beweis in seiner Abhandlung Über eine elementare Frage der Mannigfaltigkeitslehre von 1890. Hierfür zeigte er, dass die Menge aller Funktionen mächtiger ist als selbst, wobei die Menge der Funktionen die gleiche Mächtigkeit wie die Potenzmenge von besitzt (siehe Potenzmenge#Charakteristische Funktionen). Weitere Beweise stammen von Felix Hausdorff in Grundzüge der Mengenlehre (1914) und von Ernst Zermelo in Untersuchungen über die Grundlagen der Mengenlehre (1908).

Zusammenhang mit Cantors weiteren Arbeiten[Bearbeiten | Quelltext bearbeiten]

Man kann das zweite Diagonalargument von Cantor auch über den Satz von Cantor beweisen, wenn wir wissen, dass . Denn dann ist .

Des Weiteren lässt sich mit dem Satz von Cantor die zweite Cantorsche Antinomie zeigen. Diese besagt, dass die Allklasse keine Menge ist, sondern eine echte Klasse. Denn nach Definition wäre die Potenzmenge der Allklasse eine Teilmenge derselben, was dem Satz von Cantor widerspricht.

Quellen[Bearbeiten | Quelltext bearbeiten]

  • Einführung in die Mengenlehre von Oliver Deiser. Springer, Berlin Heidelberg 2004, 2. Auflage. ISBN 978-3-540-20401-5