Soit et un corps ( ou ). Déterminer l'ensemble des matrices telles que, pour tout , la matrice soit diagonalisable dans .
Traiter d'abord le cas particulier .
Pour , raisonner par l'absurde en supposant .
Utiliser la réduction des matrices de rang (théorème de la base incomplète ou matrices équivalentes) pour se ramener à l'étude d'un produit .
Se souvenir qu'une matrice nilpotent non nulle n'est jamais diagonalisable. Chercher à construire tel que soit nilpotente de cet acabit.
Cas particulier de la dimension 1.
Caractérisation des matrices de rang .
Lien entre nilpotence, diagonalisabilité et polynôme minimal.
Résolution.
1. Cas .
Dans ce cas, est l'ensemble des scalaires. Toute matrice est diagonale, donc trivialement diagonalisable.
2. Cas .
Soit une matrice répondant au problème. Supposons, par l'absurde, que . Posons .
Il existe des matrices telles que , où est la matrice de rang dont les premiers coefficients diagonaux valent 1 et les autres 0.
Pour tout , la matrice est diagonalisable. Par similitude, la matrice est également diagonalisable.
Comme l'application est une bijection de sur lui-même, la condition est équivalente à :
Premier sous-cas : (A est inversible).
Si , alors . La condition devient : toute matrice est diagonalisable. Or, pour , il existe des matrices inversibles non diagonalisables, par exemple :
Second sous-cas : .
Considérons les colonnes de la matrice . Par définition de , les premières colonnes de sont les premières colonnes de , et les colonnes suivantes sont nulles. Notons les colonnes de . On a :
Puisque est inversible, nous pouvons choisir ses colonnes librement tant qu'elles forment une base de . Puisque , on peut choisir (le deuxième vecteur de la base canonique) et compléter par des vecteurs pour former une base.
Dans ce cas, la matrice possède une seule colonne non nulle (la première), qui est . On a donc .
Calculons le carré de cette matrice :
Ainsi, est une matrice nilpotente. Une matrice nilpotente est diagonalisable si et seulement si elle est nulle. Or, .
C'est une contradiction avec l'hypothèse de diagonalisabilité.
Conclusion.
L'unique matrice de rang qui pourrait éventuellement convenir a été exclue pour . Seule la matrice nulle vérifie toujours la condition (car est diagonalisable).
L'erreur classique est d'oublier de traiter le cas séparément, ou de penser que pourrait fonctionner. Si , alors , et toutes les matrices inversibles ne sont pas diagonalisables.