ExerciceMaths approfondies, chapitre 8 — Dimension finie · Sous-espaces et dimension
Exercice 9
On pose .
1. Démontrer que est un sous-espace vectoriel de .
2. Démontrer que la famille est une famille libre de .
3. En remarquant que , démontrer que .
4. En déduire que la famille précédente est une base de , puis déterminer les coordonnées de dans cette base.
Corrigé
1. On a , le polynôme nul vérifie , et pour et , :
2. Chaque polynôme s'annule en , donc appartient à . Soient , , tels que : Le coefficient de du membre de gauche vaut , donc ; le coefficient de vaut alors , donc ; il reste , donc .
3. D'une part, contient une famille libre de trois vecteurs, donc d'après la proposition 1.
D'autre part, est un sous-espace de , qui est de dimension : donc . Mais l'égalité entraînerait d'après la proposition 2, ce qui est faux puisque le polynôme constant ne s'annule pas en . Donc .
4. La famille est libre et compte trois vecteurs dans un espace de dimension trois : c'est une base.
Pour les coordonnées de , posons , de sorte que :
Remarque : on retrouve le triplet de l'exercice 4, ce qui n'est pas fortuit : là encore, ce sont les coefficients de Taylor de au point .