Matrice de Jordan

Matrice de Jordan

Réduction de Jordan

Page d'aide sur l'homonymie Pour les articles homonymes, voir Jordan.

La réduction de Jordan est la traduction matricielle de la réduction des endomorphismes introduite par Jordan. Cette réduction est tellement employée, en particulier en analyse pour la résolution d'équations différentielles ou pour déterminer le terme général de suites récurrentes, qu'on la nomme parfois « jordanisation des endomorphismes ».

Elle consiste à exprimer la matrice d'un endomorphisme dans une base où l'expression de l'endomorphisme est réduite dite base de Jordan. La réduction consiste à déterminer une décomposition de Dunford c'est-à-dire trouver un endomorphisme diagonalisable et un endomorphisme nilpotent tel que les deux commutent et que leur somme soit égale à l'endomorphisme initial, puis sur chaque espace caractéristique une réduction de Jordan sur le facteur l'endomorphisme nilpotent.

Sommaire

Construction de la base de Jordan

Soit u un endomorphisme sur un espace vectoriel E tel que son polynôme minimal soit scindé. Il possède alors les propriétés suivantes:

  • La restriction de u à Ei est la somme d'une homothétie de rapport λi et d'un endomorphisme nilpotent noté ni.

Ces résultats sont démontrés dans l'article décomposition de Dunford.

  • Il existe une base Eij de Ei (e_{i1}, e_{i2},\cdots,e_{ip_i})\; tel que n_i(e_{ij})=k_{ij}e_{ij+1}\; où k_{ij}\; est égal soit à 0 soit à 1 et n_i(e_{ip_i})=0\;.

Ce résultat est démontré dans l'article Endomorphisme nilpotent.

Blocs de Jordan

On appelle bloc de Jordan une matrice de la forme \mathcal{J}_{\lambda} = \begin{bmatrix} \lambda & 1 & & & & \\ & \lambda & 1 & & (0) & \\ & & \ddots & \ddots & & \\ & & & \ddots & \ddots & \\ & (0) & & & \lambda & 1 \\ & & & & & \lambda \\ \end{bmatrix}

On appelle bloc de Jordan nilpotent une telle matrice où les coefficients diagonaux sont tous nuls, c'est-à-dire de la forme \begin{bmatrix} 0 & 1 & & & & \\ & 0 & 1 & & (0) & \\ & & \ddots & \ddots & & \\ & & & \ddots & \ddots & \\ & (0) & & & 0 & 1 \\ & & & & & 0 \\ \end{bmatrix}

Jordanisation d'un endomorphisme dans un corps algébriquement clos

On considère un endomorphisme dans un espace vectoriel de dimension finie, de polynôme caractéristique scindé. Le théorème de Jordan nous informe qu'il admet une représentation matricielle de la forme suivante

\begin{bmatrix} \mathcal{J}_{\lambda_1} & & & & \\ & \mathcal{J}_{\lambda_2} & & & \\ & & \ddots & & \\ & & & \ddots & \\ & & & & \mathcal{J}_{\lambda_r} \\ \end{bmatrix}

où les scalaires λi sont les valeurs propres de l'endomorphisme considéré.

Ainsi sur un corps algébriquement clos, et par exemple dans \mathbb{C}, tout endomorphisme admet une décomposition de ce type.

Attention : il n'y a pas a priori un bloc de Jordan pour chaque valeur propre, plusieurs λi peuvent avoir la même valeur.

Propriétés des blocs

Prenons un endomorphisme u admettant une telle représentation. On étudie une valeur propre particulière λ de l'endomorphisme u. On regroupe ensemble les vecteurs associés aux blocs \mathcal{J}_{\lambda}. Ils forment l'espace caractéristique associé à la valeur propre λ. C'est un espace stable sur lequel u − λId induit un endomorphisme nilpotent nλ.

  • La multiplicité de λ (multiplicité dans le polynôme caractéristique) est égale à la dimension de l'espace caractéristique.
  • La multiplicité de λ dans le polynôme minimal est égal à l'indice de nilpotence de l'endomorphisme nλ.

Application aux classes de similitude des matrices

On se place sur un corps algébriquement clos. Deux matrices sont semblables si et seulement si elles ont la même écriture en blocs de Jordan, à l'ordre près des blocs.

Exemples de réduction de Jordan

Examinons les méthodes de détermination des matrices de passage par deux exemples.

Exemple 1

Déterminons la matrice de passage pour l'exemple suivant:

A=\begin{pmatrix} 322 & -323 & -323 & 322 \\ 325 & -326 & -325 & 326 \\ -259 & 261 & 261 & -260 \\ -237 & 237 & 238 & -237 \end{pmatrix}.

Recherchons les espaces caractéristiques, c’est-à-dire vecteurs x solutions de

(A-\lambda I)^k\mathbf{x} = \mathbf{0}

Qui nous permettront de déterminer la suite de vecteurs dont les éléments forment les colonnes de la matrice de passage.

Remarquons alors que 5 est valeur propre et que le premier vecteur de la base de définition de la matrice possède pour polynôme minimal associé (X-5)4. Son espace caractéristique est donc l'espace entier. Si nous notons v ce vecteur alors, la famille composée des éléments (A − 5I)3(v), (A − 5I)2(v), (A − 5I)(v) et v forme une base de Jordan.

\left\{(A-5I)^3\mathbf{v}, (A-5I)^2\mathbf{v}, (A-5I)\mathbf{v}, \mathbf{v}\right\}
=\left\{ \begin{pmatrix} 5922 \\ 4230 \\ -3572 \\ -5170 \end{pmatrix}, \begin{pmatrix} 2857 \\ 2363 \\ -1962 \\ -2392 \end{pmatrix}, \begin{pmatrix} 317 \\ 325 \\ -259 \\ -237 \end{pmatrix}, \begin{pmatrix} 1 \\ 0 \\0 \\ 0 \end{pmatrix}\right\}

Nous avons déterminé la matrice de passage:

P=\begin{pmatrix} 5922 & 2857 & 317 & 1 \\ 4230 & 2363 & 325 & 0 \\ -3572 & -1962 & -259 & 0 \\ -5170 & -2392 & -237 & 0 \\ \end{pmatrix}.

Et la matrice de Jordan est la suivante:

J=J_4(5)=\begin{pmatrix} 5 & 1 & 0 & 0 \\ 0 & 5 & 1 & 0 \\ 0 & 0 & 5 & 1 \\ 0 & 0 & 0 & 5 \end{pmatrix}.

Exemple 2

Considérons l'exemple suivant

B = \begin{pmatrix} 5 & 4 & 2 & 1 \\ 0 & 1 & -1 & -1 \\ -1 & -1 & 3 & 0 \\ 1 & 1 & -1 & 2 \\ \end{pmatrix}.

Les valeurs propres de B sont 4, 4, 2 et 1. De plus, on remarque que:

\mathrm{dim}\ \ker{(B-I)} = 1, \mathrm{dim}\ \ker{(B-2I)} = 1, \mathrm{dim}\ \ker{(B-4I)} = 1, \mathrm{dim}\ \ker({B-4I})^2 = 2

Nous en déduisons que l'espace vectoriel se décompose en somme directe suivante:

J=J_1(1)\oplus J_1(2)\oplus J_2(4)

Nous remarquons que le vecteur colonne (0,0,−1,1)T a pour image par la matrice (-1,0,1,-1)T. Ces deux vecteurs colonnes engendrent l'espace caractéristique de valeur propre 4.

On en déduit

\ker{(B-4I)}^2 = \mathrm{Gen}\ \left\{\begin{pmatrix} 0 \\ 0 \\ -1 \\ 1\end{pmatrix}, \begin{pmatrix} -1 \\ 0 \\ 1 \\ -1\end{pmatrix}\right\}

Nous en déduisons la matrice de passage et la forme de Jordan:

P=\begin{pmatrix} -1 & 0 & 1 & -1\\ 0 & 0 & -1 & 1\\ 1 & -1 & 0 & 0\\ -1 & 1 & 1 & 0\end{pmatrix}=\left((B-4I)\mathbf{v}\left|\mathbf{v}\left|\mathbf{w}\left|\mathbf{x}\right)\right.\right.\right.

et

P^{-1}BP=J=\begin{pmatrix} 4 & 1 & 0 & 0 \\ 0 & 4 & 0 & 0 \\ 0 & 0 & 2 & 0 \\ 0 & 0 & 0 & 1 \end{pmatrix}.

Groupe simple d'ordre 168

Article détaillé : groupe simple d'ordre 168.

Il existe, à un isomorphisme près, un unique groupe simple d'ordre 168. Il peut être vu comme le groupe linéaire d'un espace vectoriel de dimension 3 sur le corps fini à deux éléments. La réduction de Jordan est une méthode pour déterminer la structure de ce groupe.

Réduction de Jordan et systèmes différentiels

Un système d'équations différentielles linéaires en y peut se réduire à une équation différentielle matricielle d'ordre 1 : u'(t) = Au(t) et la condition initiale u(0) = u0, où u(t) est un vecteur colonne contenant les dériviées successives de y. La résolution est alors explicite lorsque le système d'équations différentielles est à coefficients constants : u(t) = exp(tA)u0. L'avantage de la forme normale de Jordan réside dans la facilité de calculs des matrices des blocs de Jordan. En effet, l'exponentielle d'un bloc de Jordan nilpotent de taille p est

\exp{(t\mathcal{J_\lambda})} = \exp{(t\lambda)}\begin{bmatrix} 1 & t& \frac{t^2}{2} & \cdots & \frac{t^{p-1}}{(p-1)!} \\ 0 & \ddots&\ddots & \ddots & \vdots \\ \vdots & \ddots & \ddots &t& \frac{t^2}{2} \\ \vdots & 0&\ddots & \ddots & t \\ 0 & \cdots&\cdots & 0 & 1 \\ \end{bmatrix}

On voit de cette manière l'intérêt calculatoire de cette méthode.

Voir aussi

Algèbre linéaire générale
Vecteur • Scalaire • Combinaison linéaire • Espace vectoriel • Matrice
Famille de vecteurs Colinéarité • Indépendance linéaire • Famille libre • Rang • Famille génératrice • Base • Théorème de la base incomplète Mathématiques
Sous-espace Somme d'ensembles • Somme directe • Sous-espace supplémentaire • Dimension d'un espace vectoriel • 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 • Endomorphisme nilpotent
En 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
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
  • Portail des mathématiques Portail des mathématiques
Ce document provient de « R%C3%A9duction de Jordan ».

Wikimedia Foundation. 2010.

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

Игры ⚽ Поможем решить контрольную работу

Regardez d'autres dictionnaires:

  • Matrice Nilpotente — Une matrice nilpotente est une matrice dont il existe une puissance égale à la matrice nulle. Elle correspond à la notion d endomorphisme nilpotent. Cette notion joue un rôle important dans le monde des matrices. En effet, pour un maniement plus… …   Wikipédia en Français

  • Matrice nilpotente — Une matrice nilpotente est une matrice dont il existe une puissance égale à la matrice nulle. Elle correspond à la notion d endomorphisme nilpotent sur un espace vectoriel de dimension finie. Cette notion facilite souvent le calcul matriciel. En… …   Wikipédia en Français

  • Matrice Inversible — En mathématiques et plus particulièrement en algèbre linéaire, une matrice carrée A d ordre n est dite inversible ou régulière ou encore non singulière, s il existe une matrice B d ordre n telle que AB = BA = In, ( AB = In suffit d aprés le… …   Wikipédia en Français

  • Matrice inverse — Matrice inversible En mathématiques et plus particulièrement en algèbre linéaire, une matrice carrée A d ordre n est dite inversible ou régulière ou encore non singulière, s il existe une matrice B d ordre n telle que AB = BA = In, ( AB = In… …   Wikipédia en Français

  • Matrice non singulière — Matrice inversible En mathématiques et plus particulièrement en algèbre linéaire, une matrice carrée A d ordre n est dite inversible ou régulière ou encore non singulière, s il existe une matrice B d ordre n telle que AB = BA = In, ( AB = In… …   Wikipédia en Français

  • Matrice régulière — Matrice inversible En mathématiques et plus particulièrement en algèbre linéaire, une matrice carrée A d ordre n est dite inversible ou régulière ou encore non singulière, s il existe une matrice B d ordre n telle que AB = BA = In, ( AB = In… …   Wikipédia en Français

  • Matrice (algèbre) — Matrice (mathématiques) Pour les articles homonymes, voir Matrice. En mathématiques, les matrices servent à interpréter en termes calculatoire …   Wikipédia en Français

  • Matrice (mathematiques) — Matrice (mathématiques) Pour les articles homonymes, voir Matrice. En mathématiques, les matrices servent à interpréter en termes calculatoire …   Wikipédia en Français

  • Matrice carrée — Matrice (mathématiques) Pour les articles homonymes, voir Matrice. En mathématiques, les matrices servent à interpréter en termes calculatoire …   Wikipédia en Français

  • Matrice Diagonalisable — En algèbre linéaire, une matrice carrée M d ordre n ( ) à coefficients dans un corps commutatif K, est dite diagonalisable si elle est semblable à une matrice diagonale, c est à dire s il existe une matrice inversible P et une matrice diagonale D …   Wikipédia en Français

Share the article and excerpts

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