MPSI · Espaces vectoriels

Familles génératrices

Question

Comment montrer qu'une famille de vecteurs engendre tout l'espace, et comment trouver une famille génératrice d'un sous-espace donné ?

L'essentiel

Définition 1 : Famille génératrice

Une famille (v1,,vp)(v_1,\dots,v_p) est génératrice de EE si tout vecteur de EE est combinaison linéaire des viv_i, autrement dit si vect(v1,,vp)=E\operatorname{vect}(v_1,\dots,v_p)=E.

Méthode

Rédaction — Montrer qu'une famille engendre 𝕂ⁿ :

Raccourci efficace : il suffit de montrer que chaque vecteur de la base canonique e1,,ene_1,\dots,e_n est combinaison linéaire de ta famille. Comme (e1,,en)(e_1,\dots,e_n) engendre déjà Kn\mathbb{K}^n, ta famille l'engendre alors aussi.

Rédaction — Trouver une famille génératrice d'un sous-espace F :

Quand FF est décrit par des paramètres :

  1. Écris le vecteur générique de FF en fonction des paramètres.
  2. Sépare-le en une somme, un terme par paramètre.
  3. Factorise chaque terme par son paramètre : les vecteurs qui restent forment une famille génératrice de FF.

Exemple :

Soient u1=(0,1,1)u_1=(0,1,1), u2=(1,0,1)u_2=(1,0,1), u3=(1,1,0)u_3=(1,1,0). Montrons qu'ils engendrent R3\mathbb{R}^3. On calcule

e1=12(u2+u3u1),e2=12(u1+u3u2),e3=12(u1+u2u3).e_1=\tfrac{1}{2}(u_2+u_3-u_1),\quad e_2=\tfrac{1}{2}(u_1+u_3-u_2),\quad e_3=\tfrac{1}{2}(u_1+u_2-u_3).

Chaque eie_i est combinaison linéaire des uju_j, donc (u1,u2,u3)(u_1,u_2,u_3) engendre R3\mathbb{R}^3.

Exemple :

Soit F={(x2yz, 2x+yz, yz)(x,y,z)R3}F=\{(x-2y-z,\ 2x+y-z,\ y-z) \mid (x,y,z)\in\mathbb{R}^3\}. On décompose :

(x2yz, 2x+yz, yz)=x(1,2,0)+y(2,1,1)z(1,1,1).(x-2y-z,\ 2x+y-z,\ y-z)=x(1,2,0)+y(-2,1,1)-z(1,1,1).

Donc F=vect{(1,2,0),(2,1,1),(1,1,1)}F=\operatorname{vect}\{(1,2,0),(-2,1,1),(1,1,1)\} : cette famille engendre FF.

Exercice 1 : Famille génératrice d'un sous-espace

On pose F={(a+b, ab, a)(a,b)R2}F=\{(a+b,\ a-b,\ a) \mid (a,b)\in\mathbb{R}^2\}. Trouve une famille génératrice de FF.

Solution :(cliquer pour afficher)

On décompose le vecteur générique selon aa et bb :

(a+b, ab, a)=a(1,1,1)+b(1,1,0).(a+b,\ a-b,\ a)=a(1,1,1)+b(1,-1,0).

Donc F=vect{(1,1,1),(1,1,0)}F=\operatorname{vect}\{(1,1,1),(1,-1,0)\}, et {(1,1,1),(1,1,0)}\{(1,1,1),(1,-1,0)\} est une famille génératrice de FF.