80 CHAPITRE 5. Applications lin´
eaires
D´
emonstration. On va montrer que ces ensembles contiennent le vecteur nul de
leur espace respectif et sont stables par addition et multiplication par un scalaire.
Comme f(0E1) = 0E2(on distingue exceptionnellement les vecteurs nuls), on
voit que 0E1∈ker fet 0E2∈im f.
Soient x1,x2∈ker fet λ∈R. On a donc f(x1) = f(x2) = 0. Par cons´
equent,
f(x1+x2) = f(x1) + f(x2) = 0 et f(λx1) = λf(x1) = 0, d’o`
ux1+x2∈ker fet
λx1∈ker f.
Soient y1,y2∈im fet λ∈R. Il existe donc x1,x2∈E1tels que y1=f(x1)
et y2=f(x2). Par cons´
equent, y1+y2=f(x1) + f(x2) = f(x1+x2)et λy1=
λf(x1) = f(λx1), d’o`
uy1+y2∈im fet λy1∈im f.
Le noyau et l’image d’une application lin´
eaire sont li´
es de fac¸on cruciale aux
propri´
et´
es ensemblistes de cette application.
Th´
eor`
eme 36 Soit f ∈L(E1,E2). On a
i) L’application f est injective si et seulement si ker f={0}.
ii) L’application f est surjective si et seulement si im f=E2.
D´
emonstration. ii) est trivial, c’est une question de vocabulaire.
Soit fune application lin´
eaire injective. Comme f(0) = 0, c’est donc que 0 ∈
E1est l’unique vecteur dont l’image est 0∈E2, d’o`
u ker f={0}. R´
eciproquement,
supposons que ker f={0}et donnons nous deux vecteurs x1et x2de E1qui
ont la mˆ
eme image par f,f(x1) = f(x2). Passant le second membre au premier
membre, il vient 0 =f(x1)−f(x2) = f(x1−x2)par lin´
earit´
e. On en d´
eduit que
x1−x2∈ker f, donc x1=x2et fest injective.
Remarque 25 Pour d´
emontrer qu’une application lin´
eaire est injective, on utili-
sera TOUJOURS la caract´
erisation par le noyau i) et non pas la d´
efinition g´
en´
erale
de l’injectivit´
e.
Exemple 18 1) Pour l’application nulle, not´
ee 0, on a ker0 =E1et im0 ={0}.
2) Si Aest une matrice m×n, on notera par abus de langage kerAet imAle
noyau et l’image de l’application lin´
eaire Rn→Rm,x7→ Ax. On a alors
kerA={x∈Rnsolutions du syst`
eme homog`
ene Ax =0},
et imA={b∈Rmtels que le syst`
eme Ax =best compatible},
ce qui montre que ces deux notions sont ´
egalement intimement li´
ees aux questions
de syst`
emes lin´
eaires. On parle dans ce cas de noyau et image d’une matrice.