| 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.   |