Download (PDF, 801KB) - Blog Kerios
Download (PDF, 801KB) - Blog Kerios
Download (PDF, 801KB) - Blog Kerios
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
96c1 CHAPITRE5.MAXIMALITEETCOMPLETUDEDANSFdif s Fig.5.8{p0=c00cj+1:::ci1t0 y1 ykc00 cjcj+1 ci1p0t0<br />
(5.4),page89).Ona Puisquet0=c00etqueXestuncode,ilexisteqtelquet0;0:::t0;q=c00(cf. (c00;;)estquasi-triviale,c'est-a-direc002Xet2X. prexet0dep0.PuisqueXestdedelaidetquet02Xd:X,l'interpretation<br />
lecodeXestadelaid'interpretationni,ilestadjacentet c1:::cjadmetdoncuneX-interpretation(s;y1:::ykt0;0:::t0;q;").Puisque Ainsi,c1:::cj=sy1:::ykc00,d'ouc1:::cj=sy1:::ykt0;0:::t0;q.Lemot c1:::ci1t0=sy1:::ykp0=sy1:::ykc00cj+1:::ci1t0:<br />
2.Supposonsmaintenantqueci2Xpourtouti2[1;d].Nousmontronstout telqueci2C,alorsonas2X. Nousavonsdoncmontreque,lorsques2S(X),s'ilexisteunpluspetitentieri Ainsisi(s;y1:::yk;p0)n'estpasuneX-interpretation,nousavonss2X. s2X:<br />
yi,doncyin'estpasfacteurdemotsdeX.Nousavonsc1:::cd=s:y1:::yn:p, Lecorollaire5.2.5assuredoncquecettecongurationnepeutappara^tre.Nous doncyiadmetuneX-interpretationinduiteparlaX-factorisation(c1;:::;cd). avonsdoncyi2Xpourtouti2[1;n]. Supposonsqu'ilexistei2[1;n]telqueyi2C.Lemott0=2F(X)estprexede d'abordqueyi2Xpourtouti2[1;n].<br />
Sip=2P(X),alorscommep2P(X[C)nousavonsp2P(t0:A).Lemot Sip2P(X)alorsc1:::cdadmetuneX-interpretation(s;y1:::yn;p).Comme Nousmontronsques2X.<br />
padmetalorsuneX-interpretationdelaforme(c00;cj+1:::cn;")etlam^eme Xestdedelaid,cetteinterpretationestquasi-triviale,d'ou argumentationqueci-dessusenremplacantp0parpmenealorsa s2X: s2X: