Endomorphisme ou matrice diagonalisable

Pour dterminer dans la pratique si un endomorphisme d'un K-espace vectoriel de type fini ou
une matrice de ( )
n
M K est diagonalisable on peut procder de la faon suivante :
Actions Outils
Calculer le polynme caractristique. Calcul d'un dterminant dpendant d'un
paramtre en le factorisant.
Dterminer ses racines dans K et leur ordre de multiplicit.
Dcider si le polynme caractristique est ou non scind
dans K.
Factorisation d'un polynme en des
polynmes coefficients dans K.
Si la rponse est non, s'arrter.
Si la rponse est oui, continuer.
La condition ncessaire et suffisante
(*)
de diagonalisation faisant intervenir le
polynme caractristique.
Chercher la dimension des sous-espaces propres relatifs
aux valeurs propres multiples s'il y en a (on sait d'avance
que la dimension des sous-espaces propres relatifs aux
valeurs propres simples est gale 1).
Rsolution de systmes linaires par la
mthode du Pivot de Gauss (on sait
d'avance que les systmes considrs ne
sont pas de Cramer).
Dire si l'endomorphisme ou la matrice est diagonalisable
en utilisant le thorme.
La condition ncessaire et suffisante
(*)
de diagonalisation faisant intervenir le
polynme caractristique.
Si l'endomorphisme ou la matrice est diagonalisable,
dterminer une base de vecteurs propres.
Pour cela il suffit d'avoir une base de chacun des sous-
espaces propres. En effet, leur somme est directe et gale
E, donc la runion de ces bases est une base de l'espace E.
En fait ce stade il ne reste plus qu' chercher une base
pour les racines simples du polynme caractristique s'il y
en a.
Rsolution de systmes linaires par la
mthode du Pivot de Gauss (on sait
d'avance que les systmes considrs ne
sont pas de Cramer).
L'tude est termine : si l'endomorphisme (ou la matrice) est diagonalisable on a une base de vecteurs
propres de f ou une matrice inversible P et une matrice diagonale D telle que
1
M PDP

= .
(*)
Thorme : condition ncessaire et suffisante de diagonalisation faisant intervenir le
polynme caractristique
Soit f un endomorphisme d'un K-espace vectoriel E de dimension n, (ou M une matrice
carre d'ordre n coefficients dans K).
Pour que f (respectivement M) soit diagonalisable, il faut et il suffit que les deux conditions
suivantes soient satisfaites :
(i) Le polynme caractristique de f (respectivement de M) se factorise en un produit de
polynmes du premier degr (non ncessairement distincts) coefficients dans K.
(ii) Pour chaque valeur propre, la dimension du sous-espace propre associ est gale son
ordre de multiplicit en tant que racine du polynme caractristique.