MP
•P6:S= (~u1,· · · , ~up) est li´ee si et seulement si il existe au moins un vecteur de Scombinaison lin´eaire des
autres vecteurs de S
•P7: Soit S= (~u1,· · · , ~up) une famille libre et ~u ∈E.
(~u1,· · · , ~up, ~u) est libre si et seulement si ~u /∈vect < ~u1,· · · , ~up>.
•P8: Toute famille de vecteurs extraite d’une famille libre est libre
•P9: Toute famille de vecteurs contenant une famille li´ee est li´ee.
•P10 : Toute famille de vecteurs contenant le vecteur nul est li´ee.
3 Bases
3.1 D´efinition
D´efinition 3 On dit que la famille S= (~u1,· · · , ~up)de pvecteurs de Eest une base de Esi et seulement si Sest
libre et g´en´eratrice dans E.
Exemple 1 (~ek)1≤k≤no`u ~ek= (δi,k)1≤i≤navec δi,k = 0 pour i6=ket δk,k = 1, est une base de Kn, on l’appelle
la base canonique de Kn.
Th´eor`eme 1 Soit B= (~u1,· · · , ~un)une famille de nvecteurs de E.
Best une base de Esi et seulement si tout vecteur de Es’´ecrit de mani`ere unique comme combinaison lin´eaire de
(~u1,· · · , ~un).
∀~u ∈E, ∃!(x1,· · · , xn)∈Kn/ ~u =x1·~u1+· · · +xn·~un,(x1,· · · , xn)sont les coordonn´ees du vecteur ~u dans la
base B.
3.2 Propri´et´es
•P1:S:= (~u1,· · · , ~un) est une base de Esi et seulement si ∀~u ∈Ele syst`eme
n
X
k=1
αk~uk=~u
(α1,· · · , αn)∈Kn
admet
exactement une solution.
•P2:S:= (~u1,· · · , ~un) est une base de Esi et seulement si Kn→E
(α1,· · · , αn)7→ α1~u1+· · · +αn~un
est un
isomorphisme d’espace vectoriel.
•P3: Si B:= (~u1,· · · , ~un) est une base de Ealors toute famille extraite de Best libre et toute famille de
vecteurs contenant les vecteurs de Best g´en´eratrice.
4 Espaces vectoriels de dimension finie
4.1 Dimension finie
D´efinition 4 On dit qu’un espace vectoriel Eest de dimension finie sur Ksi et seulement si Eadmet une famille
g´en´eratrice finie.
Eest de dimension finie si et seulement si ∃(~u1,· · · , ~up)∈Eptel que E=vect < ~u1,· · · , ~up>
Exemple 2 (Kn,+,·)est de dimension finie.
Th´eor`eme 2 Tout espace vectoriel E6={~
0}et de dimension finie admet au moins une base.
par convention : {~
0}est de dimension finie et admet pour base ø
Th´eor`eme 3 (th´eor`eme de la dimension) Dans un espace vectoriel de dimension finie, toutes les bases
poss`edent le mˆeme nombre d’´el´ements. Ce nombre est la dimension de E.
Par convention {~
0}a pour dimension 0. On appelle droite vectorielle tout espace vectoriel de dimension 1 et plan
vectoriel tout espace vectoriel de dimension 2.
Th´eor`eme 4 E est de dimension n si et seulement si il existe un isomorphisme de Knsur E.
Proposition 1
Si (E1,+,·)et (E2,+,·)sont deux Kespaces vectoriels de dimension finie
Alors E1×E2est de dimension finie et dim E1×E2= dim E1+ dim E2
LGT Baimbridge 2 C.Susset