Überabzählbar |
11.11.2008, 22:14 | Romaxx | Auf diesen Beitrag antworten » | ||||
Überabzählbar Beweisen Sie, dass die Mengen und gleichmächtig sind. Ich brauche ein paar Ansätze oder Ideen. p.s. Ich gehe davon aus, dass reelle Intervalle sind. (Die Aufgabe oben wurde wortwörtlich übernommen) |
||||||
12.11.2008, 13:26 | Abakus | Auf diesen Beitrag antworten » | ||||
RE: Überabzählbar Betrachte mit folgender Relation: Jetzt denke einmal über das Zorn'sche Lemma und evtl. Eigenschaften des max. Elementes nach. Grüße Abakus |
||||||
12.11.2008, 14:04 | Reksilat | Auf diesen Beitrag antworten » | ||||
RE: Überabzählbar Ich bin mir nicht sicher ob das mit Zorn hier funktioniert, denn wie willst Du gewährleisten, dass Du als maximale Elemente auch Funktionen mit überabzählbar großem Definitionsbereich erhältst? Ich denke, dass Du man sich eher auf die Dezimaldarstellung konzentrieren sollte, damit bekommt man recht gut eine injektive Abbildung |
||||||
12.11.2008, 17:53 | Abakus | Auf diesen Beitrag antworten » | ||||
RE: Überabzählbar
Das lässt sich nicht gewährleisten. Dieser Fall lässt sich jedoch durch Iteration des Verfahrens zum Widerspruch führen.
Eine interessante Idee, ja. Grüße Abakus |
||||||
12.11.2008, 19:28 | Romaxx | Auf diesen Beitrag antworten » | ||||
RE: Überabzählbar @Abakus: Schöne Idee, aber das zornsche Lemma wurde noch nicht eingeführt. Mein bisheriger Ansatz lautet wie folgt: Sei für fest. Die sind offensichtlich bijektiv, d.h. Im letzten Schritt wird verwendet, dass die Vereinigung überabzählbar vieler überabzählbarer Mengen wieder überabzählbar ist, also die Mächtigkeit besitzt. Die Sache ist aber die, das wir ähnliches bisher nur für abzählbare Mengen gezeigt haben (Cantor). Ich denke, dass das Argument schon gilt, nur weiß ich nicht, wie ich es begründen kann. Jemand von euch vielleicht. @Reksilat: Kannst du das näher ausführen? |
||||||
12.11.2008, 20:41 | Reksilat | Auf diesen Beitrag antworten » | ||||
RE: Überabzählbar Ich bilde das Paar , mit und (Dezimalschreibweise) auf ab. Ist nur nicht surjektiv, da z.B 0,9090909... kein Urbild hat. Zu Deinem Ansatz: Du kannst dann auch genauso schreiben, aber das bringt Dich nicht weiter. "dass die Vereinigung überabzählbar vieler überabzählbarer Mengen wieder überabzählbar ist" ist ja letztlich genau das was Du zeigen musst, aber das Argument der abzählbaren Mengen schlägt hier komplett fehl. Das Problem ist, dass alle abzählbaren Mengen gleich mächtig sind, aber bei den überabzählbaren gibt es eben unterschiedliche Mächtigkeiten und man muss dann halt mit einer Bijektion zwischen den Mengen argumentieren. ( und haben unterschiedliche Mächtigkeit, sind aber beide überabzählbar) |
||||||
Anzeige | ||||||
|
||||||
12.11.2008, 21:28 | Romaxx | Auf diesen Beitrag antworten » | ||||
RE: Überabzählbar
Mit überabzählbar meinte ich die Mächtigkeit . Vielleicht etwas unkonkret ausgedrückt. Mit ist schon klar, dass es eine unendliche Hirarchie von Unendlich gibt. Was ich konkret wissen will, ob es eine Verallgemeinerung der Form: Die Vereinigung vieler Mengen ist wieder gibt. p.s. Danke, das Beispiel genügt mir bereits, denn nun kann ich das Cantor-Bernstein-Schröder-Theorem anwenden. |
|
Verwandte Themen
Die Beliebtesten » |
|
Die Größten » |
Die Neuesten » |