Lemme des noyaux


Lemme des noyaux

En algèbre linéaire, le lemme des noyaux est un résultat sur la réduction des endomorphismes. Dans un espace vectoriel E sur un corps K, si un opérateur u de E est annulé par un polynôme P(X) à coefficients dans K, alors ce lemme prévoit une décomposition de E comme somme directe de sous-espaces vectoriels stables par u. Ces derniers se définissent comme noyaux de polynômes en u, les projecteurs associés étant eux-mêmes des polynômes en u.

La démonstration traduit l'identité de Bezout portant sur les polynômes à des sous-espaces vectoriels. Résultat fondamental, le lemme des noyaux conduit à la décomposition de Dunford puis à la décomposition de Jordan. Plus modestement, le lemme des noyaux montre qu'un opérateur u est diagonalisable s'il est annulé par un polynôme à racines simples.

Sommaire

Enoncé

Lemme des noyaux — Soit E un espace vectoriel sur un corps commutatif K et soit f un endomorphisme de E. Si P_1,\ldots,P_n \in K[X] (avec  n \in \N^*) sont premiers entre eux deux à deux, alors les sous-espaces vectoriels Vi = ker(Pi(f)) (où 1 \leq i \leq n) sont en somme directe et

\bigoplus_{i=1}^n \ker \left[ P_i(f) \right] = \ker \left[ \left( \prod_{i=1}^n P_i \right)(f) \right].

De plus, la projection de la somme directe sur Vi parallèlement à \bigoplus_{j\neq i} V_j est la restriction de Qi(f) pour un polynôme Qi.

Démonstration

Réduction au cas n = 2

On montre d'abord par récurrence sur n que si le lemme est vrai pour n = 2, il est vrai pour tout n. Il n'y a rien à montrer pour le cas n = 1 (la projection mentionnée est l'identité, qui est Q(f) avec Q le polynôme constant 1). Si n > 2 on pose Q=P_1P_2\cdots P_{n-1} alors \textstyle\prod_{i=1}^n P_i=QP_n et Q est premier avec Pn (car d'après le théorème de Bachet-Bézout chacun des facteurs Pi de Q est inversible modulo Pn, et leur produit Q l'est donc aussi). Alors le cas n = 2 dit que \ker (QP_n)(f)=\ker Q(f) \oplus \ker P_n(f), avec les projections correspondantes données par des polynômes en l'endomorphisme f; l'hypothèse de récurrence permet de décomposer \ker Q(f)\, commer somme directe des \ker P_i(f)\, pour i=1,\ldots,n-1, et les projections de \ker Q(f)\, sur ces facteurs se composent avec celle sur \ker Q(f)\, pour donner des projections requises \ker (QP_n)(f)\to\ker P_i(f).

Le cas n = 2

On voit sans problème que l'espace V = ker(P1P2)(f) contient les espaces V_i=\ker P_i(f)\, pour i = 1,2, et donc aussi leur somme; il s'agit de montrer que la somme V1 + V2 est directe et égale à V tout entier (avec des projections polynômes en f\,). D'après le théorème de Bachet-Bézout, il existe Q_1,Q_2 \in K[X] tel que P1Q1 + P2Q2 = 1, et par conséquent (P1Q1 + P2Q2)(f) = idE (l'application identité de E). Notons

\pi_i=(P_jQ_j)(f)\mid_V\,\in\mathrm{End}(V)\qquad \mathrm{o\grave{u} }~\{i,j\}=\{1,2\},

donc \pi_1+\pi_2=\mathrm{id}_V\, et \pi_1(V_2)=\pi_2(V_1)=\{0\}\,.

Pour voir que la somme V1 + V2 est directe, on considère x \in V_1 \cap V_2. On a x=\pi_1(x)+\pi_2(x)=0\,, et la somme est directe.

Pour voir que V1 + V2 = V on considère x \in V. On a x=\pi_1(x)+\pi_2(x)\, avec \pi_1(x)\in V_1\, car

P_1(f)(\pi_1(x))=(P_1P_2Q_2)(f)(x)=(Q_2P_1P_2)(f)(x)=Q_2(f)(0)=0\,,

et on a \pi_2(x)\in V_2\, pour des raisons similaires. On conclut que v\in V_1+V_2 et donc V = V1 + V2.

Finalement, les projections de V=V_1\oplus V_2 sur les facteurs sont \pi_1\, et \pi_2\,: on a déjà vu que l'image de \pi_i\, est contenue dans Vi, et qu'il s'annule sur l'autre facteur, donc il reste à voir que \pi_i\, est l'identité sur Vi. Pour x\in V_i on a x=\pi_1(x)+\pi_2(x)=\pi_i(x)\,, donc c'est vérifié.

Applications

Le lemme des noyaux sert pour la réduction des endomorphismes. Par exemple :

Réduction à une forme diagonale par blocs — Soit E un espace vectoriel de dimension finie sur un corps K et soit f un endomorphisme de E. Soit P\in K[X] un polynôme annulateur de f (par exemple son polynôme minimal, ou son polynôme caractéristique d'après le théorème de Cayley-Hamilton) et \prod_{i=1}^n P_i^{m_i} la factorisation de P avec les polynômes Pi irréductibles et distincts. Alors il existe une base \mathcal{B} de E et des matrices A_i \in \mathbf{M}_{n_i}(K) telles que

\mathrm{Mat}_\mathcal{B}(f)=\begin{pmatrix} A_1 & 0 & \dots & 0 \\ 0 & A_2 & \dots & 0 \\ \vdots & \vdots & \ddots & \vdots \\ 0 & 0 & \dots & A_n \end{pmatrix};

n_i=\dim \ker P_i^{m_i}(f) (en fait la partie de \mathcal{B} correspondant au bloc Ai est une base de \ker P_i^{m_i}(f)), et P_i^{m_i}(A_i)=0.


Wikimedia Foundation. 2010.

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

Regardez d'autres dictionnaires:

  • Lemme Du Serpent — Le lemme du serpent, en mathématiques, et en particulier en homologie, est un énoncé valide dans toute catégorie abélienne ; c est un outil des plus important pour la construction de suites exactes, objets omniprésents en homologie et ses… …   Wikipédia en Français

  • Lemme du serpent — Le lemme du serpent, en mathématiques, et en particulier en homologie, est un énoncé valide dans toute catégorie abélienne ; c est un outil des plus important pour la construction de suites exactes, objets omniprésents en homologie et ses… …   Wikipédia en Français

  • Projet:Mathématiques/Liste des articles de mathématiques — Cette page n est plus mise à jour depuis l arrêt de DumZiBoT. Pour demander sa remise en service, faire une requête sur WP:RBOT Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou… …   Wikipédia en Français

  • Liste des articles de mathematiques — Projet:Mathématiques/Liste des articles de mathématiques Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou probabilités et statistiques via l un des trois bandeaux suivants  …   Wikipédia en Français

  • Liste des lemmes (mathematiques) — Liste des lemmes (mathématiques) Liste des lemmes mathématiques par ordre alphabétique. Pour l établissement de l ordre alphabétique, il a été convenu ce qui suit : Si le nom des lemmes comprend des noms de scientifiques, on se base sur le… …   Wikipédia en Français

  • Liste des lemmes (mathématiques) — Liste des lemmes mathématiques par ordre alphabétique. Pour l établissement de l ordre alphabétique, il a été convenu ce qui suit : Si le nom des lemmes comprend des noms de scientifiques, on se base sur le premier nom propre cité. Si le nom …   Wikipédia en Français

  • Réduction des endomorphismes — Réduction d endomorphisme En mathématiques, et plus particulièrement en algèbre linéaire, la réduction d endomorphisme est une technique mathématique qui a pour objectif d exprimer des matrices et des endomorphismes sous une forme plus simple,… …   Wikipédia en Français

  • Pratique des matrices — Théorie des matrices En mathématiques, la théorie des matrices est une branche des mathématiques qui s intéresse à l étude des matrices. À l origine, la théorie des matrices était considérée comme une branche secondaire de l algèbre linéaire,… …   Wikipédia en Français

  • Theorie des matrices — Théorie des matrices En mathématiques, la théorie des matrices est une branche des mathématiques qui s intéresse à l étude des matrices. À l origine, la théorie des matrices était considérée comme une branche secondaire de l algèbre linéaire,… …   Wikipédia en Français

  • Théorie des modules — Module sur un anneau Un module sur un anneau unitaire est une structure algébrique qui généralise celle d espace vectoriel et celle d idéal d un anneau. Dans un espace vectoriel l ensemble des scalaires forme un corps tandis que dans un module,… …   Wikipédia en Français


Share the article and excerpts

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

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.