
PartieIV
Notonsqueparlapremièrepartie,ÂA=ÂCA=(¡1)nP.
17 D’aprèsl’étudedu Iunematrice compagnonestdiagonalisablesietseulementsitoutes sesvaleurspropres sontdeux
àdeuxdistinctes.Ilsu¢tdeprendrepourAn’importequellematrice diagonalisableayantaumoinsunevaleurpropre
multiple.A=InouA=0sontparexemplesolution.
remarque:onpeutaussiconstaterquetoutematrice compagnonestderangsupérieuràn-1.Toutematrice deranginférieur
àn-2convientaussicomme contre exemple.
18)Supposons(¤¤),c’estàdireque(U;CU)et(V;CV)sontsimultanémentsemblables:commelerangestinvariantpar
changementdebase,onadoncU¡V=P¡1(CU¡CV)Psoit:
rg(U¡V)=rg(CU¡CV)=rg0
B
@
0::: ²
.
.
..
.
.
0::: ²
1
C
A
Cettematrice nepeutêtrenulle:onauraitrg(U¡V)=0etdoncU=Vce quiestexclu.Donc elle estderang 1,ce qui
prouve(¤).
(¤¤))(¤)
19)Ilsu¢tdereprendreun exempleinversibledelaquestion17 pourU(onestsurquePn’existerapas siUetCUnesont
pas semblables)puisd’ajouteràUn’importequellematrice derang1.Parexemple
PrenonsU=µ1 0
0 1¶;V=µ1 1
0 1¶.
20)Parlethéorèmedu rang,Hestun hyperplan.
21a)Parl’absurde:siF½HonauF=vFetdoncÂuF=ÂvF.MaisÂuFjÂuetÂvFjÂv,TouteracinedeÂuFdansCest
racine communeàÂuetÂv(etil existeunetelleracine card±¡ÂuF¢=dimF)>0.
DoncF6½H.
b)Soitx2FnH:alorsHetxengendrentEpuisqueHestun hyperplanetx=2H.Celasigni…equeF+H=E.
On utilisedeuxfoislethéorèmedelabaseincomplète en partantd’unebasedeF\Hquel’oncomplètedansF,puisdans
H.Ilexisteunebase(fi)[(gj)[(hk),(fi)basedeF\H;(fi)[(gj)basedeF,(hk)2H
Sion prend lamatrice deu(etv)danscettebase elle est triangulaireparbloc carFeststableparu.
Onaparblocs
Mat(u)=µU1?
0U2¶Mat(v)=µV1?
0V2¶
oùles sous-matricesU2etV2coïncident,puisqueu(x)=v(x)pourx2H(enfait,mêmeles sous-matricesau dessusde
celles-cisontégalesaussi).
EncalculantparblocslespolynômescaractéristiquesonaÂu=Âu1:Âu2etÂv=Âv1Âv2.TouteracinedeÂu1=Âv1est
racine communedeÂuetÂv.Absurde.
c)Les seuls sous-espaces stablesàlafoisparuetvsontEentieretf0g.
22a)ujest,commeu,un automorphisme,quiconserveladimension:doncGj=u¡j(H)est,commeH,un hyperplan.
b)OnadimG0=dimH=n¡1;dimG0\G1¸n¡2;:::dimG0\:::\Gn¡2¸1envertu du
carsiH1estun hyperplanetFun sev,onadim(F\H1)¸dimF¡1.carF\H1=Fouestun hyperplan deF.
c)Untelyexisted’aprèslaquestion précédente.
Lafamillefy;u(y);:::;uq(y)gnepeutêtrelibrepourtoutevaleurdep(elle estliedèsqueq>n),soitdoncpmaximaltel
quelafamilleF=fy;u(y);:::;up¡1(y)gsoitlibre etF=Vect (F)
NousvoulonsmontrerqueF=Ec’estàdirequep=n.
²Onaup(y)2Fpardé…nition dep.Etpar récurrence q¸p,uq(y)2F
²D’abord notonsquee0;e1;:::;en¡22Hpardé…nitionmêmedey.
Supposonsparl’absurdep<n,onadoncF½H.
²Feststableparucarl’imageparudelabaseFestencoredansF:up(y)2F
²pourtoutx2Fonav(x)=u(x)2FpuisqueF½HetvF=uF.DoncFeststableparvluiaussi.
²Nous sommesarrivésàuneimpossibilitéd’après21c).
DoncF=E;p=net
B00 =FestunebasedeE
4