Décomposition de Dunford

Décomposition de Dunford

En mathématiques, la décomposition de Dunford s'inscrit dans la problématique de la réduction d'endomorphisme. Cette approche consiste à décomposer l'espace vectoriel en une somme directe de sous-espaces stables où l'expression de l'endomorphisme est plus simple.

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

Elle suppose 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é. C'est toujours le cas si le corps est algébriquement clos, comme par exemple celui des nombres complexes. Dans le cas ou la propriété n'est pas vérifiée, alors 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. Le corps des nombres réels se voit par exemple très généralement étendre pour permettre une application de cette décomposition.

La décomposition de Dunford prouve que tout endomorphisme est la somme d'un endomorphisme diagonalisable et d'un endomorphisme nilpotent, les deux endomorphismes commutant et étant uniques.

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.

Sommaire

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 — Soit u un endomorphisme d'un espace vectoriel E. Si u admet un polynôme minimal scindé, alors il peut s'écrire sous la forme u=d+n avec d un endomorphisme diagonalisable et n un endomorphisme nilpotent tels que d et n commutent (c'est-à-dire dn=nd). De plus d et n sont des polynômes en u et sont uniques.

Démonstration

Via les sous-espaces caractéristiques

Article détaillé : Sous-espace caractéristique.

L'idée initiale de cette approche est donnée par la proposition suivante, démontrée dans l'article sur les polynômes d'endomorphismes dans le paragraphe sur les polynômes minimaux :

  • Soit (\mu_i)\; une décomposition en facteurs de degré supérieur ou égal à 1 et premiers deux à deux du polynôme minimal \mu\; d'un endomorphisme u. Alors la suite des noyaux (Ker \mu_i(u))\; est une décomposition de l'espace E en somme directe de sous-espaces stables par l'endomorphisme.

Or, si le polynôme minimal est scindé, il peut s'écrire sous la forme:

\mu(X)=\prod_i (X-\lambda_i)^{n_i}\;

Si l'on note E_i\; le noyau de l'endomorphisme (u-\lambda_iId)^{n_i}\;, alors le paragraphe précédent nous indique que la suite (E_i)\; forme une somme directe de l'espace E de sous-espaces non réduits à 0 et stables par l'endomorphisme. On appelle ces sous-espaces les sous-espaces caractéristiques. Nous avons alors les trois propriétés suivantes:

  • L'espace E est somme directe de ces sous-espaces caractéristiques.
  • Les sous-espaces caractéristiques sont non réduits au vecteur nul et stables par l'endomorphisme. La restriction de l'endomorphisme à E_i\; est la somme d'une homothétie de rapport \lambda_i \; et d'un endomorphisme nilpotent d'ordre n_i\;.
  • La suite des (\lambda_i) \; est la suite des valeurs propres (i.e. le spectre de u). Les sous-espaces propres associés sont inclus dans les sous-espaces caractéristiques.

Ces considérations permettent de démontrer la décomposition de Dunford. Elle permettent de plus de démontrer les propriétés suivantes :

  • Le polynôme minimal est le produit des polynômes unitaires dont le degré vaut 1 et dont la racine est une valeur propre, élevés chacun à la puissance l'indice de l'endomorphisme nilpotent associé.
  • Le polynôme caractéristique est le produit des polynômes unitaires dont le degré 1 et dont la racine est une valeurs propre, élevés chacun à la puissance la dimension de l'espace caractéristique associé.
  • Le déterminant est égal au produit des valeurs propres, élevées chacune à la puissance la dimension de l'espace caractéristique associé.
  • La trace est égale à la somme des valeurs propres pondérées par les dimensions des espaces caractéristiques associés.
Démonstration
  • L'espace E est somme directe de ces sous-espaces caractéristiques.

Le polynôme minimal est scindé par hypothèse et unitaire, il s'écrit donc comme le produit des éléments de la suite (X-\lambda_i )^{n_i}\;. La proposition précédente nous indique que la suite Ker (u-\lambda_i )^{n_i}\; forme une somme directe de sous-espaces stables. Par définition des sous-espaces caractéristiques, nous venons de démontrer la proposition.

  • Les sous-espaces caractéristiques sont non réduits au vecteur nul et stable par l'endomorphisme. La restriction de l'endomorphisme à E_i\; est la somme d'une homothétie de rapport \lambda_i \; et d'un endomorphisme nilpotent d'ordre n_i\;.

Considérons le polynôme \prod_{j \ne i}(X-\lambda_j )^{n_j}\;. Ce polynôme n'est pas minimal. Donc la somme directe \oplus_{j \ne i}Ker(u-\lambda_j )^{n_j}\; n'est pas l'espace entier. Cela démontre de E_i\; n'est pas réduit au vecteur nul.

La restriction de u à E_i\; s'écrit \lambda_i Id + (u -\lambda_i Id)\; le premier terme est bien une homothétie, la définition du sous-espace caractéristique nous garantit que le deuxième terme est nilpotent.

  • La suite des (\lambda_i) \; est la suite des valeurs propres. Les sous-espaces propres associés sont inclus dans les sous-espaces caractéristiques.

Montrons que \lambda_i\; est une valeur propre. Considérons le noyau de l'endomorphisme nilpotent de la dernière proposition. Par construction d'un endomorphisme nilpotent, il n'est pas réduit au vecteur nul. La restriction de u à ce noyau est une homothétie de rapport \lambda_i\;, ce qui démontre qu’elle est valeur propre et que l'espace propre associé est inclus dans l'espace caractéristique.

Considérons alors une valeur propre \lambda\; tout vecteur propre associé a pour polynôme minimal X-\lambda\;. Or ce polynôme minimal divise \chi\;. Nous venons de démontrer que \lambda\; est une racine de \chi\;.

  • L'endomorphisme u est la somme d'un endomorphisme diagonalisable et d'un endomorphisme nilpotent. Les deux endomorphismes commutent entre eux.

Considérons l'endomorphisme d sur E, qui pour tout vecteur x_i\; de E_i\; associe \lambda_i x_i\;. Comme la somme des E_i\; est directe et est égale à E, cet endomorphisme est bien défini et il est diagonalisable.

Considérons l'endomorphisme n sur E, qui pour tout vecteur x_i\; de E_i\; associe u(x_i)-\lambda_i x_i\;. Comme la somme des E_i\; est directe et est égale à E, cet endomorphisme est bien défini et il est nilpotent sur tous les espaces caractéristiques,donc il est nilpotent.

La somme d + n est égale à u, et d et n commutent entre eux sur chaque espace caractéristique. La somme des espaces caractéristiques est égale à E. L'égalité et la commutativité sont donc vraies sur E.

  • Le polynôme minimal est le produit des polynômes unitaires dont le degré vaut 1 et dont la racine est une valeur propre, élevés chacun à la puissance l'indice de l'endomorphisme nilpotent associé.

Il suffit de remarquer que n_i\; est l'indice de l'endomorphisme nilpotent qu'est la restriction de u-\lambda_iId\; à l'espace caractéristique associé.

  • Le polynôme caractéristique est le produit des des polynômes unitaires dont le degré vaut 1 et dont la racine est une valeur propre, élevés chacun à la puissance la dimension de l'espace caractéristique associé.

Il suffit de calculer le polynôme caractéristique dans une base de Jordan.

  • Le déterminant est égal au produit des valeurs propres élevées à la puissance de la dimension de l'espace caractéristique associé.

Il suffit de calculer le déterminant dans une base de Jordan.

  • La trace est égale à la somme des valeurs propres multipliées par la dimension de l'espace caractéristique associé.

Il suffit de calculer la trace dans une base de Jordan.

Via les projecteurs

Article détaillé : Projecteur (mathématiques).

Un résultat notoire de l'approche par les polynômes d'endomorphismes réside dans le fait que la connaissance du polynôme minimal permet de définir une algorithmique fournissant à la fois les projecteurs sur les espaces caractéristiques mais aussi la composante diagonale et nilpotente de l'endomorphisme.

  • La projection sur Ei parallèlement à la somme directe des autres espaces caractéristiques s'exprime comme un polynôme de l'endomorphisme u.
  • La composante diagonale d de l'endomorphisme u s'exprime comme un polynôme de l'endomorphisme u.
  • La composante nilpotente n de l'endomorphisme u s'exprime comme un polynôme de l'endomorphisme u.
Démonstration
  • La projection sur Ei parallèlement à la somme directe des autres espaces caractéristiques s'exprime comme un polynôme de l'endomorphisme u.

C'est une conséquence directe de la dernière proposition du paragraphe sur les idéaux annulateurs. En effet, la famille des polynômes (X-\lambda_i)^{n_i}\; est bien une famille de polynômes premiers deux à deux.

  • La composante diagonale d de l'endomorphisme u s'exprime comme un polynôme de l'endomorphisme u.

L'égalité suivante d=\sum_{i=1}^p \lambda_i \pi_i montre que la composante diagonale est bien un polynôme en u.

  • La composante nilpotente n de l'endomorphisme u s'exprime comme un polynôme de l'endomorphisme u.

L'égalité suivante est vérifiée n=u-d=(X-P)[u]\,, n est donc aussi un polynôme en u.

Cas d'applications

En dimension finie le théorème de Cayley-Hamilton assure que χu(u) = 0 où χu désigne le polynôme caractéristique de u. Si χu 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 (\mathbb C notamment).

Réduction de Jordan

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

La restriction de n au sous-espace propre admet une matrice formée de blocs de Jordan nilpotents 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 l'union de ces bases.

v · d · m
Algèbre linéaire générale
Vecteur • Scalaire • Combinaison linéaire • Espace vectoriel • Matrice
Famille de vecteurs Famille génératrice • Famille libre (indépendance linéaire) • Base • Théorème de la base incomplète • Rang • Colinéarité Mathématiques
Sous-espace Sous-espace vectoriel • Somme d'ensembles • Somme directe • Sous-espace supplémentaire • Dimension • Codimension • Droite • Plan • Hyperplan
Morphisme et notions relatives Application linéaire • Noyau • Conoyau • Lemme des noyaux • Pseudo-inverse • Théorème de factorisation • Théorème du rang • Équation linéaire • Système d'équations linéaires • Élimination de Gauss-Jordan • Forme linéaire • Espace dual • Orthogonalité • Base duale • Endomorphisme linéaire • Valeur propre, vecteur propre et espace propre • Spectre • Projecteur • Symétrie • Matrice diagonalisable • Diagonalisation • Endomorphisme nilpotent
En dimension finie Espace vectoriel de dimension finie • Trace • Déterminant • Polynôme caractéristique • Polynôme d'endomorphisme • Théorème de Cayley-Hamilton • Polynôme minimal d'un endomorphisme • Invariants de similitude • Réduction d'endomorphisme • Réduction de Jordan • Décomposition de Dunford • Décomposition de Frobenius
Enrichissements de structure Norme • Produit scalaire • Forme quadratique • Espace vectoriel topologique • Orientation • Algèbre sur un corps • Algèbre de Lie • Complexe différentiel
Développements Théorie des matrices • Représentation de groupe • Analyse fonctionnelle • Algèbre multilinéaire • Module sur un anneau

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Décomposition de Dunford de Wikipédia en français (auteurs)

Игры ⚽ Нужно решить контрольную?

Regardez d'autres dictionnaires:

  • Decomposition de Dunford — Décomposition de Dunford En mathématiques, la décomposition de Dunford s inscrit dans la problématique de la réduction d endomorphisme. Cette approche consiste à décomposer l espace vectoriel en une somme directe de sous espaces stables où l… …   Wikipédia en Français

  • Décomposition De Dunford — En mathématiques, la décomposition de Dunford s inscrit dans la problématique de la réduction d endomorphisme. Cette approche consiste à décomposer l espace vectoriel en une somme directe de sous espaces stables où l expression de l endomorphisme …   Wikipédia en Français

  • Décomposition de dunford — En mathématiques, la décomposition de Dunford s inscrit dans la problématique de la réduction d endomorphisme. Cette approche consiste à décomposer l espace vectoriel en une somme directe de sous espaces stables où l expression de l endomorphisme …   Wikipédia en Français

  • Decomposition (homonymie) — Décomposition (homonymie) Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom …   Wikipédia en Français

  • Décomposition (Homonymie) — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom …   Wikipédia en Français

  • Décomposition (mathématiques) — Décomposition (homonymie) Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom …   Wikipédia en Français

  • Décomposition de Frobenius — On considère un K espace vectoriel E de dimension finie et un endomorphisme u de cet espace. Une décomposition de Frobenius est une décomposition de l espace E en somme directe de sous espaces cycliques, telle que les polynômes minimaux (ou… …   Wikipédia en Français

  • Décomposition (homonymie) — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Sur les autres projets Wikimedia : « décomposition », sur le Wiktionnaire (dictionnaire universel) Le mot décomposition est employé dans… …   Wikipédia en Français

  • Dunford — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Jonathan Dunford est un gambiste américain spécialisé dans le répertoire baroque, né en 1959. En mathématiques, la décomposition de Dunford s inscrit dans …   Wikipédia en Français

  • Decomposition of spectrum (functional analysis) — In mathematics, especially functional analysis, the spectrum of an operator generalizes the notion of eigenvalues. Given an operator, it is sometimes useful to break up the spectrum into various parts. This article discusses a few examples of… …   Wikipedia

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”