Soient et deux endomorphismes diagonalisables de , qui commutent (c’est à dire tels que ). On note (resp. ) les valeurs propres de (resp. de ), et les espaces propres associés (resp. ).
1
Montrer que chaque (resp. ) est stable par (resp. ) (c’est à dire que ).
2
On pose . Soit . Montrer que est la somme directe des espaces .
3
En déduire l’énoncé suivant : Lorsque deux endomorphismes diagonalisables et commutent, il existe une base formée de vecteurs propres communs à et à (en d’autres termes, et sont diagonalisables simultanément dans la même base).