Une application entre deux ensembles est injective si deux
éléments distincts de n'ont jamais la même image par
.
Le vecteur nul de
a
pour image par
, le vecteur nul de
. Puisque
est injective,
aucun vecteur non nul de
ne peut avoir pour image 0. Donc
Ker
.
Montrons maintenant la réciproque. Supposons
Ker. Soient
et
deux éléments de
tels
que
. Puisque
est linéaire,
. Donc
Ker
, donc
, donc
.
Pour tout
, L'image par
du polynôme constant
est le
réel
. Donc
est surjective. L'espace de départ est de
dimension
, l'image est de dimension
. D'après le théorème
du rang, le noyau est de dimension
.
Pour démontrer que la somme est directe, il faut
montrer en plus que
. Soient
trois réels tels
que :
Pour démontrer la
linéarité, il suffit d'appliquer les résultats généraux sur
la dérivation : si et
sont dérivables et si
et
sont deux réels, alors
est dérivable et
.
Pour montrer que est injective, il suffit de montrer que son noyau
ne contient que l'application nulle. En reprenant les expressions de la
question précédente, si
s'écrit :