Soit un espace vectoriel sur de dimension finie . On considère deux endomorphismes et de .
On suppose que et possèdent au moins une valeur propre en commun.
Démontrer qu'il existe un endomorphisme de rang 1 tel que :
Traduire le problème en termes matriciels en fixant une base de .
Utiliser le fait qu'une matrice et sa transposée ont le même spectre sur .
Se souvenir que toute matrice de rang 1 peut s'écrire sous la forme où et sont des vecteurs colonnes non nuls.
Passage aux matrices pour utiliser la transposition.
Propriété spectrale : .
Caractérisation des matrices de rang 1 comme produits extérieurs.
Résolution.
Fixons une base de . Notons et les matrices représentatives de et dans cette base.
L'hypothèse stipule que et ont une valeur propre commune, ce qui revient à dire que :
Soit une valeur propre commune à et .
1. Recherche de vecteurs propres.
Puisque est valeur propre de , il existe un vecteur colonne non nul tel que :
D'autre part, nous savons que le polynôme caractéristique d'une matrice est identique à celui de sa transposée : .
Par conséquent, est également une valeur propre de . Il existe donc un vecteur colonne non nul tel que :
En appliquant la transposition à cette égalité, on obtient :
2. Construction de la matrice .
Considérons la matrice définie par le produit :
Cette matrice est le produit d'une matrice de format et d'une matrice de format . Ses colonnes sont toutes colinéaires au vecteur .
Comme et , la matrice n'est pas nulle et son image est la droite vectorielle engendrée par . On en déduit :
3. Vérification de la relation d'entrelacement.
Calculons maintenant les produits et en utilisant l'associativité du produit matriciel :
En utilisant la relation établie précédemment, il vient :
De la même manière, calculons :
En utilisant , on obtient :
On en conclut que :
Conclusion.
Soit l'endomorphisme dont la matrice dans la base est .
Puisque , l'endomorphisme est de rang 1. La relation matricielle se traduit exactement par :
L'erreur fréquente est de chercher sous la forme d'un polynôme en ou en . Or, un polynôme en commute avec , mais n'entrelace pas nécessairement et (sauf si ). Ici, la forme "rang 1" impose une structure de type .