ECS3 Carnot Chapitre 23 — Espaces vectoriels de dimension finie 2013/2014
Démonstration : On montre ce résultat par récurrence sur n.
– Initialisation : Si f1et f2sont combinaison linéaire de e1alors f1=λe1et f2=µe1. Si
λ=µ= 0 alors f1=f2= 0 et (f1, f2)est liée. Sinon on a µf1−λf2=λµ(e1−e1) = 0
et (f1, f2)est liée.
– Hérédité. Soit n∈N,n>2. Supposons le résultat vrai pour n−1. Soit (e1,...,en)
et (f1,...,fn+1)deux familles de vecteurs de Etel que ∀i∈[[ 1 ; n+ 1 ]] , fi∈
Vect (e1,...,en). Il existe donc des scalaires (ai,j )i∈[[ 1 ; n+1 ]], j∈[[ 1 ; n]] tels que
f1=a1,1e1+···+a1,nen
.
.
.=...
fn+1 =an+1,1e1+···+an+1,nen
Si tous les ai,n sont nuls, alors f1,...,fns’expriment en fonction des e1,...,en−1
donc par hypothèse de récurrence, (f1,...,fn)est liée et (f1, . . . , fn+1)aussi. Sinon,
quitte à changer l’ordre des vecteurs, on a par exemple an+1,n 6= 0. Dans ce cas
on pose pour tout i∈[[ 1 ; n]] gi=fi−ai,n
an+1,n
fn+1 (on applique l’algorithme du
Pivot...)
Par construction, g1,...,gnsont combinaison linéaire des e1,...,en−1donc par hy-
pothèse de récurrence, i existe λ1,...,λnnon tous nuls tels que λ1g1+···+λngn= 0.
C’est-à-dire n
X
i=1
λifi−ai,n
an+1,n
fn+1= 0
on a donc une combinaison linéaire nulle à coefficients non tous nuls.
λ1f1+···+λnfn−Pn
i=1 ai,n
an+1,n
fn+1 = 0
et (f1,...,fn+1)est liée.
Remarque. Quitte à ajouter des 0, on a donc aussi que si (f1, . . . , fn)sont combinaison
linéaire des e1,...,epavec p < n, alors ils sont liés.
Théorème 1.0.3
Toutes les bases d’un espace de dimension finie ont même nombre de vecteur. Ce nombre
est appelé dimension de E. On note dim E.
Démonstration : Si (e1,...en)et (f1,...,fp)sont deux bases de E, alors tous les fisont
combinaison linéaires des ei. Comme la famille (f1,...,fp)est libre, la proposition ci-dessus
montre que p6n. En renversant les rôles, n6pet p=n.
Exemple. 1. ∅est la seule base de {0}.Eest de dimension 0 si et seulement si E={0}.
2. En comptant les éléments des bases canoniques, on a ∼Kn=n,dim Kn[X] = n+ 1
et dim Mn,p(K) = np.
Remarque. Attention aux corps de base ! Cest de dimension 1 sur C, mais de dimension
2sur R.
Proposition 1.0.2
Si Eest de dimension net Fest de dimension p, alors E×Fest de dimension n+p.
Démonstration : En effet, si (e1,...,en)est une base de Eet (f1, . . . , fp)une base de F,
alors E×Fa pour base ((e1,0),...,(en,0),(0, f1),...,(0, fp)).
J. Gärtner. 2