Définition
Théorème : Polynôme annulateur de la restriction d'un endomorphisme à une partie "grand omega" d'un espace vectoriel

Soit un espace vectoriel de type fini, une partie non vide de et une application linéaire de dans lui-même.

On appelle polynôme annulateur de la restriction de à , un polynôme non nul appartenant à tel que :

Alors,

  1. L'ensemble des polynômes annulateurs de la restriction de à est non réduit à .

  2. L'ensemble des polynômes annulateurs de la restriction de à est un idéal de .

  3. Il existe un unique polynôme unitaire tel que tout polynôme annulateur de la restriction de à soit un multiple de ce polynôme.

    Ce polynôme est appelé le polynôme minimal de relativement à et est noté .

    Cela signifie que si est un polynôme annulateur de la restriction de à , il existe un polynôme appartenant à tel que .

Remarque
  1. Aucune hypothèse n'est nécessaire sur la partie non vide . En particulier elle peut ne pas être stable par (et c'est le cas le plus intéressant car le plus courant).

  2. Avec cette notation on a : .

  3. Lorsqu'il n'y a aucune ambiguïté, on dit que est le polynôme minimal de .

Preuve : Preuve du théorème

Il est immédiat que le polynôme minimal de est un polynôme annulateur de la restriction de à , ce qui prouve le 1.).

Pour démontrer le 2. et le 3. la démarche est la même que pour démontrer l'existence du polynôme minimal de . On prouve que l'ensemble des polynômes annulateurs de la restriction de à est un idéal de et on utilise le fait que tous les idéaux de sont principaux. Alors est l'unique générateur unitaire de cet idéal.

Cela prouve en outre que est le polynôme unitaire annulateur de la restriction de à , de plus bas degré.

Corollaire

Soit un espace vectoriel de type fini et une application linéaire de dans lui-même. Alors pour toute partie non vide de , le polynôme minimal de la restriction de à divise le polynôme minimal de , c'est-à-dire :

En particulier, il s'en suit que pour toute partie non vide de , le degré du polynôme minimal de la restriction de à est inférieur ou égal au degré du polynôme minimal.

Légende :
Apprendre
S'évaluer
S'exercer
Observer
Simuler
Réalisé avec Scenari (nouvelle fenêtre)