Soit . On considère l'espace vectoriel muni de sa structure usuelle.
Déterminer l'ensemble des matrices telles que, pour toute matrice inversible , la matrice soit trigonalisable dans .
Rappeler qu'une matrice réelle est trigonalisable sur si et seulement si son polynôme caractéristique est scindé sur .
Étudier le cas où le rang de est inférieur ou égal à en calculant explicitement le polynôme caractéristique.
Pour le cas où , construire une matrice telle que possède un bloc stable agissant comme une rotation d'un quart de tour, empêchant ainsi l'existence de valeurs propres réelles pour ce bloc.
Lien entre trigonalisabilité sur et racines réelles du polynôme caractéristique.
Étude du polynôme caractéristique des matrices de rang .
Construction d'un contre-exemple par stabilité d'un plan pour le cas de rang élevé.
Résolution.
Soit . On rappelle qu'une matrice est trigonalisable sur si et seulement si son polynôme caractéristique est scindé sur .
Cas 1 : La matrice est de rang ou .
Si , alors . Pour tout , , qui est trivialement trigonalisable.
Supposons maintenant que . Soit . On a .
Si , on retombe sur le cas précédent. Si , alors est valeur propre de et la dimension du sous-espace propre associé est :
Ainsi, divise le polynôme caractéristique . Comme , il existe tel que :
On sait par ailleurs que la somme des racines (comptées avec multiplicité) est égale à la trace, donc . Le polynôme caractéristique est donc :
Ce polynôme est scindé sur car toutes ses racines ( et ) sont réelles. Ainsi, est trigonalisable pour tout .
Cas 2 : La matrice est de rang .
Nous allons montrer qu'il existe tel que n'est pas trigonalisable sur .
Comme , il existe deux vecteurs tels que la famille soit linéairement indépendante dans . Notons que cela implique que est également une famille libre.
On peut alors compléter en une base de . De même, on complète en une base de .
On définit l'application linéaire par les images des vecteurs de la base :
L'application transforme une base en une base, donc est un automorphisme de , soit . Calculons l'action de sur le plan :
Le plan est donc stable par . La matrice de la restriction de à dans la base est :
Le polynôme caractéristique de cette restriction est . D'après les propriétés des matrices par blocs (en complétant la base du plan en une base de l'espace), le polynôme caractéristique de la restriction divise celui de l'endomorphisme total :
Or, n'a pas de racines réelles. Donc n'est pas scindé sur . Par conséquent, n'est pas trigonalisable sur .
Conclusion.
L'ensemble recherché est constitué des matrices de rang inférieur ou égal à .
Une erreur classique est d'oublier de vérifier si la matrice construite est bien inversible. Il est crucial de définir sur une base complète de l'espace pour garantir son inversibilité.