Privacy Policy Cookie Policy Terms and Conditions Matrice nilpotente - Wikipédia

Matrice nilpotente

Un article de Wikipédia, l'encyclopédie libre.

Vous avez de nouveaux messages (diff ?).

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 aisé, il est souvent plus simple d'utiliser les formes réduites des matrices. Ce qui revient à effectuer les calculs à l'aide d'une matrice semblable (obtenue par matrices de passage). Il est possible de montrer que, si le corps de nombres est scindé (c'est-à-dire si tout polynôme admet au moins une racine), alors toute matrice est semblable à la somme d'une matrice diagonale et d'une matrice nilpotente, somme qui possède une forme particulièrement simple (décomposition de Dunford).

Cette réduction des matrices joue un rôle important dans la résolution de système d'équations linéaires et la résolution d'équations différentielles linéaires.

Dans cet article, les aspects théoriques, ainsi que l'essentiel des démonstrations des propositions énoncées, sont traitées dans endomorphisme nilpotent.

Sommaire

[modifier] Définition

On dit qu'une matrice carrée A est nilpotente si et seulement si il existe p \in \mathbb{N} \, tel que A^p=0 \, où 0 désigne la matrice nulle. L'indice de nilpotence est le plus petit p tel que A^p=0 \,.

Il existe une autre manière de définir une matrice nilpotente :

Soit E un \mathbb{K}-espace vectoriel de dimension n, u un endomorphisme et A sa matrice. A est nilpotente si et seulement l'endomorphisme est nilpotent, c'est-à-dire qu'il existe p tel que up = 0, ou up désigne u\circ ... \circ u et 0 l'endomorphisme nul.

Remarque: On peut ainsi observer que si A et B sont deux matrices, alors AB=0 n'implique pas nécessairement que A=0 ou B=0. En effet, la matrice A=\left(\begin{matrix} 0 & 1 \\ 0 & 0   \end{matrix}\right) \, est nilpotente d'indice 2 donc A2 = 0 avec A \neq 0

[modifier] Approche par l'exemple

Considérons un espace vectoriel réel de dimension 3 avec pour base B = (e1, e2, e3). Considérons alors un endomorphisme u défini par sa représentation matricielle suivante dans la base B :

u:\;\begin{pmatrix} 3 & 9 & -9\\ 2 & 0 & 0\\3 & 3 & -3 \end{pmatrix}

Si nous calculons la représentation matricielle de u2 et de u3, on trouve :

u^2:\;\begin{pmatrix} 0 & 0 & 0\\ 6 & 18 & -18\\6 & 18 & -18 \end{pmatrix}\quad et \quad u^3:\;\begin{pmatrix} 0 & 0 & 0\\ 0 & 0 & 0\\0 & 0 & 0 \end{pmatrix}

Puisque u3 est l'endomorphisme nul u est bien nilpotent d'indice 2. Son indice est plus petit que la dimension de l'espace. Dans le cas général, l'indice d'un endomorphisme nilpotent est toujours strictement inférieur à la dimension de l'espace.

[modifier] Nilpotence et polynômes

Déterminons alors le polynôme caractéristique P[X] de notre endomorphisme u:

P[X]=\det(u-X\cdot I)=\;\begin{vmatrix} 3-X & 9 & -9\\ 2 & -X & 0\\3 & 3 & -3-X \end{vmatrix}=-X(3-X)(-3-X)-2(9(-3-X)+27)-27X=-X^3

Nous avons l'égalité P[X] = -X3. Dans le cas où la dimension de l'espace vectoriel est égal à n, une condition nécessaire et suffisante pour qu'un endomorphisme soit nilpotent est que son polynôme caractéristique soit égal à (-X)n.

La théorie des polynômes minimaux nous indique que le calcul du polynôme caractéristique est inutile dans notre exemple. Le polynôme X3 annule l'endomorphisme. Le polynôme minimal est alors un diviseur de ce polynôme. Or le seul diviseur normalisé (c'est-à-dire dont le monôme de plus haut degré est égal à 1) de -X3 qui annule u est lui-même. Le théorème de Cayley-Hamilton nous indique que le polynôme minimal divise le polynôme caractéristique. Il suffit alors de constater que le polynôme caractéristique est de degré égal à la dimension de l'espace, pour l'obtenir sans calcul. Une condition nécessaire est suffisante pour que l'endomorphisme soit nilpotent est que son polynôme minimal soit de la forme Xp.

[modifier] Nilpotence et base réduite

Considérons alors le vecteur e1. Il est d'indice 2 et la famille (e1, u(e1), u2(e1)) est libre. Elle est libre et de cardinal égal à la dimension de l'espace vectoriel. Cette famille est donc une base. Dans cette base, la représentation matricielle de u prend alors la forme suivante:

u:\;\begin{pmatrix} 0 & 1 & 0\\ 0 & 0 & 1\\0 & 0 & 0 \end{pmatrix}

Là encore, ces propriétés sont génériques pour un endomorphisme nilpotent. Dans le cas général de dimension n, si x est un vecteur d'indice p alors p est inférieur ou égal à n et la famille (x, u(x),..., up(x)) est une famille libre. De plus, il existe toujours une base (e1, e2,..., en), tel que u(ei) soit égal, soit à 0 soit à ei+1, avec u(en) = 0. C'est la base réduite pour l'endomorphisme nilpotent.

[modifier] Propriétés

[modifier] Représentation réduite

Les matrices nilpotentes possèdent une forme réduite particulièrement simple.

  • Un bloc de Jordan nilpotent est une matrice qui ne contient que des 0, sauf pour les coefficients ou j est égal à i+1 qui eux valent 1. Alors toute matrice nilpotente est semblable à une matrice bloc diagonale composé de matrices de Jordan nilpotentes. Si A est une matrice nilpotente, alors à est semblable à B avec:
B= \begin{bmatrix}      \mathcal{J}_1 &                         &        &        &                         \\                             & \mathcal{J}_2 &        &        &                         \\                             &                         & \ddots &        &               \\                             &                         &        & \ddots &               \\                             &                         &        &        & \mathcal{J}_r \\ \end{bmatrix} \qquad \mbox{avec} \qquad \mathcal{J}_i= \begin{bmatrix}      0 & 1 &  &  &  &  \\      & 0 & 1 &  & (0) &  \\      &  & \ddots & \ddots &  &  \\      &  &  & \ddots & \ddots &  \\      & (0) &  &  & 0 & 1 \\      &  &  &  &  & 0 \\ \end{bmatrix}


Ce résultat est la conséquence directe de la représentation matricielle d'un endomorphisme nilpotent pour la réduction en dimension finie.

[modifier] Indice, déterminant, trace

Une autre conséquence des propriétés des endomorphismes nilpotents est la suivante:

  • L'indice de la matrice nilpotente est égale à la dimension de sa plus grande matrice de Jordan moins 1.

Sa représentation réduite permet de calculer immédiatement son déterminant et sa trace:

  • Le déterminant et la trace d'une matrice nilpotente sont nuls.

[modifier] Produit et combinaisons linéaires

  • Si A et B sont deux matrices carrés de même dimension et qui commutent, alors si elles sont nilpotentes, il en est de même de leurs produits et de toutes combinaisons linéaires.

En effet, soit p le plus grand des deux indices de A et B. alors:

(AB)^p=A^pB^p=0\;

et, comme soit i soit 2p-i est plus grand ou égal à p:

(\alpha A+\beta B)^{2p}=\sum_{i\in [0,2p]}C_{2p}^{i}\alpha^i \beta^{2p-i}A^i B^{2p-i}=0\;

[modifier] Exponentielle d'une matrice nilpotente

Pour toute matrice A nilpotente, on pose :

\exp(A):=\sum_{p=0}^{\infty}\frac{1}{p!}A^p

Cette définition a un sens, puisqu'en considérant une norme matricielle quelconque, la série correspondante à la somme est normalement convergente.

On peut remarquer que si q est l'indice de nilpotence de A, alors :

\exp(A)=\sum_{p=0}^{q}\frac{1}{p!}A^p

On peut alors vérifier que, si A est une matrice écrite sous sa forme réduite de Jordan, alors:

\exp(A)= \begin{bmatrix}      \exp(\mathcal{J}_1) &                         &        &        &                         \\                             & \exp(\mathcal{J}_2) &        &        &                         \\                             &                         & \ddots &        &               \\                             &                         &        & \ddots &               \\                             &                         &        &        & \exp(\mathcal{J}_r) \\ \end{bmatrix} \qquad \mbox{avec} \qquad \exp(\mathcal{J}_i)= \begin{bmatrix}       0 & 1 &  \frac{1}{2} &  &  &  \frac{1}{p_i!}\\      & 0 & 1 & \frac{1}{2} & \frac{1}{j!} &  \\      &  & \ddots & \ddots &  &  \\      &  &  & \ddots & \ddots & \frac{1}{2} \\      & (0) &  &  & 0 & 1 \\      &  &  &  &  & 0 \\ \end{bmatrix}


exp(N) est une combinaison linéaire de matrices, donc une matrice. Et on vérifie :

\exp(A+B)=\exp(A)\exp(B) \,

Ainsi, la matrice \exp(A) \, est une matrice inversible. En effet, si A est nilpotent, -A l'est aussi et \exp(A)\exp(-A)=\exp(A-A)=\exp(0)=I \,, ou I désigne la matrice identité. Donc \exp(A) \, est inversible, et son inverse est \exp(-A) \,.

[modifier] Exemple d'exponentielle et de matrice nilpotente

Pour tout naturel n, l'ensemble \mathbb{R}_n(x) des fonctions polynômes à coefficients réels et de degré inférieur ou égal à n, est un sous-espace vectoriel de dimension n + 1 de l'espace vectoriel réel \R^\R. Soit D la matrice de l'endomorphisme de \mathbb{R}_n(x) qui associe à toute fonction polynôme p son polynôme dérivé \mathrm D(p)=p'\,.

Comme \mathrm D(x^k)=k \; x^{k-1}, on en déduit que Dn + 1 = 0.

Pour tout réel a, désignons par Ta la matrice de l'endomorphisme de \R_n(x) défini par q = Ta(p) si et seulement q(x) = p(x + a), c'est à dire Ta(p)(x) = p(x + a). La formule de Taylor permet alors d'écrire la formule exp(aD) = Ta, qu'on peut vérifier en prenant les matrices de D et de Ta dans la base canonique (1,x,x2,...,xn).

[modifier] Sources

[modifier] Liens internes

Articles de mathématiques en rapport avec l'algèbre linéaire
Espace vectoriel | Base | Dimension | Matrice | Application linéaire | Déterminant | Trace | Rang | Théorème des facteurs invariants | Réduction d'endomorphisme | Réduction de Jordan | Décomposition de Dunford | Valeur propre | Polynôme caractéristique | Forme linéaire | Espace dual | Orthogonalité | Produit scalaire | Produit vectoriel | Polynôme d'endomorphisme | Polynôme minimal | Tenseur | Covecteur | Algèbre multilinéaire
Modifier

[modifier] Lien externes

[modifier] Références

  • Serge Lang Algèbre Dunod
Portail des mathématiques – Accédez aux articles de Wikipédia concernant les mathématiques.
Autres langues
THIS WEB:

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - be - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - closed_zh_tw - co - cr - cs - csb - cu - cv - cy - da - de - diq - dv - dz - ee - el - eml - en - eo - es - et - eu - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gd - gl - glk - gn - got - gu - gv - ha - haw - he - hi - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mg - mh - mi - mk - ml - mn - mo - mr - ms - mt - mus - my - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - rm - rmy - rn - ro - roa_rup - roa_tara - ru - ru_sib - rw - sa - sc - scn - sco - sd - se - searchcom - sg - sh - si - simple - sk - sl - sm - sn - so - sq - sr - ss - st - su - sv - sw - ta - te - test - tet - tg - th - ti - tk - tl - tlh - tn - to - tokipona - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu

Static Wikipedia 2008 (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - en - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu -

Static Wikipedia 2007:

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - be - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - closed_zh_tw - co - cr - cs - csb - cu - cv - cy - da - de - diq - dv - dz - ee - el - eml - en - eo - es - et - eu - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gd - gl - glk - gn - got - gu - gv - ha - haw - he - hi - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mg - mh - mi - mk - ml - mn - mo - mr - ms - mt - mus - my - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - rm - rmy - rn - ro - roa_rup - roa_tara - ru - ru_sib - rw - sa - sc - scn - sco - sd - se - searchcom - sg - sh - si - simple - sk - sl - sm - sn - so - sq - sr - ss - st - su - sv - sw - ta - te - test - tet - tg - th - ti - tk - tl - tlh - tn - to - tokipona - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu

Static Wikipedia 2006:

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - be - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - closed_zh_tw - co - cr - cs - csb - cu - cv - cy - da - de - diq - dv - dz - ee - el - eml - en - eo - es - et - eu - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gd - gl - glk - gn - got - gu - gv - ha - haw - he - hi - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mg - mh - mi - mk - ml - mn - mo - mr - ms - mt - mus - my - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - rm - rmy - rn - ro - roa_rup - roa_tara - ru - ru_sib - rw - sa - sc - scn - sco - sd - se - searchcom - sg - sh - si - simple - sk - sl - sm - sn - so - sq - sr - ss - st - su - sv - sw - ta - te - test - tet - tg - th - ti - tk - tl - tlh - tn - to - tokipona - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu