The max-plus Martin boundary
Texte intégral
(2) INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE. The max-plus Martin boundary Marianne Akian — Stéphane Gaubert — Cormac Walsh. N° 5429 December 2004. ISSN 0249-6399. ISRN INRIA/RR--5429--FR+ENG. Thème NUM. apport de recherche.
(3)
(4)
(5) !#"%$ &('*),+-'*.%.0/2134+-'*. 57698;:=<0> '?.0/A@2'*B0CD/=) 8 57E
(6) F );GH'*IJK'?LNM > OQPSRUTWV!XZY\[^]`_bacedfRUTWV;cQg=hiT
(7) j,kflnm=hSV,c o7kfprqsVdt[2uwvbxiyzhic {turxSx*prkfd\|V kfV;}~PSVUk~}~PSVg*0w=r ] \V;}VUT?V,kZww!]
(8) xiuwV,c ∗. †. ‡. 0,USw# VW|VUVUyprx2uwg l|SVUTWx?prdfV,gd rV,kcflprgpwxSkfpiuwilzylcedfln}x*pwdVUg=dflnuwy%dfPiVUprkar OQPSV
(9) rp=uwy9lncZdfp |V;cf}Ukfl?VQdPSVtcfVdDpr*T uvb¡-xSyhic0PiuwkTWprgSln}¢hSgi}dflprgic,£r¤¥PSln}~PWrlrVQdPSVtcsd~udlzpgiuwka¦cfpryhdflprgic0pr§|SVdfV,kfTWlg¡ lncsdl}DprxdlzT uwyb}pg=dfkpryrxikfpSyzV,T c4¤¥lzdfPu|S|lzdflrVkfV,¤¨urk|©4OQPiVuwg?uwyprrhiV7pwdPSV[2urkedlzg}prTWxiu}ªdl¬«?},udlzpg lnc\cfVUVUgdp*Vu VUgSV,kuryzlncfuwdflprgpw0dfPiV¦}pT
(10) x?ur}ªdl¬«*}UudlzpgpwTWVdfkln}¦cfxiur}UV,c¥hicflgS2®¢VUgSV,kuryzlnceV;|i¯¥°¨hicfV¡ T uwgSg
(11) ¢hSg?}ªdflprg?cU Vt|V«igiVtuwgWuwgiuryzprhSVQpw?dfPSV\T
(12) lgSlT uwyi[2urkedlzg
(13) *prhSgi|iuwka¦uwgi|WcfPSp¤±dPiud7lzdD}Uurg*V ln|VUg=dflz«iV;|¤¥l¬dP#dPSV¦cfVdtpr%ylzTWlzdc\pw4²euryzTWpcede¡-rV,p|V,cfl},c´³ª£buwgi|uwyncfpdPSV!cfVdtpw¥®¢giprkTWuryzlncfV,|i¯¨PiurkfTWpgSl} ¢hSgi}dflprgicdfPiuwdurkfV
(14) VvbdkfV,TWury0lzgµdfPiV
(15) T uwv=¡-xSyhic ceV,gicfVr¶ZhSkT uwlg kV,cfhSyzd·lncuTWuwvb¡NxSyhic uwg?uwyprrhiVpr dfPiV·[2urkedlzg¸kfV,xSkfV;ceV,g=dudlzpg
(16) dfPSV,prkVUT£¤¥Pil}~PkVUxikfV;ceV,gd~c7PiurkfTWpgSl}¥¢hSgi}ªdlzpgic=aWTWV,ucehikfV;cDcfhSxSx*prkfdfV,| prgdPSVTWlzgSlT uwy4[2urkedlzg*prhSg?|Suwkar ¹º=»§¼f½¦¾ ¿ [2urkedlzg*prhSgi|iuwkar£TWVdkfln}·?phSgi|Surkfa£x?prdfVUg=dlury§dfPSV,prkar£T uvb¡-xSyzh?c¨uryzVUSk~uS£|abgiurTWl} xSkprkurT
(17) TWlgSi£b|VUdfVUkTWlzgilcedfln}\pxdflT uwy©}pg=dfkpryN£b[ÀuwkÁrpW|V,}UlcflzpgxSkp}V,cc,£=V,lzVUgbuwyhSV,c,£=VUlrVUgbV,}ªdprk~cU£ °¨hicfVUT uwgSg#¢hSgi}dflprgic,£SVUv=dkfV,T uwy©rV,gSVUk~udprk~cU. Ü¢Ý%Þ4Ü×Â9ß2Ã;ÛÄÆÎsÅ9ÙÆÙÆÇ©ÈfÇ9ȪÉËÅÒÊtÃÑÄÆÇ4Õ Ì~Å%ÅËÍ-Ì~É¢ÍNÎsÏÏÑÐ;ÉÒÄÆÓÑÔ\̨ÕwȪÅËÍÒÖ×Ï;È,Ø´ÍÒȪÉNÌ~ÙiÅÒÍNÌeÚZÈ~ÛSÍNÃÑÎ7ÍÒÃÑÄÆÉÒÏ Ì~Ð;ÍNÃ;ȪÉ0ÌÍÜ¢Ý%Þ4Ü×ßàwÅNÐ;ÕÑÕwȪÉËÍÒÎsÏáUÚ·Ì~Óâ*Þ4ã§Ü¢ä·Ö ܢܢÝ%Ý%Þ4Þ4Ü×Ü×ßßàÑàÑå%å%ȪȪætætÌ~Ì~ÄÆÄÆÓÑÓÑÎ0Î0ÏÑÏÑÎ0Î0ç?ç?ȪȪÙÆÙÆÐÑÐÑØsØsÎeÎeÌ~Ì~Ð=Ð=ààè~è~é;é;êeêeëªëªì;ì;ààíbíbÎDÎDã§ã§ÃÑÃÑÎsÎsÅÒÅÒÓÓÌeÌeÚ Ú ã§ã§îeîeÏ;Ï;ÎsÎsïrïrààððÉÒÉÒÌ~Ì~ÓÑÓÑØsØsΪΪñ©ñ©â?â?ætætÌ~Ì~ÄÆÄÆÙnÙnò=òóUþ~ÿô~õÑø öeUô÷ªô÷U÷Uøøùnù ú~ûô öeUô÷Uø~õªü;ÿö´÷ü;õÑö´÷öeõÑôöeùnýªôõ ùnýªõ Ü¢Ý%Þ4Ü×ßàÑå%ȪætÌ~ÄÆÓÑÎ0ÏÑÎ0ç?ȪÙÆÐÑØsÎeÌ~Ð=àè~é;êeëªì;àíbÎDã§ÃÑÎsÅÒÓÌeÚ ã§îeÏ;ÎsïràðÉÒÌ~ÓÑØsΪñ©â?ætÌ~ÄÆÙnò õ Ñô =ù Uô Uü;ö´÷õÑöeôùnýªõ ∗. † ‡.
(18) . Unité de recherche INRIA Rocquencourt Domaine de Voluceau, Rocquencourt, BP 105, 78153 Le Chesnay Cedex (France) Téléphone : +33 1 39 63 55 11 — Télécopie : +33 1 39 63 53 30.
(19) Ñ0!Q0"#
(20) Xtprh?c¸|j,rVUyprxix?pgichSgiVÀrV,kcflprg l|SVUTWx?prdfV,gdV |V yu±dfPSj,prklzVÀxSkfpiuwilzylcedfV |h x*pwdfV,g¡ dflVUyNÀX\pwdfkVShSd
(21) V;csd|SV#|j;}klzkV y
(22) VUg?ceV,T¦SyV¸|V;c!¢pgi}ªdlzpgic!PiurkfTWpgSlm=hSV;cT uvb¡-xSyzh?cU£0yV,cmhiVUyyzV;c¢prhike¡ gSlncfcfVUg=d%yzV;ccfpryhdflprg?c9cedudlzpgSgiurlzkV,c4|SVDxSkprSyRUTWV;c9|V¨}prg=dk yzVpxdflT uwyb|jdVUkT
(23) lgSlncsdVuÑV,}0urlzg!u|S|lzdflzs
(24) uwg?uwyprrhiV\|V\ynu¦}UprTWxiu}ªdflz«?},udflprg|SV·[2urkedlzgurxSxiurku d UdfkV\hSgiVZjUgSj,kuryzlncfuwdflprg |VZyu}prTWxiu}ªdl¬«?},u¡ dflprg|V;cQV,cfxiur}UV,cT
(25) jUdfklm=hSV;c¥uwh#T
(26) paVUg|V·¢prgi}dflprgicQ|V°¨hicfVUT uwgSgµ®¢jUgSj,kuryzlncej,V,c~¯ª0Xtphic¥|j«?gSlccfprgic hSgurgiuwyprhSV¨|SV¥yuZ¢kprg=dflRUkV¥|Vt[2uwkfdflgWTWlzgSlT uwyVr0XtphicTWprg=dfkprg?c%m=hSVt}UVUyyzVU¡-}UlSx*VUhd UdfkV¥l|V,g=dflz«ijUV y
(27) V,giceV,T¦SyV!|V;c¥yzlTWl¬dV,cZ|V\²sxikfV;cfm=hSVU¡NjUp|j,cflnmhiV,cs³\VdZm=h
(28) VUyyzV!}Up Ngi}ln|VuÑrV;}· y
(29) VUgicfVUTSyV!|V,cQ¢pgi}ªdlzpgic PiurkfTWprgilm=hSV;c ®¢gSpkfT uwylncej,V,c~¯ mhilDcepg=d!VvbdfkjUT uwyV,c¦uwh ceV,gicT uvb¡-xSyhicUXtprdfkV kfj;cehSyzduwd!xSklzgi}Ulzx?uwy7V;csd hSgÀurgiuwyprhSVT uvb¡-xSyzh?c\|hdPSjUpkfR,TWV¦|V!kVUxSkj,cfVUg=d~udflprg|V[2uwkfdflg4£*yzV;mhiVUy%kfV,xSkfj;ceV,g=dfVyV,c¥¢pgi}ªdlzpgic PiurkfTWprgilm=hSV;cx?uwkt|V;c¥TWV,cfhSkfV;cQcehSxix?pkedjUV,cQx?uwk¥ynu¦¢kprg=dlzR,kfV|V[2urkedlzgTWlzgilzT uwyVr ¾ , ¼ À kfpgdlzR,kfV
(30) |V [2uwkfdflg4£©¢kprg=dlzR,kfVT
(31) jUdfklm=hSV£©dfPijUprklV
(32) |hµx*pwdfV,g=dflVUyN£9uwyrR,SkfVT uvb¡Nxiyzhic,£ xSkprkurT
(33) T uwdflprg|abgiurT
(34) lnm=hSVr£}Uprg=df!k ryV\pxdflT uwy§|jdVUkT
(35) lgSlncsdVr£xSkp}V;cfcfhic¨|V·|Sj,}lncflzpg¸[2uwkÁrpblVUg4£u¡ yVUhSk~cQxSkprxSkV,c,£brV,}dfV,hSkcQxikfpxSkfV;cU£=¢pgi}ªdlzpgic¥|V!°¨hicfVUT uwgSg9£rjUgijUk~udfV,hSk~cVUvbdfkjUT uwhv.
(36) .
(37) !#"$%&'$(. 90 "#,+7%! OQPSV,kfVVvlncsd~c
(38) uµ}pkfkV,cfx*prgi|V,gi}V#?VUds¤V,VUg }ynurcceln}Uury¨urgi|±ln|VUTWx*pwdVUg=duwgiuryzacflc,£¤¥PSln}~PH¤QurcSkprhSPd dfpylrP=d!baÀ[2urcfyp2uwgi|µPSlnc!}pyzynuw*prk~udprk~c.- [2uc0/1£9[À_=b£32[21=£ 9[ _45-¸OQPSlnc!}UprkkfV;cex*prgi|SVUgi}UV dfk~uwg?cs¢pkfT c%dfPiVtPSV,uwd7V,m=hiuwdflprgdfp!uwg 6ZuwTWlzyzdfpg¡87u}prilV,m=hiudlzpg4£rurgi|W[2uwkÁrppx?V,kuwdfprk~cdfp!|abgiurTWl} xSkprkurT
(39) TWlgSprx*VUk~udprk~cU2_bp?£%lzdlnc!g?udfhikurydfpµ}prg?celn|VUk!dfPSVuwgiuryzprhSV;c lzg±ln|V,T
(40) x*pwdVUg=d
(41) urgiuwyacelncpr PiurkfTWprgil}Z¢hSgi}dflprgic,£S¤¥PSln}~PuwkVZdPSV!cfpryhdflprgic¨prdPSV ¢pryyzp¤¥lgS
(42) V,m=hiuwdflprg ¢prkturyzy i ∈ S 9® 4;¯ u = sup(A + u ) OQPSV·ceVUd urgi|WdfPiVZT uwx £b¤¥PSln}~PxSynuÑacdPSVZkpryVtpr©dfPSV·[2uwkÁrp ÁrV,kfgiVUyN£*urSkfV!lzVUg4£*uwgi|2prAgSV!: ySpbpr×Ác¥S¢p→kZcfRpry∪hdf{−∞}, lprg?c u :(i,S j)→7→R A∪ {−∞}, i 7→ u ·OQPSlnc\V;mh?udflprglnc¥dPSV |abgiurT
(43) ln}¥xSkprkurTWT
(44) lgS·V,m=hiuwdflprgWpw4u|VUdfVUkTWlzgilcedfln}¥prxSdflTWuryi}pg=dfkpryxSkprSyVUT ¤¥l¬dPlg«igSlzdfVtPiprk;l :,prg4 <´g
(45) dfPSlnc7}Uprg=dfVUv=d;£ lc0dPSVtcfVdpw©csd~udV,c,£dfPSV¥T urx rlrV;c%dfPSV¥¤¨VUlrP=d~cpkkfV,¤¨urk|ic9pdurlzgSV;|
(46) prg
(47) xiurccelgS ¢kprTpgSV¨ceduwdfVdfpS uwgipwdfPiVUk;£Ñurgi|prgSV¨lc0lg=dfV,kfV;csdV,|!Alg«igi|lgS·lzg«?gSl¬dV¥xiudPicdfPiuwdTWuwvlzTWlnceVdfPSV¥cfhSTpr dfPiV\kVU¤Quwk~|ScU> =Dm=hiudlzpg2?® 4ѯ0lcylzgSV;uwk7lg dPSVtT uvb¡-xSyzh?cDuwyrV,Sk~uS£w¤¥PSln}~P lncdfPiVZcfVd R ∪ {−∞} V,m=hSlxSx?V;| ¤¥lzdfPWdfPiVtprx*VUk~udlzpgic0pw§T uvlzThST urgi|Wur|S|Sl¬dlzpg4OQPSVQdfV,kfT l|V,TWx?prdfVUg=durgiuwyacelnc0kV¢VUk~c0dp dfPSV\cedfh?|a pwcedfkhi}ªdhSkfV;c¥ceh?}~Puc¨dfPSlncU£ilzg¤¥PSln}~P#dPSV «ik~csd¥px?V,kuwdflprglcQln|VUTWx*pwdVUg=d, <´g x*pwdfV,g=dflnuwy?dfPSV,prkar£rpgSVthicfV,c7dfPSV·[2uwkfdflg *prhSgi|iuwka!dfp|V,c}klz*V¥dPSVZcfVd¨pw©PiuwkTWprgSln}¥uwg?| cehSx*VUkf¡ PiurkfTWprgil} ¢higi}ªdlzpgic·pwDu¸[ÀuwkÁrpxSkp}V;cfc,£*urgi|dPSV!«ig?uwy%?V,PiuÑblzphSk\pr7l¬d~cZx?udfP?cU¶ZhSk\puwyPSVUkV¦lnc dfp pdurlzguwg?uwyprrphickfV;cehSyzdc¨¢p@k =Dm=hiudlzpg ?® 4,¯ OQPSV
(48) prklzlzg?uwyceVUdedlzgS#¢prk·dPSV [2uwkfdflgÀ*prhSg?|Suwka¤¨uc }ynurcceln}Uuryx*pwdVUg=dflnuwy0dPSVUpkf!a - [2uwkA 45-£©¤¥PSV,kfV lzd!¤¨uc hiceV;|2dp|V,c}klz*V
(49) dfPSVcfVd!prx*pcfl¬dlzV cepyzhdlzpgic pw 9urxSyu}V
(50) c·V,m=hiuwdflprg4 ZpbprB - Zpbp=w 5DuÑV u xSkfpiuwilzylcedfln}#lzg=dfV,kfxikfVUdudlzpg lg dVUkT cpr lVUgSV,k xSkfp}UV,cceV;curgi| urycfpµurg VUv=dVUgicflprg±dpµdfPSV}UuceV ¤¥PSV,g dflTWV¸lnc|lnc}kVdfVC 6tlnc¦TWVUdfPSp| ¤Qurc dp2«ik~ced¦V,cedurSyzlncfP±uwg lgdVUkuryDkVUxSkV,cfVUg=duwdflprg ¢prk
(51) cehSx*VUkf¡ PiurkfTWprgil}¨¢hSg?}ªdflprg?c7uwgi|dPSVUgWdp!|VUklzV¥lzgS¢prkTWuwdflprgWuw*prhd«?giuwy??V,PiuÑblzphSkpw§xiudPic,D 6\hSg=Ed - 6\hSAg F 5 cfPSp¤V;|dPiudprgiVW}UprhSyn|Àurycfp#duwÁV¦dPSVWprxSx*pcflzdfV uwxSxikfp=ur}~HP GtV;csd~uwSylnceP dfPSVWkV,cfhSyzdc }pgi}V,kfgSlgSxiudPic xSkpriurSlyzlncsdl},uwyyza
(52) uwgi|
(53) dPSVUg#|V,|h?}V¥dPSV\lg=dfVUkurySkVUxSkV,cfVUg=duwdflprg4%OQPSV\urxSxSkpur}~P
(54) d~uwÁrV,gWlzg dPSVtxSkV,cfVUg=d xiurx?V,k7lc}ypcfV,ceddfp dPiudDpr4 \abgSÁblIg - ZabAg FrJ 5-£=¤¥PSl}~P }Uprg=durlzgicDucelTWxSyzlz«iV;|WrVUk~cflzpgpr 6\hSg=d
(55) c7TWVdPSp|© OQPSV,kfVWlnc!u#dfPSlk|AurxSxSkpur}~PÀdfpdPSlc¦cehSSqsV,}ªd;£9hicflgSL KPSpm=hSVddPSVUpkfaM 6tp¤¨VUrV,k,£4uwd!xSkV,cfVUg=d,£©dPSV dfpbpycQlgdfPSVT uvb¡-xSyhic¥ceVUdedlzgS?£iuwkV·gSpwdtaVdtceh N }UlzV,g=dfya¸|VUVUyprx*V,|¸dfpuryzyp¤ hicQdp
(56) duwÁV·dfPSlnc¥kprhdVr ¶ZhSktcedurkedlzgS
(57) x*prlgdtlnc¨dfPiVTWuwvb¡NxSyhic¥urgiuwyprhSVZprdPSIV OP0#QSR' £ ). *. i. j∈S. ij. j. ij. i. A∗ij := sup{Ai0 i1 + · · · + Ain−1 in | n ∈ N, i0 , . . . , in ∈ S, i0 = i, in = j} .. OQPbhic,£ lnc%dfPiV¨T uwvblT uwy¤¨VUlrP=d0pw*u·xiuwdfP¢kfpT dfp VQ«Sv
(58) u\T uwx £¢kfpT dfp £ ¤¥PSln}~PA¤¥lzyy9xSynuÑadPSVkpryVpw%dfPSV0UTQ 0QV#.#J%0iU j V!ceVUd π := supi 7→ σσ + A S V¦R∪{−∞} |SV«igSV dPSV
(59) W$UX
(60) V# dfp*V!dPSV}Uyzp=cehSkVpw0dPSVcfVd\prTWurxic lzgdPSV xSkp|hi}ªddfpx?pyzprar£=uwgi| dfMPS.V C$U#"$%&'$(¥dfp?V M \ K OQPSlnc7KdVUkTK:=T¦{Ahiced*−V\πhicfV,||j¤¥∈l¬dS} P¸}Uurhdflprg PSp¤¨VUVUk;£§cflgi}V K T uÑagSprd·*VWprx*VUgµlzg M ®ËcfVUYV =vSuwTWxSySV 4,S Fw¯ª
(61) OQPSV
(62) kfVU¢VUkVUgi}UVTWV,ucehikfVlc pr×dfVUg }~PSp=ceV,gdp?VZu TWuwvb¡NxSyhic7 Zlku}¨¢hSgi}ªdlzpg4£duwÁblgS dfPiVtuwyhSV 0 udcfprTW.V #J 8 "$A b ∈ S uwgi|dPSVtuwyhSV VUyncfVU¤¥PSV,kfV> <´gdfPilct},urcfVr£ −∞ ¶ZgSVtT uÑaW}pgiceln|V,k7dfPiVZuwg?uwπyprr=hiV¥Apw4uwg²fuwyTWpcedcfhSkfV³QV,rV,gdDdfp¦*VZu¦ceVUdpw4phd}UprTWV,cZ®¢lgprhik}UuceV xiuwdfPic~¯%¢prk¤¥PSln}~PWdfPSVtT uwvblT¦hiT kVU¤Quwk~|
(63) prVUk0dPSV\}UprTWxSyVUTWVUg=dDlnc −∞ _p¤V\urkfV¥yV,u|
(64) dfpdPSVtgSprdflprg pw4urg¦²euryzTWpcede¡-rV,p|V,cfl}ª³~£u xiudPpw§«igSlzdfV\dfprduwyikfV,¤¨urk|©£=ceV,VZ_bV;}ªdflprZg 1b0OQPiV\uwyTWpcedcehikfVt}UprgbrV,kfVUgi}UV pwxiudPic·lzgÀdfPSV
(65) xSkpriurSlzylncsdl}}UurcfV!dPSVUgÀdfk~uwgicfynudfV;c\lg=dfp¸dfPSVW}pg=VUkrV,gi}V!pr7VUVUkauryzTWp=csdf¡NVUp|V,cfln} dfpu
(66) x*prlg=dtprg#dfPSV*prhSg?|Suwkar OQPSV cfx?V;}ªdfk~uwyTWV;urcfhSkfV
(67) pw¨xSkpriurSlzylncsdl}x?prdfV,gdlury0dfPSV,prkaÀuwyncfp#Piuc u#g?udfhikury0urgiuwyprhSVr£4urgi| ¤V hicfVÀlzd#dp lzVÀu±kVUxSkV,cfVUg=d~udflprg pr!dfPSVµuwgiuryzprhSV;c pwPiuwkTWprgSln}¢hSgi}dflprgic,£¥dPSVµcfpryhdlzpgicpr#?® 4,¯ 7hicsd·urc¥lgxSkpriurSlzylncsdl} x*pwdVUg=dflnuwy9dfPSV,prkar£SpgSV!|pbV,c\gSpwd\giVUV,|#dPSV¦V,gdlzkV![2urkedlzg*prhSgi|iuwka¢prk\dfPSlnc ∗ ij. i. j. j. Þ9Þ Ó$[Së#\Q]^. ∗ bj. k∈S. k ∗ ·j. ∗ kj j.
(68) . C$ R $8 A O A# "'V
(69) 0. kVUxSkV,cfVUg=duwdflprg4£*u xiurkedl}UhSyurk\cfhSicfVd,£§}UuryzyV,|dfPSVZ $3X
(70) V U£§¤¥lzyy0|pi\OQPiV¦xSkpriurSlyzlncsdl} rV,kcflprgWlc|V«?gSV,| lIg - \abAg F 5idp¦*V¥dfPiVZcfVdDpr4?phSgi|Surkfax?plzg=dc7¢prk¤¥PSl}~PWdPSVZcfx*V,}ªdkuryiTWV,ucehikfV¥lncDu Zlzk~ur}¥TWV;urcfhSkfV¥yp}UuwdfV,|Wuwd7dfPSV\x?plzg=dlzdcfVUyzsD¶ZhSkD|VU«igSlzdflprg2®ÒceV,VZ_bV,}dflprg b¯0lc}ypcfVUkdp!uwg V;mhilzuwyVUg=d |VU«igSlzdflprgrlrV,g¸lg¸dPSV!cfurTWVZxiurx?V,k¥lzg¤¥PSln}~P#dfPSVcfx?V;}ªdfk~uwy©TWV;urcfhSkfV·lncQkfV;mhilzkV,|¸prgSyaWdfpWPiuÑV·u
(71) hSgSlzd pw0T urcc¥udQdfPiVx?plzg=dtlgm=hSV;csdlzpg47OQPSV ds¤¨p |V«igil¬dlzpgic¥uwkV gSpwdtV;mhilzuwyVUg=d¥lg#dPSVT uvb¡-xSyzh?c¥ceVUdedflgS uwg?|2dPSlc lnc·kfV,yuwdfV;|dfpdPSVWTWurlzgµ|l *V,kfV,gi}VW*Vds¤¨VUVUgÀdfPSVWds¤¨pdPSVUpkflV,c GtdPSV kVUxSkV,cfVUg=dflgS#TWuwvb¡NxSyhic TWV,ucehSkV T uÑagSpwd¥*VhSgSlnm=hSVr ¶ZhSk4T urlzg dPSVUpkfV,T ®ÒOQPSVUpkfV,T /i; 4,¯©lc4dfPiuwdVUVUka®ËTWuwvb¡NxSyhic~¯§PiurkfTWprgil}0V,}ªdprk dfPiuwd9lnc4lgdVUkurSyzV ¤¥lzdfPkfV;cex*V,}d¥dfp π £STWV,urgSlgS
(72) dfPiuwd sup π + u < ∞ £i}Uurg#*VkVUxSkV,cfVUg=dfV;|#uc u ®Nr¯ u = sup ν(w) + w, ¤¥PSV,kfV ν lnc¦urgAhSxSx*VUkcfVUTWln}pgdlzgbhSphicT uwxµ¢kprT dfPSV¸T
(73) lgSlT uwy[Àuwkfdflg±cexiu}V M dp R ∪ {−∞} £ *prhSgi|SV,|uw*prV0OQPiV·T urx ν lnc¨dfPSV!urgiuwyprhSV·pw9dPSV!|V,gicelzdsa¸pr9dPSV!cex*V,}dfk~uwy©TWV,ucehikfV VuwyncepcePip¤dfP?uddfPiV2®¢T uvb¡-xSyzh?c¯ZTWlzgilzT uwy[2uwkfdflgµcfxiu}VWlc VUvSur}ªdyza2dfPSVcfVd!pr ®ËgSprkT uwylcfV,|i¯ PiurkfTWprgil}¢hSgi}dflprgic%dPiudDurkfWV '0 $ÑlzgdfPSV¥T uwv=¡-xSyhiccfVUgicfVr£rcfVUV¥OQPSV,prkVUT /i b V¥cePSp¤ dfPiuwd7V,u}~P VUyVUTWV,gdtpr0dfPSVTWlgSlzT ury9[2uwkfdflgcex?ur}V lnc¥VUlzdfPiVUktkV,}UhSkfkVUg=d;£prktuW*prhSgi|iuwkax?plzg=d\¤¥Pil}~PlncQdfPSVylT
(74) lzd pw©uwgWuwyTWpcede¡-rV,pb|SV,cfl}·®ËcfVUV Kpkfpyzynuwk.a 1bÆZurgi|
(75) o7kprx*pcfl¬dlzpg 1 Fr¯%OprlrV¥u cflzTWxSyVtuwxSxiyzln}Uuwdflprg
(76) pw§prhSk kV,cfhSy¬d~cU£=¤¨V\uwynceppdurlzg lZg KprkpryynuwkMa 4'4 urg VvlcedfV,gi}VtdfPSV,prkVUT ¢prk7gSpg¡ :UVUkpPiurkfTWprgil}¨¢hSg?}ªdflprg?cDpr T uvb¡-xSyzh?cylgSV,urk¨ÁVUkgSVUync¨cfuwdflncs¢ablgSu¦dflrP=dfgiV,cc¨}Uprgi|Sl¬dlzpg4£b¢kfpT ¤¥PSln}~P¸¤¨V·|V,kflrV u
(77) }~Piuwk~ur}dfVUklncfuwdflprg pw%dfPiV!cex*V,}dfkhSTpwcfprTWV pw9dPSV,cfVÁrV,kfgiVUync·® KprkpryyurkfIa 4
(78) 4r r¯ª [2uwv=¡-xSyhicQPiurkfTWprgil}Z¢hSgi}dflprgictPiuÑrV *VUVUgThi}~Pcsdhi|lV,|lzgdPSV «igSlzdfV¦|SlzTWVUg?celprgiury4ceVUdedlzgS?DOQPSV kVUxSkV,cfVUg=duwdflprg·¢prkT¦hiyui£=®Nw¯ª£VUv=dVUgi|ic©dfPiV7kfV,xSkV,cfVUg=duwdflprg pwPiurkfTWprgil}0V,}ªdprk~c©rlrV,g lzgdPSVD},urcfV7¤¥PSVUg lnc¥«igSlzdfV¦lzgdVUkTWc\pw0dfPiZV VQ V#iurgiX| %0 "¸rk~uwxSPic,OQPilc\¤¨uc¥prd~uwlgSV,|baceV,rVUk~uwy4urhdfPiprk~cU£ S lgi}yhi|lgS{¥prT urgSpceÁbl - {¥pT F1 5-£ ·prgi|SkurgÀuwgi|µ[lgSprhSv - L[ 1
(79) 1 5Duwg?X| KhSgSlgSPiuwTWV¡ ·kVUVUg - K 1w£ OQP4wi 5-OQPSVWkV,u|VUk T uÑa2}pgicehiy¬d - [À_£9° K¥¶ ·£9°Quwxi
(80) /b£ [2S£ r£ r$ 5¢pkT
(81) pkfV iu}~Á=kfphSgi|·prg¦TWuwvb¡NxSyhiccex*V,}dfk~uwydfPSV,prkar9{¥V,yuwdflprgic*Vds¤¨VUVUgT uwv=¡-xSyhic%cex*V,}dfk~uwywdPSVUpkfa uwg?|lzgS«igSlzdfV PSpkfl :Upg pxdflTWlcudlzpg uwkV2|lncf}UhicfcfV,| ba DuwÁprVUgiÁrpAuwgi| 2Zprg=dfpkfV,Ik - 2 5 uwgi| 2ZpryprÁpryzdcfp±uwgi| [2uceypL - 2[2 1=£ S ' 5N·OQPSVln|V;upw²fuwyTWpcede¡-rV,pb|SV,cfl}ª³urxSx?V;uwk~c¥dPSVUkV¦lgÀkVUynudlzpg¤¥l¬dP²fO9hSkgSxSlÁrV³ dfPiVUprkVUT c, OQPSVWT uvb¡-xSyzh?c·[Àuwkfdflg *prhSg?|SuwkarV,gSVUk~uwylcfV,c\dfpcfprTWVWVvbdfV,g=d·dPSV *prhSgi|iuwkapw¨uTWVdkfln}Wcex?ur}V |VU«igSV,|lzgWdVUkTWcDpwD®ËrVUgiVUk~uwylcfV,|i¯0°¨hicfVUT urgSg
(82) ¢hSgi}ªdlzpgic=a ·kprTWp¦lIg - ·k
(83) p /A4#5*lgWdfPiVt¢pryyp¤¥lzgS¤QuÑa ®ËcfVUVurycfp - ° %_ / 54urgi| - °Quwyn=£ KP4 <0< 5ׯ4®ËXtprdfV·dfP?udQdfPSlnc¨lcQgipwd¨dfPSVcuwTWVZucDdPSV ·kfpTWp
(84) *prhigi|Suwka pwQPbabx?V,kf*pryl} cfxiu}V,c,Ư <- (S, d) lcu}UprTWxSyVdV T
(85) VUdfkl} cfxiu}Vr£prgSV }Uprgicfl|SVUk~cU£©¢pk¦uwyy y, x ∈ S £4dfPiV ¢hSgi}dflprg b lzVUg=a ¢pk z ∈ S . b (z) = d(x, z) − d(x, y) ¶ZgSV}Uurg±«Sv dPSV A" lzg uwgHurkfil¬dkurkfaµ¤¨uÑa OQPSVcexiu}V }UuwgH?VV,m=hSlxSx*V,|H¤¥l¬dP±dPSV dfpx?pyzpraµpw¥hSgSlz¢prkT}pg=VUkyrV,gi}VWprg ?phSgi|V;|±ceVUdc,£urclzg -·k
(86) p /C4(S) £0°Quwyn 5-£prk¤¥l¬dP dfPSV¸dfpx?pyzpra pwthigSl¬¢pkfT}UprgbrV,kfVUgi}UV
(87) pg }pTWxiur}dceVUdc,£7urc¦lzg - ° %_ /J 5NµOQPSV¸ylzTWlzdc
(88) pw\cfV,m=hSV,gi}V;c!pr¥¢hSgi}ªdlzpgic £i¤¥PSV,kfV lnc\u cfV,m=hSV,gi}V!prVUyVUTWVUg=dc\pw S rplzgidplg«igSlzdsar£§uwkV!}UuryzyV,| ®ËrVUgiVUk~uwylcfV,|i¯ ∈ C (S) b Q AYT#%V U "$ª x PSV,g!dfPiVDTWVdkfln}Dcfxiur}UV lncxSkfpx?V,k,£ÑTWV,urgSlgStdPiud0uwyy=}Uyzp=ceV;|?phSgi|V;|¦cfhSicfVd~c9pr uwkVD}pTWxiur}d,£ dfPiVZcfVdpr9°¨hiceV,T uwgSgW¢hSg?}ªdflSprg?c}Uprlgi}ln|V,c¤¥lzdfP dPSV\T uvb¡-xSyhicD[2urkedlzg¸?phSgi|Surkfaprd~uwSlgSV,| badurÁ=lgS £Suwg?| dPSV TWuwvb¡NxSyhic¨ \lk~ur}¥¢higi}ªdlzpguwddPSVZ?urcfVUx*prlgd y 0OQPilc¢pryyp¤tc7¢kprT A = A = −d(z, x) \c}pyzl
(89) c·dfPSV,prkVUT£4ceV,V
(90) {tVUT uwσkL Á 1b /¢pk!|Vd~uwlyc,X\pwdVdPiudphSkceVUdedflgSlnc T
(91) pkfV
(92) rV,gSVUk~uwy0cflzgi}UV gSV,V,|2gipwdZP?uÑrVdPSV¦xSkprx*VUkfdflV,cZpwDuT
(93) VUdfkl}r£©uwxiurkedt¢kprT dPSV¦dkflnuwgiryV!lzgiV,m=hiuwylzdsaA®¢dfPSVW}UuceV¦¤¥PSVUg −AA lnc¥gSpwdtcfabT
(94) TWVUdfkl},uwy©lncQgSVUV;|V,|lgpxdflT uwy4}Uprg=dfkpryׯª VgSpwdV dfP?ud
(95) °QuryzyT uwgAPiurc|k~uѤ¥gAuwdedVUg=dflprg lg - °Qury=b£ KP43 <0< 5dpdfPSV#uwgiuryzpra2*Vds¤¨VUV,g dfPSlnc *prhSgi|iuwka¸uwgi|¸dfPiVxSkfpiuwilzylcedfln} [2uwkfdflg?phSgi|Surkfa j∈S. j. j. w∈M m. m. y,x. y,x. y,xn. zx. n. ∗ zx. ∗. ∗. Ü¢ÝÞ9Ü×ß.
(96) .
(97) !#"$%&'$(. QO PSV cuwTWVW?phSgi|SurkfaPiuc kfV;}V,gdyza uwxSx*V,urkfV;|2lgÀdPSV ¤pkfÁpr¨{¥lV §VUyE- {¥lV,= 5-£9¤¥PSp}UuryzyV,| lzd·dPSV "$%&
(98) (¥{¥lV §VUy9h?ceV;|dfPSVdVUkT Q A" 4dfp#|V,cflzgiudV·dfPSp=ceV!x*prlg=dc¥pr0dfPSV!TWVUdfkl} *prhSgi|iuwka dfPiuwduwkVylT
(99) lzdcWprZ¤¥PiuwdPSV}Uuryzync!²euryzTWp=csdf¡NVUp|V,cfln}Ucs³~ VceP?uwyytceV,Vlg Kprkpryyurkfa 1b4'4 dfP?ud¦dPSV,cfV#urkfV¸VvSur}dfya2dfPiV#x*prlg=dc!pr¥dfPSV#T uvb¡Nxiyzhic¦TWlzgSlT uwy¨[2uwkfdflg±*prhSgi|iuwkar£0udyV,ucsd¤¥PSVUg S lnc
(100) u xSkprx*VUkWTWVdkfln}#cfxiu}Vr 6\VurcfÁrV,|±lzg ¤¥Piud }UuceV;curkfVuwyyQ?phSgi|Surkfa x*prlg=dcW°¨hiceV,T uwgSgHx?plzg=dc, OQPSlncxSkprSyVUT£%urc ¤¨VUyyDurc·dPSV kfV,yuwdflprgµ?VUds¤V,VUgµdfPiV T
(101) VUdfkl}W*prhigi|SuwkaÀurgi|µpwdfPiVUk*prhSgi|iuwklzV;cU£4P?urc *VUVUgcedfh?|lzV;|
(102) =a V,icedfVUkuwgi| lgi}~PSV,cedfV,k - rw9£ rJu 5?uwg?|ba tgi|kVUV, - tgi|iw 5- 6tp¤¨VUrV,k,£ kVUxSkV,cfVUg=duwdflprg
(103) xSkprSyVUT cylzÁVQdfPSV\prgSVt|V;uwyzd7¤¥l¬dP lzgOQPiVUprkVUT /S 4¥|p!gSprdDceV,VUT dfpPiuÑV¨*VUV,gWdfkV,uwdfV,| lg#dPSVTWVdkfln}cex?ur}V }pg=dfVvbd; {¥V;cehSyzdc¦celTWlzynuwkdpdfPSp=ceV pr¨T uwv=¡-xSyhic!cfx?V;}ªdkury0dfPSV,prkaÀPiuÑV
(104) kV,}UVUg=dfyaÀurxSx?V;uwkV,|µlgµ¤¨V,urÁ=¡ 2Z[ dfPiVUprkar <´g dfPSlncW}pgdVvbd,£ S lcWuµ{¥lVUT uwgSgilurg±T uwgSlz¢pryn| urgi| dPSV#ÁVUkgSVUy A lc
(105) kVUxSynur}UV,| ba u uvb¡ ¶ZyVUlgSlzÁµceV,TWlzkfphSx4£4dPiudlc,£9dPSVV,rpryhdlzpgµcfVUTWlrkprhSxµpwtIu 6\urTWlzyzdfpg¡ 7=ur}UprSlV;m=hiudlzpg4#[2uwvb¡NxSyhic PiurkfTWprgil}W¢higi}ªdlzpgicW}prkkV,cfx?pgi| dfp dfPSV R "% "A!pw uwdfPSl - uwd 1©£ ud~ 1uS£ udrJu 5-£ ¤¥PSln}~PuwkVZdPSVVUlrV,gbrV,}dfpkcpw%dfPSV uvb¡e¶ZyzV,lzgSlÁcfVUTWlzkfphSx4£pk¥V,m=hSlÑuryzV,g=dfyar£bdfPiV=lnc}pcflzdsa¸cepyzhSdflprgic pw\dfPSVVUkrp|lnM} 6ZuwTWlzyzdfpg8¡ 7u}prilV;mh?udflprg9£7ceV,LV - uwdrub£ KPiurxdfV,Mk 1J5N! <´g ¤V;uwÁ=8¡ 2\[ dfPiVUprkar£0dPSV uwg?uwyprrhiV\pw9dfPSV ·kfV,VUg#ÁrVUkgSV,y?lncQ}UuwyyV,| dPSV C P "$ A £bdPSV kfpyzVZpw4dPSV}kl¬dl},uwy*rk~uwxSP¸lc¨xSynuÑarV;| badfPS,V Y QN£©uwgi|2dfPSV A (M Q0lnc·kfV,yuwdfV,|2dfp#dfPSVWcudfhikuwdflprg2kurxSP4 <´g2dPSV }UurcfV¦¤¥PiVUg2dPSV T uwgSlz¢pryn|µlc¦}prTWxiu}ªd;£ Kprg=dkfV,ku.c -KprgiA 4w£OQPiVUprkVUT SÆJ 5Duwg?| udPSl - ud~ru£OQPSV,prkVUT /i Fi; 4 57uÑV u kfV,xSkfV;ceV,g=dudlzpg pwtdPSV¤V;uwÁ=¡ 2Z[ cepyzhSdflprgic,£7lg=pryblzgS uÀcfhSxSkVUT¦hiTpwt¢hSg?|SuwTWVUg=d~uwy¥cepyzhSdflprgic urccfpb}UluwdfV;|AdfpµVUyVUTWVUg=d~cprtdfPiV \hSSka±ceVUd, OQPiV},urcfV#pr\gSprgS¡-}UprTWxiur}dT uwgil¬¢py|Sc
(106) ¤Qurc
(107) }pgiceln|V,kfV;| ba Kprg=dfkVUk~urc,£¤¥Pip |V«?gSV,| urg uwgiuryzprhSVprdfPSV TWlzgSlT uwyZTWuwvb¡NxSyhic#[2uwkfdflg *prhSgi|iuwka lg dfV,kfT c pw
(108) °h?ceV,TWurgSg ¢hSg?}ªdflprg?cU£ uwgi| prd~uwlgSV,| lzg - Kpgi 4£·OQPSVUpkfV,Ti 5 uHkVUxSkV,cfVUg=duwdflprg ¢pkfThSyu ¢prk ¤¨V,uwÁ=8¡ 2\[`cfpryhdflprgic urgiuwyprprhic
(109) dp ®Ò¯ª°¨hiceV,T uwgSg ¢hSgi}dflprgic#uwyncep±urxSx*V,uwk¸lzg - uwdrr 5N¶\dfPiVUk kV,cfhSy¬d~c0pw*¤V;uwÁ=¡ 2Z[ dPSVUpkfa!}Uprgi}UVUkgSlzgiZgSpg¡´}prTWxiu}ªd0T uwgSlz¢pryn|Sc%PiuÑrV¨*VUVUgWpdurlzgSV;|¦ba udPSlSuwgi| [2u|VUkgiXu - [2=J 5-_bV,Vuwyncep udfPilDuwgi| _bln}pgSpryz« - _r 5- =vbdfkVUT uryzlzdsaÀxSkprx*VUkfdflV,c prdPSVV,yzV,T
(110) V,g=dc pwdPSVÀT uwv=¡-xSyhic[2uwkfdflg ?phSgi|Surkfa ®ËOQPiVUprkVUT Zc FSÆ uwgi| /SÆA?V,yzp¤\¯¸|p±gSprdcfVUV,T dp PiuÑV?V,VUg }pgicfl|V,kfV;|¸lg¤V;uwÁ=8¡ 2\[ dPSVUpkfa ZV,cfxSl¬dV\dPSV\VUgSV,kury?urgiuwyprar£dfPSVZxSkfpbprËcDpr4prhSk¨kfV,xSkV,cfVUg=duwdflprg
(111) dfPSV,prkVUT ¢prk¨PiurkfTWprgil}t¢hSgi}ªdlzpgic ®ËOQPiVUprkVUT /i; 4,¯Duwgi|pw4dPSVZ}UprkkfV;cex*prgi|SlzgS dPSVUpkfV,T cDlCg -KprgiA 45§urgiI| - uwdrJu 5§kfV;mhilzkV\|l *V,kfV,g=dDdfV;}~P¡ £¨¤¥PSV,kfV gSlnm=hSV,c, <´gHpk|V,k
(112) dfpAkfV,yuwdfV?prdfP cfVdedlzgic,£DlzdW¤¨prhiy|H?Vg?udfhikurydp ceVUd lncdfPiV 9uwvb¡s¶ZyVUlgSlÁ cfVUTWlzkfphSx4I 6tp¤¨VUVUk;£9pgSyzaAcfx?V;}lnuwyDÁVUkgSVUync A },uwg *V¸A ¤¥=kl¬dfBdfV,g lzg dPSlnc¦t¤Q7→uÑar£%Blzg xiurkedl}UhSyurk A T¦hicedZPiuÑV¦uwg²slg«igSlzdfV
(113) |l=lncflzSlyl¬dsa³¦xSkprx*VUkfdsar \ycfpi£*gSprdZVUVUka¸PiurkfTWpgSl}¢hSgi}ªdlzpgÀpr lnc¥u
(114) ¤V;uwÁ=8¡ 2\[cfpryhdflprgurccep}UluwdfV,|dfpdfPSV!cfVUTWlrkprhSx OQPbhicU£bdPSV|lncf}UkfVUdfV·dflTWV },urcfVZlnc B lgcepT
(115) VtcfVUg?ceV¥TWprkVQrV,gSVUk~uwybdPiuwgWdPSVt}pgdlzgbhSphic0dlzTWV\},urcfVrt£wS7→hSdDBVUlrV,g=V,}dfprk~c0uwkVQT
(116) pkfVt}Uprgicedfk~uwlgSV;| lg}Uprg=dflgbhSprh?c¨dflT
(117) V£icfp
(118) *pwdPceVUdedflgS=cQkfV;mhilzkV·|Slcedflgi}ªd¥dkfV;udT
(119) V,g=dc, V·gipwdfV·dPiudQdfPiVTWurlzgkV,cfhSy¬d~c¨pw9dPSV xSkV,cfVUg=d¥xiuwx*VUkQPiuÑVZ*VUV,gurgSgSprhigi}V;|¸lg¸dPSV·«igiury4ceV;}ªdflprg pw7u}UprTWxiurgSlzpgxiuwx*VUk;H£ - w$ 5-£ilg¤¥PSln}~PT uvb¡Nxiyzhic\cex*V,}dfk~uwy©dPSVUpkfa#¤¨uct|VUVUyprx*V,|hSg?|VUk\cfprTWV dflrP=dgSV,cc¥}pgi|lzdflprgic, 6tV,kfV£¤V hicfV dflrP=dfgiV,ccQprgSyalg_V,}ªdlzpLg 4
(120) 4w V R$" &
(121) Q VdPiuwgiÁ ty?V,ked uwdfPSl0¢pk PSVUyx¢hSy7}UprTWTWVUg=dc,£4uwgi|Àlzgµxiurkedl}UhSyurk\¢pk PiuÑblzgS x*prlgdV,| phddfp hic dPSVÀ¤¨prkÁ±pw KpgdkfV,kuSc - Kpgi 4Q5N VÀuwyncepAdPiuwgiÁ \kfgiurhi| |V2ynu prkfdfVUyyV¢prk kV¢VUkVUg?}V,cQpg¸dPSVxSkpriurSlyzlncsdl} [2urkedlzg*prhSgi|iuwkaWdfPSV,prkar #
(122) S # !9U !Q0#¥ !#"
(123) 4 + Op cfPSp¤KdfPSVuwgiuryzpra ?VUds¤V,VUg±dPSV¸*prhigi|SuwkaµdfPSV,prka pr\|VdVUkTWlzgSlncedfln}¸pxdflT uwyQ}prg=dkfpyDxSkprSyVUT c uwg?|H}Uyucfcfl},uwyQx*pwdfV,g=dflnuwy¨dfPSV,prkar£l¬d ¤¥lyzyt*V}pg=VUgSlVUg=d
(124) dfpAhicfV#T uwv=¡-xSyhicWgSprdudlzpg4HOQPiXV
(125) QY r£ £0lncdPSV#cfVd V;mhilzxSx*V,|±¤¥l¬dPAdfPSVur|S|lzdflprg (a, b) 7→ a ⊕ b := max(a, b) uwg?|µdfPSV#T¦RhSyzdflxSyl},udflprg (a, b)R 7→∪ {−∞} V#|SVUgSprdfVba := −∞ uwg?| := 0 dfPSZV :UVUkp a
(126) b := a + b Q V. . . . 1. 1. t. . . .
(127) . . max. Þ9Þ Ó$[Së#\Q]^. . . t.
(128) F. C$ R $8 A O A# "'V
(129) 0. uwg?|2hSgSlzdVUyVUTWVUg=d~cU£©kV,cfx?V;}ªdlzVUyar VWcfPiuryzy%pw×dVUgµ¤¥kflzdfV lzgicedfV;ur|Àpw ¦_lzgi}UV
(130) dfPSVWcehixSkfV,T¦hST pw7urglg«igil¬dV¦ceVUd\T uÑa¸*V!lg«igSlzdfV£i¤¨V!cePiuryzy9pb},}UucelprgiuryzyaabgSV,V,|dp}prg?celna|VU
(131) ktbdfPSVZV#"$ ;Q8#&M
(132) QY £prd~uwlgSV,|¦ba!ur|ÑqsplzgSlgS\dfp urg!VUyVUTWVUg=d +∞ £¤¥lzdfP¦dfPSV¥}UprgbrV,gdlzpg dfPiuwd = −∞ kVUT uwlgic¥uwR?cepkfSlgS¢prkQdPSV!ceV,TWlzklzgiThSy¬dRlzxiyzln}Uuwdflprg4 OQPSVcfhST cuwgi|µxSkp|hi}dc pwQT udkfln}V;cuwgi|µrV;}ªdprk~c·urkfVW|VU«igSV,|AlgµdfPSV g?udfhikury¤¨uÑaWOQPiV,cfV
(133) px¡ VUk~udprk~c¸¤¥lyy·*V |VUgipwdfV;| ba ⊕ urgi| }Uprgi},udfV,giudlzpg4£\kV,cfx*V,}ªdlzVUyar prklzg?csd~uwgi}UVr£\lz A ∈ R £ £§|VUgSprdfV;ctu T udkflzvA®ËprktÁVUkgSVUyׯª£*uwgi|2l¬ £ |SVUgSprdfV,cZu rV;}ªdprk;£S¤V|VUgSprdfV (i, ba j)Au7→∈AR £ i 7→ (Au) £dfPiVrV,}dfpkQ|SV«igSV;|=a u ∈ R i 7→ u . . max. max. S×S max. S max. ij S max. i. i. (Au)i :=. M. Aij uj ,. ¤¥PSV,kfV·dfPiV!ceabT¦*pry ⊕ |V,gSpwdV,c¨dfPiVhiceh?uwy4cfhSxSkVUT¦hiT V¦gSp¤lg=dfkpb|Shi}VdPSV
(134) TWuwvb¡NxSyhicZuwgiuryzprhSV!prdfPSV T udkflzv A ∈ R £i¤V|VU«igSV j∈S. %® ·kVUV,g2ÁrV,kfgSV,yn¯ · lrV,gÀuwgba. "$ A 3R
(135) QQ . S×S max. S×S A∗ = I ⊕ A ⊕ A2 ⊕ · · · ∈ Rmax , S×S A+ = A ⊕ A2 ⊕ A3 ⊕ · · · ∈ Rmax. ¤¥PSV,kfV I = A |VUgSprdfV;cdfPiVtT uvb¡Nxiyzhic0ln|V,gdl¬dsa
(136) T udkflzv©£uwg?| 7OQPiV ¢pryyzp¤¥lgS
(137) ¢prkT¦hSynuwV uwkV prbblzphic G A 0. Ak. |VUgipwdfV;c0dfPiV kdfP x*p¤¨VUk7pr?dPSVtT udkflzv. wu g?| A = A A . <-dQTWuÑaW*V hiceVU¢hSy*dfpÁrVUV,x¸lg¸TWlgi| dPSVZkurxSPkVUxSkV,cfVUg=d~udflprgWpr9T udfkln}V,c GdfpWuwgbaWTWuwdfkl¬v lnc!urccep}UluwdfV,|µu|lkfV;}ªdV,|µrk~uwxSPµ¤¥lzdfP±cfVd!pwQgSp|V;c S uwgi| urgµurk}
(138) ¢kprT i dfp j l¬QdfPiV ¤V,lzAP∈d AR lnc |l *V,kfV,g=dt¢kfpT ©tOQPSV!¤¨VUlrP=d\pw7uWxiuwdfP2lnctba|V«igil¬dlzpgdfPSV¦TWuwvb¡NxSyhic\xSkfp|h?}ªd®¢dfPiuwd\lc,£?dfPSV¦cfhST¯ pwdfPSV·¤¨VUlrP=dc¨pwl¬d~c¥uwk~}Uc,%OQPSV,g4£ A urgi| A kVUxSkV,cfVUg=dDdPSVcehixSkfV,T¦hST pr4dfPiV·¤¨VUlrP=d~cDpr%uwyy§xiudPic ¢kprT i dfp j dPiud\urkfV£=kV,cfx*V,}ªdlzVUyar£pr%x*pcfl¬dlzVuwggSprgSgiVUuwdflrV·yzV,gSwdP4 [prdflÑuwdfV;|¸baWdfPiV urgiuwypraW¤¥l¬dP#x*pwdVUg=dflnuwy§dPSVUpkfa£=¤¨V ¤¥lzyy4cuÑadPiudtu
(139) rV;}ªdprk lnc ®¢T uvb¡ xSyhic~¯ $ "$A VZlz Au = u urgi|X U$ "$A VZl¬ Au ≤ u tX\pwdfV!dfPiuwdZ¤¨V!kfV;m=hSlzukV ∈dfPiRV¦VUg=dkflV,c\pw7u PiurkfTWprgil}¨prk7cfhSx*VUkf¡NP?uwkT
(140) pgSln}DV,}ªdprk0dp?Vt|lncedflgi}ªd¢kprT +∞ VtcfPiuwyyScuÑadfPiuwdDu rV;}ªdfpk π ∈ R lncDyV×d ®¢T uvb¡-xSyzh?c¯0P?uwkT
(141) pgSln}Ql¬ = π £ π *VUlgS!dPSprhirP=dDpw4ucDukp¤HV,}dfprk; 9lzÁVU¤¥lnceV£r¤¨V\cfPiuwyy?cuÑa dfP?ud π lnctyV×d®ËT uvb¡Nxiyzhic~¯¥cfhSx*VUπA kf¡NPiurkfTWpgSl}·lz πA ≤ π t_bhSx*VUkf¡-PiuwkTWprgSln} rV;}ªdfpkcQP?uÑrV dfPiV¢pryyzp¤¥lgS VUyVUTWV,gd~uwka¸}~Piurku}ªdfV,kflncudflprg9 ¾ ¾ ¢ ¾
(142) #V "$ u ∈ R AQ UA" V. T $&," ( T u = A u 0" "?T E<- lnccfhSx?V,ke¡-PiurkfTWprgil}r£§dfPSV,g A u ≤ u ¢prkuwyy k ≥ 1 £©¢kprT¤¥PSln}~Pµl¬d¢pyzyp¤tc·dfPiuwd uOQ∈ R}UprgbrV,kcfVZurycfpWPSpryn|Sc,£Scelgi}UV S P ! V u=A u AA u = A u ≤ A u kprT gSp¤ pg4£¤V T uwÁV·dfPSV ¢pyzyp¤¥lzgiWucfcfhSTWxdlzpg4 ¸; ¾ I 0 0
(143) T# U$ "$A V #V "$ T#% ' A" X"$AQ "$0&J. 0" #V "$ #AV#S $ π∈R π ≥ πA °¨a¦uwxixSyzablgSo7kprx*pcfl¬dlzpgWS; 4¨dpZdPSV¥dkurgicex*pcfV¨pw A £r¤¨Vt}pgi}yhi|V¨dPiud π = πA _lzgi}UV π P?urc0gSp }pTWx?pgSVUg=dcDV,m=hiuryidp §£b¤VZceV,V¥dfPiuwdpgSVZ}UprgicfV,m=hSV,gi}V¥pr©dfPSV·uw*prVturccfhSTWxdflprg lnc7dPiud A ∈ R ¢prkturyzy i, j ∈ S (¢prkfdflprklÒ£ A ∈ R ¢prktuwyy i, j ∈ S OQPSV¨}~PSprln}Vpw ¤¨VDT urÁrV7¤¥lyzy|VUdfV,kfTWlgSV¤¥Pil}~P¦cfVd0pwSP?uwkT
(144) pgSln}7rV;}ªdprk~c4lnc4dPSVD¢p}Uhic9pr?udfdfV,gdlzpg4 <-dt¤¥lyzy4*V dfPiV!ceVUdtπpwP?uwkT
(145) pgSln}ZV,}dfprk~c dfPiuwd\uwkV 8A8 '0
(146) Q;U£STWV,urgSlgS
(147) dfPiuwd ¶\0}UprhSk~cfVr£ dfPiV ?phSgi|SurkfadPiud!¤¨V |V«?gSV ¤¥lzyy7uwyncfpu|SVUx*VUgi|µprg π π £9lgArV,gSVUk~uwyN prkSkVUblzdsarπu£¤<V ∞cfPiuwyyprTWlzd·dPSV A∗ = I ⊕ A + ,. A+ = AA∗ = A∗ A,. ∗. ∗. ∗. S×S max ij. . + ij. ∗ ij. S max. S max. S max. . ∗. S max. . ∗. k. ∗. +. ∗. . . . . S. ∗. . ∗ ij. ij. max. max. . Ü¢ÝÞ9Ü×ß.
(148)
(149) !#"$%&'$(. 1. V vxSyln}lzd¨|V,x?V,gi|VUg?}V\pg π pw§dPSVZm=hiurgdl¬dlzV;cdPiud¨¤VZlzg=dfkp|hi}UV\uwgi| cfPiuryzy?prTWl¬ddfPSV·urccehiT
(150) xSdflprg prg π lg dfPSV cedudVUTWVUg=d~c7pw©dPSVtdPSVUpkfV,T cU V·|VUgipwdfVZba urgi| £=kV,cfx*V,}ªdlzVUyar£rdfPSV ceVUdDpw π¡-lzg=dVUrk~uwiyzV PiurkfTWprgil} uwg?| π¡-lzg=dVUrk~uwiyzV cehix?V,ke¡-PiuwkTWprgSln}ZrV,}dfpkHc, S <-d\lnctpr×dfVUg2}UprgbrV,gSlVUg=d¥dfp¸}~Pip=p=ceV ¢prk·cepTWV ® V¦hicfVdPSV!gSprdudlzpg urgi| dfp2|SVUgSprdfVr£kfV;cex*V,}dflrV,yza£©dfPSV idPµkp¤ πur:=gi| AidP }pryhSTWgµpwb¥∈uwgbSa2T udkflzv M ¯ VcfPiuwyy7cfMuÑadPiud Mb lnc u #J A" 7¤¥PSV,gÀdPSVWrV,}dfpk |V«?gSV,| lzg dfPilc ¤QuÑaPiurcZ«igil¬dV VUg=dfklzV;cW®¢lg xiurkedl}UhSynuwk;£4u¸iuceV,x?plzg=d Piuctur},}V,cc¨dfp¸VUrV,kfa¸gSp|Vlzg Sπ¯ª lzdfPdPSlnc\}~PSpl}UVpw π £iVUVUka¸cfhSx?V,ke¡-PiurkfTWprgil}·rV;}ªdprk u ∈ R lnc uwhSdfprT uwdfln}Uuwyya π¡Nlg=dfV,rk~uwSyVcelgi}V£ba¸o7kprx*pcfl¬dlzpgS; 4r£ πu = (A u) = u < +∞ D_pi£SlgdfPSlnc\},urcfVr£ }Uprlgi}ln|V;c¤¥lzdfP#dfPiV cfVd¥pr%uwyy§PiuwkTWprgSln}tV,}dfprk~c,%OQPSlnc¥}pgi}yhicflzpg¸kVUT uwlgicDdfkhSV ¤¥PSVUg £ H ¤¥PSV,kfV σ lcturgbakfp¤ rV,}dfpk¨¤¥lzdfP«igil¬dV!cehSxix?pked;£SlÒ Vr£S¤¥lzdfP σ = #VvS}V,xd¥¢prkQ«?gSl¬dVUya¸T uwgbπa :=i σA V!|V«igiV dfPSYV IR
(151) K ¤¥lzdfPkV,cfx?V;}ªdQdfp π G ¢prk\uryzy i, j ∈ S . ®Ò¯ K := A (π ) _blgi}V π A ≤ (πA ) = 𠣤¨VPiuÑV ¢prktuwyy i, j ∈ S . ®Ë=¯ K ≤ (π ) OQPSlnc0cePSp¤tc4dfPiuwd9dPSV¨}UpryhSTWgic uwkV7*prhSgi|SV,|¦ur?pV7lgi|VUx*VUg?|VUg=dfyapw 0°¨a Oa}~PSprgip
(152) c4dfPSV,prkVUT£ dfPiV
(153) cfVd·pwD}pyzhiT
(154) g?c K := {KK | j ∈ S} lncZkfV,yuwdflrVUya}prTWxiu}ªd·lzgdPSV¦jxikfp|hi}d\dprx*pryprrapw R OQPSXV
(155) V M lnc |VU«igSV,|±dfpA*V#dPSV}ypcfhSkV¸pw K V}Uuryzy B := M \ K dPSXV #"%&'( kprT ®Ë=¯turgi| ®¢b¯ª£§¤V¦rVdZdfPiuwd uwgi| ¢pk·uryzy w ∈ K ·_lzgi}UV!dPSVcfVd·pw rV;}ªdprk~c¤¥lzdfPdPSV,cfV ds¤pWxSkprx*VUkfdflV,cQ},uwg?V¤¥Awkl¬dfdf≤V,g w πw ≤ uwg?| π w ≤ ¢prkturyzy i, j, k ∈ S} {w ∈ R | A w ≤w uwg?|¸dPSlnctceVUd¥lc¥pb=lprh?ceya}ypcfV,|¸lzgdfPiVxSkfp|h?}ªd¥dfpx?pyzpra pr R £i¤V PiuÑV\dPiud urgi| πw ≤ ¢pktuwyy w ∈ M . ®Ò¯ M ⊂S !Q +!@ +D00 Ñ%¦ 0@ +#%%¥ "#¥ ¶\x?uwkfdfln}hSynuwkQlgdVUkV,cedQurkfVZdfPipcfV·}UpryhSTWg#V,}ªdprk~cDpr dfPiuwdtuwkVZPiurkfTWpgSl}rO9p
(156) lzgbV,cedfludVtdPSV,cfV ¤V ¤¥lyzySgiVUV,| cfprTWVQiuceln}¨gSpwdlzpgic7uwg?|¦Ëu}ªd~c0¢kfpTT uvb¡-xSyzKh?ccex*V,}dfk~uwydPSVUpkfa ZV«igSVtdfPSWV
(157) VQ0V % $ pw dfp *V A M dfk ρ(A) := ( A ) , ¤¥PSV,kfVZdfk L 7OQPbhic,£ lncdfPSV T uvlT¦hSTK¤¨VUlrP=de¡Ndfpr¡NyVUgiwdfP¸kuwdflp!¢prkQuwyy*dfPSV }lk~}hSlzdc¨pw dfPiVtrk~uwxSP
(158) Apw= A OQPSV¥AVUvlcedfV,gi}V¥prρ(A) §ucfhSx*VUkf¡NPiurkfTWpgSl}¨kp¤ V,}ªdprk¤¥lzdfP
(159) ¢hSyy?cfhSxSx*prkfd,£ \ccehSTWxdlzpg¸Æb£ lT
(160) xiyzlV,cDdfPiuwd ρ(A) ≤ ®ÒceV,V¥¢prk¨lzg?csd~uwgi}UVto7kprx4=SÆ pw - Zhi|S=J 5§prk 9VUTWT uÆ pr - r 5ׯ \VU«igSV dfPiV " Q#& $U A˜ = ρ(A) A OQPSVTWuwvb¡NxSyhic urgiuwyprhSV¸pr\dfPiVgSpwdlzpgHprZkV,}hikfkVUgi}UV#lnc |VU«igSV,|l!g - r 5G º ¢ ¾
(161)
(162) #º ; º º V
(163) cfPiuwyycuÑadPiud u gSp|V ln.c V %0 A4lz § V
(164) |VUgSprdfV ba N (A) dPSV ceVUd!pwkV,}UhSkkfV,gd·gSp|V,c, V},uwyPy 0#VQ%0 AVQ;i#QQZpr A dPSVWV,m=A˜hSlÑ=uryzV,gi}V }UyucfcfV,c·pw ¤¥lzdfPdfPiVkfV,yuwdflprg R |VU«igSV;|#ba iRj l¬ A˜ A˜ = © N (A) OQPSlnc\cfPSprhiy|*V}pTWxiuwkV,|¤¥lzdfPdfPiV¦|V«?gSl¬dlzpg2pwkV,}UhSkfkVUg?}V·¢prk\[ÀuwkÁrp¸}~Piurlzg?cU£?¤¥PSVUkV!u gSp|V lnctkV,}hikfkVUg=d¥l¬7pgSVkVdfhikfgic¥dfplzd\¤¥lzdfP2xSkpr?uwSlyzlzdsapgSVr@ 6tV,kfV£?uWgSp|V¦lc\kfV;}hSkkfV,g=dQlz¤V}UuwgkVdhSkfg dfp lzdt¤¥lzdfPkfV,¤¨urk| lg A˜ _blgi}V = A ≤ A £9V,rV,kfa2}UpryhSTWgµpr A lccfhSx*VUkf¡NP?uwkT
(165) pgSln}w¶ZgSyza2dfPSp=ceV }pyzhiT
(166) g?c pw A }pkfkV,cfx*prgiAA |lgSdfpWkV,}hikfkVUg=dQgSp|V,c¥ablVUyn|¸P?uwkT
(167) pgSln}ZV,}dfprk~c G ∗ b·. i·. ∗. ·i. S max. b. b. ∗. . i. ∗ ij. ij. i. ∗ ij. ∗. j. j. −1. j. ij. i. −1. ·j. S max. ·j. . S max. . ij. j. i. k. k. S max. . k 1/k. k≥1. ii. i∈S. . −1. + ii. r. + ij. r. + ji. . . . ∗. Þ9Þ Ó$[Së#\Q]^. +. ∗. ∗. ∗.
(168) /. C$ R $8 A O A# "'V
(169) 0. ¾¾ ¢ ¾ ºbº
(170) ¾
(171) MA V#"%Y #V "$ A @" VW T &Y"$A( & W0#VQ% Q ρ(A) = i OQPSV¦cuwTWV!lnc¥dkfhiV¢prk¥dPSV}UpryhSTWgictpr K celgi}UVdfPSV,aurkfVxikfpx?pkedlzpgiuwy4lgdfPiV¦T uvb¡-xSyzh?ctceV,gicfVdfp dfPipcfV·lz A OQPSV¢pryyzp¤¥lgSZds¤p·kV,cfhSy¬d~c0cePSp¤AdPiudlzdTWurÁrV;c%cfVUg?ceVdfp·l|SVUg=dflz¢a!VUyVUTWV,gd~c0lzgdfPiVQcuwTWV¨kfV;}hSkkVUgi}UV }ynurcc, ¾ ¾ ¢ ¾ 3 # & UVQ T.$&," (M T & & K =K ρ(A) = i j LAW .0#VQ%0 i,V#j∈VQ;S # 0" "?T 4VUd ?Vcfhi}~PHdfPiuwd K = K OQPSVUg4£¨lgHxiurkedl}UhSynuwk;£ K = K £¨urgi|Hcfp A = i, j ∈ S. b _ b a
(172) T W T U V f d k l , } uwyyza£?¤¨V!prSduwlg A = π (π ) ·OQPSVUkV¢pkfV£ A A = § <- i 6= j £idPSVUgÀdfPSlnc π (π ) lT
(173) xiyzlV,c
(174) dPiud A ≥ A A = A A = §£lzgH¤¥PSln}~PH}UuceV ρ(A) = §£ i lc
(175) kV,}UhSkfkVUg=d;£0urgi| i urgi| uwkV
(176) lgAdfPiV¸cfurTWV kfV;}hSkkfV,gi}V }Uyucfc,#OQPSlnc!cfPSp¤tc dPSV¦²spgSyaÀlz´³xiuwkfd!pwQdfPiVxSkprx*pcfl¬dlzpg4¸Xtp¤ yVd j urgi| i urgi| j *V!lgdfPSV¦cuwTWVkV,}UhSkfkVUg?}V}ynurccU¨OQPSVUg9£?ur},}pk|lgSdfCp - rS£ioDkfpx4*S 5N£ ρ(A) = £©uwgi|cfp \°¨hd·cflgi}V £*¤¨V!PiuÑrV!dfPiuwd £§uwgi| A dfPiVUk=V¢prAkV AK ≤ K 7OQKPSV =kfV,rKVUk~cf(πVZlgS)V,m=hiπuryzAlzdsa ¢pyzyp¤tc¢kfpT πuW=ceabπATWTWVdkfln}Uury§urkfhSTWVUg=πd, ≥ π A ¾ ¾ ¢ ¾ . ##%W $ ρ(A) = MAQ TQ"$ u ∈ S & i, j LAW $ 0#V %0QV# V ;J# πu =π u 0" "?T ·_blgi}V £%¤V},uwgA}pgiceln|V,kdfPSV V,}dfprk #OQPiuwd lnc¦cfhSx*VUkf¡NP?uwkT
(177) pgSln} }UurgA?VVUvxSkfV;cfπcfV,∈|µRurc π ≥ π A £4¢pk¦uwyy i, j ∈ S ¸πOQPilc:=lnc!V;(πm=hSlz)uryzV,gd dp (π )π ≥ A (π ) lzg pwdPSVUk¥¤¨prk~|Sc,£rdPiud π £ScfVUV,g#urc¥u
(178) }pyzhiT
(179) grV;}ªdprk;£=lncQcehix?V,ke¡-PiuwkTWprgSln}w%o7kprx*pcfl¬dlzpgS ¦pw - r$ 5 cedudV,ctdfPiuwd\dfPiV!kfV;csdkfln}ªdlzpgpw7uwgba¸ds¤p ρ(A)¡´cehSx*VUkf¡-VUlrVUgbV,}ªdprk~cQpw A dp¸uwgba¸kV,}UhSkkfV,gi}V!}Uyucfc¥pr A uwkVtxSkprx*prkfdflprg?uwyNOQPSV,kfVU¢prkVr£rV,l¬dPSVUk Wpk7dPSV\kV,cedfkl}dflprgic7pw urgi| dfpuwgbakV,}UhSkkfV,gi}Vt}Uyucfc uwkV xSkprx*prkfdflprgiuryÒD <´gVUlzdfPSV,kt}UurcfVr£bdPSVu T =uwx i ∈ S 7→ π u lnc¥}pgiceduuwg=d¥prgπV,u}~P#kV,}UhSkkfV,gi}V }ynurccU E 0RWi <-d0¢pryyzp¤tc9¢kfpT dfPSV;ceVds¤¨pZxSkprx*pcflzdflprgic9dfPiuwd,£¢pkuwgba u ∈ S £ÑdPSVQTWurx S → R , i 7→ lgi|hi}UV,c uT urx OQPbhic,£©u¸cfhSx*VUkf¡NPiurkfTWpgSl}!rV,}dfpk\T uÑa?V
(180) kfV,urk|V;| π urc¥uu¢hSg?}ªdflprg|VU«igSV;|#Kpg →K R , K 7→ π u 4VUd u ∈ R *V!u π¡Nlg=dfV,rk~uwSyVZV,}dfprk; V!|SV«igSV·dPSVT uwx µ : M → R =a ¢prk w ∈ M , µ (w) := lim sup π u := inf sup π u ¤¥PSV,kfV dPSV!lg«iT¦hiT lncQdurÁrVUgpVUk¥uwyy4gSV,lzP=*prhikfPSpbp|Sc W pw w lzg M OQPSVkV,ucepg#¤¥Pba¸dfPSVylzT cfhSx uw*prVW}UurgSgSprdZd~uwÁrVdfPiV
(181) uryzhSV +∞ lcZdPiud π u ≤ πu < +∞ ¢prkuryzy j ∈ S OQPiV¢pyzyp¤¥lgS¸kV,cfhSyzd cfPSp¤tcQdfP?ud lnc\urghixSx?V,k·cfVUTWln}pgdlzgbhSphicQVvbdVUgicflzpgpw0dfPiV!T uwx¢kprT K dfp R lgdkfp|h?}V,|lµg{t: VUMT uw→kÁ¸RSÆb Dº. 3 u I π 8 '0' ;Z AQ UA"A V #V "$ µ (K ) = π u TQ"$S#'V# . T. . ∗ ·i. . ∗. . . ·i. . ·j. . ·i. j. −1. i. + ii. + ij. ·j. ∗ ji. + ji. ∗ ij. i. . ∗ ji. j. ∗ ij. −1. . ii ∗ ji. ∗ ij. ij. . . ∗ ·i. ∗ ·j. ∗ ji. ·i. ·i. i. ·j. −1. ∗ ji. j. ∗. i. ∗ ji. j. ·j. . . . i i. . j j. S. −1. j. i. −1 i∈S i. ij. i. −1. ij. j. −1. −1. . −1. i i. . max. max. i i. i i. ·i. S max. u. u. K·j →w. j j. W 3w K·j ∈W. max. j j. j j. u. i∈S. &. 0" "?T. µu (w)w ≤ u. max. max. TQ"#
(182) V . . . . C"$0#" Q . u. Z°¨a¸o7kprx*pcflzdflprgS;4£ A u = u t6 V,gi}V£¢prkturyzy i ∈ S £. i i. w∈M. w∈K. . ·i. w∈M M M µu (w)w . µu (w)w = u=. ∗. ui =. M j∈S. A∗ij uj =. M. Kij πj uj .. ®UF¯. j∈S. Ü¢ÝÞ9Ü×ß.
(183) .
(184) !#"$%&'$(. V
(185) }Uprgi}Uyzhi|SV!dfP?ud lgSV,m=hiuryzlzdsar£¤¨Vprd~uwulg¸≥dPiuKd i. ij πj uj. ¢pk·uryzy i, j ∈ S °¨a#d~uwÁblgSdPSVylTWcfhSx2¤¥lzdfP kfV;cex*V,}d\dp j pwDdfPSlnc. ® 1w¯ ¢prk!uryzy w ∈ M uwgi| i ∈ S WOQPSlccfPSp¤tcZdfPiVWcfV,}Uprgi| xiurked pwdfPSVW«ik~ced ucfcfVUkfdflprg pwDdPSVWyzV,TWTWui
(186) Op xSkprVZdfPSV «?kcedtxiuwkfd,£¤¨VuwxSxiyza dPSlnc¥lzgiV,m=hiuwylzdsa¤¥l¬dP w = K VVdQdfP?ud u ≥ K µ (K ) _blgi}V £?¤¨VcfVUV!dfPiuwd ZOQPSVkfV,rV,kcfVlzgiV,m=hiuwylzdsa¸¢pyzyp¤tc¥¢kprT dfPSVW|VU«igSlzdflprg2pr K 7= (π )giury9csd~udVUTWVUg=d¥pw%πdfPSuVy≥ µT (K )yzp¤tc¨¢kprT =Dm=hiudlzpgµ®UF¯Quwg?|¸dPSV·«ik~csd\ceduwdfVUTWV,gd; Q O S P · V i « U V W T u ¢ r p y µ # U! !9U4 +¨ <´gxSkpriurSlyzlncsdl}·x*pwdVUg=dflnuwy9dfPSV,prkar£SpgSV!|pbV,c¥gipwdtgSV,V,|dfPiV!VUg=dflkV?phSgi|Surkfa dp*V¦uwSyV dfp kVUxikfV;ceV,gd PiurkfTWprgil}DrV,}dfpkc,£u\}V,ked~uwlg¦cfhSicfVdce%h N}UV,c, VQcfPiuryzybceV,V7dPiud0dfPiV¨cfl¬dhiudlzpg!lg¦dPSVT uwv=¡-xSyhic%ceVUdedflgS lnc¨cflT
(187) lynuwk;0Op|SV«igSVZdfPiVW®ËT uvb¡Nxiyzhic~¯TWlgSlTWury4[2uwkfdflg¸cfxiur}UVr£b¤¨V\gSV,V,| dplg=dfkp|hi}V uwgipwdfPiVUk¨ÁrVUkgSV,Uy G ¢prk\uryzy i, j ∈ S . K := A (π ) XtprdfV dPiud K = AK lnc¥u¢hSgi}dflprgpw K pktuwyy w ∈ M £¤Vurycfp |V«igiV w ∈ R G ¢prkturyzy i ∈ S . w = lim inf K OQPSV ¢pyzyp¤¥lzgiyVUTWT u cePip¤tcDdPiudtgipWurT¦Slrhil¬dsa¸urkflncfV,c¢kfpT dfPilc¥gipwduwdflprgcelgi}UV (K ) = K Dº. .
(188) YY w = w TQ" w ∈ B $& w = K = Aw TQ"$ w = K ∈ K 3"$Z ui ≥ lim sup Kij πj uj ≥ lim inf Kij lim sup πj uj = wi µu (w) , K·j →w. K·j →w. K·j →w. i. ·i. ii. i. −1. i i. u. ii u. ·i. ·i. u. + ij. [ ij. [ ·j. ·j. −1. j. [. ·j. [ i. S max. [ ij. K·j →w. ·j. w∈M. 0" "?T. . . . 4VUDd _bp . [. w[ ∈ S. w ∈ B. $&. [. πw[ ≤. OQPSV,g4£¨¢prkV;ur}~P. K·i 6∈ W. . i ∈ S. [. [ ·j. . [ ·j. ·j. £¨dfPiVUkV2Vvlncsd~cuAgSVUlrPb*prhSkPSpbp|. W. pw w cfhi}~P dfPiuwd. [ wi[ = lim inf Kij = lim inf Kij = wi ,. xSkpblzgSdfP?ud w = w Xtp¤(yVd w = K ¢prk\cfprTWV j ∈ S ¥O%uwÁblgS dfPiV¦ceV;m=hSVUgi}UV¤¥l¬dPÀ}pgiceduwg=dtuwyhSV K £i¤¨V¦cfVUVdPiud 7O9pWV;csd~uwSylcfP#dfPSVpxSx?p=celzdfV lgSV,m=hiuryzlzdsar£¤¨Vpr?ceV,kfVtdfP?ud w ≤K ¢pktuwyy i ∈ S , w = lim inf AK ≥ lim inf A K = A w prk;£lgprdfPSV,k¥¤pk|icU£ w ≥ Aw DOQPSV,kfVU¢prkV ¤V PiuÑV·cfPSp¤¥g#dfPiuwd w = K OQPSV ynurced\urcceV,kedlzpg¸pwdfPSVyVUTWT u
(189) ¢pryyp¤tcD¢kprT ®Òr¯Qurgi|¸dfPSV Ëu}ªd¥dfP?ud π lc¥cfhSx*VUkf¡NPiurkfTWpgSl}r XtVUvbd,£S¤¨V|V«igiV ds¤pWÁrV,kfgiVUync H uwg?| H pVUk M K·j →w. K·j →w. [. ·j. [. ·j. [ ·j. [. K·k →w. ·k. K·k →w. ik. ·i. ·i. i. [. [. [ ·j. [. H(z, w) :=µw (z) = lim sup πi wi = lim sup lim πi Kij K·i →z K·j →w. K·i →z. [. Y\cflgSWdfPSV Ëu}ªdQdfP?ud. H (z, w) :=µw[ (z) =. [ = lim sup lim inf πi Kij . K·j →w. urgi|,<´gSV,m=hiuryzlzdsaÀ®Ë¯ª£S¤¨VrVUdQdfPiuwd ¢prkturyzy w, z ∈ M . H (z, w) ≤ H(z, w) ≤. K[ ≤ K. [. Þ9Þ Ó$[Së#\Q]^. lim sup πi wi[ K·i →z. . K·i →z.
(190) , 4. C$ R $8 A O A# "'V
(191) 0. - w ∈ M £wdfPSV,g*pwdP w uwgi| lg 9VUTWT uWS F£S¤¨V·Vd¥dPiud <. uwkVDV,yzV,TWVUg=dc%pw S =a®Nr¯%uwg?| 4 V,TWTWuZi4w0Y\cflzgi\dPSV¨«ikcedurcceV,kedlzpg. w[. ®U/¯ ®Ò¯. H(K·i , w) = πi wi H [ (K·i , w) = πi wi[ .. ´gxiuwkfdfln}hiyurk <. H(K·i , K·j ) = πi Kij = πi A∗ij (πj )−1 [ −1 H [ (K·i , K·j ) = πi Kij = π i A+ . ij (πj ). OQPSV,kfVU¢prkVr£©hSx dfpu|lurrpgiuwy0celTWlzynuwklzdsar£ H uwgi| uwg?| A kV,cfx*V,}ªdlzVUyar Dº. . 3"$. w, z ∈ M . urkfV
(192) VvbdVUgicflzpgicZdfp. H[. pw7dPSV ÁrV,kfgiVUync. M ×M. ®?4;¯ ®?4
(193) 4;¯ A∗. +. . ¤¥PSVUg w 6= z pk w = z ∈ B , pwdPSVUk¤¥lcfV . 0" "?T E<- £?dPSVUg w = w ba 9VUTWT u?;4r£*urgi|dfPiV¦V,m=hiuryzlzdsapw H(z, w) uwgi| H (z, w) ¢prk·uwyy w∈B ¢ r p y z y p t ¤ ¨ c l W T T
(194) V;|lnudfV,yza z ∈ 4M VUd w = K ¢prkcfprTWV j ∈ S urgi| yVd z ∈ M *VA|Sl §VUkVUg=d¢kfpT w OQPiVUg4£ZdfPSV,kfV Vvlncsd~c uµgSVUlrPb*prhSkPSpbp| W pw z dPiud|pbV;cWgSpwd¸}Uprg=durlzg w txSxiyzablgS 4VUTWT uµi 4uw=uwlg4£7¤¨VVd dPiud ¢prktuwyy V!|SV,|hi}UV dfPiuwd w) = H (z, w) lg#dPSlnct}UuceVuwyncfpi w = <´gKdfPSV =«?giKuwy4},= urcfVrw£¤¨V·P?uÑrV iw∈ =Wz ∈ K 7OQPSVkV,cfhSy¬dQH(z, ¢pyzyp¤tc¨¢kfpT =Dm=hiuwdflprgA?® 4;¯ V!|V«igiV dfPSV YAH$UU A'V#¥dfpW?V H(z, w) =. . (. H [ (z, w) . [. [. ·j. [ i. [ ij. ij. [. i. kprT 4VUTWT uWiÆb£¤¨V!ceV,V·dfPiuwd. . Dº. 0" "?T. . Q( VPiuÑrV. . M m := {w ∈ M | H [ (w, w) = } .. ®?4Ñr¯. . {w ∈ M | H(w, w) = } = M m ∪ K . w ∈ Mm ∪ K. . πw =. . . πw = sup πi wi ≥ lim sup πi wi = H(w, w) = .. °¨a =Dm=hiuwdflprgA®Ò¯ª£ πw ≤ §£Suwgi|#dPSVkfV;cehiy¬dQ¢pryyp¤tcU ¾ ¾ ¢ ¾. (ZQQQ P"9T $ "$A V M 0" "?T E<- }prg=d~uwlgic¥uwg#VUyVUTWVUg=d £dPSVUg9£b¢kfpT =Dm=hiudlzpgµ®94'4ѯª£¤¨V cfVUV·dPiud ρ(A) = ¸urgi| K ∩M n l Q c f k ; V } S h k f k , V = g , d D <-d¥¢pryyzp¤tc¨¢kprToDkfpx?p=celzdflprwgSƦdfPiuwd lncQPiurkfTWprgil}r w <-dWkfV,TWurlzg?cdfp xSkprV dPiud
(195) dfPSVcfurTWV¸lnc!dkfhSV#¢prkV,w u}~P±VUyVUTWVUg=d w pr B ∩ M 4VUd i ∈ S *V cfhi}~PÀdPiud µuwg?| ucfcfhSTWV
Documents relatifs
C'est aussi le résidant pas chez leurs parents fréquentent deux fois parativement à la province, les étudiants de Nanterre ne lement ce moindre attachement à la ville
In this paper, we study the performance of an enhanced channel estimation technique combining estimation using an autocorrelation based method and the Expectation-
Selon Laeven et Valencia (2012) , le coût budgétaire de la crise bancaire s’est respectivement élevé à 44 et 41 points de PIB en Islande et en Irlande, ce qui place ces deux
Dans ce travail, nous comparerons les entreprises coopératives, détenues par leurs membres, dont le produit risqué est la ressource critique apportée et dont l’objectif est
À cet effet, un nombre considérable de recherches démontre cliniquement que les enfants de parents souffrant de problème de santé mentale sont plus à risque d’un retard dans leur
usual route to school and provide us with some details about their travel routine (e.g., schedule, mode of transportation, people accompanying them, etc.); 3) recent interventions
La question de l’extension des limites de Paris jusqu’à cette ligne avait été discutée mais ne fut tranchée que par un décret impérial du 9 janvier 1859 qui décidait de