Algèbre_linéaire_ dim. finie_ PCSI
- page 4 -
1.2.6 Théorème (de la base incomplète)
Soit E un -ev de dimension finie n.
Etant donné une famille libre F de p ≤ n vecteurs de E, on peut la compléter par n − p vecteurs pour obtenir une
base de E. On peut même la compléter par des vecteurs convenables tirés d'une base arbitraire fixée de E.
Preuve
Soit B = (e
1
, ... , e
n
) une base de E. Lorsque p = n, c’est que F est une base d’après (1.2.2) et il n’y a rien à prouver. On
suppose la propriété vraie pour un entier p ∈ ’1,n÷ et on la démontre pour l’entier p − 1.
Supposons donc card F = p − 1. Forcément, l’un des e
i
n’est pas dans Vect F sinon, Vect F contiendrait une base et F
serait une famille génératrice et libre, donc une base de E mais de cardinal p − 1 < n. Supposons pour fixer les idées que
e
1
∉ Vect F. Alors la famille F ’ composée des vecteurs de F et de e
1
est encore libre et de cardinal p. Comme la
propriété est vraie pour les familles de cardinal p, on peut compléter F ’ par des vecteurs de B , forcément n − p d’entre
eux, pour obtenir une base de E. Du coup, B peut-être complétée avec ces mêmes vecteurs auxquels on adjoint e
1
pour
obtenir la même base.
1.3 Calculs autour de la dimension des sev
1.3.1 Propriété
Tout sev F d'un -ev E de dimension finie n est lui-même de dimension finie ≤ n.
Preuve
Toute famille libre de F est une famille libre de E, donc de cardinal ≤ n. Si F est non nul, on procède comme en 1.1.5 :
on construit de proche en proche une famille libre (x
1
, … , x
k
) de vecteurs de F telle que x
k
∉ Vect (x
1
, … , x
k −1
) en
démarrant avec un vecteur x
1
non nul de E. On s'arrête lorsqu'on ne peut plus agrandir la famille. Si (x
1
, … , x
p
) est la
famille finale, alors pour tout vecteur x de F , la famille (x
1
, … , x
p
, x) est liée et x ∈ Vect(x
1
, … , x
p
). La famille (x
1
, …
, x
p
) est donc libre et génératrice dans F, c’est une base de F. De plus, p ≤ n, donc dim F ≤ dim E.
1.3.2 Propriété
Si F et G sont deux sev d'un -ev de dimension finie E tels que dim F = dim G et F ⊂ G alors F = G.
Preuve
Soit F une base de F. Alors card F = dim F = dim G. Par conséquent, F est une famille libre de G avec dim G vecteurs;
c'est donc une base de G et donc F engendre G et F = G.
1.3.3 Définitions
Soit E un -espace vectoriel quelconque
i) On appelle droite vectorielle d'un espace vectoriel E, tout sev de dimension 1
ii) On appelle plan vectoriel d'un espace vectoriel E, tout sev de dimension 2
Tout vecteur non nul x d'une droite vectorielle D en est une base. On note
D = x = {λx , λ ∈ }.
De même pour un plan P , si u
1
et u
2
sont deux vecteurs non colinéaires, la famille (u
1
, u
2
) est une base du plan et on
note
P = u
1
⊕ u
1
= {λ
1
u
1
+ λ
2
u
2
, λ
1
et λ
2
dans }
On appelle hyperplan vectoriel d'un espace vectoriel E de dimension finie n, tout sev de dimension n − 1