Naja, zumindest ist der Hinweis wohl falsch. Es sollte doch heißen.
Und was hast Du für Kardinalitätsgleichungen kennengelernt?
Aber erst noch einmal zu a) f' darf zu jedem x nur ein f(x) besitzen - das ist aber so, weil f eine Abbildung ist.
Jedes f(x) muss auch im Bildraum liegen, und das ist so, weil er durch f(M) definiert ist.
Wenn f injektiv ist, heißt dies, dass aus f(x)=f(y) zwingend x=y folgt. Aber das überträgt sich doch auf f'.
Und f:M->N ist möglicherweise nicht surjektiv, wenn es Elemente in N\f(M) gibt, aber das kann ja gerade bei f' nicht sein, weil dort N durch f(M) ersetzt wird und f(M)\f(M) ist leer.
Dann ist f' bijektiv, denn das heißt ja gerade injektiv und surjektiv zu sein.
|