Décomposition de Dunford

From Wikipedia, the free encyclopedia

En mathématiques, plus précisément en algèbre linéaire, la décomposition de Dunford (ou décomposition de Jordan-Chevalley) s'inscrit dans le contexte de la réduction d'endomorphisme, et prouve que tout endomorphisme u trigonalisable (semblable à une matrice triangulaire) est la somme d'un endomorphisme diagonalisable d et d'un endomorphisme nilpotent n, les deux endomorphismes d et n commutant et étant uniques.

Cette décomposition a été démontrée une première fois en 1870 par Camille Jordan, puis dans les années 1950 par Claude Chevalley dans le contexte de la théorie des groupes algébriques. Dans le monde francophone, elle est parfois attribuée à tort à Nelson Dunford, dont les travaux sont postérieurs à ceux de Chevalley[1].

Ce n'est pas une « réduction » dans le sens où elle n'est pas maximale : il est parfois possible de pousser la décomposition en sous-espaces vectoriels stables plus petits.

Elle prend comme hypothèses que l'espace vectoriel est de dimension finie et que le polynôme minimal est scindé, c'est-à-dire qu'il s'exprime comme produit de polynômes du premier degré. Cette seconde hypothèse est toujours vérifiée si le corps est algébriquement clos, comme celui des nombres complexes. Dans le cas où la propriété n'est pas vérifiée, il est possible d'étendre le corps à sa clôture algébrique, et l'espace vectoriel à ce nouveau corps et dans ce contexte d'appliquer la décomposition de Dunford. Par exemple, le corps des nombres réels se voit généralement étendu pour permettre une application de cette décomposition.

Cette décomposition est largement appliquée. Elle permet un calcul matriciel souvent rapide. C'est néanmoins souvent sous la forme de la réduction de Jordan qu'elle est utilisée.

Théorème

Le théorème de diagonalisabilité permet de déterminer la structure de u quand il admet un polynôme annulateur scindé à racines simples. La décomposition de Dunford s'applique à un cas plus général.

Théorème de la décomposition de Dunford[2]  Un endomorphisme u d'un espace vectoriel de dimension finie admet un polynôme minimal scindé si et seulement si il existe un unique couple d'endomorphismes d et n tel que :

De plus, d et n sont des polynômes en u.

Méthode de décomposition

Pour réaliser une décomposition de Dunford de l'endomorphisme on va se baser sur la démonstration, en utilisant cette définition de l'endomorphisme  :

, Avec le sous-espace caractéristique de associé à la valeur propre .


On peut alors exprimer à l'aide de 2 matrices et  :

  • correspondant à l'expression de dans une base , formée des vecteurs propres généralisés de ().
  • correspondant à la matrice de passage de la base de à la base .

On construit et de sorte que :

, Avec la -ième colonne de .


On en déduit alors et

Exemple

On se propose de faire la décomposition de Dunford de la matrice suivante :

Avec la matrice diagonalisable et la matrice nilpotente issue de la décomposition de Dunford.

On cherche les valeurs propres de (i.e. les racines du polynôme caractéristique ) :

Donc admet comme valeurs propres 1 (de multiplicité 2) et 3 (de multiplicité 1), on détermine alors et  :

On définit :

On a donc :

On retrouve bien les propriétés de et  :

Cas d'applications

En dimension finie, le théorème de Cayley-Hamilton assure que désigne le polynôme caractéristique de u. Si est scindé alors u est décomposable.

C'est en particulier le cas pour tout endomorphisme d'un espace de dimension finie sur un corps algébriquement clos ( notamment).

Réduction de Jordan

La décomposition de Dunford, combinée avec la décomposition de Frobenius des endomorphismes nilpotents, permet d'obtenir la réduction de Jordan en dimension finie. En effet, d et n commutent donc les sous-espaces caractéristiques de d sont stables par n.

La restriction de n au sous-espace caractéristique admet une matrice diagonale formée de blocs de Jordan nilpotents (à démontrer...) ce qui donne, en ajoutant λIp, des blocs de Jordan pour d + n dans une base adaptée. Ainsi, on obtient une matrice diagonale par blocs formée de blocs de Jordan en utilisant la réunion de ces bases.

Notes

Voir aussi

Related Articles

Wikiwand AI