2. Sous-espaces vectoriels
2.1 Définitions et caractérisations
Définition 2.1
Soit E un espace vectoriel sur K. Soit F une partie de E.
On dit que F est un sous espace vectoriel (s.e.v.) de E si, muni des lois induites, F est un espace vectoriel.
Remarques 2.2
•On dit parfois sous-espace plutôt que s.e.v.
•{0} et E sont deux s.e.v. de E, appelés sous-espaces triviaux.
Exemples 2.3
• est un s.e.v. de considéré comme -e.v.
• n'est pas un s.e.v. de considéré comme -e.v.
•Les vecteurs d'un plan forment un s.e.v. des vecteurs de l'espace.
Propriété 2.4
Soient E un espace vectoriel sur K et F une partie de E. F est un s.e.v. de E si et seulement si
1. F ≠ ∅.
2. ∀u, v∈F, u + v∈F(F est stable par addition).
3. ∀λ∈K, ∀u∈F, λ
u∈F(F est stable par multiplication par un scalaire).
ou encore si et seulement si
1' F ≠ ∅.
2' ∀u, v∈F, ∀λ, µ∈K, λ
u + µ
v∈F.
ou encore si et seulement si
1'' F ≠ ∅.
2'' ∀(λ
i
)
i∈I
famille à support fini d'éléments de K, ∀(x
i
)
i∈I
∈F, λ
i
x
i
∈F (F est stable par C.L.).
icI
Démonstration
Dans un premier temps, on montre que les 3 premières propriétés sont bien équivalentes à F s.e.v.
c'est-à-dire que F est un e.v. pour les lois induites. Puis on montre l'équivalence entre la condition formée
des 3 premières propriétés et celles constituées des suivantes.
La condition F ≠ ∅ est vérifié dans les trois cas donc n'intervient pas.
2' ⇒ 2 et 3 (2) Il suffit de prendre λ = µ = 1
(3) Il suffit de prendre µ = 0.
2 et 3 ⇒ 2' On a ∀λ∈K, ∀u∈F, λ
u∈F et ∀µ∈K, ∀v∈F, µ
v∈F d'après 3 ).
Et donc λ
u + µ
v∈F d'après 2 ).
2'' ⇒ 2' Il suffit de prendre une famille à 2 éléments.
2' ⇒ 2'' Par récurrence sur le nombre d'éléments dans la famille à support fini.
Francis Wlazinski
5