Den ersten Teil würde ich wie folgt beweisen:
Besser sagst du noch: Sei m∈M
( f ° idM ) (m) =f (idM(m)) =f(m).
Also gilt für alle m∈M
( f ° idM ) (m) =f(m) und außerdem habe beide
Abbildungen gleichen Definitions- und Zielbereich,
also sind sie gleich: f ° idM =f.
2. Teil entsprechend: Sei m∈M.
(idN ° f)(m) = idN( f(m) ) = f(m) , weil f(m)∈N.
Also gilt für alle m∈M
(idN ° f)(m) = f(m) und außerdem habe beide
Abbildungen gleichen Definitions- und Zielbereich,
also sind sie gleich: idN ° f =f.