Propriété caractéristique de la matrice associée à un automorphisme dans une base choisie

On va caractériser le fait d'être bijectif pour un endomorphisme, par une propriété de sa matrice dans une base choisie. C'est une simple application des résultats de l'étude des isomorphismes entre deux espaces vectoriels de même dimension. Cette dernière hypothèse est évidemment réalisée dès que l'on considère une application linéaire d'un espace de type fini dans lui-même.

On a donc la propriété suivante :

Théorème

Soit un -espace vectoriel de type fini.

Une condition nécessaire et suffisante pour qu'une application linéaire de dans soit un automorphisme est que la matrice associée à dans une base quelconque de soit inversible.

De plus, si est un automorphisme de et si , la matrice de dans la base est égale à , inverse de la matrice .

Cela s'écrit :

Légende :
Apprendre
S'évaluer
S'exercer
Observer
Simuler
Réalisé avec Scenari (nouvelle fenêtre)