Seien X, Y Mengen. Zeigen Sie, dass f : X → Y genau dann bijektiv ist, wenn eine
Abbildung g : Y → X existiert, mit f ◦ g = idY und g ◦ f = idX. Zeigen Sie weiterhin
die Eindeutigkeit der Abbildung g in diesem Fall.
Erinnerung: Ist A eine nichtleere Menge, so bezeichnet idA die Identitatsabbildung
idA : A → A, x → x
Kann mir da bitte einer helfen? Ich komme einfach nicht weiter
