Soit un -espace vectoriel de dimension finie. On considère une famille finie de vecteurs qui engendre .
Soit un endomorphisme de tel que l'image de la famille par soit exactement , c'est-à-dire .
Démontrer que l'endomorphisme est diagonalisable.
Étudier la restriction de l'application à l'ensemble fini pour en déduire une relation sur les puissances de .
Utiliser le fait que est une famille génératrice pour étendre cette relation à l'espace tout entier.
Conclure à l'aide d'un polynôme annulateur scindé à racines simples.
Lien entre permutation d'un ensemble fini et endomorphisme induit.
Caractérisation de la diagonalisabilité par l'existence d'un polynôme annulateur scindé à racines simples.
Extension d'une propriété d'une famille génératrice à l'espace entier par linéarité.
1. Étude de l'action de sur l'ensemble fini .}
Par hypothèse, induit une application de dans lui-même.
Puisque et que est un ensemble fini, cette application est une surjection d'un ensemble fini vers lui-même, donc c'est une bijection.
Ainsi, l'action de sur définit une permutation de ses éléments. Notons la permutation de l'ensemble des indices telle que :
2. Recherche d'un polynôme annulateur.
Considérons le groupe symétrique des permutations de . Ce groupe est fini et possède éléments.
D'après le théorème de Lagrange (ou par l'existence d'un ordre pour tout élément d'un groupe fini), il existe un entier tel que .
On en déduit que pour tout vecteur de la famille :
Soit maintenant un vecteur quelconque . Puisque est une famille génératrice de , il existe des scalaires tels que :
Par linéarité de , on obtient :
Comme cette égalité est vraie pour tout , nous avons établi que :
3. Conclusion sur la diagonalisabilité.
L'endomorphisme est donc annulé par le polynôme :
Sur le corps des complexes , ce polynôme se décompose de la manière suivante :
On observe que est scindé sur et que ses racines sont les racines -ièmes de l'unité. Ces racines sont toutes distinctes deux à deux.
D'après le critère de diagonalisation par les polynômes annulateurs, l'existence d'un tel polynôme implique que :
Attention à ne pas oublier de mentionner que est génératrice. Si n'engendrait qu'un sous-espace stable , on pourrait seulement conclure que la restriction de à est diagonalisable.