Lycée La Bruyère, Versailles Pour le vendredi 16/11/2012
ECS 2 – Mathématiques – A. Troesch
DM no7 : Algèbre linéaire – DEVOIR FACULTATIF
Problème –(Étude de sous-espaces stables par un endomorphisme)
(ESCP-EAP Scientifique 2001)
L’objet de problème est l’étude, dans certains cas, des sous-espaces stables par un endomorphisme d’un espace vectoriel.
Dans tout le problème, on considère un entier naturel nnon nul, et on note Ele R-espace vectoriel Rn. On note 0E
le vecteur nul de E, et IdEl’endomorphisme identité de E. On dira qu’un sous-espace vectoriel Fde Eest stable par
un endomorphisme fde E(ou que flaisse stable F) si l’inclusion f(F)⊂Fest vérifiée.
On observera que le sous-espace vectoriel réduit à {0E}et Elui-même sont stables par tout endomorphisme de E.
On note R[X]l’espace vectoriel des polynômes à coefficients réels et, pour tout entier naturel k, on note Rk[X]le
sous-espace vectoriel formé par les éléments de R[X]qui sont de degré inférieur ou égal à k.
Si fest un endomorphisme de E, on pose f0= IdE,f1=f,f2=f◦f,f3=f◦f◦f, etc.
Si fest un endomorphisme de E, et si P=
n
P
k=0
akXkest un élément de R[X], on rappelle qu’on note P(f)l’endo-
morphisme de Eégal à P(f) =
n
P
k=0
akfk.
Partie I – Préliminaire.
Soit fun endomorphisme de E.
1. Soit Pun élément de R[X]. Montrer que le sous-espace vectoriel Ker P(f)est stable par f.
2. (a) Montrer que les droites de Estables par fsont exactement celles qui sont engendrées par un vecteur propre
de l’endomorphisme f.
(b) On note B= (e1, e2, e3)la base canonique de R3et on considère l’endomorphisme gde R3dont la matrice
dans la base Best
B=
1 1 0
0 1 0
0 0 2
.
Déterminer (en en donnant une base) les droites de R3stables par g.
3. Soit pun entier naturel non nul.
(a) Si F1,...,Fpsont psous-espaces vectoriels de Estables par f, montrer qu’alors la somme
p
P
k=1
Fkest un
sous-espace vectoriel stable par f.
(b) Si λ1,...,λpsont pvaleurs propres de f, et si n1,...,npsont pentiers naturels, montrer qu’alors la somme
p
P
k=1
Ker(f−λkIdE)nkest stable par f.
4. (a) Soit λun réel. Vérifier que les sous-espaces vectoriels de Estables par un endomorphisme fsont exactement
ceux qui sont stables par l’endomorphisme f−λIdE.
(b) Quel lien y a-t-il entre les sous-espaces vectoriels stables par un endomorphisme fet ceux qui sont stables
par l’endomorphisme f2? (justifier toute implication ou non-implication !)
(c) Quel lien y a-t-il entre les sous-espaces vectoriels stables par un automorphisme fet ceux qui sont stables
par l’endomorphisme f−1?
(d) Que dire d’un endomorphisme de Elaissant stable tout sous-espace vectoriel de E?
(e) Donner un exemple d’endomorphisme de R2ne laissant stable que le sous-espace vectoriel réduit au vecteur
nul et l’espace R2.
1