Björn Luck
2004-10-17 00:03:35 UTC
Hallo,
man hat mir folgende Aufgabe gestellt:
"Definieren Sie eine Abbildung f: N->N mit folgenden Eigenschaften:
(a) f ist surjektiv, und
(b) die Menge der Urbilder von 1 unter f hat unendlich viele Elemente."
Beim Nachdenken über diese Aufgabe bin ich zu dem Schluss gekommen, dass es
keine Lösung gibt. Ich habe geschrieben:
"Die Aufgabe ist nicht lösbar, da es keine Abbildung mit den geforderten
Eigenschaften gibt.
Beweis:
Zunächst ist bijektiv(f), da nach Voraussetzung surjektiv(f); ausserdem
injektiv(f), wie im Folgenden gezeigt.
Angenommen nicht injektiv(f).
Dann \EXIST x1, x2 (x1 != x2 UND f(x1) = f(x2) )
Daher |Df| > |Wf|. Ist ein Widerspruch, denn nach Aufgabenstellung ist Wf =
Df = N und daher |Df| = |Wf|.
Daher injektiv(f) und somit bijektiv(f).
Da bijektiv(f), hat jedes Element des Wertebereichs genau ein Urbild."
Allerdings bin ich bei den Recherchen zur Aufgabe auf Hilberts Grand Hotel
gestossen, in dem alle unendlich vielen Plätze belegt sind und das trotzdem
noch beliebig viele Gäste aufnehmen kann. Vermasselt das oder etwas anderes
meinen (versuchten) Beweis?
Anm.: N ist hier die Menge der nat. Zahlen. \EXIST ist der Existenzquantor.
!= heißt ungleich. UND ist die logische Konjuktion. Df und Wf sind
Definitions- und Wertebereich. |x| meint die Anzahl der Elemente der Menge
x.
Björn.
man hat mir folgende Aufgabe gestellt:
"Definieren Sie eine Abbildung f: N->N mit folgenden Eigenschaften:
(a) f ist surjektiv, und
(b) die Menge der Urbilder von 1 unter f hat unendlich viele Elemente."
Beim Nachdenken über diese Aufgabe bin ich zu dem Schluss gekommen, dass es
keine Lösung gibt. Ich habe geschrieben:
"Die Aufgabe ist nicht lösbar, da es keine Abbildung mit den geforderten
Eigenschaften gibt.
Beweis:
Zunächst ist bijektiv(f), da nach Voraussetzung surjektiv(f); ausserdem
injektiv(f), wie im Folgenden gezeigt.
Angenommen nicht injektiv(f).
Dann \EXIST x1, x2 (x1 != x2 UND f(x1) = f(x2) )
Daher |Df| > |Wf|. Ist ein Widerspruch, denn nach Aufgabenstellung ist Wf =
Df = N und daher |Df| = |Wf|.
Daher injektiv(f) und somit bijektiv(f).
Da bijektiv(f), hat jedes Element des Wertebereichs genau ein Urbild."
Allerdings bin ich bei den Recherchen zur Aufgabe auf Hilberts Grand Hotel
gestossen, in dem alle unendlich vielen Plätze belegt sind und das trotzdem
noch beliebig viele Gäste aufnehmen kann. Vermasselt das oder etwas anderes
meinen (versuchten) Beweis?
Anm.: N ist hier die Menge der nat. Zahlen. \EXIST ist der Existenzquantor.
!= heißt ungleich. UND ist die logische Konjuktion. Df und Wf sind
Definitions- und Wertebereich. |x| meint die Anzahl der Elemente der Menge
x.
Björn.