Si
et
sont deux matrices telles que
, alors
. Mais si
est une matrice diagonale, multiplier
à
droite par
revient à multiplier les vecteurs colonnes de
par
les coefficients diagonaux de
. Notons
le
-ième vecteur
colonne de la matrice
et
le
-ième coefficient
diagonal de
. Pour tout
, on doit avoir :
Si
est une valeur propre, l'ensemble des vecteurs
tels
que
, est un sous-espace vectoriel. Par
définition, il contient le vecteur nul, et tous les
vecteurs propres de
associés à
. On l'appelle le " sous-espace propre'' associé à
. Remarquons qu'un même vecteur propre ne peut être
associé qu'à une seule valeur propre. Par conséquent,
deux sous-espaces propres associés à deux valeurs
propres distinctes ont une intersection
réduite au vecteur nul.
Si une matrice
est diagonalisable (
), alors les
vecteurs colonnes de la matrice de passage
sont des vecteurs
propres de
. Mais pour être une matrice de passage,
doit
être inversible, c'est à dire que ses
vecteurs colonnes doivent
former une base. La condition nécessaire et suffisante pour qu'une
matrice soit diagonalisable est donc qu'elle admette
vecteurs
propres formant une base.
C'est vrai pour
, puisque par définition un vecteur propre est
nécessairement non nul. Supposons la propriété vraie à l'ordre
. Soient
des valeurs propres
distinctes deux à deux et
des vecteurs propres
associés. Supposons :
En multipliant à gauche par la matrice
, on obtient :
D'après l'hypothèse de récurrence à l'ordre
, ceci
entraîne que pour tout
,
, donc
, puisque
. Mais alors nécessairement
est nul, donc
puisque le vecteur propre
est non nul.
Ce théorème a deux conséquences pratiques importantes, qui sont rassemblées dans le corollaire suivant.
Démonstration :
Dans un espace de dimension
, une famille libre comporte au plus
vecteurs, il ne peut donc pas y avoir plus de
vecteurs propres
associés à des valeurs propres distinctes.
Si on a
valeurs propres distinctes, alors une famille de vecteurs
propres dont chacun est associé à une des valeurs propres est
nécessairement libre d'après le théorème précédent. Comme
elle comporte
vecteurs, c'est une base.