Soit et une matrice nilpotente.
On considère un complexe et on définit la matrice .
Soit un polynôme. Démontrer que est diagonalisable si et seulement s'il existe un scalaire tel que .
Utiliser la formule de Taylor pour les polynômes afin d'exprimer en fonction des puissances de .
Identifier la partie scalaire et la partie nilpotente de .
Se souvenir qu'une matrice nilpotente est diagonalisable si et seulement si elle est nulle.
Décomposition d'une matrice en une partie scalaire et une partie nilpotente.
Propriété spectrale des matrices nilpotentes : leur seule valeur propre est .
Une matrice nilpotente est diagonalisable si et seulement si elle est nulle.
1. Expression de à l'aide de la formule de Taylor.
Puisque les matrices et commutent, nous pouvons appliquer la formule de Taylor pour le polynôme au voisinage de :
En évaluant cette égalité en la matrice , nous obtenons :
Isolons le premier terme de la somme () :
2. Analyse de la composante nilpotente.
Posons .
Puisque est une matrice nilpotente, il existe un entier tel que .
Toute combinaison linéaire de puissances de d'indice supérieur ou égal à est également une matrice nilpotente (car elle appartient à l'algèbre et n'a pas de terme constant en ). Plus précisément, commute avec .
Ainsi, nous avons la décomposition suivante :
3. Preuve de l'équivalence.
Si , alors est une matrice scalaire. Toute matrice scalaire est trivialement diagonalisable.
Supposons que soit diagonalisable.
Une matrice est diagonalisable si et seulement si est diagonalisable pour tout .
En choisissant , on en déduit que la matrice suivante est diagonalisable :
Or, nous avons établi que est une matrice nilpotente.
Le seul polynôme annulateur scindé à racines simples d'une matrice nilpotente est le polynôme . En effet, si est nilpotente et diagonalisable, ses valeurs propres sont toutes nulles, donc sa forme diagonale est la matrice nulle.
Il en résulte nécessairement :
Par conséquent, . En posant , on obtient bien la forme souhaitée.
Attention à ne pas oublier que la somme de deux matrices nilpotentes n'est nilpotente que si elles commutent. Ici, toutes les puissances commutent entre elles, ce qui justifie la nilpotence de .