Théorème: Soient \(\lambda_1,\dots,\lambda_k\) des valeurs propres distinctes (\(\lambda_i\neq \lambda_j\) si \(i\neq j\)) d'une matrice \(A\), et soient \(\boldsymbol{v}_1,\dots,\boldsymbol{v}_k\) des vecteurs non-nuls tels que
On démontre le résultat par récurrence sur \(k\), c'est-à-dire sur le nombre de
vecteurs propres dans la famille.
Si \(k = 1\), il n'y a rien à démontrer, car c'est direct.
Supposons que le résultat est vrai pour des famille de \(k\)
valeurs propres et \(k\) vecteurs propres, et considérons une famille qui en
contient \(k+1\) vecteurs:
On peut effectivement remarquer que dans les quelques exemples vus précédemment, des familles de vecteurs propres associés à des valeurs propres distinctes étaient toujours libres.
Exemple: On a vu que la matrice \[A= \begin{pmatrix} 1&6\\ 5&2 \end{pmatrix} \,.\] possède exactement deux valeurs propres, \(\lambda_1=-4\) et \(\lambda_2=7\). Les espaces propres associés sont \[ E_{-4}=\mathrm{Vect}\left\{ \begin{pmatrix} 6\\-5 \end{pmatrix} \right\}\,,\qquad E_{7}=\mathrm{Vect}\left\{ \begin{pmatrix} 1\\1 \end{pmatrix} \right\}\,. \] Or si \(\boldsymbol{v}_1\in E_{-4}\) et \(\boldsymbol{v}_2\in E_{7}\) sont tous deux non-nuls, alors \(\{\boldsymbol{v}_1,\boldsymbol{v}_2\}\) est toujours libre.