Théorème 10Réduction des endomorphismes
Décomposition de Dunford
Supposons scindé.
(i) Il existe un unique couple d'endomorphismes de tels que avec diagonalisable et nilpotent. C'est la décomposition de Dunford de .
(ii) Les endomorphismes et sont des polynômes en . Avec les notations du nœud Sous-espaces caractéristiques, , c'est-à-dire que agit sur chaque comme .
(iii) est diagonalisable si et seulement si , et nilpotent si et seulement si .
Démonstration
Existence. Soient les sous-espaces caractéristiques et les projecteurs associés, qui sont des polynômes en (Sous-espaces caractéristiques, (i)). Posons et , polynômes en , qui commutent donc (Polynômes d'endomorphismes, (i)).
Sur , agit comme : tout vecteur non nul de est propre pour , et des bases des mises bout à bout forment une base de vecteurs propres de (Sous-espaces stables, (i)). Donc est diagonalisable.
Sur , stable, agit comme le nilpotent (Sous-espaces caractéristiques, (ii)). Pour , s'annule sur chaque , donc sur : est nilpotent.
Unicité. Soit une autre décomposition. L'endomorphisme commute avec et avec lui-même, donc avec ; il commute donc avec et , polynômes en (Polynômes d'endomorphismes, (i)). De même pour .
Les endomorphismes et , diagonalisables et commutant, ont une base commune de vecteurs propres (Diagonalisation, (iii)), dans laquelle a une matrice diagonale : est diagonalisable.
Les nilpotents et commutent, donc est nilpotent (Nilpotents, (iii)). Or : cet endomorphisme, diagonalisable et nilpotent, est nul (Nilpotents, (iv)). Donc et .
(iii) Si est diagonalisable, est une décomposition, et c'est la seule ; si est nilpotent, en est une. Les réciproques sont claires.
□Pour , on a vu et . Les polynômes du lemme des noyaux sont , qui vaut en , et , multiple de . D'où
Le calcul donne et avec et ; est diagonalisable, de vecteurs propres , pour et pour .
L'erreur la plus répandue est de croire que, pour une matrice triangulaire, est la partie diagonale et le reste. Pour la matrice ci-dessus, la partie diagonale et le reste ne commutent pas : a pour troisième colonne .
L'exemple le plus simple est : ses deux valeurs propres sont distinctes, il est diagonalisable, et sa décomposition est , alors que et ne commutent pas.
L'hypothèse « scindé » ne peut pas être omise. Sur , la rotation n'a aucune décomposition : si , commute avec ; si , son noyau est une droite, stable par (Polynômes d'endomorphismes, (ii)), ce qui fournirait une valeur propre ; si , serait diagonalisable. Dans les deux cas, on contredit l'absence de valeur propre.
La décomposition sert à calculer les exponentielles de matrices des équations différentielles (Systèmes linéaires) et des groupes de Lie. Comme et commutent, ; l'exponentielle de se lit sur les sous-espaces propres, et celle de est une somme finie, la série s'arrêtant à l'indice de .
Pour la matrice ci-dessus, avec et , on trouve ainsi ce qu'un calcul direct de la série confirme.
Le nom de Dunford est celui de l'usage français. La décomposition se trouve en substance dans la forme canonique de Jordan (Traité des substitutions et des équations algébriques, Paris, 1870) ; Chevalley la met au premier plan, avec et polynômes en , dans sa Théorie des groupes de Lie, tome II (Hermann, 1951), d'où le nom de décomposition de Jordan-Chevalley employé ailleurs ; N. Dunford en donne une version pour les opérateurs dans « Spectral operators » (Pacific J. Math. 4, 1954, p. 321-354). Sur cet historique, voir D. Couty, J. Esterle et R. Zarouf, « Décomposition effective de Jordan-Chevalley et ses retombées en enseignement », arXiv:1103.5020, 2011.