Dans toute la suite E,F,Gsont des Espaces Vectoriels sur K(où (K+,×) est un corps commutatif, mais dans la
pratique c’est Rou C), muni des deux lois notées + et . (souvent omis). D’aucuns remarqueront certainement ci et
là certaines imprécisions, mais elles sont dues au choix d’un rappel-condensé court et efficace.
Dans toute la suite soit une famille de vecteurs E=(e1,... ,en) de Eet Fun sev de E.
On dit que la famille Eest génératrice de F ou que F est engendré par la famille Eet on note Vect(e1,. .., en)=
〈(e1,.. .,en)〉=Fsi et seulement si tout xde Fs’écrit comme combinaison linéaire de cette famille cad :
∀x∈F∃a1, ... , an∈Ktq x=a1x1+ · · · + anxn
La famille Eest dite libre si et seulement si la seule combinaison linéaire nulle est la combinaison à coeffi-
cients tous nuls , cad a1x1+ · · · + anxn=0=⇒ a1=a2= ·· · = an=0.
Une famille de vecteurs est liée ssi l’un des vecteurs est combinaison linéaire des autres. (Notons que, dans
ce cas-là, justement, il y a une combinaison de la famille à coefficients non tous nuls. . .).
La famille Eest une base de Fsi et seulement si elle est constituée d’éléments de F et vérifie l’une des
équivalences : (Les première et troisième sont les plus utilisées)
⇐⇒ Eest libre et Card E=dim F
⇐⇒ Eest libre et Eest génératrice de F
⇐⇒ La matrice représentant E(coordonnées en colonnes) a un déterminant non nul.
⇐⇒ ∀ x∈F∃!a1,. .. , an∈Ktq x=a1x1+ · · · + anxn(unicité et existence des coefficients)
⇐⇒ Eest génératrice de Fet Card E=dim F
Toute famille de Polynômes non nuls et de degrés tous distincts est libre. (très utile dans la pratique)
Toute famille de vecteurs Ede Etq Card E>dim Eest liée.
La famille (u,v) est liée ⇐⇒ u=λvou v=0⇐⇒ u=λvou v=µu. (sous-entendu, il existe λ,µtel que...)
Attention ! L’implication (u,v) liée =⇒ u=λvest fausse (à cause du cas possible : v =0et u 6= 0)
Dans toute la suite F,Get Hsont des sous espaces-vectoriels de E.
F+Gest un sev de E. C’est l’ensemble de toutes les sommes des éléments de Fet G.
F+Gest le plus petit sev engendré par Fet G, soit F+G= Vect (F∪G) = 〈F∪G〉. On retiendra en particulier
que F+G⊃Fet F+G⊃G(ce qui peut se comprendre, si on fait la somme de tous les éléments de F et de 0 )
H=F+G⇐⇒ ∃ f∈Fet g∈Gtq x=f+g
(C’est cette formulation, disant d’ailleurs la même chose que la 1), qui est la plus usitée ).
si Fet Gsont de dimension finie F+Gl’est et dim (F+G)=dim F+dim G−dim (F∩G)
Par exemple, la somme de deux droites (non identiques) est un plan.