05.10 Applications inversibles

Lemme

Pour une application $T:V\to W$ une application linéaire bijective, alors on a $S:W\to V$ tq $T\circ S=i{d}_W$ et $S\circ T=i{d}_V$ est linéaire.

Alors $T$ est une application linéaire inversible avec inverse $S=T^{-1}$