ATLAS Ouvrir dans l'atlas →

ExerciceMaths approfondies, chapitre 6 — Espaces vectoriels · Systèmes et bases

Exercice 17

DémonstrationCalcul

On pose e1=(1 ;1 ;0)e_{1}=(1\,;1\,;0), e2=(0 ;1 ;1)e_{2}=(0\,;1\,;1) et e3=(1 ;0 ;1)e_{3}=(1\,;0\,;1) dans ℝ3\mathbb{R}^{3}.

1. Démontrer que la famille (e1 ;e2 ;e3)(e_{1}\,;e_{2}\,;e_{3}) est libre.

2. Démontrer qu'elle est génératrice de ℝ3\mathbb{R}^{3}, en exprimant les coefficients en fonction de (x ;y ;z)(x\,;y\,;z).

3. Conclure, puis déterminer les coordonnées du vecteur (1 ;2 ;3)(1\,;2\,;3) dans cette base.

4. Quelles sont les coordonnées de ce même vecteur dans la base canonique ?

Corrigé

1. Soient λ\lambda, μ\mu, ν\nu tels que λe1+μe2+νe3=0E\lambda e_{1}+\mu e_{2}+\nu e_{3}=0_{E}, c'est-à-dire : {λ+ν=0λ+μ=0μ+ν=0\left\{\begin{array}{l} \lambda+\nu=0 \\ \lambda+\mu=0 \\ \mu+\nu=0 \end{array}\right. Les deux premières donnent ν=−λ\nu=-\lambda et μ=−λ\mu=-\lambda, et la troisième devient −2λ=0-2\lambda=0, d'où λ=0\lambda=0, puis μ=ν=0\mu=\nu=0. La famille (e1 ;e2 ;e3) est libre.\boxed{\text{La famille } (e_{1}\,;e_{2}\,;e_{3}) \text{ est libre.}}

2. Soit (x ;y ;z)∈ℝ3(x\,;y\,;z) \in \mathbb{R}^{3}. On résout : {λ+ν=xλ+μ=yμ+ν=z\left\{\begin{array}{l} \lambda+\nu=x \\ \lambda+\mu=y \\ \mu+\nu=z \end{array}\right. En additionnant les trois lignes : 2(λ+μ+ν)=x+y+z2(\lambda+\mu+\nu)=x+y+z. Posons s=x+y+z2s=\dfrac{x+y+z}{2}. En retranchant successivement chaque ligne : μ=s−xν=s−yλ=s−z\boxed{\mu=s-x \qquad \nu=s-y \qquad \lambda=s-z} Ce triplet existe toujours : la famille est génératrice.

3. Libre et génératrice, la famille est une base de ℝ3\mathbb{R}^{3}. Pour le vecteur (1 ;2 ;3)(1\,;2\,;3), on a s=1+2+32=3s=\dfrac{1+2+3}{2}=3, d'où λ=3−3=0\lambda=3-3=0, μ=3−1=2\mu=3-1=2 et ν=3−2=1\nu=3-2=1. (1 ;2 ;3)=0⋅e1+2 e2+1 e3\boxed{(1\,;2\,;3)=0 \cdot e_{1}+2\,e_{2}+1\,e_{3}} Vérification : 2 (0 ;1 ;1)+(1 ;0 ;1)=(1 ;2 ;3)2\,(0\,;1\,;1)+(1\,;0\,;1)=(1\,;2\,;3) ✓

4. Dans la base canonique, les coordonnées d'un vecteur sont ses composantes. Les coordonneˊes sont 1,  2 et 3.\boxed{\text{Les coordonnées sont } 1, \; 2 \text{ et } 3.} Un même vecteur a donc des coordonnées différentes selon la base choisie — ici (0 ;2 ;1)(0\,;2\,;1) et (1 ;2 ;3)(1\,;2\,;3). La base canonique n'a rien de privilégié mathématiquement, comme le souligne le cours.

Dans l'édifice

Thèmes

familles libres, familles génératrices, bases, espaces de fonctions

Notions

famille libre, famille génératrice, base (algèbre linéaire)

Ouvrir dans l'atlas interactif →