Soit un -espace vectoriel de dimension . On note l'algèbre des endomorphismes de et le groupe des endomorphismes inversibles.
Pour la question 1, utiliser le polynôme minimal et le fait que est inversible pour isoler comme combinaison linéaire de puissances de .
Pour la question 2, remarquer que si , alors est un polynôme annulateur de .
Pour la question 3, distinguer le cas où est un endomorphisme cyclique (c'est-à-dire ) et le cas contraire. Utiliser la densité des matrices à valeurs propres distinctes.
Lien entre polynôme annulateur et inverse : avec .
Propriétés du polynôme minimal (degré ).
Définition des endomorphismes cycliques ().
Densité des endomorphismes cycliques dans .
1. Existence et unicité de .
Soit . Son polynôme minimal est de degré . Puisque est inversible, n'est pas valeur propre de , donc n'est pas racine de .
On peut donc écrire avec . Comme , on a :
En isolant l'identité et en factorisant par , on obtient :
Ainsi, le polynôme convient.
Unicité et degré minimal.
Soit un polynôme tel que . Alors , donc le polynôme annule . Par définition du polynôme minimal, divise .
Ainsi, , ce qui implique , soit . Le polynôme construit précédemment est de degré au plus .
En réalité, son degré est exactement car si , cela contredirait . Si deux polynômes et de degré minimal conviennent, alors . Comme , l'unique possibilité est .
On a donc prouvé :
2. Étude de la continuité de .
Soit . Notons son polynôme caractéristique. Comme est inversible, . D'après le théorème de Cayley-Hamilton, , ce qui permet de définir le polynôme :
Ce polynôme vérifie et ses coefficients sont des fonctions continues de (car les sont polynomiaux en les coefficients de la matrice de ).
Cas 1 : est cyclique. Un endomorphisme est cyclique si . Dans ce cas, . Par unicité du polynôme de degré tel que , on a . L'ensemble des matrices cycliques est un ouvert de (car c'est le lieu où la famille est libre). Sur cet ouvert, coïncide avec l'application continue . Donc est continue en tout point cyclique.
Cas 2 : n'est pas cyclique. Alors . Donc . Cependant, l'ensemble des matrices à valeurs propres distinctes (qui sont cycliques) est dense dans . Il existe donc une suite d'endomorphismes cycliques convergeant vers .
Par continuité de , on a . Si était continue en , on devrait avoir . Or, (le coefficient de est ) et . C'est impossible. Donc n'est pas continue en .
Conclusion :
Attention à ne pas croire que est toujours le polynôme obtenu via Cayley-Hamilton. Ce dernier donne un polynôme de degré , mais est défini comme étant de degré minimal. Ils ne coïncident que si l'endomorphisme est cyclique.