Erläuterungen zum Hilbert-Hotel
Verfasst: Freitag 18. Dezember 2015, 16:25
Hallo zusammen,
der User pane hat im astronews-Forum eine sehr schöne Zusammenfassung über das Hilbert-Hotel und den Cantor'schen Diagonalbeweis erstellt; ich kann mir aber vorstellen, dass das vor allem für den Laien Fragen aufwirft.
Im ersten Absatz des Beitrages von pane wird gezeigt, dass die menge der natürlichen Zahlen vereinigt mit der Zahl gleichmächtig zur Menge der natürlichen Zahlen ist, obgleich letztere eine echte Teilmenge von ersterer ist.
Im 2.Absatz wird dann gezeigt, dass wenn die negative ganzen Zahlen dazugenommen warden, also die Menge der ganzen Zahlen entsteht, diese ebenfalls gleichmächtig zur Menge der natürlichen Zahlen ist.
Im 3.Absatz wird das alles auf die rationale Zahlen erweitert, d.h. obgleich diese dicht in den reellen Zahlen liegen, d.h. jede reelle Zahl beliebig genau durch eine rationale Zahl approximiert werden kann, ist auch diese Menge nur gleichmächtig zur Menge der natürlichen Zahlen.
Das legt natürlich den Verdacht nahe, dass auch die reellen Zahlen gleichmächtig zur Menge der natürlichen Zahlen ist, aber dem ist nicht so, wie man in pane's Beitrag in den Abschnitten 4 und 5 nachlesen kann, in denen er den Beweis des Cantor'schen Diagonalbeweises skizziert.
Man kann das ganze noch weitertreiben und sich Gedanken über Zahlen wie die Quadratwurzel aus 2 und ähnliche machen, doch sind diese - das sind die algebraischen Zahlen, ebenfalls gleichmächtig zu der Menge der natürlichen Zahlen, wie ich hier skizziert habe.
Wenn ich mich recht entsinne ist aber schon die Menge der Liouville'schen Zahlen nicht mehr gleichmächtig zur Menge der natürlichen Zahlen. Trotzdem gibt es transzendente Zahlen, die nicht Liouville'sch sind, wie beispielsweise die zweite nachgewiesene transzendente Zahl (ein Jahr vor dem Cantor'schen Diagonalbeweis), die Euler'sche Zahl, was aber erst recht spät bewiesen werden konnte.
Freundliche Grüsse, Ralf
der User pane hat im astronews-Forum eine sehr schöne Zusammenfassung über das Hilbert-Hotel und den Cantor'schen Diagonalbeweis erstellt; ich kann mir aber vorstellen, dass das vor allem für den Laien Fragen aufwirft.
Im ersten Absatz des Beitrages von pane wird gezeigt, dass die menge der natürlichen Zahlen vereinigt mit der Zahl gleichmächtig zur Menge der natürlichen Zahlen ist, obgleich letztere eine echte Teilmenge von ersterer ist.
Im 2.Absatz wird dann gezeigt, dass wenn die negative ganzen Zahlen dazugenommen warden, also die Menge der ganzen Zahlen entsteht, diese ebenfalls gleichmächtig zur Menge der natürlichen Zahlen ist.
Im 3.Absatz wird das alles auf die rationale Zahlen erweitert, d.h. obgleich diese dicht in den reellen Zahlen liegen, d.h. jede reelle Zahl beliebig genau durch eine rationale Zahl approximiert werden kann, ist auch diese Menge nur gleichmächtig zur Menge der natürlichen Zahlen.
Das legt natürlich den Verdacht nahe, dass auch die reellen Zahlen gleichmächtig zur Menge der natürlichen Zahlen ist, aber dem ist nicht so, wie man in pane's Beitrag in den Abschnitten 4 und 5 nachlesen kann, in denen er den Beweis des Cantor'schen Diagonalbeweises skizziert.
Man kann das ganze noch weitertreiben und sich Gedanken über Zahlen wie die Quadratwurzel aus 2 und ähnliche machen, doch sind diese - das sind die algebraischen Zahlen, ebenfalls gleichmächtig zu der Menge der natürlichen Zahlen, wie ich hier skizziert habe.
Wenn ich mich recht entsinne ist aber schon die Menge der Liouville'schen Zahlen nicht mehr gleichmächtig zur Menge der natürlichen Zahlen. Trotzdem gibt es transzendente Zahlen, die nicht Liouville'sch sind, wie beispielsweise die zweite nachgewiesene transzendente Zahl (ein Jahr vor dem Cantor'schen Diagonalbeweis), die Euler'sche Zahl, was aber erst recht spät bewiesen werden konnte.
Freundliche Grüsse, Ralf