Lemme des noyaux - Wikipdia

Page 1 of 3

Lemme des noyaux

En algbre linaire, le lemme des noyaux est un rsultat sur la rduction des endomorphismes. Dans un espace vectoriel E sur un corps K, si un oprateur u de E est annul par un polynme P(X) coefficients dans K, alors ce lemme prvoit une dcomposition de E comme somme directe de sousespaces vectoriels stables par u. Ces derniers se dfinissent comme noyaux de polynmes en u, les projecteurs associs tant eux-mmes des polynmes en u. La dmonstration traduit l'identit de Bezout portant sur les polynmes des sous-espaces vectoriels. Rsultat fondamental, le lemme des noyaux conduit la dcomposition de Dunford puis la dcomposition de Jordan. Plus modestement, le lemme des noyaux montre qu'un oprateur u est diagonalisable s'il est annul par un polynme racines simples.

Sommaire
1 Enonc 1.1 Dmonstration 1.1.1 Rduction au cas n = 2 1.1.2 Le cas n = 2 2 Applications

Enonc
Lemme des noyaux Soit E un espace vectoriel sur un corps K et soit f un (avec ) sont premiers entre endomorphisme de E. Si eux deux deux, alors les sous-espaces vectoriels Vi = ker(Pi(f)) (o ) sont en somme directe et

De plus, la projection sur Vi paralllement

est Qi(f) pour un polynme Qi.

Dmonstration
Rduction au cas n = 2 On montre d'abord par rcurrence 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 mentionne est l'identit, qui est Q(f) avec Q le polynme constant 1). Si n > 2 on pose alors et Q est

http://fr.wikipedia.org/wiki/Lemme_des_noyaux

1/14/2011

Lemme des noyaux - Wikipdia

Page 2 of 3

premier avec Pn (car d'aprs le thorme de Bachet-Bzout 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 , avec les projections correspondantes donnes par des polynmes en l'endomorphisme f; l'hypothse de rcurrence permet de dcomposer commer somme directe des pour , et les projections de sur ces facteurs se composent avec celle sur pour donner des projections requises . Le cas n =

ker(P1P2)(f) contient les espaces 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 polynmes en ). D'aprs le thorme de Bachet-Bzout, il existe tel que P1Q1 + P2Q2 = 1, et par consquent (P1Q1 + P2Q2)(f) = idE (l'application identit de E). Notons , donc et .

On voit sans problme que l'espace V =

Pour voir que la somme V1 +

V2 est directe, on considre

. On a

. On a

, et la somme est directe. Pour voir que V1 + car , et on a pour des raisons similaires. On conclut que et donc V =

V2 = V on considre

avec

V1 +

V2.
Finalement, les projections de sur les facteurs sont et : on a dj vu que l'image de est contenue dans Vi, et qu'il s'annule sur l'autre facteur, donc il reste voir que l'identit sur Vi. Pour on a , donc c'est vrifi. est

Applications
Le lemme des noyaux sert pour la rduction des endomorphismes. Par exemple :

Rduction 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 un polynme annulateur de f (par exemple son polynme minimal, ou son polynme

http://fr.wikipedia.org/wiki/Lemme_des_noyaux

1/14/2011

Lemme des noyaux - Wikipdia

Page 3 of 3

caractristique d'aprs le thorme de Cayley-Hamilton) et

la factorisation de E

de P avec les polynmes Pi irrductibles et distincts. Alors il existe une base et des matrices telles que

o base de ), et

(en fait la partie de .

correspondant au bloc Ai est une

Dmonstration Par hypothse kerP(f) =

E, donc, d'aprs le lemme des noyaux :

Chaque sous-espace est stable par f, donc la matrice de f dans n'importe quelle base de E adapte la dcomposition prcdente en sous-espaces stables, est diagonale par blocs comme souhait.

Ce document provient de http://fr.wikipedia.org/wiki/Lemme_des_noyaux . Dernire modification de cette page le 14 novembre 2010 13:11. Droit d'auteur : les textes sont disponibles sous licence Creative Commons paternit partage lidentique ; dautres conditions peuvent sappliquer. Voyez les conditions dutilisation pour plus de dtails, ainsi que les crdits graphiques. En cas de rutilisation des textes de cette page, voyez comment citer les auteurs et mentionner la licence. Wikipedia est une marque dpose de la Wikimedia Foundation, Inc., organisation de bienfaisance rgie par le paragraphe 501(c)(3) du code fiscal des tats-Unis. Politique de confidentialit propos de Wikipdia Avertissements

http://fr.wikipedia.org/wiki/Lemme_des_noyaux

1/14/2011