Lemme des noyaux

Lemme des noyaux

algebra

On montre par récurrence le lemme des noyaux pour un endomorphisme d’un espace vectoriel de dimension finie, et on applique ce résultat pour obtenir un critère de diagonalisation.

Soit un espace vectoriel de dimension finie sur un corps commutatif .

Théorème 1 (Lemme des noyaux). Soient et (les étant supposés premiers entre eux deux-à-deux). Alors,

Démonstration. On procède par récurrence sur .

  • Pour : par le théorème de Bézout, il existe tels que . Donc, Soit . On a : Donc : la somme est directe.

    Soit maintenant . Par calcul, ie. . De même, . Par , . Donc .

    Et si , donc et . De même, on montre que . Comme est un espace vectoriel, on a bien l’inclusion réciproque.

  • On suppose le résultat vrai à un rang . Montrons qu’il reste vrai au rang . Écrivons Les polynômes et sont premiers entre eux, donc le cas permet d’obtenir : ce que l’on voulait.

 ◻

Application 2. Soit . Alors est diagonalisable si et seulement s’il existe scindé sur à racines simples tel que .

Démonstration. Sens direct : Soient les valeurs propres distinctes de et les sous-espaces propres correspondants. On pose On peut appliquer le Théorème 1 : donc (et est bien scindé à racines simples).

Réciproque : On écrit avec les distincts et . On peut encore appliquer Théorème 1 : Notons . , est valeur propre de et n’est autre que le sous-espace propre correspondant. Par , donc est diagonalisable. ◻