|
Autor |
Überabzählbare Mengen Teil 2 |
|
JamesNguyen
Aktiv  Dabei seit: 08.11.2020 Mitteilungen: 300
 | Themenstart: 2020-11-25
|
Hallo,
f : A -> 2^A ist eine Funktion von A in die Potenzmenge 2^A
außerdem ist
M := { x \el A \| x \notel f(x) }
Es sei bereits gezeigt: f(a) != M für alle a \el A
Jetzt soll man den Satz von Cantor zeigen:
Für jede Menge A gilt \|A\| != \|(2^A)\|
Also Diophant
hat bereits angemerkt
zuerst zu zeigen, dass f nicht surjektiv ist
und deshalb auch nicht bijektiv sein kann.
Wie beginnt man damit zu zeigen das f nicht surjektiv ist?
Vielen Dank,
James
|
Profil
|
ochen
Senior  Dabei seit: 09.03.2015 Mitteilungen: 3806
Wohnort: der Nähe von Schwerin
 | Beitrag No.1, eingetragen 2020-11-25
|
Hallo,
es ist doch $M\in 2^A$ aber nicht im Bild von $f$, somit gibt es mindestens ein Element aus dem Bildraum, was nicht getroffen wird.
|
Profil
|
JamesNguyen
Aktiv  Dabei seit: 08.11.2020 Mitteilungen: 300
 | Beitrag No.2, vom Themenstarter, eingetragen 2020-11-25
|
Achso Vielen Dank,
Man weiß ja
M = { x \el A \| x \notel f(x) }
also M \subsetequal A also M \el 2^A
James
|
Profil
|
JamesNguyen hat die Antworten auf ihre/seine Frage gesehen. JamesNguyen hat selbst das Ok-Häkchen gesetzt. |
|
All logos and trademarks in this site are property of their respective owner. The comments are property of their posters, all the rest © 2001-2023 by Matroids Matheplanet
This web site was originally made with PHP-Nuke, a former web portal system written in PHP that seems no longer to be maintained nor supported. PHP-Nuke is Free Software released under the GNU/GPL license.
Ich distanziere mich von rechtswidrigen oder anstößigen Inhalten, die sich trotz aufmerksamer Prüfung hinter hier verwendeten Links verbergen mögen. Lesen Sie die
Nutzungsbedingungen,
die Distanzierung,
die Datenschutzerklärung und das Impressum.
[Seitenanfang]
|