* On suppose <math>x \in \rm{Ker}(u)</math>. On a alors <math>v(x) = (w\circ u)(x) = w(u(x)) = w(0)=0</math>. Donc <math>\rm{Ker}(u) \subset \rm{Ker}(v)</math>. De même, on trouve <math>\rm{Ker}(v) \subset \rm{Ker}(w)</math> et <math>\rm{Ker}(w) \subset \rm{Ker}(u)</math>.
* On suppose <math>x \in \mathrm{Ker}(u)</math>. On a alors <math>v(x) = (w\circ u)(x) = w(u(x)) = w(0)=0</math>. Donc <math>\mathrm{Ker}(u) \subset \mathrm{Ker}(v)</math>. De même, on trouve <math>\mathrm{Ker}(v) \subset \mathrm{Ker}(w)</math> et <math>\mathrm{Ker}(w) \subset \mathrm{Ker}(u)</math>.
Finalement, on a bien <math>\rm{Ker}(u) = \rm{Ker}(v) = \rm{Ker}(w)</math>
Finalement, on a bien <math>\mathrm{Ker}(u) = \mathrm{Ker}(v) = \mathrm{Ker}(w)</math>
* On suppose <math>y \in \rm{Im}(u)</math>. Il existe <math>x \in E </math> tel que <math>y = u(x) = (v\circ w)(x) = v(w(x))</math>. Comme <math>w(x) \in E</math>, il vient <math>\rm{Im}(u) \subset \rm{Im}(v)</math>. De même, on trouve <math>\rm{Im}(v) \subset \rm{Im}(w)</math> et <math>\rm{Im}(w) \subset \rm{Im}(u)</math>.
* On suppose <math>y \in \mathrm{Im}(u)</math>. Il existe <math>x \in E </math> tel que <math>y = u(x) = (v\circ w)(x) = v(w(x))</math>. Comme <math>w(x) \in E</math>, il vient <math>\mathrm{Im}(u) \subset \mathrm{Im}(v)</math>. De même, on trouve <math>\mathrm{Im}(v) \subset \mathrm{Im}(w)</math> et <math>\mathrm{Im}(w) \subset \mathrm{Im}(u)</math>.
Finalement, on a bien <math>\rm{Im}(u) = \rm{Im}(v) = \rm{Im}(w)</math>
Finalement, on a bien <math>\mathrm{Im}(u) = \mathrm{Im}(v) = \mathrm{Im}(w)</math>
En raison de limitations techniques, la typographie souhaitable du titre, « Exercice : Noyau et image Application linéaire/Exercices/Noyau et image », n'a pu être restituée correctement ci-dessus.
Soit E un -espace vectoriel.
Exercice 1
Soient u et v deux endomorphismes de E tels que .
Montrer que .
Solution
donc
Donc , c'est-à-dire
Exercice 2
Soit u un endomorphisme de E.
1. Montrer que
2. Montrer que
Solution
On suppose que .
Par définition du noyau,
Donc, comme
On obtient
Soit .
Par définition du noyau,
On en déduit que car
On a de plus (car c'est u(quelque chose))
On obtient alors que . Or, cet espace est réduit à , donc .
La définition du noyau de u permet alors de dire que .
On a alors montré que pour tout , ce qui est bien la définition de .
On a ainsi montré la première implication :
On suppose maintenant que
Soit
donc il existe donc
Si on met les eux informations bout-à-bout, on arrive à , soit .
Or, , donc , c'est-à-dire .
On vient de montrer que , c'est-à-dire
L'inclusion inverse est triviale : .
On a ainsi montré la deuxième implication :
Finalement, on a bien l'équivalence
Exercice 3
Soit tel que .
Montrer que ces trois endomorphismes ont même noyau et même image.
Solution
On suppose . On a alors . Donc . De même, on trouve et .
Finalement, on a bien
On suppose . Il existe tel que . Comme , il vient . De même, on trouve et .