g ◦ f : A →C invertierbar ist mit (g ◦ f)−1 = f−1 ◦ g−1.
Du brauchst nur zu zeigen, dass h= f−1 ◦ g−1 eine Abbildung
von C nach A ist, für die gilt h o (gof) = idA .
Sei also a ∈ A . Dann gilt (h o (gof))(a)
= h ( g(f(a)) )
= ( f^(−1) ◦ g^(−1)) ( g(f(a) )
= f^(-1) ( g^(−1) ( g(f(a)) )
= f^(-1) ( g^(−1) o g) (f(a) ) ) weil g^(−1) o g = idB also
= f^(-1) (f(a) ) = a weil f^(−1) o f = idA q.e.d.