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.
Soient E, F et G trois K-espaces vectoriels.
Exercice 2-1
Soient et .
Vérifier que si et seulement si .
Solution
Exercice 2-2
Soient tels que , et .
Montrer que ces trois endomorphismes ont même noyau et même image.
Solution
. De même, et . Les trois noyaux sont donc égaux.
. De même, et . Les trois images sont donc égales.
Exercice 2-3
Soient .
Vérifier que et .
Montrer que .
Montrer que .
Solution
donc . On a donc bien . D'autre part (comme pour toutes applications de dans , même non linéaires) .
D'après la question 1, il reste à démontrer que . .
D'après la question 1, il reste à démontrer que . .
Exercice 2-4
Soit . En utilisant parfois les résultats de l'exercice précédent, démontrer que :
la suite des noyaux des itérés de est croissante et celle des images est décroissante : ;
s'il existe au moins un tel que alors la suite des noyaux est strictement croissante jusqu'à un certain rang , puis constante à partir de ce rang ;
s'il existe au moins un tel que alors la suite des images est strictement décroissante jusqu'à un certain rang , puis constante à partir de ce rang ;
si les deux suites stationnent alors et ;
si est de dimension finie alors les deux suites stationnent et l'entier est au plus égal à .
Solution
Appliquer la question 1 de l'exercice précédent à et .
Soit le plus petit des entiers tels que . Pour tout , en prenant les images réciproques par des deux membres de l'égalité , on obtient : .
Soit le plus petit des entiers tels que . Pour tout , en prenant les images directes par des deux membres de l'égalité , on obtient : .
et donc d'après les questions 2 et 3 de l'exercice précédent :
et ,
autrement dit : .
Si , on déduit de que , c'est-à-dire , donc .
Si , on déduit de que , c'est-à-dire , donc .
Dans les deux cas, on peut donc conclure : .
Si est de dimension finie , on ne peut pas avoir , car . Donc la suite des noyaux stationne à partir d'un rang . On démontre de même que la suite des images stationne à partir d'un rang .