Der Satz von Cantor ist ein fundamentaler Lehrsatz der Mengenlehre. Er besagt, dass jede beliebige Menge weniger mächtig als ihre Potenzmenge , also von geringerer Mächtigkeit ist als die Menge all ihrer Teilmengen und dass damit stets die Ungleichung gilt.

Der Satz stammt vom Mathematiker Georg Cantor und ist eine Verallgemeinerung von Cantors zweitem Diagonalargument. Er ist in allen Modellen gültig, die das Aussonderungsaxiom erfüllen.Heinz-Dieter Ebbinghaus zufolge war es dieser Beweis Cantors, der Bertrand Russell die Idee zu dessen Antinomie lieferte.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, wie sich zeigt, auch für unendliche Mengen.

Beweis 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 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 Man kann die Überabzählbarkeit der Menge der reellen Zahlen 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 Oliver Deiser: Einführung in die Mengenlehre. Springer, Berlin Heidelberg 2004, 2. Auflage. ISBN 978-3-540-20401-5.

Einzelnachweise

Anmerkungen

Cantor, Satz von Kategorie:Georg Cantor als Namensgeber