ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 15 — Dimension finie et rang · Espaces de dimension finie

Exercice 1

DémonstrationCalcul

1. Pour quelles valeurs du réel tt la famille ((1,t),(t,3))\big((1, t), (t, 3)\big) est-elle une base de ℝ2\mathbb{R}^{2} ? Même question pour la famille ((1,0,t),(1,1,t),(t,0,1))\big((1, 0, t), (1, 1, t), (t, 0, 1)\big) de ℝ3\mathbb{R}^{3}.

2. Montrer que u1=(0,1,1)u_{1} = (0, 1, 1), u2=(1,0,1)u_{2} = (1, 0, 1) et u3=(1,1,0)u_{3} = (1, 1, 0) forment une base de ℝ3\mathbb{R}^{3}, et déterminer les coordonnées de (1,1,1)(1, 1, 1) dans cette base.

Corrigé

1. Dans ℝ2\mathbb{R}^{2}, de dimension 22, deux vecteurs forment une base si et seulement s'ils ne sont pas colinéaires, c'est-à-dire si 1×3−t×t≠01 \times 3 - t \times t \neq 0. Dans ℝ3\mathbb{R}^{3}, on résout a(1,0,t)+b(1,1,t)+c(t,0,1)=0a(1, 0, t) + b(1, 1, t) + c(t, 0, 1) = 0 : la deuxième coordonnée donne b=0b = 0, puis a+ct=0a + ct = 0 et at+c=0at + c = 0, d'où c(1−t2)=0c(1 - t^{2}) = 0. La famille est libre, donc une base (théorème 4), si et seulement si t2≠1t^{2} \neq 1. base de ℝ2  ⟺  t≠±3,base de ℝ3  ⟺  t≠±1\boxed{\text{base de } \mathbb{R}^{2} \iff t \neq \pm\sqrt{3}, \qquad \text{base de } \mathbb{R}^{3} \iff t \neq \pm 1}

2. Si au1+bu2+cu3=0au_{1} + bu_{2} + cu_{3} = 0, alors b+c=a+c=a+b=0b + c = a + c = a + b = 0, donc a=b=c=0a = b = c = 0 : trois vecteurs libres de ℝ3\mathbb{R}^{3} forment une base. On cherche (1,1,1)=au1+bu2+cu3(1, 1, 1) = au_{1} + bu_{2} + cu_{3} : b+c=a+c=a+b=1b + c = a + c = a + b = 1, d'où a+b+c=32a + b + c = \frac{3}{2}, puis a=b=c=12a = b = c = \frac{1}{2}. (1,1,1)=12(u1+u2+u3)\boxed{(1, 1, 1) = \frac{1}{2}(u_{1} + u_{2} + u_{3})}

Ouvrir dans l'atlas interactif →