Proof
(related to Proposition: The Inverse Of a Composition)
- By hypothesis, $f:A\mapsto B$ and $g:B\mapsto C$ are bijective functions.
- It is clear that both functions are invertible. Let $f^{-1}$ and $g^{-1}$ be their inverse functions.
- We want to show that for all $c\in C$ we have $(g\circ f)^{-1}(c)=(f^{-1}\circ g^{-1})(c).$
- If $c\in C$, then there is an $a\in A$ with $(g\circ f)(a)=g(f(a))=c,$ since the composition is a function, and in particular it is surjective.
- Since $g\circ f$ is bijective, it has an inverse $(g\circ f)^{-1}$ and we have $(g\circ f)^{-1}(c)=a.$ $(*)$
- On the other hand, we have $(f^{-1}\circ g^{-1})(c)=f^{-1}(g^{-1}(c))$.
- Since $c=g(f(a))$ we have further $(f^{-1}\circ g^{-1})(c)=f^{-1}(g^{-1}(g(f(a)))=f^{-1}(f(a))=a$. $(**)$
- Comparing $(*)$ with $(**)$ we get $(g\circ f)^{-1}(c)=(f^{-1}\circ g^{-1})(c)$ for all $c\in C.$
∎
Thank you to the contributors under CC BY-SA 4.0!
- Github:
-
References
Bibliography
- Wille, D; Holz, M: "Repetitorium der Linearen Algebra", Binomi Verlag, 1994