Lemme des noyaux
# Lemme des noyaux

En algèbre linéaire, le lemme des noyaux, aussi appelé théorème de décomposition des noyaux, est un résultat sur la réduction des endomorphismes. Dans un espace vectoriel E sur un corps commutatif 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 et les projecteurs associés sont eux-mêmes des polynômes en u.

La démonstration traduit l'identité de Bézout 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 si et seulement s'il est annulé par un polynôme scindé à racines simples.

## Énoncé

Lemme des noyaux — Soient E un espace vectoriel sur un corps commutatif K et f un endomorphisme de E. Si $P_{1},\ldots ,P_{n}\in K[X]$ (avec n entier strictement positif) sont premiers entre eux deux à deux, alors les sous-espaces vectoriels $V_{i}=\ker(P_{i}(f))$ (où 1 ≤ i ≤ n) sont en somme directe et

    $\bigoplus _{i=1}^{n}V_{i}=\ker \left[\left(\prod _{i=1}^{n}P_{i}\right)(f)\right].$

De plus, la projection de la somme directe $V$ sur $V_{i}$ parallèlement à $\bigoplus _{j\neq i}V_{j}$ est la restriction à $V$ d'un polynôme en $f$.

## Applications

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

Réduction à une forme diagonale par blocs — Soient E un espace vectoriel de dimension finie sur un corps K, f un endomorphisme de E et $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 $P_i$ irréductibles et distincts. Alors il existe une base B de E et des matrices $A_{i}\in \mathbf {M} _{n_{i}}(K)$ telles que

    $\mathrm {Mat} _{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}};$

où $n_{i}=\dim \ker P_{i}^{m_{i}}(f)$ (en fait la partie de B correspondant au bloc $A_{i}$ est une base de $\ker P_{i}^{m_{i}}(f)$), et $P_{i}^{m_{i}}(A_{i})=0$.

Par hypothèse $\ker P(f)=E$, donc, d'après le lemme des noyaux :

    $E=\bigoplus _{i=1}^{n}\ker P_{i}^{m_{i}}(f).$

Chaque sous-espace $\ker P_{i}^{m_{i}}(f)$ est stable par f, donc la matrice de f dans n'importe quelle base de E adaptée à la décomposition précédente en sous-espaces stables, est diagonale par blocs comme souhaité.

## Note

* ↑ Pour une démonstration, voir « Lemme des noyaux » dans la leçon « Réduction des endomorphismes » sur Wikiversité..
