• Aucun résultat trouvé

Topologie Algébrique Dirigée et Concurrence

N/A
N/A
Info
Télécharger
Protected

Academic year: 2021

Partager "Topologie Algébrique Dirigée et Concurrence"

Copied!
348
0
0

Chargement.... (Voir le texte intégral maintenant)

Texte intégral

(1)Topologie Algébrique Dirigée et Concurrence Emmanuel Haucourt. To cite this version: Emmanuel Haucourt. Topologie Algébrique Dirigée et Concurrence. Autre [cs.OH]. Université ParisDiderot - Paris VII, 2005. Français. �tel-00172472�. HAL Id: tel-00172472 https://tel.archives-ouvertes.fr/tel-00172472 Submitted on 17 Sep 2007. HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers.. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés..

(2) 

(3) 

(4)      ! #"$ %&"'( )*(+-,. / 021 30!46563 78:9<;=?>A@CBDEGF:H2IJ'KL;=?DMENF'H. ^. 5 O+3.Q O 4 P R >S>A@8NF'HLT+UWVYX2Z[\X.]I _. `a_. bc_. d. ef. g. bhd. ikjml. e

(5) n. o. u. fts. f. _. vxw. o. l. l. frvxw. yz {}|<~€|ƒ‚„{C †|'M‡ƒˆ<‰&| RŠ=?DM‹!Œ![\X.VYXŽI ‰&‘‚ƒ|ƒ’„‚ƒ|+“ | ”•” [2‹–B;—'=?H™˜š•š•› œL{}<‰Mz „|ƒ’ž ?‚ Ÿ ‚†{¢¡ £ŠDMH–=?=?H¥¤„Ž+;•F'D¦WZ(X.]Y7„R § ¨L©ª†ª‘„{«|ƒ‚„{}‰ ¬­@CBJ:=®G8¯URP°'° ±.@8'DMH–T²Œ­X7„§ ³†´©„µ6z ’ ©ž|ƒ‚„{}‰ V.TM—6HL=†BW(X.]W][\§7 ¶¯@=‹L;AŒ!]YV2§±.7†°. f. p. eql. e

(6) d. irf.

(7) ˜.

(8)  

(9)   V.F ‹L;•F'=¦'HS‹LH–¦ B=;•DM¦'H–=?8'DL=HL¦ @8:8'KLH–¦@D HLF T;G‹L‹L@¦?D;•8'H'K–‹L;•F=DM=!TMH–¦'TM@DM¦DM=?¦:H T-@ =?H–‹ J'HL=‹ J'H ¦‹LDHL8 BD"!$ENF'H$@8'¦TH\‹ @#'=H$}F'8 B?=@%C@DMT&'H2BJ'L¦?H)(RŠ8 ‹L;•>*$@=?@8 B>S;•8 H,+6KL=?DHL8'‹–H %@ •H–‹!‹–HLTTMHL¦-'H\‹LH–=B @CDM8'¦Y@FB=?H–¦(BJ'K–¦@=.'¦)@D$:F >SH2=HL8/'=H\‹L;•>*:B?H'H\T-@ ENF$@CTMDB?K.H0+:‹–H:B?DM;•8G¤ 8'H–TMTM H 'HL¦ ‹L;/8 'DB?DM;•8:¦1'H B=?@%@CDMT-:;•8 B2 @D— K–8'K!$‹–DMK)THL¦16HL=¦?;•8'8:HL¦S¦?F'D"@C8NB?HL¦ENF'HH BDHL8'¦ >A@DM8 BH–8$@8 4 B 3 =?H–>AH–=?‹LDHL= :® ;•8 BYB.= L¦YT-@.= 5•HL>SHL8 B‹–;•8 B=DM—'F')K 6 B;F:B2 @—6;•=.87:90;=<>@?BA/CED#AGFIH6ENF'D#@AH–8'‹ @#:=?K >S;•8 ¦B@#5•HJ'H ±.R V H–B>K@ ‹L;•8LC@D8'‹LFK'H™9 @D=?H F'8'H™B/J –¦?H EN$F DTM @ :DM=?D 5•KL)H (­°;•8¦;•F:B?DMHL8  ¦?H–¦\HL8'‹–;•F'=?@#5•HL>SHL8 B?¦\H–B\THL¦2H,N ;•=†B¦2ENF$}DMT@'K'TM; ®•K–¦ 6;•F'O = '=;•>A;'F •;•D=(>SHL¦B=?P@ C@GF + K > };•8 Q B 6HL=?>SDM¦ $ %@ C@8'‹–HL=%@ •HL‹!¦?K–=?K–8'DB?K# TMH–¦>AH–>*—'=HL¦Q'F Ž°ŽR6;•F'=YT-@*‹ J$@CTMHLF:=4:H!THLF'=Y@C‹L‹LF:HLDMT H–BWTMH–F'=¦®G>*$@CBJ:DMH#( ¶ H–¦=?H–>AH–=?‹–DMHL>SHL8 B?¦:•;8NBK5 @CTMHL>SHL8 B:3TSU;WVC,X,H YTZD.[\V,H]90A_^a`8D#90H]; bdceD#ALVEVPX,b H BgfFI9,;=<EYTZ DBYG9\X,bah C,X,9ij'H =T }F'8'D HL=¦?DB?Kj$}V2@T— ;=k5Y@D8'¦?DCEGFl32mD#H YG9,nBboJXEVEV

(10) H BjmJ9kpnPVkpHq?srut*?B9,nBH vB;=X,wx;=<kp :HPT RŠ‹–;•TMH £;T®NBH–‹ J'8'DMENF'u H yK 'KL=?@TM H 'H!Ž²@F'¦?@8'8'H!ENF'D+z > ;•8 BW@‹–‹LF'H–DMTTMD H–8K:TMF'¦DMHLF:=?¦;G‹L‹ @C¦?DM;8'¦W@F ±2@8'H¥¤ >A@k= {AH–BWHL8¯°F'D¦?¦?)H (Z;•TMTM@— ;=?HL=%@ •HL‹!‹ J$@‹–F'| 8 H–F + HL¦†BF:8 =KLHL T :T-@D¦?DM= (. }H!=?HL>SHL=‹LDH™THL¦W>AH–>*—'=?H–¦@:FTF'=†®d$ @%;•DM=@‹L‹–H:B?K$«®z$@=†BDM‹–DW6HL=$H–BWB;•F:B4$@C=BD‹LF'TDW–=?HL>SHL8 B TMH–¦=?@#/6;•=B?HLF'=¦'mD#H YG9,nBb*oJXEVEV H–B~uD#ba;=X,F>eAG; baL6;•F'=THB?HL>*'¦qENF$} DMTM¦;•8 Bq¦?@‹L=D$! KO 3 T-@THL‹ BF'=H >SDM8NF:BDHLF'¦H' H­>A;8 =?@#/6;•=BQ: H­B?J/L ¦H#( }H =HL>SHL=?‹–DMH HL'8 !$8 >SHLM ¦ '@=?H–8NB?¦W>A;8 9<=k–=?H#Y>SHL¦ @C>AD¦ H–BKS€Aa<,; F FWXSENF'D.>z@DW'H–8 Bg35 @=.'HL= TMH–¦O'DMH'¦Y¦?F'=B?HL=?=H\B;•F:BWH–8¯@ ® @C8NBWTM@ B\‚–B?H™H–8 T @CDM=("("(. ƒ.

(11)

(12)   

(13)  . (” (˜ (ƒ (. (›. Ž²@ ‹–;•8'‹–F'=?=HL8'‹–H™H–8K5•K–8'KL=?@T (J(u(J((u(J(u(J(J(u(J(u(J(J(J(J(J(u(J(u(J(J(u(J( Ž+HL¦Y>A;G/–TMHL¦¦?@8'¦B;# ;•T; 5•DH (u(J((u(J(u(J(J(u(J(u(J(J(J(J(J(u(J(u(J(J(u(J( [2G— HL‹ BD9<¦ (J(J(J(J(J(u(J(u(J(J(u(J((u(J(u(J(J(u(J(u(J(J(J(J(J(u(J(u(J(J(u(J( £;•F:=?ENF';•D+F'8:H!8:;BD;•d 8 ' H 'DM=HL‹–B?DM;• 8 M(J(u(J(J(u(J(u(J(J(J(J(J(u(J(u(J(J(u(J( X8 =)@ 'DW'H\¦F'.= ;•T 'F ‹L;•8 BH–8NF (J((u(J(u(J(J(u(J(u(J(J(J(J(J(u(J(u(J(J(u(J(. "!$#

(14) !%!&'&()*+)  

(15) ,

(16) -#-)./

(17) ,!0 !11)(

(18) 5. 6 798;:-<>=?7A@CBED@GF;FHI7 7E( ” Ž²@ ‹L@CBK•5 ;•=DMHMLONQPSRQT (J(u(J(J(u(J((u(J(u(J(J(u(J(u(J(J(J(J(J(u(J(u(J(J(u(J( 7E( ˜ £Š=?; '=DMK BKL¦‹L@CBK•5 ;•=DMENF'HL¦Q'HALON>PGRQT*(u(J(u(J(J(u(J(u(J(J(J(J(J(u(J(u(J(J(u(J( 5 5 W:OXHZYC@SBE[\=^]_@GF;D:-`a=?FGX:-b\="DdcfegF=?798;:-<>=h@CBED;@SF;F;H 7?7E( ” ZJ'HL>SDM8:¦H–BWJ';•>S;B;#'DMH–¦e' DM=DW•5 K–¦ ((u(J(u(J(J(u(J(u(J(J(J(J(J(u(J(u(J(J(u(J( 7?7E( ˜ Ž²@ ‹L@CBK•5 ;•=DMH29<;•8/' @>AH–8 B @TH (u(J((u(J(u(J(J(u(J(u(J(J(J(J(J(u(J(u(J(J(u(J( 5 55 W:OXHZYC@SBE[\=?7j79:-F;7lkm@Seg<Qb\= 7?77E( ” Ž²@ ‹L@CBK•5 ;•=DMH' H–¦W‹L@CBK•5 ;•=DMHL¦¦?@8'¦W— ;F'‹LTH (J(u(J(u(J(J(J(J(J(u(J(u(J(J(u(J( 7?77E( ˜ °GB @C—'DMTDBK (J(J(J(J(J(u(J(u(J(J(u(J((u(J(u(J(J(u(J(u(J(J(J(J(J(u(J(u(J(J(u(J( 7?77E( ƒ £Š=?; '=DMK BKL¦‹L@CBK•5 ;•=DMENF'HL¦Q' HAqsr 14tu (u(J(u(J(J(u(J(u(J(J(J(J(J(u(J(u(J(J(u(J( 7?77E( $y ;•8'‹–B?HLF'=¦YJ'KLTDM‹LH–¦ (J(u(J(u(J(J(u(J((u(J(u(J(J(u(J(u(J(J(J(J(J(u(J(u(J(J(u(J( 7?77E( › Ž+H2BJ'K–;•=k– >AH' H P w @8 ¬­@> 6HL8g' @8'¦$qEr 1xtsu (u(J(u(J(J(J(J(J(u(J(u(J(J(u(J( 7?77E(yU ]WK•5 F'TM@=?D&BK2: FK'=;: F'DBYH BQ' H™T H0+ ;•8:HL8 BDM@CBD;•8 (u(J(J(J(J(J(u(J(u(J(J(u(J( {5 z W:OXHZYC@SBE[\=|D=?7l<>@S`a8m@S79:}FGX=?7lDdcfegF=h8m=QXs[~X=^<>:OXHZYC@SBE[\= 7€w1( ” °G®G¦BkL >SHJ: H!>S;•=.'J'DM¦>AH–¦Š 6 >A;CBDC @CB?DM;•8:¦ (J(J(u(J(u(J(J(J(J(J(u(J(u(J(J(u(J( 7€w1( ˜ ¶ ;•=.'J'DM¦>AH–¦DM8L• H–=?¦DM—'THL¦W@F ¦?H–8'¦@: H‚&?BbX„ƒLD*(u(J(u(J(J(J(J(J(u(J(u(J(J(u(J( ›. . ”” ”. ”  ˜Cš 243 JCK V˜ U ƒU iGK. ›. U” npo G” š › v š ” CK •› v.

(19) 7€w1( ƒ. &?BbX„ƒLD (u(J(J(u(J(u(J(J(J(J(J(u(J(u(J(J(u(J( ” š z W@G`‚8g:}Bs:-[ 79@SFD= C[Σ−1 ] =QX C/ oCo? Σ w1( ” £Š=?HL>SDW–=?H\=K'F'‹ BD;•8d'FK:=?;•—'TL>SH (u(J(u(J(J(u(J(u(J(J(J(J(J(u(J(u(J(J(u(J( ” ˜› w1( ˜ X8'H!@FB=?H:HL¦?‹–=?D:BD;•8d'H H–B4' H (u(J(u(J(J(u(J((u(J(u(J(J(u(J(u(J( ” ˜•› C/Σ ∼  F'HLTEGF:HL¦Y=?K–¦?F'T&B @CB?¦@3 '=; 6;•¦O' w1( ƒ  H C[Σ−1 ] (J(J(u(J(u(J(J(J(J(J(u(J(u(J(J(u(J( ” ˜  w1( £Š=?HLF•HJ'H\BJ'K–;•=k– >AH ”Pƒ (J(J(u(J((u(J(u(J(J(u(J(u(J(J(J(J(J(u(J(u(J(J(u(J( ”Pƒ š w1( › Z;•>*'TMK–>AH–8NB?¦O' F BJ'K–;•=k– >AH ”Pƒ ((u(J(u(J(J(u(J(u(J(J(J(J(J(u(J(u(J(J(u(J( ”Pƒv w1( U £Š=?KL¦HL=  @ BDM;8 H BW=?H'H–B4' HL¦WDM¦;•>S;•=k'J:DM¦?>SHL¦*(J(u(J(u(J(J(J(J(J(u(J(u(J(J(u(J( ” › z 5 HZ@SB ?`a=|D;=|z$:-. F ^:-`a8m=?F=QXl<>:OXHZYC@CBV[\=?7jD;=h<>@G`‚8m@G7 :-FGX=?7 oQixn w27E( ” Ž+H'=?;•—:TWL >SH' H­T-@ 9<;8'‹–B?;•=?DM@TMD&BK ((u(J(u(J(J(u(J(u(J(J(J(J(J(u(J(u(J(J(u(J( ”  w27E( ˜ ‹ @¦Q' H–¦Q H BDB?HL¦Y‹ @ BK5 ;•=?DHL¦¦@C8'¦Y— ;•F:‹LTMH (J(J(u(J(u(J(J(J(J(J(u(J(u(J(J(u(J( ”  w27E( ƒ V2/:TMDM‹L@CBD;•8'¦ (J(J(J(u(J(u(J(J(u(J((u(J(u(J(J(u(J(u(J(J(J(J(J(u(J(u(J(J(u(J( ” ›Cš z 55 W:-b <Qe;b 7 o?

(20) K w 77E( ” Z;•=@CF+ (u(J(J(J(J(J(u(J(u(J(J(u(J((u(J(u(J(J(u(J(u(J(J(J(J(J(u(J(u(J(J(u(J( ” › ƒ 2 w 77E( ˜ Œ­=;•F/6; : HL¦(J(J(J(J(u(J(u(J(J(u(J((u(J(u(J(J(u(J(u(J(J(J(J(J(u(J(u(J(J(u(J( ” U š 2 w 77E( ƒ I=HLDTMTMD¦ (u(J(J(J(J(J(u(J(u(J(J(u(J((u(J(u(J(J(u(J(u(J(J(J(J(J(u(J(u(J(J(u(J( ” U š 2 w 77E( £Š=?KL;=k' =HL¦(J(J(J(J(J(u(J(u(J(J(u(J((u(J(u(J(J(u(J(u(J(J(J(J(J(u(J(u(J(J(u(J( ” U ” 2 w 77E( › RŠ8'¦?H–>*—'TMH–¦Q$@=B?DMH–TMTMH–>AH–8 B(;•=.' ;•8'8'K–¦ (J(u(J(J(u(J(u(J(J(J(J(J(u(J(u(J(J(u(J( ” •U ˜ 2 w 77E(yU Ž+HL¦Y‹LF'—6HL¦WF'8'D&BK–¦O' DM=DW•5 K–¦ (J(J(u(J((u(J(u(J(J(u(J(u(J(J(J(J(J(u(J(u(J(J(u(J( ” U 2 w 77E(  Ž+HL¦Y¦?D> 'TH,+ HL¦Y@C8NB?DW' DM@#•5 ;•8'@F+' DM=DW•5 K–¦ (u(J(J(u(J(u(J(J(J(J(J(u(J(u(J(J(u(J( ” U 2 w 77E(  RŠ¦k$@‹–H™;=k' ;•8:8'K' H­‹ J'HL>SDM8:¦4: DM=?D•5 KL¦d(J(u(J(J(u(J(u(J(J(J(J(J(u(J(u(J(J(u(J( ” U 2 ?. °G®G¦BkL>SHL¦4'H­>A;•=.'J'D¦?>SHL¦e'H. l !$&%  " !%1 ~+1 !+/  f1/% - I*%+) . 

(21) . z 555

(22) =|b :}F;YC:}YC= z =QXl79=?7A`a@4DIb\=?7 YCH?@S`aHQXBE[xe=I7 w 77?7E( ” ±.HL¦‹L=DW:B?DM;•8d'F T-@8'5 @#5•H\£w (u(J((u(J(u(J(J(u(J(u(J(J(J(J(J(u(J(u(J(J(u(J( 2 w 77?7E( ˜ £;•D8 B¦>S;•=B?¦H–BWDM8$@ B?BH–DW5•8'@—'TMH–¦ ((u(J(u(J(J(u(J(u(J(J(J(J(J(u(J(u(J(J(u(J( 2 w 77?7E( ƒ Ž²@8/5 @#5 H­£mw H BY¦®G¦BkL >SHL¦2: H­B?=@8:¦?DB?DM;•8:¦ (J(u(J(u(J(J(J(J(J(u(J(u(J(J(u(J( 2 w 77?7E( V.F:B?;•>A@CBH–¦O' H' DM>SHL8'¦DM;•8 ¦F/6KL=?DHLF'=H (u(J(J(u(J(u(J(J(J(J(J(u(J(u(J(J(u(J( 2 w 77?7E( › R€:+ H–> :TMHL¦g(J(J(J(J(J(u(J(u(J(J(u(J((u(J(u(J(J(u(J(u(J(J(J(J(J(u(J(u(J(J(u(J( 2 w 77?7E( U  F'HLTEGF:HL¦Y=?H–> @=ENF'HL¦ (J(u(J(J(u(J((u(J(u(J(J(u(J(u(J(J(J(J(J(u(J(u(J(J(u(J( 2 "5 ! # F;:}%b $7 =IeB =?`"k; B $S@SF;F;:-[\Bs=. o C ” Uv ”s ”s ”s › ” š ” o &Gn. ?I. 

(23) ,-. !. !.

(24) +)##( h1/) )()(

(25) !%0 *+)

(26)  *+)

(27) I !1) !%++*$x

(28) '. 59FSXBs@4Dge;<vXs[\@SF/. b :"XBs@S[ 7[?`a= 8;:}BXs[\= o?

(29) 01( ” Ž²@T5 HL¦B?DM;•8d'H–¦Y— ;•F:‹LTMH–¦(u(J(J(u(J((u(J(u(J(J(u(J(u(J(J(J(J(J(u(J(u(J(J(u(J( ”  ƒ 01( ˜ Ž+HL¦W@F:B?=?HL¦Y>S;'L TMH–¦O•5 KL;>AK B=?DENF'HL¦R(u(J(u(J(J(u(J(u(J(J(J(J(J(u(J(u(J(J(u(J( ”  5 1 @Seg<Qb\=?7jDg[\BE[ YCHZ=?7 :-b YCHZk;BV[ xe=?7 o?CK 027E( ” ZHL=‹LTMH' D=?D•5 K\@T•5 KL—'=DMENF'H (J(J(u(J((u(J(u(J(J(u(J(u(J(J(J(J(J(u(J(u(J(J(u(J( ” •› 027E( ˜ ;•F'‹–TMH–¦H–BW‹L;•>*6;•¦@8 B?HL¦ (J(J(u(J((u(J(u(J(J(u(J(u(J(J(J(J(J(u(J(u(J(J(u(Jx ( ˜š U.

(30) 55 !. !. !. 1. #. W:OXHZYC@SBE[\=^]_@GF;D:-`a=?FGX:-b\=hYCH?F;HZBs:-b [ 7 H?= JS 0277E( ” Z(@CBK•5 ;•=DMH3 ‹ J'HL>SDM8:¦R(J(u(J(J(u(J((u(J(u(J(J(u(J(u(J(J(J(J(J(u(J(u(J(J(u(J(x˜ ” š 0277E( ˜ U;•>S;B?; 'DMH@' DM=DW•5 K–H­@—'¦†B=@CDBH(u(J((u(J(u(J(J(u(J(u(J(J(J(J(J(u(J(u(J(J(u(Jx ( ˜”U 0277E( ƒ Z(@CBK•5 ;•=DMHL¦(B?; 6;•TM; 5 DMENF'HL>SHL8 B‹–;•8'‹–=k– B?HL¦ (J(J(u(J(u(J(J(J(J(J(u(J(u(J(J(u(Jx ( ˜•˜ ƒ 55 5  @4D ?b\=?7M: S=?<^km@Se;<Qb =?7 JCJGn 0277?7E( ” V.F:B?=?H–¦W>S;G/L THL¦(B;# ;•T; •5 DEGF:HL¦e' H­TM@*‹L;•8'‹–F'=?=HL8'‹–H (J(J(J(J(J(u(J(u(J(J(u(Jx ( ˜•˜  0277?7E( ˜ R€:+ H–> :TMHL¦Q' H­‹L@CBK•5 ;•=?DHL¦Q3 ‹ J'H–>AD8'¦ (J(u(J(J(u(J(u(J(J(J(J(J(u(J(u(J(J(u(Jx ( ˜ƒ˜ 0277?7E( ƒ V@ N @DM—:TMDM¦¦?H–>AH–8NBe' H­T-@*8';B?DM;•8g H–¦k$@‹–H ;•=.' ;•8'8:KM(u(J(J(J(J(J(u(J(u(J(J(u(Jx ( ˜ƒU 0277?7E( RŠ¦k$@‹–HL¦WTM;G‹ @THL>SHL8 B;•=.' ;•8'8:KL¦ (J((u(J(u(J(J(u(J(u(J(J(J(J(J(u(J(u(J(J(u(Jx ( ˜ U 5{z W@GF;<Qb eg7[\@SF J 4o

(31) 027€w( ” U;•>S;B?; 'DMHH–BU;>A;•T; •5 DH (J(u(J((u(J(u(J(J(u(J(u(J(J(J(J(J(u(J(u(J(J(u(Jx ( ˜vU ” 027€w( ˜ Žx @#''=?;G‹ J'H!@B+ DM;•>A@CB?DMENF'H ' H­T J';>A;B?; 'DH (J(u(J(u(J(J(J(J(J(u(J(u(J(J(u(Jx ( ˜vU ƒ HZ@SBE[\=|D=?7l<>:IXHZYS@CBE[\=I7 J C

(32) V( ” Z(@CBK•5 ;•=DMHL¦H BY9<;•8'‹–B?HLF'=¦ (J(J(u(J((u(J(u(J(J(u(J(u(J(J(J(J(J(u(J(u(J(J(u(Jx ( ˜vUv V( ˜ Ž+DM>SDBH–¦H B‹–;•>*'TMK BF/' H (u(J(J(u(J((u(J(u(J(J(u(J(u(J(J(J(J(J(u(J(u(J(J(u(Jx ( ˜ > V( ƒ VOB ;•8'‹ BD;•8'¦ (J(J(J(u(J(u(J(J(u(J((u(J(u(J(J(u(J(u(J(J(J(J(J(u(J(u(J(J(u(Jx ( ˜v• ˜ V( Z;•8/•5 =F'HL8:‹LHL¦4•5 K–8'KL=?@TMD¦?KLH–¦ (J(u(J((u(J(u(J(J(u(J(u(J(J(J(J(J(u(J(u(J(J(u(J( ƒ š ƒ V( › Z(@CBK•5 ;•=DMHL¦>S;•8'; $ @THL¦4(u(J(J(u(J((u(J(u(J(J(u(J(u(J(J(J(J(J(u(J(u(J(J(u(J( ƒ šv V( U °DM8'•5 F'T-@C=?DM¦?@CBD;•8]YK @CTMDM¦?@CBD&;•8 (u(J((u(J(u(J(J(u(J(u(J(J(J(J(J(u(J(u(J(J(u(J( :ƒ ” ˜ @C8m@Sb @CYS[ = :-b\YCHZkgBE[ xe;= 4oOn 2( ” I;# ;•T; •5 DH*(J(J(J(J(J(u(J(u(J(J(u(J((u(J(u(J(J(u(J(u(J(J(J(J(J(u(J(u(J(J(u(J( :ƒ ” 2( ˜ I;# ;•T; •5 DH2@T•5 KL—'=DMENF'H\K–TMKL>SHL8 B@DM=H (u(J(u(J(J(u(J(u(J(J(J(J(J(u(J(u(J(J(u(J( ƒ ˜V. .

(33) .

(34) 1/ ! +).!%1. . .  

(35)  

(36) . .   . ±2@8:¦Š‹LH–BBHBJ'L¦?H)NTMH¦HL8'¦ ENF'HYT=};•81:;•8'8'HY@F >S;Bd<>@SF;<Qe;BsBs=?Fg<>=!HL¦†B„ENF'D$@)5•DM¦¦?HL8 B ¦DM>*F'T&B @8:K ¤ >SHL8 B0(!Ž+H1'=?;—'TW–>AH™EGF:H T=}K–BF''H1'H TM@A‹L;8'‹LF'==?H–8'‹LH ¦?H :=?; 6;•¦?H$K BF/:DMHL=\H–¦B\TH*¦?F:DC@8 B%6 HL8¦F//6;•¦@8 B ENF$}F'8HL8'¦HL>*—:TMHD^9,;=?B90;x!$8'D:$ †@#5•H–8 B¦ @DMH–8 B*‹ J$@‹–F'8 F'8'H B!C‹ J'H ‹L;8'8NF'Hz3 @‹–‹L;•* > 'TMD= G‹L;•>S>SHL8 Q B H–F:B¤ ;•d 8 '=?,K •;•D= TMH\‹–;•> 6;•=†BHL>SHL8 BO:H!TH–8'¦?H–>*—'TH#( Ž+H\‹ @¦"¦?DM>*'THHL¦†B ‹LH–TMF'D$; #T-@ !B C‹ J'T H 'H ‹ J$@ENF'HA#@ 5•H–8NB­8:H H–F:B!DM8 BH–=9<KL=HL = $@C8'¦\TMH 'K–=?;•F:TMHL>SHL8  B :HST 0H +KL‹LFBDM;8 'H‹LHLTTMH–¦ :HL¦(@CF:B=HL¦ ( ±.@8'¦‹–H.‹L@¦;•8 @!F:M 8 $@=?@TMTKLTMD¦?>SH9<;•=†B H BT K B/F :@ H 'F ‹L;•* > ;=BH–>AH–8 : B :H =T }HL8:¦?HL> —'TMH­¦?H­=?@> –8'J H 3S‹–HLTF' D 'H­=T }K–B?/F ' H 'F ‹L;•* > ;=BH–>AH–8 @ B :H!‹ J'@‹LF'K 8 'HL¦#@ 5•H–8 B¦ (P78 BK–=?HL¦„¤ ¦?;8'¦28';•F:¦ 3AF:8 ,H +HL* > 'TH ¦?D> :TMH­ENF'H*=T };•8 =?H–B?=?;•F •HL=?@AB;F:B\@F¯TM;•/8 5*'H™‹LH–BBH B?/J L¦#H 

(37) ‹–HLTF'D 'F &%M8'HLQ= 'J H 'J'DTM;•¦; 'J'H–¦ (I#=?;DMQ ¦ 'J'DTM;•¦; 'J'H–¦W¦;•8 2 B :;•8'‹!@¦?¦DM¦@F:B?;•F'Q = $}F'8'H­B @—'TH­=?;•/8 :u H ',H C@8 B F'z 8 'T-@ %B :‹ J'@‹LF'8 K–B@8 ' B q'=?#; 5•=@>S>SK @ ;F'=Y#@ 5•D=@DM8:¦?=D 6. ( £Š=?H–8/'=H™TM@*—$@#5•F'H B?B?HJ:HJ:=?;•D&BH\¦?D+H–TMTH2HL¦†B@:DM¦k6;•8'D—'TMH):¦DM8';•8 @CBBHL8''=?H)( ”W ˜(W£Š=?H–8/'=H™TM@*—$@#5•F'H B?B?HJ:HJ5•@F'‹ J'H­¦?D+H–TMTH\HL¦B4'D¦k6;•8'D—'TMH):¦?D8';•8 @CBBHL8''=?H)(. ƒ (YVq®•@8 B 'HLFG+ —$@#5F'H–BBHL¦j!$8'D= ¦?;8 'T-@CB'F'D¦ =?H–8/'=H TMH–¦1'HLFG+ —$@)5•F'H–BBH–¦ (ž@)!$8 EGF:H TMHL¦ ' H–F+ ‹L;8 GD"•HL¦u'H*$@=B!H Bu @FB=?H*'F'D¦?¦HL8 B K,•H–8NB?F'HLTTMH–>AH–8NB™TMH–¦­F:BDTMDM¦HL=*)HL8 =?H6;•¦?@8 B $@—6;•=k ‹–HLTMTH'H'=?;DBH:F'DM¦‹–HLTMTH'H5 @F'‹ J:H#( ±2@8:¦2F'8 '=HL>SDMH–=WB?HL>*'¦;8 >AH B2: HLF¯ + —$@#•5 F:H–B?B?HL¦2H–8 B=?H ‹ J$@ENF'H1'J:DMTM;¦?; 'J:H#6‹ J$@‹LF:8@ ';•8:‹ F'8'H:$@D=?H ' H—'@#•5 F'H B?BH–¦H Bj6HLF:B$! 8'D=¦;•8*=?H$@¦q ( ±2@8:¦F'8*¦HL‹–;•8/$• ;8 8'H>AH BENF$} F'8'H—$@#5•F'H B?B?H HL8 B?=?H*' HLF+ 'J'DMT;•¦?;#'J'HL¦' H ¦;•=B?HSENF'H)U6;•F'=\‹ J'@ENF'HA—'@#•5 F'H B?BH) ¦DŠTMH ‹–;•8L D"• H*' HT' =?;DBH ¦ H–8 HL>*$@=H#q  ‹–HLTF'D:: H5 @F:‹ J'H 8$ @|'TF'¦' H —$@#•5 F'H B?B?HM¯ 3 ¦?@|' =?;DBHSH–B' ;•D&B' ;8'‹ @CBBHL8'' =?H)¯ ( V.T;•=?¦ ENF'H|' @8'¦STMHd'=?H–>ADHL= ‹L@¦ADT8$« ® @ @F'‹–F'8'H DM8 BH–=9<K–=?HL8:‹LH|6;•¦¦?DM—:TMH HL8 B=H THL¦ B!‹ J:HL¦( ‹ J$@‹–F'8 'K•5 F'¦B@8 B!¦?;•8=?H$@¦3 T= @TTMF'=H™ENF'DqTF'D‹–;•8LG DMHL8 B!),$ @8'¦\TH*¦?H–‹L;•8'$² DMT¦HT H–F:B­ENF$ @CF'‹LF'8' H–¦ +-,/.102.435602768:9<;$=?>?@=?A2BDCFEHGIA!E<J'=-KMLNC-OPB:KMQRESA2LUTV>!KWC-QYX. .

(38) 'J'DTM;•¦; 'J'H–¦(8'H'F:DM¦?¦H\HL8 B @C>AH–=¦?;•8 =H$@¦(Z2H–¦BW‹LH\ENF'D

(39) ¦H'=?;G'F'D&B¦?D ‹ J$@‹LF:8 ¦H­¦@D¦?DB-'H\T-@ —$@#5F'H–BBHW¦?HYB=?;F'C@8 B-3­¦@'=;•DB?H HL8S> ‚–>AH(B?HL>*'¦\NT-@\—$@#5•F:H–B?B?H@:H45•@F'‹ J'HY9 @DBP@CTM;•=¦x'K–9 @FB 3!B?;•F'¦ (P[\8 ¦ #@ H–=  ;•DBPB=.L¦9 @‹–DMTHL>SHL8 BPEGF:H.TMH=?H$@¦¦HB?HL=?>SDM8:H23 TM@!¦HLF'TH.‹–;•8/'D&BDM;8AENF'H2TF:8 'H–4¦ :J'DMT;•¦?; :J'HL¦¦;•DBW@¦¦?H ™=?#@ 'DW:H ;•F:=O'=?H–8/'=?H­¦?@S—$@)5•F'H–BBH'H'=;•DB?H 'F'D¦W¦?@ —$@#5•F'H B?B?HJ:H 5 @F:‹ J'H!P@ C@8 BW¦?;z 8 ;•DM¦DMd 8 ' H 5 @F'‹ J:#H ( ± }F'|  8 6;•D8NQ B : H GF'J H 'TF'¦(9<;•=?>SHLT ''D¦?;•8:¦WEN$F }F'8 „K–B@CQ B 'F =?H $@¦ ( ;•z 8 'DM=?@ $@=T-@ ¦F'DB?H!H 4 B 'TMF'¦ 5•K–8'KL=?@TMH–>AH–8NB.F' 8 „K B @C2 B 'F¦®G¦†\B L>SH  ),

(40) H–¦ B 3 F:8 DM8'¦†B @8 B ';8'8'#K  F'8'H*TDM¦B?H™ENF'D‹L;•* > 6;•=B?H TMH 8';•> 'H ‹ J$@‹LF:8 'HL¦ B?=?;•Du ¦ :J'DMT;•¦?; :J'HL¦ P@ HL‹ THL¦ —'#@ 5•F'H B?BtH–¦*EN$F }DMT@ HL8 ¦?| @ 6;•¦?¦HL¦?¦DM;•8 (£;•F:= ‹ J$@‹–F'T 8 'HL€ ¦ 'J'DMT;•¦?#; 'J'HL¦ THL¦q¦DBF'@CBD;•8'¦ ;•¦¦?D—'TMH–¦¦?;8Nj B ';•8'D ‹ „%@ •;•D=TM@—$#@ 5F'H–BBe H '=;•DB?H \I†%@ ;•DM= ‹LH–TMT: H ' H 5 @F:‹ J'H \4†%@ •;DM=²TMH–U¦ 'H–F + (;1 F „8 H–8*%@ •;•D=@CF'‹LF'8:H E(Š[\8 @ ¦?DB?F$@CB?DM;•8'¦ 6;•¦?¦DM—'THL¦ (q±2@8:¦ TMHS‹ @C ¦ 'F =?H '@¦ $; # ‹ J$@ENF'H ‹–;•L8 "D •H @ ¦?H–1 ¦ '=; '=?H–¦ —$)@ 5•F'H–BBH–¦ qDT ® K @ ';•8'‹ K–B@CB¦ ×4×4 6;•¦?¦DM—'THLJ ¦ 'F =?H $@¦ (¯±2@C8'¦ THA¦HL‹L;/8  ‹ @C¦ qTHL¦!¦?HLF:TM¦ K B @CB? ¦ 6;•¦?¦DM—'THL¦!¦?;•8  B $@4=?>S D ‹LH–F + $; # T-@ ¦?;>A>S H 'HL¦Y—$)@ 5•F'H–BBH–¦H–K 8 6;•¦?¦HL¦¦?DM;K 8 'H–@ ¦ :J'DMT;•¦?; :J'HL¦8' H 'K $@¦¦?J H $@¦ ƒ ( §;F'¦ =?H BDMH–/8 '=;•8'M ¦ 'H‹–H–B 0H +:H–> :TMH 'H–F + 9 @D&B¦ADM* > ;•=†B @8 B?¦ ( Ž+H '=?H–>ADHL= H–¦B ENF')H T;•=?¦EGF:H TMH–¦ #@ 5•H–8NB?¦ #@ 5•DM¦¦?H–8NB H–8 B?;B @TH DM'8 'K 6HL/8 '@8'‹LHTHL¦ F'8'd ¦ 'H–¦¯@CF:B=HL¦ ( ;•8 $@C=?TMH @TM;•=g ¦ 'H G=@D $@=?@TMTKLTDM¦?>SMH )PT-@A‹–;•* > '=?K–J'HL8'¦DM;•K 8 'F¯9<;•8:‹–BD;•8'8'H–>AH–8 B 'H™=T }HL8'¦HL>*—'Tu H :HL¦\#@ 5HL8 B¦¦?H*=KL¦?F:>A H 3 T-@ ‹L;•* > '=?K–J'HL8:¦?DM;8 'F 9<;•8'‹ BDM;8'8'HL>SHL8 B :H ‹ J$@‹–F'8 H–F + ¦K $@=g K 'HL¦ @CF:B=HL¦ ( ±.F 6;•DM8  B 'F GF'H 9<;•=?>SHLTH–B!HL8B?HL=?>SHL¦­‹L@CBK 5•;•=?DENF'HL¦ #T H G=@€ D $@=@CTMTMK–TMD¦?>SH™H–¦B!>AG; 'K–TMDM¦ K $@C=\T-@ 8';B?DM;•8 :H '=; 'F:DB‹L@=B?KL¦?DHL8 (Px Ž D> 6;•=†B @8'‹– H 'F 9<;•=?>A@TMD¦?>S@ H :HL¦W‹ @CB?K 5•;•=DMH–4 ¦ '@8'¦Y=T }K–B?/F ' H 'HL4 ¦ '"D N K–=?HL8 B?¦ >S; /–TMH–J ¦ :H T-@ ‹L;8'‹LF'==?H–8'‹LHAHL¦B ¦?;•F:TMWD 58'KLT H $@8: ¦   ƒ ( ZH–B?B?H ¦DBF'@CBD;•8HL¦B*@8$@T; 5•F'* H 3 ‹LH–TMTMH ‹L;8'8NF'H 'H–¦9 @>SDMTMDHL=j ¦ 'H.TM@!B?J'KL;•=DM4 H 'HL¦ '=?;•—'@—'DMTDB?KL¦  H–8 H N H–B '$@C8'¦‹–H2‹ #@ :=?#H G;•M 8 :D%B GH–B#‹ }HL¦†B @T;•=?¦AF'8'H ',K !$8'D&BDM;$8 YEGF F'8:H 9 @>ADTMTg H 'H C@=?DM@—'TMH @TK @CB?;•DM=H HL¦†B DM/8 'K H–/8 $@8 B?H , . . . , Xn TM;=?¦?ENF' H 6;•F'=(B?;•F:BH\9 @>SDMTTMH '  H $@C=BDHL¦>SHL¦F'=@—:TMHLQ ¦ X'1H­ T F'8:D •H–=?O¦ 'H–@¦ 6;•¦¦?DM—:TMHL¦ Ω  A1 , . . . , An ;•8 @ µ({X1 ∈ A1 } ∩ · · · ∩ {Xn ∈ An }) = µ({X1 ∈ A1 }) × · · · × µ({Xn ∈ An }). [28 @K 5 @THL>SHL8 BF:8'H@8$@CTM; 5•DHŠHL8 @T5 L—:=?HPTMDM8:K @D=?H# ;$# F'8'H9 @C>ADTMTMHx:H:•H–‹–B?HLF'=¦ $}F'8 LH ¦.$@‹–HM•HL‹ B;•=DMH–T¦?F:= F'8 ‹–;•=k'¦ H–¦B 'D&BHADM8/'K H–8/$@8 B?H TM;•=¦?ENF'HAT=}HL¦k'@‹LHHLv‹ 1B,;•. =.DM.HL,TvENnF$H–TMTH K HL8'5•HL8/:=?H!HL¦BWD¦?;•>S;•=k:J'H3 K · · × K} | × ·{z n. 

(41) . @F:B?=?H–>AH–8NB'DB™TMH*'=;'F:DB!‹ @=†BK–¦?DMH–8 (]'@8'¦*TM@ ‹L@CBK5•;•=?DH :HL¦*H–¦k$@‹–H•H–‹–B?;•=?DHLTM¦™¦?F'= 8';BK–H  T u )M'H ‹L; :DMHLd ¦ 'H GF ‹L;•>S>AHF:8 ¤H–¦k$@‹–HRHL‹–B?;•=?DHLT'H8'D>AH–8'¦?D;•8 ” ( K  ±2@8'¦ TH ‹ )@ '=?K4 H 'HL¦PHL.¦ n$@‹–HL¦@ S8'H–¦ K GF'8'HY9 @>SDMTMTH-'H46;•KDM8 B¦ x , . . . , x H–¦B:'DB?HYDM8/'K H–8/$@8 B?HT;•=?¦EGF:H ¦?;8 HLL8 •H–TM; ' H‹L;•L8 •0H +H\HL¦B '2 H :DM>SHL8'¦DM;•8 ( $@8'¦1T=}HL¦.$@‹LH4n+1 •H–‹–B;=?DMH–T ¦;•F'¦„¤?@‹–HL8 B2)0( R 8!$8$:H–8 n TM#; 5•DMENF')H CF'8:HP9 @>SDMTTMj H  @¦¦?H–=BD;•8'¦ HL¦UB 'D&BHPDM/8 'K H–/8 $@8 B?HTM;=?¦?ENF' H 6;•F'=²B;•F:B?H¦;•F'¦„¤ A1 , . . . , An 9 @>SDMTTMH 'H DMT0H +DM¦B?HŠF'8­>AG; /–TMH ( @F­¦?HL8:¦ :HŠT-@BJ:KL;•=DMj H 'H–¦²>AG; /LTHL¦ %•;•D =  ” ›  ) ENF'D ¦@ BDM¦†9 @DBFB;•FBAHL¦1 ,T.HL.¦.@C, ¦?A¦?H–n=B?DM;•8'O ¦ :H ENF'D+#@ '$@=B?DMH–8'8'HL8 4 B 3 H B¦?H–F'TMH–>AH–8 BY‹LHLTTMH–¦†¤WT 3'( ZDB?;•8'¦²F'J 8 'HL=8'DMH–=0H +HL* > 'TMH ENF'D H–A F:B 1 ,‚–.B?.=?H . ,AF™n‹L;•>S>SHŠF'8'H 5•KL8:KL=@CTMDM¦?@CBFD;• 8 'u F '=?K–‹LK :HL8 %B (ŠRqB@8 B ';•8:8'K F'8 H–8'¦?H–>*—'TMH ;k= ';•8:8'K (X, v) Š;•8 H–F:B ';•8:8'HL= 'TF'¦?DHLF'=¦ 8';CBDM;8' ¦ $}DM'8 'K 6HL/8 '@8'‹L)H  =T }F'8'H­@ A=>AH.EGF:H (x , . . . , x ) HL¦†BD/8 'K H–/8 $@8 BH­T;•=?¦EGF:H (x , . . . , x ) 6;•¦?.¦ 'H­F'8 > P@ ;•=@8 B $@8:¦ (X, v) 6F'8'H™@F:1B?=?H!ENF'H n(x , . . . , x ) HL¦†B2D/8 'K 6HL'8 $@8 BH™1TM;•=¦?ENF'J H n ;•F:=YB?;•F:B?H™¦;•F'¦†¤ $@=†BDMH 1 n 'H 'DT

(42) ,H +D¦BH­F'8 KLTKL>SHL8 B :H B?HLT+ENF'H. A. {1, . . . , n}. a. X. ∀k ∈ {1, . . . , n} xk ≤ a ⇐⇒ k ∈ A. ”š.

(43) Ž+H2¦?H–‹L;•8' 9 @CDB(D> 6;•=†B @8 BHL¦B(EGF:H\T-@ =KL‹LD'=?;GENF'H 'Fd'=HL>SDMH–=9 @D&BH–¦BYK5•@TMH–>AH–8NB:G=@DH#:‹)H–¦B†¤ 3 ¤ 'DM=H™EN$F }HL8‹L@¦ $}DM8 BH–=k'K H–8/$@8:‹LH# T-@A‹–;•8'8$@CDM¦?¦?@8'‹–H1'H™B?;•F:B?HL¦2THL¦.¦DB?F$@CBD;•8'¦Q6;•¦?¦DM—'THL¦2:H ‹ J$@‹–F'8 'H–¦­#@ 5•HL8 B?¦28'H =HL8'¦HLD5•8'H*ENF'H B?=k–¦ $@=†BDMH–TMTHL>SHL8 BW¦?F'=2TH–8'¦?H–>*—'TH'H–¦2K–B@CB¦ 6;•¦¦?DM—:TMHL¦ 'F¦†®¦†\B –>A)H ( Ž 3 H–8'‹L;•=H#+T @8'@TM; 5DMH­@%•H–‹STM@SB?J'KL;•=DMH1:HL¦ '=;•—$@—:DMTMD&BK–¦H–¦B @#5=@8 BH)

(44) ;•8 6HLFB HL8 ,H N H BŠB=?;'F •H–=PF:8'H(9 @>SDMTMTH 'HO@C=?D-@C—'TMH–¦q@TK @CB?;•DM=HL¦ :;•8 BŠB;•F:B?HL¦ TMH–¦q¦?;F'¦†¤ƒ9 @>ADTMTHL¦ X 1 , X2 , X3 ¦B?=?D‹–BH–¦ ¦;•8 B DM/8 :K 6HL/8 $@C8NB?HL¦*¦?@8'¦*ENF'HAT-@ 9 @>ADTMTH1'HL¦™B=?;DM¦!8'H THA¦;•DB( ZH B?BH ¦?DB?F$@CB?DM;•8 HL¦†B @F'¦¦?O D '=KL¦HL8 BH HL8%@WT 5#L—'=H TMD8'K @D=?HA$; #T-@¯9 @>SDMTTMT H 'g H •H–‹–BH–F'=?¦ $8 }HL¦* B $@C¦ (0, 1), (1, 0), (1, 1) DM'8 'K 6HL/8 '@8 BH*—'DHL8 ENF'H ‹ J'@‹LF'8:H 'H*¦?H–¦2¦?;F'¦†¤ƒ9 @>ADTMTHL¦YTMH™¦?;•D&%B (.7T¦?1 H 6HLFB2K 5•@TMH–>AH–8NB.EN$F F:8'H 9 @>SDMTTMT H $B@ +DM;•>SH 8'H ¦?;•D&B $@¦*D/8 'K H–/8 $@8 BH @CTM;•=¦ ENF'H B;F:BH–¦ ¦?HL¦ ¦;•F'¦„¤ 9 @>SDMTTMHL¦!¦B?=?D‹–BH–¦*TMH ¦?;DMHL8 B a$@=,H +H–> 'T#H $¦D H–¦BWF'8:H­9<;8'‹–B?DM;•d 8 'H $@8'¦ [0, 1] TMHL¦Y@C¦?¦?H–=B?DM;•8'¦ f [0, 1] ” ( HL¦†BW‹L;•8 BD8NF'#H ( ˜(. ƒ(. f f. HL¦†BW¦B=DM‹ BHL>SHL8 BW>S;•8';B?;•8'H)(. LH ¦†BW—'D H–‹–BD"•H)( 8'HS9<;•=?>SHL8 Bu$@¦!F'8'H 9 @>SDMTTMH™DM8/'K H–8/$@8 B?H ‹ @=J'H–F+R'H ‹–HL¦ @¦¦?H–=BD;•8'¦™DM>*'TMDEGF:HL8 B­T-@ ƒ @T;•=?¦™EGF:H ‹ J$@‹–F'8'd H 'H ¦HL¦ ¦?;F'¦†¤ƒ9 @>ADTMTHL¦­HL¦†B DM8/'K H–8/$@8 B?H#( [28 H–F:B HL8 H,N H B*B=;•F'HL= 'H–¦ 9<;•8'‹ BD;•8'¦ 'K !$8:DMHL¦ ¦?F'= 3RC@TMH–F'=?¦ $@8'¦ [0, 1] ENF'D¦@CB?DM¦†9<;•8 B F'8'H¯¦?HLF:TMH 'H¯‹LHL¦AB=?;DM¦ '=; ;¦?DB?DM;•f8:¦(> @CDMe ¦ $@C¦WTHLO ¦ [0, 'H–1]F + @F:B?=?H–¦ ( Ž²@ '=?H–>AD L=H WD 'K–H ENF'D(=?H–¦?¦;•=T B 'H ‹–HL‹–DH–B ENF'e D 6HLF:T B ‚ B=H ,H +'=?D>AK–H HL8F'8:H ¦?;•=†Bg H 'H >AK B @ ¤ BJ:KL;•.= L>SH  H–¦BSENF'H Tg H =?@O D $@=?@TMTKLTDM¦?>SHSHL¦BA>S; 'K–TMD¦?M K $@C=STM@8';BD;•8 'd H '=?G; 'F'D&B ‹ @=†BK–¦?DMH–8 (]'@8'¦ F'8'H ‹ @ B K 5;•=?Dd H 3‹ J:;•DM¦DM!= )0( [28 6HLF%B e3>A@ ‹L;•8:8$@DM¦¦@8:‹L#H •K–=?D !'HL= ‹LH B?BH @ S=?>A@CB?DM;•8 6;•F'=qB;F'¦ TMHLx ¦ :=?DM8:‹LWD '@F + ‹ #@ '=HL¦ $}K–B?/F '4 H 'HYT-@2‹L;8'‹LF'==?H–8'‹L4 H ';•8 B TMH–¦Š>AG; /–TMHL¦Š¦;•8 BPTMHL¦Š;G— H–B?¦ $}F'8'H ‹ @ BK 5;•=?D#H (™£ TF'¦ '=KL‹LD¦?K–>AH–8NB ²¦?DqTHL¦­#@ 5•H–8 B¦ X , . . . , X ;•8  B 6;•F'=2>SG; /LTHL¦2=HLk¦ 6HL‹ BD&9<¦ 1 n @TM;=?¦(TM@*>AD¦?H2H–K 8 $@C=@TWT LTH 'HL¦Y‹LH–¦W#@ 5•HL8 B?¦WH–¦BW>S; 'K–TMD¦?KL2H $@=TM2H '=?;C¤ M1 , . . . , Mn X1 | . . . |Xn 'F'D&BY‹ @=†BK–¦?DMH–8 M × · · · × M ( Ž²@*¦?H–‹L;•/8 :H!H–¦BWENF'1 #H ''H29 @  ;8 n@C—'¦B?=@D&B#H ;•g 8 6HLF:Q B ',K !$8'D=(T-@*=HLT-@ BDM; 8 $}DM/8 :K 6HL/8 $@C8'‹LH­¦?F:=F'8 HL8:¦?HL> —'TMH ‹L;>A>SH­F'8'H™9 @C>ADTMTMH 'H =HLT-@ BDM;8 ¤„@D=?H–@¦ 6;•¦?¦K $@C8NB2TMHL4¦ 'H–F +K'=?; :DMK–B?KL¦¦?F'"D N¤ @8 BH–¦ 6²B;•FX €B $@—6;•k= #6;•F'=²B;•F:B?H¦iF'nDB?H (x , . . . , x n) $}KLTKL>SHL8 BU¦ 'H X BH–TMTMHŠENF'H i (x , . . . , x )  ;•8 @ K 5 @THL>SHL8 B ENF'HLTEGF:HL¦?;1 DB!T-@ ¦;•nF'¦†¤ ¦?F'D&BH 0 'H (x , n. . . 1, x ) (ARŠn8¤ ik (x01 , . . . , x0k ) (x1 , . . . , x0k ) 1 n ¦?F:DB)H a ;F'=(B;•FB H H–=?>*FB @CB?DM;•8 'H ';8 @ f. σ. {1, . . . , n}. in (x1 , . . . , xn ) ⇐⇒ in (xσ(1) , . . . , xσ(n) ). [28 ;•—:B?DMHL8 BHL8g$@=†BD‹LF'TDMHL=PF'8 H–8'¦?H–>*—'TMH­¦DM>*'TMD‹LD-@CT ( ;•DM=  ›v    ˜•›     ˜      ;•F TM@'K,!$8'DB?DM;•8 V( U'( ” )!H B*;•8 H–F:B*‹–;•8'¦B@CBH–= ENF'H ¦D HL¦†B DM8''K6HL8/'@8 BH @CTM;•=¦!B?;•F'¦*THL¦J5•=?;•F' H–¦ $}J';•>S;•TM#; 5•DMH ( •;DM=       ;•F T-@ ¦;•(x F'¦†1¤ ,¦?.H–.‹–B. D,;•x8 n )Vu(yU( ) 'HS¦?;8 H–8'¦?H–>*—'TMHS¦?D> :TMDM‹–D-@T@¦¦?;G‹LDMK ¦?;8NBB=D GD-@GF +(W±2@C8'¦.T 0H +:H–> :TMHJ'H TM@S9<;•8'‹ BD;•8 H–B2'HL¦.B?=?;•D¦.@C¦?¦?H–=B?DM;•8'¦T-@ f : [0, 1] −→ [0, 1] ‹L;8'‹LH–=?8$@8 B  T-@=H '=KL¦HL8 B @CB?DM;•8 :H=T }HL8:¦?HL> —'TMH¦?DM* > 'TDM‹LDM@T @¦¦?;G‹LDKHL¦†BŠTMH— ;=kF'8*B?=?DM@8/5•TH8';8 #@ /:T-@CB?=D 

(45) ¦;•8 'H–F +WD –>AT H 5•=;•/F 6H*J';>A;•T; 5•DH HL¦† B :;•8'‹ ( ±2@C8'¦™‹–H–B™,H +HL* > 'THSTM@ =?K–‹LWD :=?;GEGF:H Z HL¦†4 B ';•8' ‹ G=@DH\> @CDM¦(‹–H™$8 }HL¦†4 B $@¦B;•_F ;•F'=?¦YTH\‹ @¦ ( . . 

(46) . 

(47)  1 

(48) .  . M. Ž+HL¦ S > ;'LTMH–¦ ‹–T-@¦¦?DMENF'H–¦ 'H T-@ ‹L;•8'‹–F'=?=HL8'‹–H#:';•8 B ;•8 B?=?;•F'H F'8'H K BF/'H ‹–;•> '@=@CB?DH$@8:¦   ƒ 

(49) ¦?;•8 B\B?;•F'¦\‹L;>*—'DM8'@CB;•D=?H–¦ ‹)H–¦B†¤s3 ¤ 'DM=H*ENF$DTM¦28:H*9<;•8 B­@F'‹–F'8'H =?K 9<KL=?H–8'‹LH*3 TM@AB; 6;•T; 5•DMH)( £@C=™@CDMTMTHLF'=¦ 

(50) TMM @ 'TM'F $@= B 6;•¦k¦ :HL8  B :HL¦'K!'8'DB?DM;•8'¦\ENF'Dx6HLF•HL8 Bu@C=?DMH–=2¦?H–TM;•8 T=@F:B?HLF'=( £@C= ¦?;F'‹L D $}J';•>S; 5•K–8'KLD&B)K ';•8 ¦?H­=?K 9<KL=?H–=@ ,H +‹LTF'¦?"D •H–>AH–8N2 B 3   ƒ ( ”•”.

(51) 2   % I) h

(52) ,   1) C  !1) 2Z }HL¦Bj H–F:B¤ ‚–B=HTH>S;/–TMH TMH'TF'¦K–TMKL>SHL8 B@DM=H#(£@=U'K!$8:DBD;•8$CF'8j7$7 X ?`a=jD= XBs:-Fg79[\Xs[\@SFg7  ;$# HL¦†B2F'8ENF$@#: =?F/'TH–B HL¦B2T=}HL8'¦HL>*—'TH'H–¦2K–B@CB¦ F'8 KLTKL>SHL8 B :H T T := S, i, L, T ran @)/ H–TMK2T K B @CB(DM8'D&BD-@CT= T H–8'¦?H–>*—'TH' HL¦YK–B?DMENF'H SB?BH–¦YH–B F'8'H­¦?;F'¦†¤ $@=B?iDMH :H S L T ran @#/6HLTKLH\=HLT-@ BDM;8g' H\B=@C8'¦?D&BDM;8$Š ( X8 >S;•=k'J:DM¦?>SH ' H­¦†®¦†B\– >AH–¦@' H\B?=@8'¦DB?DM;•8'¦HL¦BF'S8'H×$@LCDM× =?H S (σ : S0 → S1 , λ : L0 → L1 ∪ {∗}). ;$# HL¦†BF:8A¦†®> — ;•THe'D¦BD8/5•F'KO:;•8 B T-@2¦?D5•8'D"!$‹ @CB?DM;•8 D8 BF'D&BDH(HL¦†B „ 8';•8 : K!$8'DHE(ŠŽ+H–¦P>SHL> —'=?H–¦ ' H­∗‹LH­‹–;•F/'THJ:;•DHL8 BQ•KL=D!$H–= ( ”( ˜(. σ0 (i0 ) = i1. (s, a, s0 ) ∈ T ran0 =⇒ (σ(s), λ(a), σ(s0 )) ∈ T ran1,∗. +Ž HL¦ K BDMENF'H B?B?HL¦ ¦?;8NBT:HL¦S@‹–B?DM;•8:¦ H–B ;8 'DB ENF'Hg:HLF+ @C‹ ¤ BD;•8'¦ H–B ¦?;•8 BqD8/'K H–8/$@8 BH–¦•‹)H–¦B†¤s3 ¤ 'DM=HENF$}HLTTMHL¦@#5•D¦†¤ ¦?H–8 BH–a8 '@b=@TTW–TMH#CTM;•=¦?ENF'HT;•8S@ 6;•F'=Š8$}DM>*6;•=B?H(ENF'HLT$K B @CB B=;•DM¦ K B @CB?¦ H–B 0 ‹L;>A>SH¦?F'= TMH8'DM@#5•=@C>A>SH 'H s '=;•DB?#H (t[28 WD 'sH–18N, sB?D 2!$H :s;•8'‹T-@ 8';CBDM;8 '8 H $@=@CTMTMK–TMD¦?>SHK3 T-@ 6;•¦?¦DM—'DTMD&B2 K D8NB?HL= •HL=†BD=WT ;k= '= H 'HL¦@‹–B?DM;•8:¦ (ZH–BBH!8';C¤ BD;•1 8 'H $@=@CTMTMK–TMD¦?>SHŠ¦?O H 5•K–8'KL=?@TMD¦?e H 3F'8'H(9 @>SDMTTMH HL8¯@ S=?>A@8 B.EN$F }HLTTMH­HL¦†B2D/8 'K 6HL'8 $@8 BH™TM;•=¦?ENF'J H ;a1•,F:.=Y. .B?,;•aF:nB K–B@CB DMT.,H +DM¦†BHF'8 K–B @ B 0 BH–T\ENF'R H 6;•F'= B?;•F:B8 H 6HL=>*F¤ B @ BDM;8 s :H *sDMT ,H +DM¦†BHF'8'H¦?F:DBH :HB?=@8:¦?D&¤  {1, . . . , n} BD;•8'¦ f. (. 0. s ~> `@@@ @@b a ~~~ @@ ~~ @ ~ ~ s1 `B > s2 BB || BB | | B || a b BB || s. (s, af (1) , s1 ), (s1 , af (2) , s2 ), . . . , (sn−2 , af (n−1) , sn−1 ), ( (sn−1 , af (n) , s0 ). Z H6HL8'$@8 B%$‹–H–B?B?H­8';BD;•8 8'H\=H'=KL¦HL8 BHJ$@¦H0+'@C‹–BH–>AH–8 BYTMH2G=@CD$$@=?@TMTKLTMD¦?>SHY> @D¦-'TF:BCB(TMH  8';•8G¤q'K BHL=>AD8'DM¦>AH'H T=};•=k'=HuH0+:K–‹LF:B?DM;•8(!Z2H–¦B3:DM=?H!ENF'H TM;=?¦?ENF$}F'8@)5•HL8 B ‹L;•>S>SHL8'‹–H F'8'H @‹ BDM;$8 2‹LH–F + ENF'Du'@=?>SD\TMH–¦¯@FB=?H–¦ ¦;•F'J$@CDBH–8 B¯H,N H–‹–BF:HL=¯F:8'H @C‹–BD;•8 ¦?DM> AF'TB@8'KL>SHL8 B ';•"D •H–8NB‹L;>A>SHL8'‹–HL=@FS> ‚–>AHY>S;•>AH–8 BENF'H A H–B !$8'DM=P@FA> ‚–>AH>S;•>SHL8 BPENF'H A (Š£ŠTMF'¦5•=?@PH HL8:‹L;•=#H 'F'8:H29 @>ADTMT4 H  @‹ BD;•8'¦ BHLTTMHEGF: H 'HLF +M$}HL8 B=H!H–TMTHL¦8: H 'F'DM¦¦?H–8NB€?@C> @D¦:‚ B=H 'K–‹LTMH–8'‹ J'K–HL¦ ¦?D>*F'TB@8'K–>AH–8NB ¦?H–a=1@ , ..., 6HLa=  nF'H ‹L;>A>SHAD/8 'K H–/8 $@8 Bg H 6;•F'= GF EGF:H EGF:HLT(ENF'H ¦;•DB T=};•.= '=?4 H $@8'¦TMHLENF'H–T ;8 ,H +KL‹–F:BH\THL¦@‹–B?DM;•8': ¦ 'H.‹–H–BBH.9 @>SDMTTM)H •;•M 8 'F:DM¦?¦H2;•—:B?HL8'D=TH* > ‚L>SH.K B @CB !$8$@C=T #‹ }HL¦†B ;F'=?ENF';•D²;•8 K ;ENF'H*TH™8:;•8q¤ :K–BH–=?>SDM8'D¦?>S#H (±;•8'8';•8:¦.F'8 0H +HL* > 'TMJ H 5•KL;>AK B=?DENF'#H ( xŽ H–8'¦?H–>*—'TH 'HL¦ K B @CB?¦ HL¦B {0, 1}3 H B ‹LHLTF'2D :HL¦ K–B?DMENF'H B?BH–¦ {∗, a , a , a } ( Ž+HL¦ B?=@8'¦DB?DM;•8'¦ 1 2 3  $; # ¦?;8NB THL¦ B=WD 'TH–B¦ H–B 0 0 0 0 ¦?D 0 ¦?D8';•$8 •@F +ENF'HLT¦q;•8 (x _@ 1;•,FxB2H, xTHL3¦),B?=a@k8:, (x ¦?DB?1DM,;•x8:2¦ ,xWD '3 )H–8NB?DB?KL¦ x i = xi (Š[2i8*¦?6=;F'kJ$@D&BH(x@CkDM8'¦=D=H 0,'=xKLk¦?H–= 8 BHL1= (s, ∗, s) TMH–u ¦ :D N KL=?H–8 B¦!‹ J'HL>SDM8'¦™@TT-@8  B 'F ¦?;•>S>SH–B @F ¦;•>A>SH–B HL8 8'HS¦? H :K 'TM@  @8 B ENF'H ¦?F:=*TMH–¦*@.= ‚–BH–¦ (7TH–¦B ‹–T-@D=!ENF')H  $@8'¦ (0, ‹–H 0,¦®G0)¦kB L>Sg H 'H B?=@8'(1, ¦DB?DM1, ;•8'1) ¦ qT-@ 9 @>SDMTMTH a , a , a HL¦†B D/8 'K H–/8 $@8 B)H >A@D¦2DMTqH–¦B @F'¦¦?DŠ‹LTM@DM=.EGF:H 'H–F + @‹ BDM;8'¦\8'* H H–'F •H–8Nu B $@J ¦ ‚–B?=?H H N 1 HL‹ B2F'K–H3 ¦?D>*F'T&B @8'K–>AH–8 %B (ŠŽ² @ 5•K–;•>SK–B=DMH¦?;•F'¦„¤ ?@‹–HL8 B H 'H.‹LH–BY0H +HL* > 'TMH2H–¦BYF'8 ‹–F'—6H D ' H 3 9 @‹–HLe ¦ GWD :HL¦  #‹ }HL¦†Bq¤ 3 q¤ 'D=?H ';8NBWDT

(53) 8'H­¦?F'—:¦?DM¦†BH­ENF'H!TMHL¦Y@Ck= ‚–B?HL¦ (:y$;•=>AH–TMTHL>SHL8 B    {0, 1} × {0, 1} × [0, 1] ∪ {0, 1} × [0, 1] × {0, 1} ∪ [0, 1] × {0, 1} × {0, 1}. Z;•>*$@=;•8'¦>A@DM8 BH–8$@8 BW@%•H–‹™TH\¦®G¦BkL>SHu'H\B?=@8'¦DB?DM;•8'¦¦?F'D"@C8NBJ6 0. a. /.  1 × 0. a. ”˜. /.  1 × 0. a. /. 1. .

(54) ';•8 BWT=}HL8:¦?HL> —'TMH'H–¦K B @CB?¦YHL¦B. {0, 1}3. H–BYTMH–¦YK–BDENF'H–BBHL¦. {(∗, ∗, ∗), (a, ∗, ∗), (∗, a, ∗), (∗, ∗, a), (a, a, ∗), (a, ∗, a), (∗, a, a), (a, a, a)}. ²Ž @ 9 @C>ADTMTMH@$}K–BDENF'H–BBHL¦ H–¦BHL8'‹–;•=?H!F'8'H­9<;•D¦46HL=  F'H!‹L;>A>SH\DM8/:K6HL8/$@C8NB?H™H B26;•F'= a1 , a2 , a3 TMH–¦Y> ‚–>AH–¦ ( $@¦¦@—'THL>SHL8 B> @F@CDM¦?H–¦!)(=@CDM¦?;8'¦(ZH–BBH™9<;DM¦‹LH H–8/$@8 B THJ'@=@TTMK–TMDM¦>AH ( ¦†®8G¤ ‹ J'=;•8'HM)M'H–¦ B?=?;•D¦ @‹ BDM;8'¦ ENF'D\‹–;•=?=HL¦. ;•8''HL8 BK3 a , a , a $@8:¦ (a, ∗, ∗), (∗, a, ∗), (∗, ∗, a) T=},H +H–> 'TH '=KL‹LK 'HL8 B 6H–¦Q B 'TF'¦TMK5•DB?DM>SH#(RŠ8 H,N H B%$;•8 @CDM>SHL=@CDB: ;•F•;•D=(H,+'=DM>S1HL=(T2H.9 @3 DB(EGF:H T-@ 9 @C>ADTMTMH (a, ∗, ∗), (∗, a, ∗), (∗, ∗, a). HL¦†B KLENF'D"@CTMHL8 B?H3 (Ž+H­9<;=?>A@TMD¦?>SH@'H–¦¦†®G¦B\–>AH–¦2'H\B?=@8'¦DB?DM;•8'¦8:H!TH H–=?>SH–BQ$@¦ ‹#}HL¦†B ;F'=?ENF';•D;•8 T=}HL(a, 8:=?DMa,‹ J:a) DBU$F:8'H=?H–T-@CB?DM;•8™—'DM8$@CDM=?HP¦?F:=ŠTMHL¦K–B?DMENF'H–BBH–¦x ;•F:=j ;F'•;•D=H0+':=?DM>SHL= T=}DM'8 'K6HL8/'@8'‹LHT'H–¦ @C‹–BD;•8'¦\‹–;•>A>SH F'8'H*';•8:8'KLHT'=DM>A@DM=H#( ZH B?BHA@#/:=?;G‹ J'HAH–¦B!K5•@TMH–>AH–8NB ‹LH–TMTx H 'HL¦²B=?@‹LH–U¦ 'e H ` DPpA9\vB;=X,wx;=<kp(RŠ8™K–‹ J';2@FG+­=?H–> @=ENF'HL¦#ENF'D ;•8 B€:Ksk3YK–BKŠ9 @D&BH–¦+‹L;•8'‹–HL=8$@8 B T-@28:;BD;•T 8 $D/8 'K H–/8 $@8'‹–#H GDMTHL¦B‹LTM@DM=ENF$F:8'H¦DM>*'TMH=?HLTM@CBD;•8 —'D8$@DM=H(8'HY¦?F SB$@C¦(Š±.H4'TF'¦ DMTŠ8 H–¦B $@Cu ¦ 6;•¦?¦DM—'T#H $@=!,H +HL* > 'T#H €:H =?H '=?K–¦?H–8NB?HL=*THS9 @CDB!EN$F F:8 #@ 5•H–8NB 0 ‹L;•>S>SHL8'‹–HAF'8:H @‹ BDM;8 @T;•=?¦PEN$F F:8 @F:B=H\#@ 5•H–8 B H–¦BH–8 ‹L;•F:=?¦ 0H +:K–‹LF:B?DM;•g 8 F'8:H\@F:B?=?#H A $}$; # TMHENF$@TD !$‹L@CBD&9 A ¦®G8'‹ J:=?;•8')H (([2g 8 6;•F'==@D&B(@.= 5•F'>SHL8 BH–=ENF'H\‹–HLT-@™HL¦Q B 6;•¦¦?DM—:TMH.ENF'D&B?B?H 3*‹LG; 'H–=(TMH–¦DM8:¦B @C8NB?e ¦ $@8:¦ TMH–¦K–B@CBQ ¦ 'F ¦®G¦kB L>S#H HL8 ‹L;8'¦?D 'KL=?@8 @ B '@=Y,H +HL* > 'TMH\T H–8'¦?H–>*—'T H $K B @CB?¦ n. . (s, s , t) t ∈ R. 6;•F'=. 0. 0. s, s ∈ S. B?HLTM¦ENF$}DMT+H0+DM¦B?H­F'8'H\B=?@8'¦?D&BD;•8g'H. HL=¦ s. 0. o. s .. Z HLTM@‹–;•8/'F'D&Bj34'HL¦¦®G¦BkL>SHL¦j:HB=.L¦U5•=@8'™B @CDMTMTH#%;•DM=HDM8!$8'DM¦(qZH–¦€'H–=?8'DL=HL¦‹–;•8'¦DW'K–=@CB?DM;•8'¦  T-@CDM¦?¦HL8 BY¦?H'=;#!$THL=T=}DM8 B?HL=.HL8 BD;•8d'H­T-@*B;#'TM; 5DMH#(. 2 2.  )    10. () !%1 I!1 X8 @=?—'=H'H ¦®G8'‹ J'=;•8'DM¦?@CBD;•8 H–¦B F:8 ¦®G¦BkL>SHM'H B?=@8:¦?DB?DM;•8:¦J:;•8 B*B;•F:¦ TMH–¦ K B @CB?¦ ¦?;8NB*@CB¤ BH–DW5•8'@—'TMH–¦_' ;•8 BTMHx5•=?@#'J'HP¦?;F'¦†¤"?@‹LH–8NBHL¦†B¦?@8'¦Y—6;•F'‹LTHL¦ ( ‹–;•> '@=?H–=²@PHL‹T-@O'K!'8'DB?DM;•8­7?77E( ” ( ˜$) a H–BPBH–TEGF:H¦D6;8 @J' HLF+ B?=@8:¦?DB?DM;•8:¦ s0 / sO @TM;•=¦ 0 00 H B ( ‹–;•>*$@=?H–=P@PHL‹w27?7E( ” ( ” ),( s =s a=b b 00 I#;•F:B¦†®¦†B\– >AH' H2B?=@8:¦?DB?DM;•8:¦-' ;•8:8'H2TMDHLF$ sP;]. D F'8 s: K'TD-@#•5 H2E3 F'8 @=—'=?H : H2¦®G8'‹ J'=;•8'D¦@CB?DM;•8$( [28¯>S;•8 B=H @D8'¦?D+ENF'H™T-@ ‹ @CB?K•5 ;=?DMH' H–¦2@=—'=?H–¦2' H!¦®G8'‹ J:=?;•8'D¦@CB?DM;•8 HL¦†B2‹L;=?K'KL‹ J'D¦?¦@C8NB?H1$ @8:¦ ‹LH–TMTH1' HL¦\¦†®G¦B\– >AH–¦u: H*B=@C8'¦?D&BDM;8'¦ ( • ;•D=   ƒ  )0( °:@C8'¦\HL8 B=HL=$ @C8'¦\TMH–¦' K–B@DMT¦

(55)  ‹–H*9<;•=?>A@TMD¦?>SH CB?DBO: HL¦W> –‚ >AH–¦DM8'¦F S¦@8'‹–HL¦WENF'H™‹–HLTF'D$' H–¦¦†®¦†B\– >AH–¦@' H\B?=@8'¦DB?DM;•8'¦( 2 3. .  x$1)& )&$   # !./

(56) - C+) [28 ¦?H :;•8'8'H2F:8'H •5 =?@>A>A@D=?HQ';•8 BF'8g:HL¦(‹–;•8'¦B?=?F'‹ BH–F'=?¦Q'H.B?HL=>AH–¦(HL¦†B H BENF'D ‹–;•>S>AH;•8 ¦«® @CBBHL8'$ H–=?>SH–BYT-@ >SDM¦H\HL8|'@=@TTW–TMH2:Hu'H–F+z'=;‹–HL¦?¦F'¦(ZH–B?B?H5•=@>S×>A@DM=H2HL¦†B—:DMHL8 ¦:= KLENF'D K–H$ F:8 ¦†®¦†B\– >AHJ' H­=k•5 TMH–¦4: ;•8 BY‹LHL=†B @D8'HL¦Q6;•F'=YT=} ; 6KL=?@CBH–F'= ENF'D²¦?;8NB × . t0. a. /. t00. t0 × t 1. t1 a×b. /. b. /. t00 × t01. t01. t0 t0 × t 1. a×∗. /. t00 × t1. a. /. t00. t1 × t 0. ∗×a. /. t1 × t00. Z H–BBH 9<;DM¦WHL8'‹–;•=?H) DMT#@#'$@=@4%MB‹LT-@CDM=?H–>AH–8 BENF$}DMT#8$}HL¦†B$@¦@ ;•¦¦?D—'TMHJ'H*=H'=KL¦?H–8 BHL=\THL¦'„K–B@CB¦  DM8 B?HL=?>SK:D-@D=?HL¦ 'F ¦®G¦BkL>SH#(WŽx @)/'TMD‹ @CB?DM;•8d$}F'8'H!=k5•TMH!HL¦†B2H–8¯HN H–BT=@8$@CTM; 5•F:H$F:8'H™B?=@8¤ ¦?D&BD;•8 H–BA=T }WD 'K–H EN$F F:8'H =.5•THd'F'DM¦¦?H ‹L;>A>SHL8'‹–KLHK3 ‚–B=H¯@)/'TMDENF'KLH @T;•=?¦ ENF$}F'8'H¯@F:B?=?H HL¦†B ”Pƒ.

(57) HL8 B?=@D8'H T= ‚–B?=?H $8 @ $@¦ :H ¦?HL8:¦( +Ž HL¦ @)/'TMD‹ @CB?DM;•8:¦™H–8 '@=@TTW–TMHS¦?H 9<;•8 BT';•8:‹g'H 9 @  ; 8 LH 8 B?=?HLTM@‹LK–H#(WŽ+H ¤‹ @CMT ‹LF:T#;FZZ° ¦;•8 B2'H–¦.H0+:H–> :TMHL¦@'H­BHLT¦TM@8/5 @)5•HL¦;•DM=  U>     š  H B  ”  ' H1cQ?#C; bK`|; FIbX,π9,(. 2.  0 (

(58) -m+   X8 =?K–¦?H @CF ' H QX,H90;qH–¦B™F'8 ENF'D8NB?F/'TH–B ;$# H–¦B™F'8 H–8'¦?H–>*—'TH ';8NB (B, M0 , , E, pre, post) B TMH–¦K–TMKL>SHL8 B?¦¦?;8NB@#/6HLTMK–¦‹–;•8/'D&BDM;8'¦ @%•H–‹ H–B  HL¦B(F'8 HL8'¦HL>*—:TMH2:;•8 BTMH–¦ M0 ⊆ B M0 6= ∅ E KLTKL>SHL8 B¦Š¦;•8 BP@#/6HLTKL¦ŠK#L 8'H–>AH–8 B¦PH–B ;$# H–B ¦?;8NB'H–¦q9<;•8'‹ BDM;8'¦j'H 3 C@TMH–F'=?¦€$@8'¦ T=} HL8:¦?HL> —'TMH ' HL¦*¦;•F'¦„¤q$@=†BDHL¦: H B?HLTMTHAENpre F'H post H–B 8:H E¦?;8NB1$@¦uGD'HL¦ B ∀e ∈ E pre(e) post(e) ¦@CF:9e6;•F'= T=} K#L‚ 8'H–>AH–8NB™DW: HL8 BD&BK ENF'Dj• K–=?D"$! H H–B ( £#;•F'= M H B M 0  S =∅ 'H–F+ ¦;•F'¦„¤∗HL8:¦?HL> —'TMH–¦' H B  ;•8 H–F:B*@CTM;•=¦Nq$@pre(∗) ¦?¦HL= *' =H ∅ 3 post(∗) – H 8 , H +  L K – ‹ F:B @C8NB ( ;•8 8';B?H M M0 e )™TM;•=¦?ENF'H  – H B ( e / 0 0 ∀e ∈ E pre(e) ⊆ M post(e) ⊆ M M \pre(e) = M 0 \post(e) M M 6;•F'= s:=?;G' F'DM=H ( ±H ‹LH*6;•DM8 BJ' H G F'H)q T-@ Žx D' KLHSHL¦†B*ENF'HAT=} ;•8‹L;•8:¦?;•>S>AH2 pre(e) post(e) 8';B?DM;•8: HP‹–;•8'‹–F'=?=HL8'‹–HENF'D K–> @8:H: HL¦²=?K–¦?H @CF+J' H QX,H90; HL¦B#H0'+ @C‹–BH–>AH–8 B‹–HLTMTHŠENF'H T=} ;•8\‹L;•8:8$@ %MB J$@—:DBF:HLTMTHL>SHL8 B%# ‹#} HL¦†B¤q3 ¤q' D=?HAEGF:HM' HL¦*@‹–B?DM;•8'¦™HL8 B=H HL8 ‹L;•8'‹–F'=?=HL8'‹–H TM;•=¦?ENF'HATMHL¦™=?H–¦?¦?;F'=?‹–HL¦ ' ;•8 BHLTTMHL¦Y;•8 B— H–¦?;•D8 ¦;•8 B2‹–;•>A> F'8'HL¦Y ( °F'D"C @8 B‹–H–BBH =HL>A@=?ENF'H) ;•8|' D&B@TM;•=¦YEGF:H e, e0 ∈ E ¦?;8NBWD8/' K6HL8'$ @8 B¦WTM;•=¦?ENF'H . . .  

(59). . .   pre(e) ∪ post(e) ∩ pre(e0 ) ∪ post(e0 ) = ∅.. 7 TH–¦B 8'@CBF'=HLT'HM'D=?HAEGF:HM'HLFG+ K#L8'H–>AH–8 B¦ DM8/:K6HL8/$@C8NB?¦ H–B 0 H–F'•H–8 BT‚–B=H H,+K–‹LF:B?KL¦ ¦?D>*F'T&B @8'K–>AH–8 B%( Ž²@z®8'@>ADENF'H ¦?;•F'¦„¤?@‹–HL8 BH*'H–¦™=KL¦?HL@F :HAe£#H–B?=?D e HL¦†B™‹–T-@D=?H–>AH–8NB:DM¦?‹–=k BH#( I#;•F:B!‹L;•>S>SH1$@8'¦­THL¦!@F:B?=?HL¦­>S;'LTMH–¦ 'D¦?‹L=H–B?¦#;•88'HT H–F:BJ$@¦G=@D>AH–8NB­=H'=KL¦HL8 BH–='H–¦ K–B@CB¦ B?=@8:¦?DB?;•DM=HL¦ $F:8 ¦†®G¦\B –>A)H 2#‹ }HL¦†B¤q3 ¤q'D=?H ‹–HLF+ ;$# 'TMF:¦?DMH–F'=?¦ K, –8'HL>SHL8 B¦ ;•8 B TDMHLF ¦D&¤ >*F'T&B @8:KL>SHL8 B2>A@DM¦$8 };•8  B $@¦\‹–;•>A>SHL8:‹LK*H  B H–'F •H–8 B™8:H $@¦ !$8'D=2@F* > ‚L>SH*D8'¦B@8 B%(™[28@ ‹LH H–/8 $@8  B 5 #@ 58'#K L$@C=Š=#@ /6;•=†B @F ¦®G¦kB L>SQ H 'HB=@C8'¦?D&BDM;8'¦ •F:8'H8';B?DM;•8 $}DM'8 'K 6HL/8 '@8'‹LHYD¦?¦?F:H 'H­=T }WD :KLH2B.= L¦Y8$@CB?F'=?H–TMTH 'H $@=†B #@ 5•H :HL¦W=?HL¦¦?;•F:=?‹LH–¦ (. 2.  x$1)& )&$  ')./ ±2@8:¦ B;•F:¦ TMH–¦ ‹L@#' =?H–¦ ENF'H 8:;•F'¦ @%•;8'¦GF'¦4F'¦ENF$l3K'=?K–¦?HL8 BPTH '@=@TTMK–TMDM¦>AH K–B @CDB™DW'H–8NB?D!$K 3¯F'8H–8NB?=?H–T-@‹–HL>SHL8 B ¦@C8'¦1'K BHL=>AD8'DM¦>AH $@‹–B?DM;•8 @ B;•>SDMENF'H ( Z2H–¦B ‹–H–B?B?H @CB?;•>AD‹LD&BK > ‚–>AH ENF'D#DM8 BH–=k' D¦@D&B'T=} H,+ KL‹–F:BD;•8|'@=@TTW– TMH­@¦†®8:‹ J'=?;•8:HE(\[\8 ¦?H1:=?; 6;•¦?Hu'H =HL>SK'DHL=@3A‹–HLT-@(XW8 T-@C8/5 @#•5 Hu' H B?=@‹–HL¦' H` DPpA9\vB;=X,wx;=<k. p H–¦B­F'8 B?=?DW:TMH–B (M, L, I) ;$# L HL¦†B­F'8HL8'¦HL>*—:TMH H–B2F'8'H ¦?;F'¦†¤ $@=B?DMH ' H @#/6HLTMK–H=?H–T-@CB?DM;•8g$} DM8'' K6HL8'$ @8'‹–H Š ( [28 ¦?F/' ;•¦HYEGF:H HL¦†B ¦®G>AK B=DMENF'H H–B2DM=?=K$H0+ D• IH)! ( R 8L$! ×8$ LM F'8¦;•F'¦†¤ HL8'¦HL>*—:TMH1' H L∗  ‹#} HL¦B†¤s3 ¤ ' DM=H T H–8'¦?H–>*—'TMHuI' HL¦\¦F'DB?HL¦2'! 8'DMH–¦ $} KLTKL>SHL8 B¦e: H L KLENF'DW6K ' H.T-@™T;•D' H2‹–;•8'‹ @ BKL8'@CBD;•8( ;F HL8'‹–;•=?H.>A;•8:; ' HWTMD—'=?HWHL8'•5 HL8/: =?K$@= )BHLT+ENF'H­THL¦Q'=?;#'=?DK–BK–¦¦?F'D"C  @8 BHL¦W¦?;DMHL8 BY¦?@CBD¦9 @D&BHL¦6 L ”( ∀s ∈ L∗ ∀a ∈ L (sa ∈ M ⇒ s ∈ M ) ˜( HB ∀s, t ∈ L∗ ∀a, b ∈ L (sabt ∈ M aIb ⇒ sbat ∈ M ) ƒ ( ∀s ∈ L∗ ∀a, b ∈ L (sa ∈ M H B sb ∈ M H–B aIb ⇒ sab ∈ M ) 78 BF'D&BD"• HL>SHL8 B ¦DW•5 8:D$! H ENF'H THL¦@C‹–BD;•8'¦ H B ¦;•8 BDM8/: K6HL8/$ @C8NB?HL¦ ;•8 @B+ DM;•>A@CB?DM¦?H ‹LH B?B?H D' KLH$@= TMaIb H–¦ '=?;#'=?DK–BK–¦S˜¯H–B ƒ ENF'D(¦DW•5 8'D"a$! HL8 B bENF'Hd' H–F+ @‹ BDM;8'¦*¦?;8NB D8/' K H–8/$ @8 BH–¦ . . ”.

(60) TM;=?¦?ENF$}HLTTMH–¦e H–F'•H–8 B@‚ B=H\HN HL‹–B?F'HL=O'@8'¦8$}DM>* ;=BHENF'HLT+;•=.'=?H.H–BYENF'H\‹ J$@ENF'H\9<;•D¦ENF'H­T=}F'8'H HL¦†2 B :DMk¦ 6;•8'D—'TM)H '=T @F:B?=?H­T=}HL¦†B@F'¦?¦D=(X8¯>S;•=.'J'DM¦>AH2'H!B?=@‹–HL¦4'H `8DPpAG9\vB;=X,wx;=<kp4'H •H–=?¦ (M 0 , L0 , I 0) HL¦B!F'8:H 9<;8'‹–B?DM;•$8  8';BK–H λ  '@=B?DMHLTTMH–>AH–8NB 'K !'8'DMH ¦F'= L 3MC@TMH–F'=?¦2(M, $@8'L,¦ LI)0 BH–TMTH2ENF'H. ( ”. ˜(. ∀a, b ∈ L. ¦?D. λ(a). HB. λ(b). ∀s ∈ M, λ∗ (s) ∈ M 0. ¦?;•8 B4'K!'8'DM¦YH–BWENF'H!T=};•8 @. (. aIb. @TM;•=¦. λ(a)I 0 λ(b). (. [ 8u6HLFBH–8'=?D‹ J'DM= 3O•;TM;•8 BK)CH–8™=H5 @C=k$@8 B 2 ‹L;•>S>AHŠTH–8'¦?H–>*—'THx'HL¦#K#L8'H–>AH–8NB?¦j6;•¦?¦DM—'THL¦( L M Ž²@\8';BD;•8 $}DM8/:K6HL8/$@C8'‹LHY8$}HL¦†B::TMF'¦ŠD¦?¦?F:H4F'8:H4:=?; '=DMK BKe'H–¦ K–BDENF'H–BBHL¦ (<D=(}H#(THL¦ŠK–TMKL>SHL8 B?¦ 'H L)\>A@DM¦­F'8'HS8';B?DM;• 8 '=DM>A@DM=H ( Ž+* H '=?;—'WT –>AH DM‹–D HL¦B ENF'H TM@ 8';CBDM;8R$}DM8''K6HL8/'@8'‹LHAHL¦†B —'D8$@DM=H H–B ¦HB=)@ 'F'DK B i#9\?PVEVP??9ƒG?B@'@= T- @ 6;•¦?¦DM—'DTMD&B| K :H9 @CDM=?H¯‹L;•>S>*F:B?HL= THL¦ K–B?DMENF'H–BBH–¦ 'K–‹LT-@C=?KLH–¦.D/8 'K 6HL'8 $@8 BH–¦ $@=WT-@ =?H–T-@CB?DM;•8 I (WR K 8 $@=†BDM‹–F'TMDHL= $DMT+$8 «® @ $@@ ¦ 'H™9 @  ;•8 8$@CBF:=?HLTTMH $}K ;ENF'H–= ''@8'¦ ‹LHY‹L;8NB?,H +GB)H :T D/8 'K 6HL'8 $@8'‹–4H F'8:HW9 @>SDMTTMH a , . . . , a (7T$=?HL¦†BHWK GWD :HL>S>AH–8NB 6;•¦?¦DM—'Tx H 'H 'K !$8:DM=+8';•J 8 'TF'¦+F'8'HP¦?H–F'TMH =?H–T-@D;•82—'D8$@D=?H >A@D¦

(61) F'18'HŠ9 @>SDMnTTMH ‹–;•>S>AHq‹–HLTM@ HL¦†B¦/F 5 5•K–=? K 3YT-e @ !$J 8 'H T-@¦?H–‹–BD;•* 8 ( ” (x Ž ;k= ';•8:8$@8'‹–HL>SHL8 I€ B :F!B?HL* > '¦²HL¦BDM* > 'T(IDMn‹L)D&n∈N BH–>AH–8NB ‹L;8NB?HL8NF $@8:¦TMHW9 @DBPENF'H M :ENF'D =H '=KL¦HL8 BH\D8NB?F'DB?D HL>SHL8 BT H–8'¦?H–>*—'T@H 'H–¦(K #L8'H–>AH–8 BQ¦ ;¦?¦?D—'TMH–¦ GHL¦†B F'8 ¦;•F'¦†¤ HL8'¦HL>*—:TMM H $}F'8 >S;•8'; ='HSTMDM—:=?#H €3¯¦%@ ;•DM= ∗ (¯x Ž  @CB?;•>SDM‹LD&BT K 'H–¦ @‹–B?DM;•8:¦ H–1 B ';•8'‹ 'F L BH–> :¦WH–K 8 :KL‹L;F'TM H 'D=?HL‹ BH–>AH–8NB (. 2.  I+). +)0

(62) , ( *10 h1/) RŠ8KL‹ J';3 T-@z'HL=8'DW–=?H =HL>A@=?ENF'HM:H T-@¯¦;•F'¦†¤ ¦?H–‹–BD;•8 '=KL‹LK'HL8 B?H#;8 '=?K–¦?HL8 B?H >A@D8NB?HL8$@C8NB F'8A>A;G/L THe$ @8:¦THLENF'HLTT;•=.';•8'8'@8'‹LH–>AH–8 B8H–¦B:'TMF'¦ D> 'TDM‹–DBH–>AH–8 Bj';•8:8'K@'@= F'8AH–8'¦?H–>*—'TH ;•=.' ;•8'8'K­D¦?;•>S;•=k:J'H3 ( X8'H$7 XBVe;<vXseBs=hDdcfH ?F;=?`a=?FGX7!H–¦BF'8 B?=?D'TMH B  ;$# HL¦†B!F'8HL8'¦HL>*—'TH ' ;•8 B­N, TMH–¦\≤KLTKL>SHL8 B¦\¦;•8 B™THL¦2K, – 8'HL>SHL8 B¦ HL¦B!F'8;•=.'=?H '@(E, =B?DMHL≤, T¦?F'])= HEB ≤ E H–¦B.F'8'H =HLTM@CBD;•8 ¦†®G>AK B=?DENF'H H B2DM==?K"$H,+ D H ¦F'=  @)/ H–TMK–H =?H–T-@CB?DM;•8d' H ‹L;•8 'DB ¦@CB?DM¦9 @CDM¦@C8NB ] E 6;•F'=8$} DM>* ;=BH.EGF:HLTM¦YK–TMKL>SHL8 B?¦  H 0 00 ' e, e , e E (” {e0|e0 ≤ e} H–¦BQ$! 8'D( ˜( e]e0 ≤ e00 ⇒ e]e00 [28K: DBY@T;•=?¦ENF'H H–B 0 ¦?;•8 BW‹L;•8:‹LF'==?HL8 B?¦ T;•=?¦EGF:H!T ;8 @  HB ( e e e 6≤ e0 e0 6≤ e e 6 ]e0 . . £;¦?;•8'¦. n . 1 ;•F 1o E := (x, y) ∈ [0, 1] × [0, 1] x ∈ [0, ] y ∈ [0, ] 2 2 H–B D8/'F'D&BW¦?F'= $@=T=};•=k'=Hu:=?;G'F'DB¦?F:= 2  H–B 0 0 T;•=?¦ENF'H ≤ E R (x, y)](x , y ) x ∈] 21 , 1] y 0 ∈] 21 , 1] ;•F 0 1 H–B ( [28 •K–=?D"!$H DM>S>AK'D-@CB?HL>SHL8 B™EGF:H TH ¦?H–F'TY@B+DM;>AH >SDM¦ HL8 'K–9 @CF:B x ∈] 2 , 1] y ∈] 21 , 1] HL¦†B­T-@ !'8'DB?F/'H 'H 0 0 (!7TqH–¦B­‹LTM@DM=WENF'H 0|e0 ≤ e} H–¦B­D8'!$8'D 8'KL@8'>S;•DM8'¦

(63) ;•8@ ¦F'= TM@ ¦B?=?F'‹ BF'=H*B; 6;{e •TM;#|e5•DMEN≤F'H!e}DM8/:F'DB?H$@=‹LH–TMTMHu'{e H 2 (™[\8 6;•F'==@D&B2@CTM;•=¦.HL8:=?DM‹ J:DM=.TM@ 8';B?DM;•8 E 'H­¦B?=?F'‹ BF'=HuK, L8:HL>SHL8 B¦2H–8K:HL>A@8/$@8 B@3 ‹LH­ENF'RH E ¦;•DBYF'8 HL¦.$@‹–H!B?; ;TM; 5•DENF'H(ž@CF TDMHLF $}F'8 ¦DM>*'TMH H–8'¦?H–>*—'TMHW),(ENF'H TMHd5•=?@#'J'Hz'H ≤ ¦;•DB 9<H–=?>SKz'@8'¦ E × E ( •;•D=STM@:K!$8'D&BD;•8 7E( ” ( ” ),$ENF'H ¦;•DBW;•F•HL=†BHJ$@8'¦ H–BWH–8'!$8¯ENF'H 0 0 ¦;•DBW‹L;> $@C‹–B (ž@CF TDMHLFg!$8:D ),( ] E×E {e |e ≤ e}. Ž+HL¦J ®G ;CBJ/–¦?HL¦4'H29<H–=?>SH–BF:=?H2H BQ$;F'•H–=BF:=?H\¦?;8NBY>SDM¦HL¦e'@=¦?;•F:‹LD$'H\‹–;•>*$@CBD—'DMTDB?KY@PHL‹­T-@ ¦B?=?F'‹ BF'=HSB?; 6;•TM; 5DMENF'H:H ( Ž²@ ¦†B=F'‹–B?F'=?HT'=; ;¦?KLHT'=KL‹–K'H–>A>SHL8 B!=?K ;•8' @T;•=?¦ 3 8:;B=H 8';•F •HLTTMH@'K!$8:DBD;•8 H B%/$@C8'E¦(TMH‹ @¦;$# ¦?;DB(F:8 HL¦k'@‹LH2B?; ;TM; 5•DENF'H@:DM¦?‹–=?H B%:;8 =?H–B?=?;•F•H\T-@ ',K !$8'DB?DM;•8ADM8'D&BDM@TMOH 'H.¦B=F'‹–B?F'=?2H $,K  –8'HLE>SHL8 B¦(Žx}DM8 B=;:F'‹–B?DM;•8 'H2T-@­B; 6;•T; 5•DMHH–¦BO:;•8'‹2F'8:H ”›.

(64) H,+GB?HL8'¦DM;•8 'H T-@ :K!$8'D&BD;•8¯D8'DB?D-@TH.B;•FB2‹L;>A>SH ‹–HLTMTHuH–¦k$@‹–H*B; 6;•T; 5•DMENF'H ( $@=B?DMH–TMTMH–>AH–8 B2) ;•.= ';•8'8'K\H–¦BYF'8:H!H0+GBHL8:¦?DM;8z:H\‹LHLTTMH H–8'¦?H–>*—'TMH ( $@=B?DMH–TMTMH–>AH–8 B2)Š;•=k';8'8'K( ;•DM=T-@1'K,!$8'DB?DM;•8 E7 ( ” ( ” ),((V ‹ @CF'¦?u H 'H™TMT @ !'8'DB?/F 'J H 'H 0 0 TM@THL=?¦DM;•8 ;•=?D5•DM8'@TMH(<¦@8:¦WB?; ;TM; 5•DHM)P¦?;•F'N =?H) ‹L;>A>SH2B;•FBHL¦YTHL¦¦B?=?F'‹ BF'=HL@ ¦ 'DM¦‹Lk= {e  BH–|e4¦ :=≤?; e} 6;•¦?K–HL4 ¦ $@8'¦YTHL¦Y¦?H–‹–BD;•8'¦Q'=KL‹LK'HL8 B?HL¦&$}DM>* ;•¦HL= F'8'H KL‹ J'H–TMTK H 'H BH–> :¦ 'D¦?‹–k= –B?#H ( ZH B?BH TMD>AD&B @CB?DM;•8 B;•>*—6H TM;•=¦?ENF'H =T };•8 '@¦?¦H 3T-@ •HL=¦?D;•8 B#; ;•T; 5•DEGF:#H ( I#HL‹ J'8'DENF'HL>SHL8 %B  TM H '=;•—'T L>SH!‹–;•>S>*F'K 8 3 B?;•F:BH–¦THL¦W¦B?=?F'‹ BF'=HL2 ¦ :DM¦?‹–k=  BHL¦WENF'H T ;8 * @ $@¦¦?KLH–¦ HL8A=?,H F:HH–¦B=T }DM* > ;•¦¦?D—'DMTDBK 'HW¦?F:&— '"D GDM¦?H–= 'HW9 @  ;•8S8$@CB?F'=?H–TMTMH=T }DM8 BH–.= C@TMTe H 'HYBH–> '¦ ENF'4 H 'F'=H =T },H +K–‹LF:B?DM;•8 $}F'8'H @C‹–BD;•$8 (VDM8'¦D;•8 8' H H–F:T B $@¦ x$@=*0H +:H–> :TM#H Š=H '=KL¦HL8 BH–=ATHA9 @D&B*EN$F }F'8 #@ 5•H–8 B X @\H N HL‹ BF'KWF'8'HW@‹ BD;•8 HL8 B=HYTMHL¦ D8'¦B@8 B¦ 10 H B 11 @TM;•=¦qEN$F }F'8 @FB=?HY)@ 5•HL8 BPH N HL‹ BF$@D&B ¦?D>*F'T&B @8'K–>AH–8 BF'8:H\@F:B?=?H\@‹ BD;•8 HL8 B?=?H2THL¦(D8'¦B@8 B¦ HB (ŠV.F:B?=?H–>AH–8NeB 'DB ;•8 8'H 6HLF:B $@ ¦ G=@CDM>SHL8 B­>AG; 'K–TMDM¦HL=2TH $@=?@TMTKLTMD¦?>SH.@C¦®G8'‹ J'=;•8'H 9.5 (SX8'* H 10.7 '=HL>SWD L=H ¦?;•TF:BD;•8@ F '=?;—'WT –>AH ‹L;8'¦?D¦BK H 3=?H :=?KL¦HL8 BH–= TMH B?HL* > '¦*$@= F'8 H–8'¦?H–>*—'TH ;•.= ';•8'8:K D¦?;•>S;•k= :J'd H 3 6;•F'= q5•=@C/ 8  ;•F > ‚–>AH /  :F'DMO ¦ 'H\‹–;•8'¦WD 'K–=?HL=YENF'H\T H–8'¦?H–>*—'TM H :({0, HL¦W@.‹–.B?.DM;•, N 8:e ¦ }, ;≤) ¦†¤ N ∈N (Q, ≤) ¦?D—'TMH–¦($8 }HL¦†@ B :TMF'¦ >A@DM¦ ;•F ¦?H–TM;•8 TMH.‹ J';•"D + ENF'H­=T };•8 9 @DBH–Q B $#@ $)@ :BH–= A A × {1, ..., N } A×Q HL8 ‹–;•8'¦KLENF'HL8:‹LHTMH–¦ k= 5•TMH– ¦ 'H¯=?KLK–‹L=DBF:=?H¯ENF'@ D ';•8'8:HL8 d B 3 ‹ J$@CEGF:H B® 6H 'H¯>AG; /LTH ¦? @ s®N¤ 8$@>SDMENF'2H E(­x Ž }DM8'‹–;•L8 •KL8:DMHL8 B­,K D 'HL8 B­H–¦B­ENF'#H +T;•=?¦ENF'H =T };•8 ‹L@TM‹–F'TMH–= @ 'H– ¦ '=?G; 'F'D&B¦2‹L@=B?KL¦DMHL8:¦ 'H­>S; /–TMH–¦ '‹–HLF +N¤‹–D²¦?HL=;•8 4B 'H\Bk= –@¦ 5=@/8 :H2B @DTMTMHH–BW‹L;8NB?DMH–/8 '=?;8NBWF'8:H­B?k= –@¦ 5•=?@/8 'H\ENF$@C8NB?DB?K $}DM8:9<;=?>A@CBD;•8 =?H :;•/8 $@8 B?#H (P[28 @ @CTM;•=¦F'8ABk= –-¦ 5•=?@/8 A8';•>*—'=H ( •;•D=?HWF'8'H.D'8 !$8'D&BWK ) 'HWB=?@‹LH–¦ $},H +KL‹–F:BD;•8'x¦ 6;•¦?¦DM—'THL¦HL8 B=eH 'HLGF +*K B @CB?j¦ ';•8'8:KL¦ (qR 1 8 GF'H $F:8'HY@8$@T&®G¦?HH S‹ @‹–#H  ;•8 @CDM>SHL=@CDB 6;•'F •;DM= „WD :HL8 B"D !$HL= 4'HLF +AB=?@‹LH–¦¦†®8:‹ J'=?;•8:HL¦ $)‹ H–¦B†s¤ 3 ¤ 'DM=H2@ ® @8 BTHL¦P> ‚–>AH–¦D8'¦B@8 B¦H B(K B @CB?¦ 'T H 'K $@=B?¦­H–J B $@=?=D •K–#H $@8'¦­TM@ >AH–¦?F'=HSU; #$'H s'=;‹ J'H H–R 8 '=;‹ J:H E²;•8 8 6HLF:B­B?=@8'¦†9<;•=?>SHL= T-@ '=HL>SWD –=?H­HL8 T-@ ¦?HL‹–;•/8 ')H (WZH–BBH 8:;BD;•d 8 'H!B?=@8:¦9<;•=> @CB?DM;•g 8 :u H '=;‹ J:H HLK 8 '=?;G‹ J'J H ;F'=?=?@DB 9 @D=?T H 3 ¦?;•8 B;•F:=\=T };•G— H–J B $}F'8'HSB@ +D;•> @ BDM¦?@CBD;•8 $@C8'¦­TMH ‹ )@ '=?* H 'DM¦‹L=H–%B ²=HL/8 $@C8NB™TMH–¦\>AG; /–TMHL¦ HL8:‹L;•=J H :TMF'¦YTM;F'k= z3 5•KL=HL= ( £;F'= HL8 HL8'Dg = 3 T-@ B; 6;•TM#; 5•DMH @T 5•KL—'=DMENF')H WDT8 }® @ @TM;=?¦ EN$F }F'8 $@¦ EGF:H=T };•8 ¦?| H '=?; 6;•¦H 'H 9<=@8:‹ J'DM= ( RŠ8 ,H N H %B T D 'KLT H '* H 'K 9<;•=?>A@CBD;•8 8 '* H '=?;G‹ J'HSHL8 :=?;G‹ J'H F'8:HAB=?@‹LHSHL¦†B 0H +:@‹–B†¤ ¦ '=;•—$@—:TMH!EGF:H™B;F:BH­9<;•=?>S H $B@ +DM;•>A@CBD¦@CB?DM;•8 ¦@CB?DM¦†¤ >SHL8 B.‹–HLTTM H 'H T J:;•>A;CB; 'DH H–B.DMT+H–¦BWBk= –2 9 @D¦@8 BH :H ‹LH ‹L;8'‹LH :BJ$@8'¦­F'8‹ )@ '=?T H 'D¦?‹L=H–B­¦H =@* > L8'T H 3 TDM¦B?HL=TMHL ¦ :=?; '=DMK BKL¦\8'@CBF'=HLTTMHL¦ 'HW=T }J';•>S;B#; 'DMHH–:B 'HTHL¦ '=HL/8 '=H‹–;•>S>AHYB@ +D;•>AH–¦ (Ž²H–¦PB?=@‹–HL¦ 'H GDHL8'8'H–8 eB 'H–¦‹ J'H–>AD8'¦P‹L;•8¤ BD8NF'¦(H–B(;•8 ‹L;•* > '=HL/8  F'8'H.J';•>S;B; :DM2 H F'8 ‹ J:HL>SDMM 8 •H–=?¦F'8 @FB=?H.‹L;•>S>AHF'8' H 'K 9<;•=?>A@CB?DM;•8 ‹L;8NB?DM8NF'Q H '* F '=?H–>ADHLj = HL=?¦PTMH¦HL‹–;•/8 ( •;DM=     U ›  ;•F T- @ 'K !'8'DB?DM;•8 2  ( ˜ ( ƒ ),(qŽ }WD :KLO H 'D=?HL‹ B=DM‹LH ENF'HW=T };•8A¦@ H :=?; 6;•¦?4 H 'HW¦?F'"D G=?HWHL¦BT-@\¦F'D C@8 B)H 6Š#@ '=.L¦%@ •;•D=P‹–;•8'¦†B=?F:DBF'8A>SG; /LTHYB?; 6;•TM; 5DMENF'H ‹L;8NB?DM8N$F  ;•8 F:B?DMTMD¦?J H 'HL¦.>AK BJ'G; 'HL¦J';•>S;B#; 'DMENF'H–2 ¦ 6;•F'=.¦H*=@C>AH–8'HL2 = 3 F'8 >S; 'LTM H !$8'D q!a'LTMH 3 =T };•=?D 5•DM8'@T YH 4B 'H\B @DTMTMH>AD8'DM> F'> ( ± }F'8'H > @8:WD L=d  H 'TMF'* ¦ 5•K–8'KL=?@TM)H DMT¦HL>*—:TMH 8'KL‹–HL¦?¦?@DM=#H T;•=?¦EGF:H T ;•8%¦?;•F:J$@DB?H =?H :=?KL¦HL8 BH–= TMH qG=?@D '@=@TTMK–TMDM¦>A) H '#‹ }HL¦†Bq¤ 3 q¤ 'D=?u H H–=?>SH–B?B@8 B.B?;•F:BH–¦.THL¦9<;=?>SHL2 ¦ 6;•¦¦?DM—:TMHL4 ¦ $},H +KL‹–F:BD;•8@¦†®8G¤ ‹ J'=;•8'#H )' H ;•F •;•D=#¦F'— 'D GDM¦HL=#$8 }DM* > ;•=†BHŠENF'H–TGD8 BHL= C@TMTx H 'HPB?HL* > '¦(ZH–BBH8'KL‹–HL¦?¦DB?KDM* > 'TDMENF'H ENF'H!TMHL¦>SG; /LTHL¦¦?;DMHL8 4 B 'H\B @CDMTMTH.D'8 !$8'D#H ( ±.H\BH–TM¦>S; 'LTMH–¦8' H H–'F •H–8 B ‚–B?=? H '=; '=?H–>AH–8 B>A@ ¤ 8'D 'F'TMK–¦(¦@C8'¦DM8 BH–.= HL8 BD;•d 8 'H2T-@ B?; 6;•TM; 5DM#H (#7T :H GDMH–8NB@T;•=?¦8$@CB?F'=?H–$T $P@ ;•DM==?HL‹–;•F'=¦  ?9ƒ#AGFW? $}DM* > ;=B @C8NB?HL¦Y#@ '#@ $@CB?DM;•8'¦ '@GF + ;•F:B?DMTM¦H–BWWD 'K–HLQ ¦ 'H­T-@ B?; 6;•TM; 5DMH2@CWT 5•K–—'=?DEGF:H\‹LT-@C¦?¦?DENF'#H (. ”. U.

(65) .    ! h#10 0. 3.  . .  f $ -#

(66) . &$(! h( 0*%+)  + #};(; C h. V -T @!'8K'H–¦W@8'8'K–HL¦W¦?;•D +'@C8NB?H#'ENF'H–TMENF'H–¦>A@CBJ:KL>A@CBD‹LDMH–8'¦-:;•8 B~JD#ba;=X,F eAG; F FWX,bA;•8 BYH–8NB?=?H'=?D¦ $B@ +DM;•>A@CB?DM¦?H–=TM@SB?; ;TM; 5•DH!@TW5•K–—'=?DENF'H'H™9 @  ;•883 ;•F•;•D=.H,+'=DM>SHL=WB=k–¦ 5•K–8'KL=?@TMH–>AH–8NB2TMHL¦ DW:KLHL¦H–B.=?KL¦F'TB@CB' ¦ „‹–T-@¦¦?DMENF'H–¦ u'H™‹LH–BBH*—:=@8'‹ J:1 H 'HL¦.> @CB?J'KL>A@CB?DMENF'HL¦ (WŽ#@SBJ'K–;•=?DHu'H–¦2‹ @ BK ¤ 5•;•=DMH–¦ ¦ }HL¦†B DM* > ;¦?KLH ‹L;•>S>SH¯TMH ‹ #@ :=?H D 'K @4 T $@8:¦ TMH–EGF:HLT.9<;•=> @CTMDM¦HL= ‹LH–¦ B@ +DM;•>SHL¦ ( x Ž D 'KLH 5•K–8'KL=?@TM)H :B.= L¦Yk¦ 6KL‹–D !$ENF'J H 3 T-@*8';CBDM;g 8 'H­‹ @CB?K 5•;•=DM)H :HL¦†4 B $K B/F :DMHL=YTHL¦;•G— H BQ ¦ $}F'8'H­‹L;TMTMH–‹–B?DM;•8 8';• 8 $@¦­D/8 'D GD 'F'HLTTMH–>AH–8NB.> @CDM¦ $@C8'¦™THLF'=\H–8'¦?H–>*—'T* H  #@ :=kL¦!T-@ 9 @  ;• 8 ';•8 B!DMTq¦H ‹L;•* > ;=BH TMH–¦ F'8'M ¦ GD¦†s¤ 3 ¤ GDM* ¦ 'HL¦ @CF:B=HL¦ ( V.D8'¦?DHL¦†B¤;8 @=?=D •| K 3 F'8'H¦†B=?F:‹–BF:=?H#@ /6HLTKLH ‹L@CBK 5•;•=DM| H :H >S; /–TMH–¦ G'KL‹–=?DB?H 3'@=B?DM = $F:8'H2‹ @ BK 5;•=?DH.¦?;F'¦†"¤ ?@‹LH–8NB? H ( ‹–HLTTM2 H :;•8 B(TMH–¦;•— H–B¦¦?;•8 B‹–HLF + EGF:H T=};•8¦;•F'J$@D&BH K B/F 'DHL*= )2 ;•F:.= GF'T H 'H B=;•DM¦.9 @C>ADTMTMH–@ ¦ :HS>S;•.= 'J'DM¦>AH–¦2¦?;F'>AD¦?H– ¦ 3 F:8 H–8'¦?H–>*—'TH $B@ +DM;•>SHL¦ (Y°D²K–B?;•8'8$@C8NBENF'H!‹LHLTM@ 'F:DM¦?¦u H '@=@ %B=#H $‹LH B?B?H ¦B?=?F'‹ BF'=H 8'H­9 @D&BW@F'‹LF:8'H =K–9<KL=HL8'‹–H 3 TM@™B; 6;•T; 5•DMHYH B> @CWT 5•=K‹–HLT-@ 'K–‹L=DOB $@C=9 @D&BHL>SHL8 BT-@™B?; 6;•TM; 5DMHW@WT 5KL—'=DMENF'H „‹LTM@¦?¦DMENF'2H 2:;•8 B TMH–¦(;•G— H BQ ¦ $}K–B?/F 'H\¦?;8NBYTHL¦(H–k¦ $@C‹LHL¦YB#; ;•T; 5•DEGF:HL¦ s$@¦(B?=?; g'@CBJ';TM; 5•DENF'HL¦ E(ŠZH–T-@*¦H­B?=#@ :F'DB $@= THW=KL¦F'TB@CBENF'D6@ S=>AHYENF'H.TM@\‹ @CB?K 5•;•=DMQ H 'HW>AG; /–TMHL¦ 'H–¦H–k¦ $@‹–HL¦PB; 6;•TM#; 5•DMENF'H–¦ŠHL¦BKLENF'"D N¤ @THL8 BH™@F¯¦HL8'2 ¦ 'H  F'DTMTMH–z 8 3A‹LH–TMTJ H :HL¦.H–8'¦?H–>*—'THL¦2¦DM* > 'TMD‹LD-@CF +&(VTM;•=¦ENF')H &$@C=.‹L;8'¦B?=?F'‹ BDM;8 >*‚L>S#H ŠT-K @ '=?H–>AD L=?HA=?H ;•¦H HL8 BD L=HL>SHL8 B ¦?F'= TM@¯8';B?DM;•8 'H B; 6;•T; 5•DM)H TM@¯¦?H–‹L;•/8 :H H–¦B :F'=?H¥¤ >SHL8 B!‹L;•>*—:DM8$@CB?;•DM=#H ( x Ž };•'F G=#@ 5* H :H  >@?PX,9\VEV\H B "Z 'D#9 ƒ#; bX   ˜  'KL‹–=?DB!‹–* H :J'KL8';> –8'HAH–8 H,+GB?=@ ® @8 BTMHL¦ _@ +:D;•>SHLx ¦ 'H–¦‹L@CBK 5•;•=?DHL¦ 'HY>S; /–TMH–¦ 3J$@C=BDj = 'FA‹ @¦ '[email protected]?; ;TM; 5•DH(@T 5•KL—:=?DMENF'H ‹LTM@¦?¦DMENF')H 3 =T }DML8 •H–=?¦?T H 'H ‹–HLTF'j D ' H ` "ou? #X,n    :TMF'¦\‹–;•8'‹LD¦ +ENF'j D :KL‹L=DB­T  B@ +D;•> @ BDMENF'J H 'H–¦ ‹ @ BK 5;•=?DHLO ¦ 'H\>S; 'LTMH–¦H–BY0H +'6;•¦H!H–8'¦?F:DB H '"D N K–=?H–8NB?¦Y,H +HL* > 'TMH–¦8';•8 B=D GD-@GF +M';8NBY‹–HLTF'$D 'H­T-@ B#; ;•T; 5•DH2@T 5•KL—'=DMENF'H\‹–T-@¦¦?DMENF')H (.

(67) .  

(68) U8  ! $  

Références

Télécharger maintenant ( PDF - 348 Page - 3.64 MB )

Documents relatifs