Chapitre 3Espaces vectoriels
1Notions fondamentales • • • • • • • • • • • • • • • • • • • • • • • • • •
D´
efinition (Espace vectoriel)
Soit Eun ensemble non vide. On dit que Eest un espace vectoriel sur K(Rou C)s’il est muni de
deux op´
erations not´
ees +et ·telles que :
(i)Pour tous u,v∈Eet λ∈K, on a u+v∈Eet λ·u∈E(r`
egle de stabilit´
e);
(ii)L’addition ‘+’ est associative, commutative, poss`
ede un ´
el´
ement neutre 0 et tout ´
el´
ement u∈E
admet oppos´
e−u∈Etel que u+ (−u) = 0 ;
(iii)Pour tous u,v∈Eet λ,µ∈K,
1·u=u,λ·(u+v) = λ·u+λ·v,(λ+µ)·u=λ·u+µ·uet λ·(µ·u) = (λµ)·u
Proposition (Sous-espace vectoriel)
Soit F⊂Eun sous-ensemble non vide de E. Si Fv´
erifie la r`
egle de stabilit´
e(i)de la d´
efinition,
alors Fest un espace vectoriel sur K. On dit que c’est un sous-espace vectoriel de E.
D´
efinition (Produit d’espaces vectoriels)
Soient E1et E2deux espaces vectoriels sur K. On note E=E1×E2l’ensemble des couples
de vecteurs (u1,u2)o`
uu1∈E1et u2∈E2et on pose pour λ∈K,(u1,u2)et (v1,v2)∈E,
λ·(u1,u2) = (λu1,λu2)et (u1,u2)+(v1,v2) = (u1+v1,u2+v2).
Muni de ces op´
erations, Ea une structure d’espace vectoriel sur K. On l’appelle produit des espaces
vectoriels E1et E2.
Proposition (Sous-espace vectoriel engendr´
e)
Soit U= (u1, . . . , un)une famille de vecteurs de E. L’ensemble de toutes les combinaisons lin´
eaires
des vecteurs de Uest un sous-espace vectoriel de E. On l’appelle sous-espace vectoriel engendr´
e
par Uet on le note Vect(U).
D´
efinition (Famille libre, famille li´
ee)
On dit qu’une famille U= (u1, . . . , un)de vecteurs de Eest libre si la seule combinaison lin´
eaire
des vecteurs de U´
egale au vecteur nul est celle dont tous les coefficients sont nuls. Dans le cas
contraire, on dit que la famille Uest li´
ee.
D´
efinition et proposition (Base, coordonn´
ees)
On dit qu’une famille B= (e1, . . . , en)est une base de Esi elle est libre et si elle engendre E.
Dans ce cas, tout vecteur ude Es’´
ecrit de mani`
ere unique u=x1e1+· · · +xneno`
ux1, . . . , xn∈K
sont appel´
es coordonn´
ees de udans B.
Cours de math´
ematiques, Sp´
e PC – [Rapha¨
el Dieu - 12/2016]page 1