Maths en L˙
1gne Dimension finie UJF Grenoble
Observons que tout sous-espace vectoriel de Econtient au moins le vecteur nul. La
notion prend tout son intérêt grâce au théorème suivant.
Théorème 1. Soit Eun espace vectoriel et F⊂Eun sous-ensemble non vide de E.
L’ensemble Fest un sous-espace vectoriel de Esi et seulement si :
∀v, w ∈F v +w∈F;
∀v∈F , ∀λ∈Rλv ∈F . (1)
Démonstration : Parmi les 8 propriétés de la définition 1, celles qui ne font intervenir
que le quantificateur ∀(associativités, commutativité, distributivités), puisqu’elles sont
vraies dans E, restent vraies dans Fà cause de (1). Il suffit donc de vérifier les 2
propriétés impliquant une existence (élément neutre et opposé). Nous devons démontrer
que Fcontient le vecteur nul, ainsi que l’opposé de tout vecteur de F. D’après le premier
point de la proposition 1, le vecteur nul s’écrit 0vpour tout vecteur vde E, donc pour
tout vecteur de F. Comme Fest non vide, le vecteur nul est donc dans F. De même
si vest un vecteur de F, alors son opposé, qui s’écrit (−1) vd’après le second point de
la proposition 1, est aussi dans F.
Théorème 2. Soit Eun espace vectoriel et F⊂Eun sous-ensemble non vide de E.
Les trois affirmations suivantes sont équivalentes.
1. Fest un sous-espace vectoriel de E.
2. Fcontient toutes les combinaisons linéaires de 2de ses vecteurs.
∀v, w ∈F , ∀λ, µ ∈R, λ v +µ w ∈F .
3. pour tout n>1,Fcontient toutes les combinaisons linéaires de nde ses vecteurs.
∀v1, . . . , vn∈F , ∀λ1, . . . , λn∈R,
n
X
i=1
λivi∈F .
Démonstration : Rappelons que Fest un sous-espace vectoriel de Esi et seulement
si il vérifie (1). L’équivalence entre (1) et 2est un exercice facile, laissé au lecteur.
L’implication 3=⇒2est évidente. Nous allons démontrer la réciproque 2=⇒3, par
récurrence sur n. Notons H(n)l’hypothèse de récurrence :
H(n) : ∀v1, . . . , vn∈F , ∀λ1, . . . , λn∈R,
n
X
i=1
λivi∈F .
Le point 2est H(2), et il implique H(1) (cas particulier µ= 0). Supposons que H(n)
soit vrai. Soient v1, . . . , vn+1 n+ 1 vecteurs de Fet λ1, . . . , λn+1 n+ 1 réels. Ecrivons
n+1
X
i=1
λivi=v+λn+1 vn+1 ,
4