|
Hallo zusammen.

Dass alle überabzählbaren Teilmengen von IR gleichmächtig sind, ist eine Behauptung, die zur Kontinuumshypothese äquivalent ist, welche in der Mengenlehre ZFC nicht entscheidbar ist, aber üblicherweise als Axiom angenommen wird.
Dass es eine Bijektion von (0, 1) nach [0, 1] gibt, kann man aber auch ohne das beweisen, indem man explizit eine konstruiert. Selbst eine zu finden, halt ich für sehr instruktiv, daher werde ich hier erstmal keine angeben.
Einfacher ist es vielleicht für den Anfang, eine Bijektion von [0, 1) nach [0, 1] zu finden.
Gruß,
Christian
|