1a) Wie ist denn f^(-1) definiert ? Vermutlich doch so f^(-1) ist (wenn sie
denn existiert) die Abbildung mit fo f^(-1) = f^(-1)of = id M
f^(-1) injektiv: Seien a,b ∈ M mit f^(-1)(a) = f^(-1)(b)
==> f(f^(-1)(a) ) = f( f^(-1)(b) )
==> id(a) = id(b)
==> a=b . q.e.d.
f^(-1) surjektiv: Sei y ∈ M . zu zeigen: Es gibt x ∈ N mit
f^(-1) (x) = y .
Da y∈ M gibt es x = f(y) ∈ N
==> f^(-1) ( x) = f^(-1)(f(y) = ( f^(-1)of)(y) = id(y) = y.
q.e.d.