(a) Falls es eine Abbildung g : B → A mit f ◦ g = idB gibt, so ist f surjektiv.
Sei g : B→A mit f∘g=idB.
Sei b∈B.
Begründe dass es ein a∈A gibt, so dass f(a)=b ist.
(b) Falls es eine Abbildung h: B → A mit h ◦ f = idA gibt, so ist f injektiv.
Sei h : B→A mit h∘f=idA.
Seien a1,a2∈A.
Sei b∈B mit f(a1)=b und f(a2)=b.
Begründe dass dann a1=a2 ist.
(c) Falls es Abbildungen g : B → A mit f ◦ g = idB und h: B → A mit h ◦ f = idA gibt, soist f bijektiv und es gilt g = h.
Das ist einfache Folgerung aus (a) und (b)