Cantors erster Überabzählbarkeitsbeweis

Cantors erster Überabzählbarkeitsbeweis

Georg Cantors erster Beweis, dass die reellen Zahlen eine überabzählbare Menge bilden ist Cantors erster Überabzählbarkeitsbeweis. Er kommt ohne das Dezimalsystem oder irgendein anderes Zahlensystem aus. Die Behauptung und der erste Beweis wurden von Cantor im Dezember 1873 entdeckt, und 1874 in Crelles Journal (Journal für die Reine und Angewandte Mathematik, Bd. 77, 1874) veröffentlicht. Viel bekannter wurde sein 1877 gefundener zweiter Beweis dafür, Cantors zweites Diagonalargument.

Der Satz

Sei R eine Menge, die

  • mindestens zwei Elemente enthält,
  • total geordnet ist,
  • dicht geordnet ist, d. h. zwischen je zwei Elementen befindet sich stets ein weiteres,
  • keine Lücken hat, d. h. wenn R partitioniert ist in zwei nichtleere Teilmengen A und B, so dass jedes Element von A kleiner als jedes Element von B ist, dann gibt es ein Element c, so dass jedes Element, das kleiner als c ist, in A und jedes Element, das größer als c ist, in B liegt. Dabei ist c entweder aus A oder aus B (ein sogenannter Dedekindscher Schnitt).

Dann ist R überabzählbar.

Die genannten Eigenschaften treffen insbesondere auf \R sowie bereits auf jedes beliebig gewählte Intervall (z. B. [0,1]) zu, so dass insbesondere diese Mengen überabzählbar sind.

Der Beweis

Zunächst sei bemerkt, dass aus der Eigenschaft, dicht und total geordnet zu sein, bereits folgt, dass zwischen zwei Elementen a,b von R mit a < b sogar unendlich viele Elemente von R liegen müssen. Gäbe es nämlich nur endlich viele, so gäbe es hierunter ein größtes, etwa x. Zwischen x und b müsste dann ein weiteres Element liegen, x < y < b. Aber dies stünde im Widerspruch zur Maximalität von x.

Zum Beweis der Überabzählbarkeit nehmen wir an, dass es eine Folge (x_1,x_2,\ldots) in R gibt, die ganz R als Folgeglieder hat. Wir dürfen oBdA. voraussetzen, dass x1 < x2 gilt (sonst vertausche man diese beiden Folgenglieder). Nun definieren wir zwei weitere Folgen (a_1,a_2,\ldots) und (b_1,b_2,\ldots):

a1 = x1 sowie b1 = x2. Laut Voraussetzung gilt also a1 < b1.
an + 1 = xi, wobei i der kleinste Index ist, der größer ist als der zuvor für bn ausgewählte Index und für den an < xi < bn gilt. Dies geht, weil R dicht geordnet ist. Es gibt ja laut Vorbemerkung unendlich viele i mit an < xi < bn und höchstens endlich viele dieser Kandidaten werden durch den Vergleich mit dem zu bn gehörigen Index ausgeschlossen.
bn + 1 = xi, wobei i der kleinste Index ist, der größer ist als der zuvor für an + 1 ausgewählte Index und für den an + 1 < xi < bn gilt. Wieder geht dies, weil R dicht ist.

Die Folge (an) ist streng monoton wachsend, die Folge (bn) ist streng monoton fallend, und die beiden Folgen beschränken sich gegenseitig, da an < bn ist für jedes n. Sei A die Menge derjenigen Elemente von R, die kleiner als sämtliche bn sind und sei B das Komplement. Dann enthält A unter anderem alle an und B alle bn, die beiden Mengen sind also nicht leer. Außerdem ist jedes Element von B größer als jedes Element von A: Ist x\in A und y\in B, so gibt es ein n mit b_n\le y nach Definition von B; dann folgt aber x<b_n\le y nach Definition von A. Es handelt sich also bei (A,B) um einen Dedekind-Schnitt, so dass es wegen der Lückenlosigkeit von R ein Element c geben muss, für welches insbesondere an < c < bn für jedes n gilt.

Da c wie jedes Element von R in der Folge (xi) auftritt, gibt es einen Index j, so dass c = xj ist. Hierbei ist gewiss j > 2, denn c ist von a1 und b1 verschieden. Sei n die kleinste natürliche Zahl mit der Eigenschaft, dass an + 1 = xi für ein i > j oder bn + 1 = xi mit i > j gilt. In beiden Fällen ergibt sich ein Widerspruch zur Wahl von i, da ja bereits an < xj < bn bzw. an + 1 < xj < bn gilt.

Dieser Widerspruch kann nur aufgehoben werden, indem man die Existenz der Folge (x_1,x_2,\ldots) verneint, d. h. R ist überabzählbar.

Reelle algebraische und transzendente Zahlen

Im gleichen Werk von 1874 bewies Cantor, dass die Menge der reellen algebraischen Zahlen abzählbar ist, woraus sofort die Existenz von überabzählbar vielen transzendenten Zahlen folgt. Die Existenzaussage an sich war nicht neu: Joseph Liouville hatte bereits 1844 einige transzendente Zahlen explizit angegeben.


Wikimedia Foundation.

Игры ⚽ Поможем сделать НИР

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Cantors zweites Diagonalargument — ist ein mathematischer Beweis dafür, dass die Menge der reellen Zahlen überabzählbar ist, und allgemeiner, dass die Abbildungen einer Menge nach {0,1} sowie die Potenzmenge einer Menge mächtiger als diese Menge sind. Der Mathematiker Georg Cantor …   Deutsch Wikipedia

  • Überabzählbar — Eine Menge heißt überabzählbar, wenn sie nicht abzählbar ist. Dabei heißt eine Menge abzählbar, wenn sie entweder endlich ist oder eine Bijektion zur Menge der natürlichen Zahlen existiert. Eine Menge ist also genau dann überabzählbar, wenn ihre… …   Deutsch Wikipedia

  • Überabzählbare Menge — Eine Menge heißt überabzählbar, wenn sie nicht abzählbar ist. Dabei heißt eine Menge abzählbar, wenn sie entweder endlich ist oder eine Bijektion zur Menge der natürlichen Zahlen existiert. Eine Menge ist also genau dann überabzählbar, wenn ihre… …   Deutsch Wikipedia

  • Crelles Journal — Das Journal für die reine und angewandte Mathematik, kurz Crelles Journal, ist eine der renommiertesten mathematischen Fachzeitschriften. Es wurde 1826 in Berlin gegründet und ist damit das älteste heute noch existierende Periodikum im Bereich… …   Deutsch Wikipedia

  • Crelles Journal für die reine und angewandte Mathematik — Das Journal für die reine und angewandte Mathematik, kurz Crelles Journal, ist eine der renommiertesten mathematischen Fachzeitschriften. Es wurde 1826 in Berlin gegründet und ist damit das älteste heute noch existierende Periodikum im Bereich… …   Deutsch Wikipedia

  • Journ. für Math. — Das Journal für die reine und angewandte Mathematik, kurz Crelles Journal, ist eine der renommiertesten mathematischen Fachzeitschriften. Es wurde 1826 in Berlin gegründet und ist damit das älteste heute noch existierende Periodikum im Bereich… …   Deutsch Wikipedia

  • Journal für Mathematik — Das Journal für die reine und angewandte Mathematik, kurz Crelles Journal, ist eine der renommiertesten mathematischen Fachzeitschriften. Es wurde 1826 in Berlin gegründet und ist damit das älteste heute noch existierende Periodikum im Bereich… …   Deutsch Wikipedia

  • Überabzählbarkeit — Eine Menge heißt überabzählbar, wenn sie nicht abzählbar ist. Dabei heißt eine Menge abzählbar, wenn sie entweder endlich ist oder eine Bijektion zur Menge der natürlichen Zahlen existiert. Eine Menge ist also genau dann überabzählbar, wenn ihre… …   Deutsch Wikipedia

  • Konstruktivistische Mathematik — Der mathematische Konstruktivismus ist eine Richtung der Philosophie der Mathematik, die den Standpunkt vertritt, dass mathematische Aussagen keine Beschreibung von ontologischen Objekten sind, die unabhängig von unserem Denken existieren,… …   Deutsch Wikipedia

  • Mathematischer Konstruktivismus — Der mathematische Konstruktivismus ist eine Richtung der Philosophie der Mathematik, die den Standpunkt vertritt, dass mathematische Aussagen keine Beschreibung von ontologischen Objekten sind, die unabhängig von unserem Denken existieren,… …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”