ATLAS Ouvrir dans l'atlas →

ExerciceMaths approfondies, chapitre 6 — Espaces vectoriels · Sous-espaces vectoriels

Exercice 7

Démonstration

Soient EE un KK-espace vectoriel et uu, vv deux vecteurs de EE. On note : Vect(u ;v)={λu+μv  ∣  (λ ;μ)∈K2}\mathrm{Vect}(u\,;v)=\big\{\lambda u+\mu v \;\big|\; (\lambda\,;\mu) \in K^{2}\big\}

1. Démontrer que Vect(u ;v)\mathrm{Vect}(u\,;v) est un sous-espace vectoriel de EE, dont (u ;v)(u\,;v) est une famille génératrice.

2. Démontrer que tout sous-espace vectoriel de EE contenant uu et vv contient Vect(u ;v)\mathrm{Vect}(u\,;v).

3. Dans ℝ3\mathbb{R}^{3}, décrire Vect((1 ;0 ;1) ;(0 ;1 ;1))\mathrm{Vect}\big((1\,;0\,;1)\,;(0\,;1\,;1)\big) par une équation cartésienne.

4. Dans ℝ3\mathbb{R}^{3}, décrire Vect((1 ;2 ;3) ;(2 ;4 ;6))\mathrm{Vect}\big((1\,;2\,;3)\,;(2\,;4\,;6)\big). Que remarque-t-on ?

Corrigé

1. On a Vect(u ;v)⊂E\mathrm{Vect}(u\,;v) \subset E, et 0E=0K⋅u+0K⋅v0_{E}=0_{K} \cdot u+0_{K} \cdot v en appartient. Soient ensuite λ∈K\lambda \in K et deux éléments au+bvau+bv et a′u+b′va'u+b'v : λ(au+bv)+(a′u+b′v)=(λa+a′) u+(λb+b′) v∈Vect(u ;v)\lambda(au+bv)+(a'u+b'v)=(\lambda a+a')\,u+(\lambda b+b')\,v \in \mathrm{Vect}(u\,;v) Enfin, tout élément de Vect(u ;v)\mathrm{Vect}(u\,;v) est par définition une combinaison linéaire de uu et vv. Vect(u ;v) est un sous-espace vectoriel de E, dont (u ;v) est une famille geˊneˊratrice.\boxed{\mathrm{Vect}(u\,;v) \text{ est un sous-espace vectoriel de } E, \text{ dont } (u\,;v) \text{ est une famille génératrice.}}

2. Soit WW un sous-espace vectoriel contenant uu et vv, et soit λu+μv\lambda u+\mu v un élément de Vect(u ;v)\mathrm{Vect}(u\,;v). Comme WW est stable par multiplication externe, λu∈W\lambda u \in W et μv∈W\mu v \in W ; comme il est stable par addition, leur somme y appartient. Vect(u ;v)⊂W\boxed{\mathrm{Vect}(u\,;v) \subset W} Autrement dit, Vect(u ;v)\mathrm{Vect}(u\,;v) est le plus petit sous-espace vectoriel contenant uu et vv.

3. On calcule la combinaison générale : λ (1 ;0 ;1)+μ (0 ;1 ;1)=(λ ; μ ; λ+μ)\lambda\,(1\,;0\,;1)+\mu\,(0\,;1\,;1)=\big(\lambda \,;\, \mu \,;\, \lambda+\mu\big) Un tel vecteur vérifie z=x+yz=x+y. Réciproquement, si z=x+yz=x+y, le choix λ=x\lambda=x et μ=y\mu=y convient. Vect((1 ;0 ;1) ;(0 ;1 ;1))={(x ;y ;z)∈ℝ3  ∣  z=x+y}\boxed{\mathrm{Vect}\big((1\,;0\,;1)\,;(0\,;1\,;1)\big)=\big\{(x\,;y\,;z) \in \mathbb{R}^{3} \;\big|\; z=x+y\big\}} C'est donc un plan vectoriel de ℝ3\mathbb{R}^{3}.

4. On remarque que (2 ;4 ;6)=2×(1 ;2 ;3)(2\,;4\,;6)=2 \times (1\,;2\,;3) : le second vecteur est colinéaire au premier, et n'apporte rien. Vect((1 ;2 ;3) ;(2 ;4 ;6))=Vect((1 ;2 ;3))={(t ;2t ;3t)  ∣  t∈ℝ}\boxed{\mathrm{Vect}\big((1\,;2\,;3)\,;(2\,;4\,;6)\big)=\mathrm{Vect}\big((1\,;2\,;3)\big)=\big\{(t\,;2t\,;3t) \;\big|\; t \in \mathbb{R}\big\}} Deux vecteurs peuvent donc n'engendrer qu'une droite : le nombre de vecteurs d'une famille génératrice ne dit rien de la « taille » de l'espace engendré. C'est précisément ce que la notion de famille libre viendra corriger.

Dans l'édifice

Thèmes

espaces vectoriels, sous-espaces vectoriels, familles génératrices

Notions

espace vectoriel, sous-espace vectoriel, famille génératrice

Ouvrir dans l'atlas interactif →