ATLAS Ouvrir dans l'atlas →

ExerciceMaths approfondies, chapitre 8 — Dimension finie · Sous-espaces et dimension

Exercice 9

Démonstration

On pose F={P∈ℝ3[X]  ∣  P(1)=0}F=\big\{P \in \mathbb{R}_{3}[X] \;\big|\; P(1)=0\big\}.

1. Démontrer que FF est un sous-espace vectoriel de ℝ3[X]\mathbb{R}_{3}[X].

2. Démontrer que la famille ((X−1) ; (X−1)2 ; (X−1)3)\big((X-1) \,;\, (X-1)^{2} \,;\, (X-1)^{3}\big) est une famille libre de FF.

3. En remarquant que F≠ℝ3[X]F \neq \mathbb{R}_{3}[X], démontrer que dim⁡F=3\dim F = 3.

4. En déduire que la famille précédente est une base de FF, puis déterminer les coordonnées de X3−1X^{3}-1 dans cette base.

Corrigé

1. On a F⊂ℝ3[X]F \subset \mathbb{R}_{3}[X], le polynôme nul vérifie P(1)=0P(1)=0, et pour λ∈ℝ\lambda \in \mathbb{R} et PP, Q∈FQ \in F : (λP+Q)(1)=λ P(1)+Q(1)=0(\lambda P+Q)(1)=\lambda\,P(1)+Q(1)=0

F est un sous-espace vectoriel de ℝ3[X].\boxed{F \text{ est un sous-espace vectoriel de } \mathbb{R}_{3}[X].}

2. Chaque polynôme (X−1)k(X-1)^{k} s'annule en 11, donc appartient à FF. Soient aa, bb, cc tels que : a(X−1)+b(X−1)2+c(X−1)3=0a(X-1)+b(X-1)^{2}+c(X-1)^{3}=0 Le coefficient de X3X^{3} du membre de gauche vaut cc, donc c=0c=0 ; le coefficient de X2X^{2} vaut alors bb, donc b=0b=0 ; il reste a(X−1)=0a(X-1)=0, donc a=0a=0. La famille est libre, et contenue dans F.\boxed{\text{La famille est libre, et contenue dans } F.}

3. D'une part, FF contient une famille libre de trois vecteurs, donc dim⁡F⩾3\dim F \geqslant 3 d'après la proposition 1.

D'autre part, FF est un sous-espace de ℝ3[X]\mathbb{R}_{3}[X], qui est de dimension 44 : donc dim⁡F⩽4\dim F \leqslant 4. Mais l'égalité entraînerait F=ℝ3[X]F=\mathbb{R}_{3}[X] d'après la proposition 2, ce qui est faux puisque le polynôme constant 11 ne s'annule pas en 11. Donc dim⁡F⩽3\dim F \leqslant 3. dim⁡F=3\boxed{\dim F = 3}

4. La famille est libre et compte trois vecteurs dans un espace de dimension trois : c'est une base.

Pour les coordonnées de X3−1X^{3}-1, posons Y=X−1Y=X-1, de sorte que X=Y+1X=Y+1 : X3−1=(Y+1)3−1=Y3+3Y2+3YX^{3}-1=(Y+1)^{3}-1=Y^{3}+3Y^{2}+3Y

X3−1=3 (X−1)+3 (X−1)2+(X−1)3, soit les coordonneˊes (3 ;3 ;1).\boxed{X^{3}-1=3\,(X-1)+3\,(X-1)^{2}+(X-1)^{3}, \text{ soit les coordonnées } (3\,;3\,;1).} Remarque : on retrouve le triplet (3 ;3 ;1)(3\,;3\,;1) de l'exercice 4, ce qui n'est pas fortuit : là encore, ce sont les coefficients de Taylor de X3−1X^{3}-1 au point 11.

Dans l'édifice

Thèmes

dimension, bases, familles libres et génératrices, sous-espaces et dimension, espaces de polynômes

Notions

dimension, base (algèbre linéaire)

Ouvrir dans l'atlas interactif →