[<] Polynômes en un endomorphisme ou une matrice [>] Polynômes annulateurs
Soit un endomorphisme d’un espace réel vérifiant .
Justifier que les espaces et sont supplémentaires.
Soient un espace vectoriel sur et un élément non nul de . Soit tel que . Les espaces et sont-ils supplémentaires?
Solution
est annulateur de . Par le théorème de décomposition des noyaux,
car et sont premiers entre eux. Or étant non nul, on montre
tandis que l’inclusion réciproque provient de ce que
Les espaces et sont donc supplémentaires.
Soit un -espace vectoriel de dimension finie et tel que
Décrire les sous-espaces stables de .
Même question avec un -espace vectoriel.
Solution
Cas: . annule un polynôme scindé simple, l’endomorphisme est donc diagonalisable. Tout sous-espace vectoriel possédant une base de vecteurs propres est stable et inversement.
Cas: . Par le lemme de décomposition des noyaux, on a
Soit un sous-espace vectoriel stable par . Posons
et
Montrons .
Tout peut s’écrire avec et .
Puisque et , on a
puis .
Ainsi, , et l’on a donc .
Il est alors immédiat que l’on peut alors conclure .
Puisque , pour non nul la famille est libre. En effet, l’endomorphisme induit par sur satisfait . Il annule le polynôme qui est sans racines réelles. L’endomorphisme induit ne possède donc pas de valeurs propres.
L’espace est stable par puisque .
Si , il existe . Comme au-dessus, est un plan stable par . Si est non nul alors et est libre donc puis ce que le choix de exclut. Les espaces et sont donc en somme directe.
Si , on recommence.
Au final, est la somme directe de sous-espaces vectoriels de la forme avec , .
Quant à , il n’y a pas de condition à souligner puisque tout sous-espace vectoriel de est stable par .
Soit un endomorphisme d’un -espace vectoriel vérifiant . Montrer
Solution
Le polynôme est annulateur de . Or avec et premiers entre eux. Par le lemme de décomposition des noyaux,
Or donne . Aussi, si , . Par double inclusion, ce qui permet de conclure.
Soit un endomorphisme d’un -espace vectoriel de dimension quelconque. On suppose qu’il existe un polynôme annulateur de vérifiant
Montrer que l’image et le noyau de sont supplémentaires dans .
Solution
On peut écrire avec tel que . Quitte à considérer au lieu de avec bien choisi, on peut supposer . Cela permet d’écrire avec .
Les polynômes et sont premiers entre eux. Par le lemme de décomposition des noyaux,
Montrons par double inclusion l’égalité ce qui permettra de conclure.
D’une part, et donc .
D’autre part, pour , on a donc puis . Ainsi, et l’on a l’égalité.
Soit un endomorphisme d’un espace vectoriel . On suppose qu’il existe deux polynômes premiers entre eux vérifiant .
On suppose l’espace de dimension finie. Montrer
On ne suppose plus l’espace de dimension finie. Le résultat précédent est-il encore vrai?
Soit un endomorphisme d’un -espace vectoriel de dimension quelconque. On suppose qu’il existe deux polynômes premiers entre eux vérifiant . Montrer
Solution
Les polynômes et étant premiers entre eux, on peut introduire des polynômes vérifiant
En évaluant en , on obtient la relation
Soit . Puique , on a et donc . La relation donne alors
Ainsi, les espaces et sont en somme directe. Soit . Par la relation , on peut écrire
On a évidement et aussi car
On peut alors conclure l’égalité
Soient un endomorphisme d’un -espace vectoriel de dimension finie et annulateur de .
On suppose que l’on peut écrire avec et premiers entre eux.
Établir
Solution
Par le lemme de décomposition des noyaux,
et puisque est annulateur
De plus, et donc .
Par la formule du rang,
et par la supplémentarité qui précède,
donc
On peut alors conclure.
Notons que le résultat est aussi vrai en dimension quelconque: on l’obtient grâce à une relation de Bézout.
[<] Polynômes en un endomorphisme ou une matrice [>] Polynômes annulateurs
Édité le 31-01-2026
Bootstrap 3
-
LaTeXML
-
Powered by MathJax