R/Überabzählbar/Fakt/Beweis
Zur Navigation springen
Zur Suche springen
Beweis
Nehmen wir an, die Menge der reellen Zahlen sei abzählbar, dann ist insbesondere auch das Einheitsintervall abzählbar. Es sei also
eine surjektive Abbildung. Wir betrachten die reellen Zahlen als Ziffernfolgen im Dreiersystem: Jede reelle Zahl besitzt eine eindeutig bestimmte Darstellung als Reihe
wobei die -te Nachkommaziffer ist und wobei nicht fast alle Ziffern gleich sind (sonst hätte man keine Eindeutigkeit). Wir definieren nun eine reelle Zahl durch mit
Wir behaupten, dass diese Zahl nicht in der Aufzählung vorkommt. Für jedes ist nämlich
da sich nach Konstruktion von an der -ten Nachkommastelle unterscheidet. Also ist doch nicht surjektiv.