Es ist f: X->X. Wie zeige ich "Wenn es g: Y->X mit fog=id_Y gibt, so ist f surjektiv"?
Ich wähle ein y∈Y und weiss, dass y=f(g(y)) und wie kann ich daraus schlussfolgern, dass f surjektiv?
PS. ich muss also ein x finden, der mit f(x) = y ergibt. g(y) ist aber gleich x, d.h. g(y) =: x und damit habe ich die Surjektivität gezeit. Hatte black out :).
