3.MontronsquesiFeststableparf,F=©p
k=1(F\Ek).
—L’inclusion©p
k=1(F\Ek)½Festévidente(sommedesousespacesvectorielsdeF).
—L’inclusionF½Pp
k=1(F\Ek)résultedelaquestion précédente.
—CommelasommedesEkestdirecte, lasommedes sousespacesFkestaussidirecte.
FeststableparfsietseulementsiF=©p
k=1Fk;Fk½Ek
4.LesFk=F\Eksontdes sous-espacespropresdelarestriction defàF,puisqueF=©p
k=1(F\Ek), larestriction de
fàFestdiagonalisable.
l’endomorphismeinduitsurtoutsousespacstable estdiagonalisable
5.Dèsquefpossèdeun sous-espace proprededimensionsupérieureouégaleàdeux,ilpossèdedéjàunein…nitéde
sous-espaces stables, lesdroitesvectoriellesdecesous-espace.
Une condition nécessairepourqueEpossèdeun nombre…nidesous-espacesvectoriels stablesparfestquefnepossède
quedes sous-espacespropresdedimension1,c’estàdirequefdoitavoirnvaleurspropresdistinctes.
C’estsu¢sant,:les sous-espaces stables sontlesPn
i=1Fkavec 8k2[1;n],Fk½Ek,ce quientraînepuisqueEkestde
dimension1,Fk=f0gouFk=Ek.PourchaquekonadeuxchoixpourFk.Leschoixsontindépendants.
Ona2nsousespaces stables sitouteslesvaleurspropres sontsimples.
Le casoùl’endomorphisme estnilpotentd’ordren
1.a)véri…cationévidente.
b)Ilestévidentqueles sous-espacesprécédents sontstablesparD,montronsque ce sontles seuls.
RéciproquementsoitFun sous-espace nonréduità0etstableparD,
Fcontientun polynômenon nul , et toutpolynômedeFestdedegrén:Ilexistedoncun polynômePdedegrémaximum
notée k.
²OnaF½Rk[X].
²OnaRk[X]½F:Fétantstable,D(P)=P0;D2(P)=P00 ;:::;Dk(P)=P(k)sontdansF,orc’estunefamillede
polynômesétagésen degré.Rk[X]=Vect(D(i)(P)) ½F:
²Les seuls sousespaces stablesparDsontf0getlesRk[X].
²5/2 :Sice n’estpasdéjàfaitrevoyezledevoirdel’anderniersurdeséquationsliésàla dérivationetquicommence
aussiparl’étudedes sousespacespropresdeD.
2.a)analysedelamatrice :onaf(e1)=0;f(e2)=e1;f(e3)=e2;¢¢¢f(en)=en¡1:Doncen¡1=f(en);en¡2=f2(en)
¢¢¢e1=f(n¡1)(en),f(n)(en)=0.Oncherchedoncun vecteurentelquef(n)(en)=0etf(n¡1)(en)6=0
Puisquefn¡16=0,ilexisteentelquefn¡1(en)6=0.
Considéronslafamille(fk(en))k2[0;n¡1]etmontronsqu’elle estlibre.
SupposonsquePn¡1
k=0¹kfk(en)=0.Soitllepluspetitentiertelque¹l6=0,onadoncPn¡1
k=l¹kfk(en)=0,encomposant
parfn¡l¡1,onobtient
fn¡l¡1Ãn¡1
X
k=l
¹kfk(en)!=
n¡1
X
k=l
¹kfk+(n¡l¡1)(en)=¹lfn¡1(en)
ce quiestabsurde:touslescoe¢cient¹isontnuls, lafamille estbienlibre.
(fk(en))k2[0;n¡1]estunefamillelibredenvecteursdansEdedimensionn,c’estunebasedeE.
Lamatrice defdanslabase¡f(n¡1)(en);f(n¡2)(en);¢¢¢;f(en);en¢estA.
b)Ilsu¢tde changerlanormedesvecteursdebase.
On prend f1=e1;f2=e2;puisonveutf(f3)=2f2=2e2,f3=e3
2convient.Plusgénéralementsifi=ei
(i¡1)!lamatrice
defdanscettebase estbienB,doncAestsemblableàB.
Onremarqueimmédiatementquelamatrice deD,danslabase canoniquedeRn¡1[X],estB, les sous-espaces stables
deBsontlesmêmes,àun isomorphismesprès,que ceuxdeD.
Cesontdonc:
fVect(ei;ei+1;¢¢¢en)gn¡1
i=0[n¡!
0o
3