Angenommen, für alle s∈A gilt g(f(s))=s. Zeigen Sie anhand der Definition: f ist injektiv.
Die Def. sagt : f injektiv <=> Für alle u,v ∈ A gilt f(u)=f(v) ==> u=v
[ Oder die äquivalente Formulierung u≠v ==> f(u)≠f(v) ]
Seien also u,v ∈ A mit f(u) = f(v) wegen der Eindeutigkeit von Abbildungen:
==> g(f(u)) = g(f(v)) nach Vor. also
==> u = v. q.e.d.