Théorème : Caractérisation de la matrice d'un isomorphisme dans des bases choisies

On peut donc énoncer le théorème suivant

Théorème

Soient \(E \textrm{ et }\mathcal F\) deux \(\mathbf K\)-espaces vectoriels de type fini, de même dimension.

Une condition nécessaire et suffisante pour qu'une application linéaire \(\phi\) de\( E\) dans \(\mathcal F\) soit un isomorphisme est que la matrice associée à \(\phi\) par rapport à des bases et quelconques de \(E\) et \(\mathcal F\) respectivement, soit inversible.

De plus, si\( \phi\) est un isomorphisme de \(E\) dans \(\mathcal F\), et si \(\mathcal A=\textrm{Mat}_{\mathcal B_E}^{\mathcal B_F}(\phi)\), la matrice de \(\phi^{-1}\) par rapport aux bases \(\mathcal B_F\) et \(\mathcal B_E\) est égale à \(\mathcal A^{-1}\), inverse de la matrice \(\mathcal A\). Cela s'écrit :

\((\textrm{Mat}_{\mathcal B_E}^{\mathcal B_F}(\phi))^{-1}=\textrm{Mat}_{\mathcal B_E}^{\mathcal B_F}(\phi^{-1})\)

RemarqueRemarque 1

l'hypothèse \("E\) et \(\mathcal F\) ont la même dimension" joue un rôle fondamental tout au long de la démonstration.

RemarqueRemarque 2

il faut noter que l'intérêt de ce résultat est double, puisque non seulement il donne le résultat qualitatif, \(\phi\) et sont inversibles simultanément, mais aussi un résultat quantitatif puisqu'il donne explicitement l'expression de \((\textrm{Mat}_{\mathcal B_E}^{\mathcal B_F}(\phi))^{-1}\).