# 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

1. Wille, D; Holz, M: "Repetitorium der Linearen Algebra", Binomi Verlag, 1994
{"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 1, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0}