4.3 Bases d’un espace vectoriel (cf. Section 4.3 de [1])
Définition de vecteurs linéairement indépendants de V, un espace vectoriel.
Théorème 4.5. Un ensemble {v1, v2, . . . , vp}de deux vecteurs ou plus est linéairement
indépendant si et seulement si au moins l’un des vecteurs {v1, v2, . . . , vp}est combinai-
son linéaire des autres.
Définition 4.6. Soit Vun espace vectoriel et S={v1, v2, . . . , vp}un sous-ensemble
de V. Alors Sest une base de Vsi et seulement si
(i) l’ensemble Sest linéairement indépendant,
(ii) l’ensemble Sengendre V, c.-à.-d. span{v1, v2, . . . , vp}=V.
Théorème 4.7. Soit Vun espace vectoriel et S={v1, v2, . . . , vp}un ensemble d’éléments
de Vet soit W=span{v1, v2, . . . , vp}. Alors,
(i) si l’un des vecteurs de S, disons vk, est une combinaison linéaire des autres
vecteurs de S, alors l’ensemble {v1, v2, . . . , vk−1, vk+1, . . . , vp}est encore un en-
semble générateur de W,
(ii) si W6= 0 alors un sous-ensemble extrait de Sconstitue une base de W.
Base de KerAet ColApour une matrice A m ×n(mise sous forme échelonnée en une
matrice B, alors KerA=KerBmais ColA6=ColBen général).
Théorème 4.8. Les colonnes d’une matrice Aayant une position pivot forment une
base de ColA.
Références
[1] David C. Lay. Algèbre linéaire : théorie, exercices et applications, volume 3. De
Boeck, Bruxelles, 2005.
Informations générales, séries et corrigés: cf. http://anmc.epfl.ch/Algebre.html.
2