²soitb(v)=¡vce quidonnev2Vect0
@
¡1
0
1
1
A
L'ensembledesvecteurspropresengendreun plan.Iln'existepasdebasedeEconstitu¶ee devecteurspropres.
bn'estpasdiagonalisable
2.
2*)Lafamille(xi)n
i=1aleboncardinal . Ilsu±tdev¶eri¯erqu'elle estlibre:SoitPn
i=1aixi=¡!
0.Pard¶e¯nition
c(xi)=¸ixidoncaixi2Ker(c¡¸iId).D'aprµesler¶esultatadmisdanslespr¶eliminaireslasommedesKer(c¡¸iId)est
directe; l'uniqued¶ecompositionduvecteurnuldonnedonc8i,aixi=0,etcommepard¶e¯nition d'un vecteurpropre
xi6=¡!
0 ona8i,ai=0.
(xi)n
i=1estunebasedeE
2a)pard¶e¯nitionona8i2[[1;n]],c(xi)=¸ixi.Doncsion notex0=Pn
i=1xi,onobtientparlin¶earit¶ec(x0)=
Pn
i=1¸ixietpar r¶ecurrence sick(x0)=Pn
i=1¸k
ixialorsck+1(x0)=Pn
i=1¸k
ic(xi)=Pn
i=1¸k+1
ixi:
2b)Prenonsune combinaisonlin¶eairenulledesck(x0).OnadoncPn¡1
k=0akck(x0)=¡!
0,soitPn¡1
k=0akPn
i=1¸k
ixi=¡!
0
.Orlafamilledes(xi)estunebasedeE.chaque coordonn¶ee danscettebase estnulle.Onadonc
8i2[[1;n]] ,
n¡1
X
k=0
ak¸k
i=0
On prend alorslepolyn^omeP=Pn¡1
k=0akXk.Cepolyn^ome estdedegr¶e·n¡1etadmetnracinesdistinctesles(¸i).
Lepolyn^ome estdoncnul . Touscescoe±cients sontnuls.Lafamille¡ck(x0)¢n¡1
k=0estlibre
2c)Commelafamille estunefamillelibredeboncardinal , c'estunebasedeEE=Vect¡ck(x0)¢n¡1
k=0.Pardouble
inclusioncommeauI1)onen d¶eduitE=Vect¡ck(x0)¢k2N
cestcyclique
PARTIE2
3.
3a)On peutremarquerquex06=¡!
0carsinonE=Vect(fk(¡!
0)) =Vect(¡!
0)=n¡!
0o,ce quicontreditl'hypothµese
dim(E)¸2.
Lafamille(x0)estdonclibre.Parcontrepourm¸nlafamille¡fk(x0)¢m
k=0estde cardinal¸n+1en dimensionn.
Elle estdoncli¶ee.
Danslasuite¡fk(x0)¢0
k=0;¡fk(x0)¢1
k=0¢¢¢¡fk(x0)¢n
k=0on passedoncaumoinsunefoisd'unefamillelibreµa unefamille
li¶e.
L'ensembledesmtelsque¡fk(x0)¢m¡1
k=0soitlibre et¡fk(x0)¢m
k=0soitli¶e,estun sousensemblenonvidedeN,major¶e
parn.Iladmetun plusgrand ¶el¶ement.
Onmontrealorspar r¶ecurrence quepourk2N,fm+k(x0)2Vect¡fi(x0)¢m¡1
i=0
²sik=0:Onsaitque¡fi(x0)¢m
i=0estli¶e.Ilexisteune combinaisonlin¶eairePm
i=0aifi(x0)=¡!
0 avec (ai)m
i=06=(0)
Siam=0 onacomme¡fi(x0)¢m¡1
i=0estlibre8iai=0:ABSURDE
doncam6=0etfm(x0)=Pm¡1
i=0¡ai
amfi(x0).Doncpourk=0fm+0(x0)2Vect¡fi(x0)¢m¡1
i=0
²Onsupposefm+k(x0)2Vect¡fi(x0)¢m¡1
i=0,ilexistedoncdes scalairesbitelsquefm+k(x0)=Pm¡1
i=0bifi(x0) (les
bid¶ependentaussidek).Ona alors
fm+k+1(x0)=
m¡1
X
i=0
bifi+1(x0)=
m¡1
X
j=1
bj¡1fj(x0)+bm¡1fm(x0)=
bm¡1µ¡a0
am¶f0(x0)+
m¡1
X
j=1µbj¡1¡bm¡1
am¡1
am¶fj(x0)
etdoncfm+k+1(x0)2Vect¡fi(x0)¢m¡1
i=0
2