0 Daumen
1,7k Aufrufe

Aufgabe:

Zeigen Sie |R|= |(0, 1)|= |P(N)|.


Problem/Ansatz:

ich kann nicht die aufgabe lösen,

Weißt jemand wie die gelöst werden kann.

Avatar von

Hallo,

ich verstehe nicht, worum es geht. Wofür stehen die Bezeichnungen?

Gruß Mathhilf

Es soll gezeigt werden, dass die drei angegebenen Mengen:

\(\mathbb{R}\), das Intervall \((0,1)\) und die Potenzmenge \(P(\mathbb{N})\)

die gleiche Mächtigkeit besitzen.

Danke für die schnelle Erklärung - jetzt sehe ich es auch ;-)

2 Antworten

+1 Daumen
 
Beste Antwort

Zur Gleichmächtigkeit von \(\mathbb{R}\) und \((0,1)\)

Betrachte die Abbildung \(f:\;\mathbb{R}\rightarrow (-1,1), \; x\mapsto \frac{x}{1+|x|}\).

Diese Abbildung ist eine Bijektion, wie man "leicht" nachweisen kann.

Ferner betrachten wir die Funktion \(g:\; (-1,1)\rightarrow (0,1),\; x\mapsto \frac{1}{2}(x+1)\).

Auch diese Abbildung ist offenbar eine Bijektion.

\(g\circ f:\; \mathbb{R}\rightarrow (0,1)\) ist dann eine Bijektion und damit

ist die Gleichmächtigkeit von \(\mathbb{R}\) und \((0,1)\) gezeigt.

Zum Nachweis der Gleichmächtigkeit von \((0,1)\) mit \(P(\mathbb{N})\)

mache ich mir angesichts der vielen Spezialfälle das Leben leichter:

Betrachte die offenbar injektive Abbildung

\(h:\; P(\mathbb{N})\rightarrow (0,1)\) definiert durch

\(h(M)=10^{-1}+\sum_{i \in M}10^{-(i+2)}\).

Dies ist eine injektive Abbildung, aus der sich \(|P(\mathbb{N})|\leq |(0,1)|\)

ergibt. Andererseits ist \(P(\mathbb{N})\) überabzählbar,

d.h. \(|\mathbb{N}|<|P(\mathbb{N})|\leq |(0,1)|=c\).

Gemäß der Continuumhypothese ist daher \(|P(\mathbb{N})|= |(0,1)|\).

Avatar von 29 k

Was meinst du mit leicht?

Wie kommst du auf dein g?

Zu meinem \(g\):

Man verschiebe (-1,1) um 1 nach rechts, dann bekommt man (0,2).

Dies wird mit dem Faktor 1/2 gestaucht ;-)

Mit dem "leicht" meine ich, dass der Knackpunkt der Nachweis

der Injektivität ist, also \(f(x_1)=f(x_2)\Rightarrow x_1=x_2\),

was aber zu meistern ist ...

Danke.

Ich versuche in diesem Bereich ein wenig dazuzulernen, obwohl er mir

eigentlich nicht liegt. :)

Für dich als Profis ist das ein Kinderspiel, wie ich sehe.

Das freut mich :-)
Man kann gar nicht genug dazulernen ....

LG ermanus

Für \( f \) bietet sich je nach Vorwissen auch die Bijektion

$$ f : \mathbb R \to \left(-\frac{\pi}{2}, \frac{\pi}{2}\right), ~ x\mapsto \arctan(x) $$

an. g muss man dann wieder etwas anpassen.

Oh ja, auch eine gute Idee :-)
Danke!

Könnten Sie bitte auch die Gleichmächtigkeit von (0,1) mit P(N) nachweisen.

Vielen Dank im Voraus.

OK! ich ergänze meine Antwort entsprechend.

Vielen Danke,

dann warte ich auch Ihre Rückmeldung.

Mit freundlichen Grüßen

@ali12322: Antwort ist ergänzt!

Die Kontinuumshypothese ist in gängigen Axiomsystemen (zB. ZFC) nicht entscheidbar und kann somit nicht zum Beweis herangezogen werden.

Der Fragesteller muss also wohl oder übel explizit eine hässliche Injektion von (0,1) nach P(IN) ausarbeiten.

Ob man die Continuumhypothese voraussetzen darf, hängt ja von den

Vorlesungen, die der Fragesteller zugrundelegen darf, ab.

Das müssen wir also den Fragesteller fragen ;-)

Die Lösungsmethode hat mich erstaunt, schön, wunderbar, man kann so antworten wie man will, wichtig ist zu beweisen.


Vielen Dank für Ihre und Eure Hilfe.

Mit freundlichen Grüßen

0 Daumen

Die Menge der Zahlen zwischen 0 und 1 ist nicht abzählbar, sondern überabzählbar unendlich.

Avatar von 81 k 🚀

Das dürfte Alis Frage denn ja wohl beantworten

Echt ????????  \(\;\;                                \;\)

@ermanus

Hallo, ich brauche Ihre Hilfe.

Könnten Sie mir bitte helfen.

Ein anderes Problem?

Stell deine Frage

Willkommen bei der Mathelounge! Stell deine Frage einfach und kostenlos

x
Made by a lovely community