Wie zeige ich, dass es keine surjektive Abbildung geben kann?

Hallo liebe Community,

ich soll zeigen, dass es keine surjektive Abbildung M -> P(M) geben kann. Dabei ist P(M) die Potenzmenge der Menge M.

Gegeben ist noch folgendes: Betrachten Sie dazu die Menge:

$B:=\left\{x∈M|x/∈f(x)\right\}⊂P(M)$

Ich verstehe nicht wie mir die Menge B bei dem Beweis helfen soll. Irgendwie ergibt die Menge keinen Sinn. Die Menge sind alle Elemente aus M die aber nicht Element aus f(x) sind, aber gleichzeitig wieder eine Teilmenge von P(M) sind.

Wenn ich z.B. M={a} habe dann ist ja P(M) = {leere Menge, {a}}.

Wenn ich jetzt probiere die Menge B zu konstruieren, dann nehme ich alle Elemente aus M die nicht Element von f(x) sind. Das ist ja nur das Element a. Aber a ist keine Teilmenge von P(M). Ich verstehe nicht was mir diese Menge bringen soll.

Kann mir hier vielleicht jemand einen einen Anreiz geben? Ist das mit der Menge B vielleicht so zu verstehen, dass ich einen Beweis durch Widerspruch benutzen soll, weil die Menge ansich irgendwie widersprüchlich ist?

Answer 1

[Mathmaninoff, UserMod Light]

Kann mir hier vielleicht jemand einen einen Anreiz geben? Ist das mit der Menge B vielleicht so zu verstehen, dass ich einen Beweis durch Widerspruch benutzen soll, weil die Menge ansich irgendwie widersprüchlich ist?

Richtig, die Menge ist irgendwie widersprüchlich. Untersuche, ob es ein Element aus M gibt, dass auf B abgebildet wird.

Wenn ich jetzt probiere die Menge B zu konstruieren, dann nehme ich alle Elemente aus M die nicht Element von f(x) sind. Das ist ja nur das Element a. Aber a ist keine Teilmenge von P(M). Ich verstehe nicht was mir diese Menge bringen soll.

f bildet ein Element aus der Menge M auf eine Teilmenge von M ab. Man könnte also bei M = {a} f(a) = {a} oder f(a) = ∅ wählen. B wäre dann ∅ bzw. {a}.