Vous êtes sur la page 1sur 9

- 1 / 9 -

E El l m me en nt ts s d d a al lg g b br re e l li in n a ai ir re e
K dsigne un corps de caractristique nulle.
I I. . G G n n r ra al li it t s s
1 1 ) ) E Es sp pa ac ce e v ve ec ct to or ri ie el l
Df : On appelle K -espace vectoriel tout ensemble E muni dune loi de composition interne : E E E
et dune loi externe : . : E E K vrifiant :
(1) ( , ) E est un groupe dont llment neutre est appel vecteur nul,
(2) , , , x y E K, ( ) x y x y = , ( )x x x = , ( ) ( ) x x = et 1.x x = .
Prop : Si L est un sous-corps de K alors par restriction du produit extrieur, tout K -espace vectoriel est
encore un L -espace vectoriel.
Prop : Si
1
, ,
n
E E sont des K -espaces vectoriels alors
1 n
E E E = est un K -espace vectoriel pour les
lois + et . dfinies par :
1 1 1 1
( , , ) ( , , ) ( , , )
n n n n
x x y y x y x y = et
1 1
.( , , ) ( , , )
n n
x x x x = .
De plus le vecteur nul de E est alors
1
0 (0 , , 0 )
n
E E E
= .
Prop : Si X dsigne un ensemble et E un K -espace vectoriel alors ( , ) X E F est un K -espace vectoriel pour
les lois + et . dfinies par : . : . ( ) f x f x et : ( ) ( ) f g x f x g x .
De plus le vecteur nul de ( , ) E X F =F est la fonction nulle : 0: x o

.
2 2 ) ) S So ou us s- -e es sp pa ac ce e v ve ec ct to or ri ie el l
a a) ) d d f fi in ni it ti io on n
Df : On appelle sous-espace vectoriel dun K -espace vectoriel E toute partie F de E vrifiant :
(1) F ,
(2) , , , x y F K , x y F .
Prop : Si F et G sont des sous-espaces vectoriels de E alors / , F G x y x F y G = et F G sont des
sous-espaces vectoriels de E .
b b) ) s so ou us s- -e es sp pa ac ce es s v ve ec ct to or ri ie el ls s s su up pp pl l m me en nt ta ai ir re es s
Df : Deux sous-espaces vectoriels F et G sont dits supplmentaires ssi 0 F G = et F G E = .
Thorme :
Si F et G sont deux sous-espaces vectoriels supplmentaires de E alors :
, !( , ) , x E u v F G x u v = .
c c) ) s so ou us s- -e es sp pa ac ce e v ve ec ct to or ri ie el l e en ng ge en nd dr r
Prop : Etant donn une partie A de E , il existe un unique sous-espace vectoriel G de E vrifiant :
1) A G
2) Pour tout sous-espace vectoriel F de E : A F G F .
G apparat comme tant le plus petit sous-espace vectoriel contenant A.
Df : Avec les notations prcdentes, on dit que G est le sous-espace vectoriel engendr par A et on note
Vect G A = .
Prop : Vect( ) Vect( ) A B A B ,
Vect( ) Vect( ) Vect( ) A B A B = .
d d) ) s so ou us s- -e es sp pa ac ce e a af ff fi in ne e
Df : On appelle sous-espace affine passant a E et dirig par F sous-espace vectoriel E lensemble
/ a F a x x F = .
Prop : Si b appartient un sous-espace affine V de direction F alors V b F = .
Prop : Lintersection de deux sous-espaces affines de directions F et G est soit vide soit gale un sous-espace
affine de direction F G .


- 2 / 9 -

3 3 ) ) A Ap pp pl li ic ca at ti io on n l li in n a ai ir re e
Soit E et F des K -espaces vectoriels.
a a) ) d d f fi in ni it ti io on n
Df : On appelle application linaire de E vers F toute application : f E F vrifiant :
, , , , ( ) ( ) ( ) x y E f x y f x f y = K .
On note ( , ) E F L lensemble des applications linaires de E vers F , cest un K -espace vectoriel
dlment nul o .
b b) ) p pr ro op pr ri i t t s s
Prop : Si ( , ) f E F L alors (0 ) 0
E F
f = .
Prop : Soit ( , ) f E F L .
Si G est un sous-espace vectoriel de E alors ( ) f G est un sous-espace vectoriel de F .
Si H est un sous-espace vectoriel de F alors
1
( ) f H

est un sous-espace vectoriel de E .


Prop : Soit ( , ) f E F L .
Si V est un sous-espace affine de E de direction G alors ( ) f V est un sous-espace affine de F de
direction ( ) f G .
Si W est un sous-espace vectoriel de F de direction H alors
1
( ) f W

est soit vide, soit gale un sous-


espace affine de E de direction
1
( ) f H

.
Prop : Pour ( , ) f E F L et A partie de E , (Vect( )) Vect( ( )) f A f A = .
c c) ) i im ma ag ge e e et t n no oy ya au u
Df : Soit ( , ) f E F L . On appelle noyau et image de lapplication linaire f les ensembles
1
ker ( 0 ) f f

=
et Im ( ) f f E = . Ce sont des sous-espaces vectoriels de respectivement E et F .
Prop : ( , ) f E F L est injective ssi ker 0 f = et surjective ssi Imf F = .
Thorme :
Soit ( ) f E L .
Si
2
f f = alors Im ker( Id) F f f = = et ker G f = sont supplmentaires dans E et f est la projection
sur F paralllement G .
Thorme :
Soit ( ) f E L .
Si
2
Id f = alors ker( Id) F f = et ker( Id) G f = sont supplmentaires dans E et f est la symtrie
vectorielle par rapport F et paralllement G .
4 4 ) ) A Ap pp pl li ic ca at ti io on n m mu ul lt ti il li in n a ai ir re e
Df : Une application
1 2
: b E E F est dite bilinaire ssi
(1)
2 2
x E , lapplication
1 1 2
( , ) x b x x est linaire,
(2)
1 1
x E , lapplication
2 1 2
( , ) x b x x est linaire.
Df : Soit
1
, ,
n
E E et F des K -espaces vectoriels. Une application
1
:
n
m E E F est dite
multilinaire ssi :
1 1

1, , , ( , , , , )
i n i n
i n x x x E E E ,
1
( , , , , )
i i n
x f x x x est
linaire de
i
E vers F .
5 5 ) ) A Al lg g b br re e
a a) ) d d f fi in ni it ti io on n
Df : On appelle K -algbre tout quadruplet ( , , ,.) E form dun ensemble E , de deux lois de composition
interne , : E E E et dune loi externe : . : E E K vrifiant :
(1) ( , ,.) E est un K -espace vectoriel,
(2) ( , , ) E est un anneau,
(3) K , , x y E , ( . ) .( ) ( . ) x y xy x y = = .


- 3 / 9 -

Prop : Si
1
, ,
n
E E sont des K -algbres alors
1 n
E E muni des lois produits est une K -algbre.3
Prop : Si E est une K -algbre et X un ensemble alors ( , ) X E F muni des lois produit est une K -algbre.
b b) ) s so ou us s- -a al lg g b br re e
Df : On appelle sous-algbre dune K -algbre E toute partie F de E vrifiant :
(1) 1
E
F ,
(2) , , , , x y F x y F K
(3) , x y F , xy F .
Thorme :
Une sous-algbre est une K -algbre pour les lois restreintes.
c c) ) m mo or rp ph hi is sm me e d d a al lg g b br re es s
Df : Etant donn deux K -algbres E et F , on appelle morphisme dalgbre de E vers F toute application
: f E F vrifiant :
(1) (1 ) 1
E F
f = ,
(2) , , , , ( ) ( ) ( ) x y E f x y f x f y = K
(3) , x y F , ( ) ( ) ( ) f xy f x f y = .
On parle encore disomorphisme, endomorphisme et dautomorphisme dalgbres.
I II I. . B Ba as se e d d u un n e es sp pa ac ce e v ve ec ct to or ri ie el l
I dsigne un ensemble, ventuellement infini.
E dsigne un K -espace vectoriel.
1 1 ) ) F Fa am mi il ll le e s su up pp po or rt t f fi in ni i
Df : On note
I
E lensemble des familles ( )
i i I
a

dlments de E indexes sur I .
Prop :
I
E est un K -espace vectoriel.
Df : Une famille ( )
I
i i I
a E

est dite support fini ssi il nexiste quun nombre fini dindices i I tels que
0
i
a . On note
( ) I
E lensemble de ces familles.
Prop :
( ) I
E est un sous-espace vectoriel de
I
E .
2 2 ) ) C Co om mb bi in na ai is so on n l li in n a ai ir re e
Df : On appelle combinaison linaire des vecteurs dune famille finie ( )
i i I
x

de vecteurs de E tout vecteur de
E pouvant scrire
i i
i I
x

avec ( )
I
i i I


K .
Plus gnralement
Df : On appelle combinaison linaire des vecteurs dune famille infinie ( )
i i I
x

de vecteurs de E tout vecteur
de E pouvant scrire
i i
i I
x

avec
( )
( )
I
i i I


K .
Prop : Si ( , ) f E F L alors ( )
i i i i
i I i I
f x f x

1

=


( )

.
Thorme :
Si A est une partie de E alors Vect A est lensemble des combinaisons linaires des familles dlments
de A.
3 3 ) ) F Fa am mi il ll le e g g n n r ra at tr ri ic ce e
Df : Une famille ( )
i i I
x

de vecteurs de E est dite gnratrice ssi tout vecteur de E est combinaison linaire
de cette famille.
Prop : Limage dune famille gnratrice par une application linaire surjective est une famille gnratrice.


- 4 / 9 -

4 4 ) ) F Fa am mi il ll le e l li ib br re e
Df : Une famille finie ( )
i i I
x

de vecteurs de E est dite libre ssi ( ) , 0 , 0
I
i i I i i i
i I
x i I

= =

K .
Sinon la famille est dite lie et toute relation de la forme 0
i i
i I
x

avec des
i
non tous nuls est
appele relation linaire sur la famille ( )
i i I
x

.
Plus gnralement
Df : Une famille ( )
i i I
x

de vecteurs de E est dite libre ssi pour toute
( )
( )
I
i i I


K on a limplication :
0 , 0
i i i
i I
x i I

= =

.
Sinon la famille est dite lie.
Prop : Limage dune famille libre par une application linaire injective est libre.
5 5 ) ) B Ba as se e
Df : On appelle base de E toute famille ( )
i i I
x

de vecteurs de E la fois libre et gnratrice.
Thorme :
Si ( )
i i I
e

est une base de E alors pour tout vecteur x E il existe une unique famille
( )
( )
I
i i I


K telle
que :
i i
i I
x x

.
Df : Avec les notations ci-dessus, la famille ( )
i i I


est appele famille des composantes (ou coordonnes) de
x dans la base ( )
i i I
e

.
Prop : Lapplication de E vers
( ) I
K qui x associe la famille de ces composantes dans ( )
i i I
e

est un
isomorphisme de K -espace vectoriel.
Thorme :
Si ( )
i i I
e

est une base du K -espace vectoriel E et ( )
i i I
f

une famille de vecteurs dun K -espace
vectoriel F alors il existe une unique application linaire u de E vers F vrifiant ( )
i i
u e f = pour tout
i I .
Prop : Soit ( , ) u E F L et ( )
i i I
e

une base de E .
u est injective ( ( ))
i i I
u e

est libre.
u est surjective ( ( ))
i i I
u e

est gnratrice.
u est un isomorphisme ( ( ))
i i I
u e

est une base.
6 6 ) ) E Ex xe em mp pl le e : : A Al lg g b br re e d de es s f fo on nc ct ti io on ns s p po ol ly yn no om mi ia al le es s e en n n v va ar ri ia ab bl le es s
Soit n

. Ici K dsigne ou .
Df : On appelle fonction monme (unitaire) sur
n
K toute application de
n
K vers K de la forme :
1
1 1
( , , )
n
n n
x x x x

. La somme
1 n
est appele degr de ce monme
Prop : Le produit de deux fonctions monmes est une fonction monme.
Df : On appelle fonction polynomiale sur
n
K toute combinaison linaire de fonction monme sur
n
K . On
note ( )
n
P K lensemble de ces fonctions.
Thorme :
( )
n
P K est une sous-algbre de ( , )
n
F K K .
De plus la famille des fonctions monmes
1
1 1
( , , )
n
n n
x x x x

avec
1
( , , )
n
n
est une base de
( )
n
P K .
Cor : La description dune fonction polynomiale sur
n
K comme somme de monme est unique.
Df : On appelle degr dune fonction polynomiale p non nulle sur
n
K le plus haut degr des monmes
intervenant dans lcriture de p avec un coefficient non nul. On le note degp et convient que
deg0 =.


- 5 / 9 -

Prop : Pour des fonctions polynomiales P et Q sur
n
K :
deg( ) max(deg , deg ) P Q P Q et deg deg deg PQ P Q = .
I II II I. . D Di im me en ns si io on n e et t c co od di im me en ns si io on n
1 1 ) ) D Di im me en ns si io on n
Df : On dit quun K -espace vectoriel E est de dimension finie ssi il possde une famille gnratrice finie.
Comme vu en sup, un tel espace possde une base forme dun nombre fini de vecteurs et toute base est
forme du mme nombre de vecteurs appel dimension de E et not dimE . De plus les familles libres
ont moins de dimE vecteurs alors que les familles gnratrices en ont plus.
Prop : Deux espaces vectoriels isomorphes ont mme dimension.
Prop : Si
1
, ,
n
E E sont des K -espaces vectoriels de dimensions finies alors
1 n
E E est de dimension finie
et
1 1
dim dim dim
n n
E E E E = .
2 2 ) ) C Co on ns st tr ru uc ct ti io on n d de e b ba as se es s e en n d di im me en ns si io on n f fi in ni ie e
Thorme :
Soit E un K -espace vectoriel de dimension finie.
Toute famille libre de vecteurs de E peut tre complte en une base de E laide de vecteurs bien
choisis dans une famille gnratrice.
Thorme :
Si E est un K -espace vectoriel de dimension finie et ( )
i i I
e

une famille de dimE vecteurs de E

alors
on a quivalence entre :
(i)
1
( )
i i n
e

est une base,
(ii)
1
( )
i i n
e

est libre,
(iii)
1
( )
i i n
e

est gnratrice.
3 3 ) ) D Di im me en ns si io on n d d u un n s so ou us s- -e es sp pa ac ce e v ve ec ct to or ri ie el l
Thorme :
Tout sous-espace vectoriel F dun K -espace vectoriel E de dimension finie est lui-mme de dimension
finie et dim dim F E avec galit ssi F E = .
Thorme :
Tout sous-espace vectoriel dun K -espace vectoriel de dimension finie admet au moins un
supplmentaire.
Df : Toute base de E obtenue en compltant une base de F est dite adapte F . Les vecteurs compltant
engendrent alors un supplmentaire de F .
Thorme :
Si F et G sont des sous-espaces vectoriels de dimensions finies dun K -espace vectoriel alors F G
et F G sont de dimensions finies et dim dim dim dim F G F G F G = .
Cor : Soit F et G deux sous-espaces vectoriels dun K -espace vectoriel E de dimension finie vrifiant
dim dim dim E F G = . On a quivalence entre :
(i) F G E = ,
(ii) 0 F G = ,
(iii) F G E = .
4 4 ) ) C Co od di im me en ns si io on n d d u un n s so ou us s- -e es sp pa ac ce e v ve ec ct to or ri ie el l
Thorme :
Pour ( , ) u E F L , tout supplmentaire H de keru dans E est isomorphisme Imu .
Cor : Deux sous-espaces vectoriels supplmentaires dun mme sous-espace vectoriel sont isomorphes.
Df : Un sous-espace vectoriel F est dit de codimension finie dans E ssi il possde au moins un
supplmentaire de dimension finie dans E . Tous les supplmentaires de F dans E ont alors la mme
dimension appele codimension de F dans E et note codimF .


- 6 / 9 -

5 5 ) ) R Ra an ng g d d u un ne e a ap pp pl li ic ca at ti io on n l li in n a ai ir re e
Df : On appelle rang dune application linaire u , not rg( ) u la dimension limage de u . Ainsi
rg dimIm u u = .
Prop : Si E est de dimension finie alors u est de rang fini et rg dim u E avec galit ssi u est injective.
Si F est de dimension finie alors u est de rang fini et rg dim v F avec galit ssi v est surjective.
Thorme du rang :
Soit E et F deux K -espaces vectoriels.
Si ( , ) u E F L est de rang finie alors keru est de codimension finie et rg codimker u u = .
Cor : Lorsque E est de dimension finie on obtient la relation rg dimker dim u u E = .
Thorme disomorphisme :
Soit E et F deux K -espaces vectoriels de dimensions finies vrifiant dim dim E F = .
Pour tout ( , ) u E F L , on a quivalence entre :
(i) u est un isomorphisme,
(ii) u est injective,
(iii) u est surjective,
(iv) rg dim dim u E F = = ,
(v) ( , ), Id
E
v F E v u = L ,
(vi) ( , ), Id
F
w F E u w = L .
De plus si tel est le cas
1
u v w

= = .
6 6 ) ) H Hy yp pe er rp pl la an n e et t f fo or rm me e l li in n a ai ir re e
Soit E un K -espace vectoriel.
Df : On appelle hyperplan de E tout sous-espace vectoriel F de E de codimension finie gale 1.
Thorme :
Le noyau dune forme linaire non nulle sur E est un hyperplan H et tout hyperplan est noyau dune
certaine forme linaire non nulle.
Df : Si un hyperplan H est le noyau dune forme linaire non nulle , on dit que lquation ( ) 0 x = dfinit
lhyperplan H .
Prop : Si , sont deux formes linaires non nulles telles que ker ker = alors

K tel que = .
7 7 ) ) A Ap pp pl li ic ca at ti io on n : : i in nt te er rp po ol la at ti io on n d de e L La ag gr ra an ng ge e
Soit
1
, ,
n
a a des lments de K deux deux distincts.
Prop : Lapplication
[ [
1
:
n
n
X

K K dfinie par
1
( ) ( ( ), , ( ))
n
P P a P a = est un isomorphisme de K -espace
vectoriel.
Notons
1
( , , )
n
e e la base canonique de
n
K et pour tout 1, , k n , posons ( )
1
k k
L e

= .
On montre
i
k
k i k i
X a
L
a a

.
Df : Les polynmes
1
( , , )
n
L L sont appels polynmes interpolateurs de Lagrange associs la famille
1
( , , )
n
a a .
Prop : Soit
1
( , , )
n
n
b b K . Il existe un unique polynme
[ [
1 n
P X

K tel que pour tout 1, , i n , on ait


( )
i i
P a b = cest
1 1 n n
P b L b L = .
Prop : Soit
1
( , , )
n
n
b b K . Les polynmes
[ [
P X K tels que pour tout 1, , i n , on ait ( )
i i
P a b = sont
les
1 1 1
( ) ( )
n n n
P b L b L X a X a Q = avec
[ [
Q X K .
I IV V. . D Du ua al li it t e en n d di im me en ns si io on n f fi in ni ie e
E dsigne un K -espace vectoriel de dimension finie n .


- 7 / 9 -

1 1 ) ) B Ba as se e d du ua al le e
Soit
1
( , , )
n
e e = B une base de E . Pour tout x E , on peut crire de manire unique
1 1 n n
x x e x e = .
Posons, pour tout 1, , i n , ( )
i i
x x = . On dfinit ainsi des applications :
i
E K qui sont clairement
linaires.
Df : Les formes linaires
1
, ,
n
sont appeles formes linaires coordonnes associes la base B .
Il est dusage de noter
i
e

au lieu de
i
.
Prop : , 1, , i j n ,
,
( )
i j i j
e e

= (relations dorthogonalit de Kronecker)


Thorme :
La famille
1
( , , )
n
e e

= B est une base de E

.
On lappelle base duale de la base B .
Prop : Soit
1
( , , )
n
e e = B une base de E .
1 1 1
, !( , , ) ,
n
n n n
E a a a e a e

= K .
En convenant de noter
1
, ,
n
x x les composantes de x dans la base B , on a
1 1
( )
n n
x a x a x = .
2 2 ) ) B Ba as se e a an nt t d du ua al le e
lemme : , 0 , ( ) 1 x E x E x

= .
Thorme :
Si
1
( , , )
n
= L une base de E

, il existe une unique base B de E telle que

= L B .
La base B est appele base antduale (ou prduale) de L .
3 3 ) ) S So ou us s- -e es sp pa ac ce e v ve ec ct to or ri ie el l d d f fi in ni i p pa ar r q qu ua at ti io on n
Prop : Si F est un sous-espace vectoriel de E de dimension p alors lensemble F

des formes linaires


sannulant sur F est un sous-espace vectoriel de E

de dimension q n p = .
Prop : Si G est un sous-espace vectoriel de E

de dimension q alors lensemble G

des vecteurs annulant les


formes linaires de G est un sous-espace vectoriel de E de dimension p n q = .
Thorme :
Les sous-espaces vectoriels de dimension p de E correspondent aux espaces solutions de systmes de la
forme
1
( ) 0
( ) 0
q
x
x

'
1 =
1
1
1
!
1
1
1 =
1+
avec q n p = et
1
, ,
q
des formes linaires indpendantes.
V V. . S So om mm me e d di ir re ec ct te e d de e s so ou us s- -e es sp pa ac ce es s v ve ec ct to or ri ie el ls s
E dsigne un K -espace vectoriel et ( )
i i I
F

une famille finie de sous-espaces vectoriels de E . Par commodits,
on suppose 1, , I n = .
1 1 ) ) S So om mm me e d de e p pl lu us si ie eu ur rs s s so ou us s- -e es sp pa ac ce es s v ve ec ct to or ri ie el ls s
Soit , , F G H des sous-espaces vectoriels de E . Aisment ( ) ( ) F G H F G H = . Cela permet
dintroduire la notation F G H et plus gnralement
1 n
F F encore not
1
n
i
i
F
=

.
Prop :
1 1
/
n n
i i i i
i i
F x x F
= =
' '
1 1
1 1
=
! !
1 1
1 1 + +

.
Prop :
1 1
Vect
n n
i i
i i
F F
= =
1

=



( )

.
Prop : Si tous les
i
F sont de dimensions finies alors
1
n
i
i
F
=

est de dimension finie et


1 1
dim dim
n n
i i
i i
F F
= =


.


- 8 / 9 -

2 2 ) ) S So om mm me e d di ir re ec ct te e d de e s so ou us s- -e es sp pa ac ce es s v ve ec ct to or ri ie el ls s
Df : On dit la famille
1
( )
i i n
F

est en somme directe ssi
1 1 1
1
, !( , , ) ,
n
i n n n
i
x F x x F F x x x
=
=

.
La somme
1
n
i
i
F
=

est alors note


1
n
i
i
F
=
pour souligner lunicit de la dcomposition.
Thorme :
On a quivalence entre :
(i)
1
( )
i i n
F

est en somme directe,
(ii)
1 1 1 1
( , , ) , 0 0
n n n n
x x F F x x x x = = = = ,
(iii)
1
1, , , 0
n
i j
j
j i
i n F F
=

.
Cor : Si
1
, ,
n
F F sont en somme directe et si
1 n
F

est en somme directe avec
1 n
F F alors les sous-
espaces vectoriels
1 1
, , ,
n n
F F F

sont en somme directe. (utile pour les raisonnements par rcurrence).
Thorme :
Si tous les sous-espaces vectoriels
i
F sont de dimensions finies, on a quivalence entre :
(i)
1
( )
i i n
F

est en somme directe,
(ii)
1 1
dim dim
n n
i i
i i
F F
= =
=

.
3 3 ) ) D D c co om mp po os si it ti io on n e en n s so om mm me e d di ir re ec ct te e
a a) ) d d f fi in ni it ti io on n
Df : On appelle dcomposition en somme directe de lespace E toute criture
1
n
i
i
E F
=
= .
Thorme :
Si
1
n
i
i
E F
=
= alors
1 1 1
, !( , , ) ,
n n n
x E x x F F x x x = .
Thorme :
Si E est un K -espace vectoriel de dimension finie et si
1
dim dim
n
i
i
E F
=
=

alors on a quivalence
entre :
(i)
1
n
i
i
E F
=
= ,
(ii)
1
n
i
i
E F
=
=

,
(iii)
1
( )
i i n
F

est en somme directe.
Df : Une telle base est dite adapte la dcomposition
1
n
i
i
E F
=
= .
b b) ) p pr ro oj je ec ct te eu ur rs s a as ss so oc ci i s s
On suppose
1
n
i
i
E F
=
= .
Pour tout x E , il existe un unique
1 1
( , , )
n n
x x F F tel que
1 n
x x x = .
Pour 1, , i n , on pose ( )
i i
p x x = ce qui dfinit :
i
p E E .
Df : Les
1
, ,
n
p p sont appels projecteurs associs la dcomposition
1
n
i
i
E F
=
=
Prop : 1, , i n ,
i
p est la projection vectorielle sur
i
F paralllement
j
j i
F

.


- 9 / 9 -

Prop :
1
Id
n
E i
i
p
=
=

.
Prop : , 1, , i j n ,
0 si
sinon
i j
i
i j
p p
p
'
1
1
=
!
1
1+

.
.
c c) ) d d c co om mp po os si it ti io on n d d u un ne e a ap pp pl li ic ca at ti io on n l li in n a ai ir re e
Thorme :
Soit E un K -espace vectoriel et la dcomposition en somme directe
1
n
i
i
E F
=
= . Pour tout 1, , i n
on se donne
i
u une application linaire de
i
F vers un certain K -espace vectoriel F .
Il existe une unique application linaire u de E vers F telle que pour tout 1, , i n ,
i
F i
u u =

.
Df : Lapplication linaire u est appele somme directe des applications
1
, ,
n
u u , on note, parfois
1
n
i
i
u u
=
= .