4 Espaces vectoriels, compl´
ements
et, puisque est une application injective
(x1,...,xk,0Ek+1,...,0Eq)=(0E1,...,0Ek,x,0Ek+2,...,0Eq)
ce qui montre que x=0E.
(iv) ⇒ (i)Supposons l’application non injective; il existe alors (x1,...,xq)∈ker\{0E},i.e. x1+···+xq=0E
avec (xi)1
i
qnon tous nuls. On pose i0=max{i/xi= 0};i0est un entier au moins ´
egal `
a2et
xi0=−(x1+···+xi0−1)∈Ei0∩i0−1
i=1Ei
ce qui est en contradiction avec l’hypoth`
ese; ainsi kerest r´
eduit `
a{0E}et est une application injective. cqfd
1.3 Suppl´
ementaire
D´
efinition 1.3 (Sous-espace suppl´
ementaire).
Deux sous-espaces vectoriels Vet Wde Esont dits suppl´
ementaires si, et seulement si, Eest la somme directe de
Vet W, soit E=V⊕W
Th´
eor`
eme 1.2 (Caract´
erisation des suppl´
ementaires).
Les propri´
et´
es suivantes sont ´
equivalentes
(i)V et W sont suppl´
ementaires (dans E);
(ii)tout xde E s’´
ecrit de mani`
ere unique x=v+wavec (v,w)∈V×W;
(iii)V+W=EetV∩W={0E}.
D´
emonstration. C’est la d´
emonstration pr´
ec´
edente pour q=2etV+W=E.cqfd
Exemple 1.1. Si Pest un polynˆ
ome de K[X]dedegr
´
en+1, l’ensemble (P)={AP /A∈K[X]}des multiples
de Pet l’ensemble Kn[X] des polynˆ
omes de degr´
e au plus n, sont suppl´
ementaires dans K[X].
K[X]=(P)⊕Kn[X]avecdegP=n+1
D´
emonstration. (P)et Kn[X] sont des sous-espaces vectoriels de K[X] et la division euclidienne des polynˆ
omes
donne, pour tout B∈K[X], l’existence d’un couple unique (A,R)∈K[X]×Kn[X] tel que B=AQ +R.cqfd
1.4 Cas de la dimension finie
Th´
eor`
eme 1.3 (Somme directe et dimension).
Si E est un espace vectoriel de dimension finie, la somme q
i=1Eiest directe si, et seulement si,
dimq
i=1Ei=
q
i=1dim Ei
D´
emonstration. :(x1,...,xq)∈E1×···×Eq→ x1+···+xq∈q
i=1Eiest une application lin´
eaire et
surjective; est bijective si, et seulement si les espaces vectoriels E1×···×Eqet q
i=1Eiont mˆ
eme dimension;
or dim(E1×···×Eq)=q
i=1dim Ei, ce qui d´
emontre l’´
equivalence annonc´
ee. cqfd
Corollaire (Cas des suppl´
ementaires).
Soient E un espace vectoriel de dimension finie n et V un sous-espace vectoriel de dimension p (pn);