Decomposizione di 3-varietà iperboliche e triangolazioni
Testo completo
(2)
(3) "!. #$!%&'()% )*+-,.!/
(4) 01!2
(5) %3-#4 5 %36879!/
(6) !: ; & &<=!
(7) $!> <,.!2
(8) 01!/
(9) %?! @BA
(10) @BAC+D/D:E F:C+D/D:G HJILK$MON9MQPSR1T1USIR V. WXZY\[. ] Y\^`_?a>_?Y\bcW. _?] Wslrt Yvu_XxwcW. W. de_ fhg1ikjmln_?Wporq. orln_j\bcymYvujma(_?Y\be_. ; ! ?!2
(11) & z|{~}{ (Q ?SJO|`. !/
(12) &
(13) 1 'Q ~szBJ`. ; &
(14)
(15) &
(16) +!2&
(17) 1 'Q<SzBO ¡ ¡.
(18)
(19) Qbede_XpW.
(20) . $#%&$ $#%=< $#%IH $#%RG $#%=Q. !"# ')(+*-,.0/1.0(2354/#67.789/ %:%:%;%:%:%:%;%:%:%;%:%:%:%;%:%:%;%:%:%:%;%:%:%;% >?/#35@A/B@C26067/ED5(+*-,.0/1.0(2354/#67.08/F%;%:%:%;%:%:%:%;%:%:%;%:%:%:%;%:%:%;% JK*-35.72LNME.7(2354/#67.78POC2 %:%;%:%:%:%;%:%:%;%:%:%:%;%:%:%;%:%:%:%;%:%:%;% SUTV+*W,9.7/#XC. @C.Y.0(293Z4/#60.78.&L[M\%:%:%;%:%:%;%:%:%:%;%:%:%;%:%:%:%;%:%:%;% ^_298/#`B(/#D5.7,9.0/-XC2a@C.bS(CDcLN29.7X)dfeg2XCXC23 %:%:%:%;%:%:%;%:%:%:%;%:%:%;%. $ G Q ] h. j. }. j. )"#klgK"#m
(21) gm!n o bb+ p <)%&$ qrX+*1@A.0D5VAs#V+*-s#67.0*-XC,9*t(293u.Y(/#60.729@C3Z.v%;%:%:%:%;%:%:%;%:%:%:%;%:%:%;%w$x <)%=< ^_.0`B/#DcLN3N*-,.0/-XC2y@C26bz 2/#352`{*|<n%=x)%7$ %;%:%:%:%;%:%:%;%:%:%:%;%:%:%;%w$lG. i. )"#klgK"#~U!n bKg""#! p HA%&$ ?(/-60.02@C35.89/#X*-6Y(C.7FDZ29.Y*-8982%;%:%:%;%:%:%:%;%:%:%;%:%:%:%;%:%:%;%<-x HA%=< ?89*-D5. (+*W3ZLN.789/#60*-3Z. %;%:%:%;%:%:%:%;%:%:%;%:%:%:%;%:%:%;%:%:%:%;%:%:%;%<# HA%IH ^_.0`B/#DcLN3N*-,.0/-XC2y@C26 L529/#3Z29`|*E(C35.7XC89.7(+*-672%:%:%;%:%:%;%:%:%:%;%:%:%;%<-h t!) b!"K"# Al }} GC%&$ yV+*-@C3Z/1LN2/#35.789/123Z.0DZVC67LN*WLN. %:%:%;%:%:%;%:%:%:%;%:%:%;%:%:%:%;%:%:%;%H#H GC%=< zg35*-DZ/-35`|*-,9.7/#XC2y(/#6*W352a2@A.0`B/#DZL53N*-,.0/-XC2y@C. XA29829D5D5.&L[Mt%:%:%;%:%:%;%HQ GC%IH zg2/#352`B. @C. VCXA.08.7L[M:%:%:%;%:%:%:%;%:%:%;%:%:%:%;%:%:%;%:%:%:%;%:%:%;%G< GC%RG ^_.0`B/#DcLN3N*-,.0/-XC2y@C2606*tDZVAB89.729XC,9*%:%:%;%:%:%:%;%:%:%;%:%:%:%;%:%:%;%GQ GC%RGC%7$ e35/W*1@C2606I*-(23ZLNVA3N*%:%;%:%:%;%:%:%:%;%:%:%;%:%:%:%;%:%:%;%Gh GC%RGC%< e35/W*1@C2606*t8[OC.7VCD5VC35* %;%:%:%;%:%:%:%;%:%:%;%:%:%:%;%:%:%;%Q-x GC%RGC%=H e35/W*1@C2606*t8/#XCXC2D5DZ.0/#XC2%:%:%;%:%:%:%;%:%:%;%:%:%:%;%:%:%;%Q#<. . . !n bK b+!n !" p Q)%&$ _XCs-/#60.@C.02@C3N*W60.@C26 @CV+*-672a@C. VCXF(/#67.029@A35/ .0@C29*-602r%:%:%;%:%:%:%;%:%:%;%:%:%:%;%:%:%;%:%:%:%;%:%:%;%:%:%:%;%:%:%;%]#x Q)%=< eU3Z/ *B@A296060*tD5VAB8.02XC,l* %:%:%:%;%:%:%;%:%:%:%;%:%:%;%:%:%:%;%:%:%;%]A$.
(22) .0.. XC@C.7892. E. ! g. }.
(23) Qb orlrY dca(_?YvbcW. . H .
(24). q X+* Hd *-35.72LNM .7(29354/-60.78l* EVCX+* HdW*-3Z.02 L[M A @ . 293Z29XC,.*-672t8[OC2 DcLN2D5DN*Bs#29/-`|2 LN3Z.*t@C26067/ED5(+*-,.0/1.0(2354/#67.08/ 3%.
(25)
(26). I60/n89*-60`129XL52-O+*. 6*.
(27). qrX+*HdW*-3Z.02 L[M .7(29354/-60.78l*@C.#/-60VC`B2 +XC.&LN/ 89/#XAXC29DZDN* K/#3Z.029XL[*WLN* 89/-`1d M (A602LN* 21XC/#X 8/#`B(+*WL5LN* 16IVAXC.0/#XA2tL5/#(/#67/#s#.789* @C. VCX+* (+*-3cLN218/#`B(+*WLZL[* 21@A.VCX XVC`B2935/ +XC.&LN/o@C.u89/#`B(/#XC2XLN.u89/#XAXC29DZD52 .0D5/-`|2 LN35.78[OC2* @C/WL[*WL52@C. T × [0, ∞[ VAX+*t/#(C(/#3cLNVCXC*t`B2LN3Z.089* )@A/ #2 y.06LN/#3Z/ A/-s#XnVCXC*t@C.LN*-60.28/#`B(/#XC29XLN.D5.LN3Z/ W* T2 .7XC/#6&LN352y*1@C.7DZL[*WXC,l*E(/#D5.&LN.7*E@C*-60672a *-67L5352W%z VAL5L52:602y*-35.72L[MEXA/-LN2@C.YTnVA29DZL5/BLN.0(/ED5. /WL5LN2XCs#/#XA/a.0@A29XL5. +89*-XC@A/yL52L53N*-2@C35.A.0(2354/#67.789.n.7@C2l*W60.n2 .0`B(/#XC2XC@C/y8[OC2 DZ/n@C@C.0D +XC/ 672:29TV+*-,.0/#XA. @C. .7(29354/-60.789.&LNMA% r26gDZ29s-VC.7L5/{@C.bTnVA29DZLN* .7XL535/n@CVC,.0/-XC2 (23_4C3Z2n.&L[M TV+*WXC@C/(+*-3Z60293 @C.*-35.72L[M .0(293Z4/#60.78[OC2E@C. #/#60VA`|2 +XC.&LN/ b.7XL529XC@A293 *-XC8[OC2B8POA2 DZ.*-XA/189/#XAXC29DZD52 /#3Z.02XL[*LN2 A89/#`B(C672L52a2XC/#XF8/#`|(C*WL5L52-%. . . . . . . . . . . . "!.
(28). qrXC/u@C29.#(C35/#4A602`|.#*W(293ZL5.@A29676* s#2/#`B2LN3Z.*?.0(2354/#67.089*?@C.TVC2DZL5.VC67L5.0`B.@C29829XCXC. TnVA296760/ @C.aDcL[*-4A.067.03Z2 D52/#s#XC.aH d W*W35.02 L[M .7(293Z4/#60.78l*@C._#/#67VC`|2 +XA.7LN/ D5.y(/#D5DN* /WL5LN2XC293Z2.7@C29XLN. +8l*WXC@C/tLN2 LN35*-29@A35.Y.0(2354/#67.789..0@C29*-60.2a35.78POC.729@C2XC@C/E8[OC2a#235. +8POA.0XC/ 672K2TV+*-,9.7/#XC.@C..0(2354/#67.789.&L[M)% 296$ #h#h S(CDZL529.7X2?eg2XCXC293 RSKeUh#h @C.0`B/#DcLN3N*W35/#XC/ 8[OC2/#s#XC.nHdW*-3Z.02 L[Mu.0(2354/#67.089*u@A.#/#67VC`|2 +XC.&LN/ D5.n(CV _8/#DZL535VC.7352K.0@C2XL5. +89*-XC@C/r@A29. (/-60.02@C35..0(2354/#67.08..0@C29*-60.%yVC2DZL5/B3Z.0DZVC67LN*WLN/O+*t/ 293ZL5/EVCX #235DN*WXLN2(A35.7n.7602s#.0*LN/ @C*a89VC.+* 35/#XL[*-3Z2 .06A(A35/#4C6729`|*_@C.C89VA.+D5/-(C3N* g@+*L[*aVAX+*a@C298/#`B(/#D5.7,9.7/#XC2 @C.CVCXC*:H d *-35.72L[Mr.7XtVCXtXnVC`B293Z/ +XC.&LN/_@C.)(/#67.029@A35..0(2354/#67.08..0@C29*-60. 29DcLN35*-353Z2 @+*_TVC29DcL[*yVCX+* @A2989/-`|(/#DZ.0,.0/#XA2:.7XFL52L53N*-2@C35.b.0@C29*-60.%^_VC2;35.7D5VC6&L[*WL5.Y(/#D5.&LN.7n.Y.0XFTnVA29DZLN*{@C.7352,9.0/-XC2 DZ/#XC/EDcL[*WLN./-LZLN29XVALN.@+* *-@+* -] K2y@+*1').735/-L n.7X+* =').73Nx< (293 @CVA2a89*-D5. (C*-3ZL5.089/-6*-3Z.% 6b8l*-(C.&LN/#67/1D5289/#XC@A/ 2:LN235,/{@C. TVC2DZL5/ 6*l#/#35/B@C. LN2D5. D5/-XC/{@C2@C.089*WLN. *W@ VAX+*t67/#35/;.06767VCDcLN3N*W,9.7/#XC2W% eg/#.78PO y*-XA89/#35*XC/#X D5/#XC/tXC/-L5.29DZ29`B(C.@A.YH d W*-3Z.02 L[M;@A. #/-60VC`B2 +XC.&LN/{XC/#X L535.0*-XCs#/-60*-4C.&67.bs#2/n@C2 LN.089*-`B29XL52 .06 (C3Z/#4C602`|*|35.7`{*-XA2;.73535.7D5/#6 LN/ XA296 8l*-DZ/Bs#29XC23N*-672-%. . . 4. 3. . #. % (' )*',+-+. /! 2. 65. 7 8 2.
(29) $. 9. . . . . &. 0 1 "!. . /! : ;. .gD5/#XC/ 89/#D 35.&#/#6&LN/{*-@ VCX*W(C(C35/W/#XC@C.7`|2XL5/{@C26060*|s#2/#`B2LN3Z.*B@C2. (/#60.729@C3Z. .7@C2l*W60..0(2354/#67.789.% r26a$ -x _XA@C3522 _XC@Wx *#2*/#35XC.&LN/ 89/-XC@C.0,.0/-XC.?XC2Pd 829DZDN*-3Z.02 2 D5V)|8.02XLN. *WBXC8[O VCX (/#60.729@C3Z/ *-DcLN3N*L5LN/ 89.7/ {89/-XCD5.7@C2935*WLN/ D5/-60/ @C* VAXm(CVCXL5/ @C. n.7DZL[*o8/#`t4C.0XC*WLN/#3Z.7/ /-D5D52 3529*-60.7,9,9*-4C.7672 89/#`B2(/#60.729@C3Z/o.0@A2l*-672@A. (293 89/-Xo6* DZL535.0XAs#29XLN2160.0`1.&LN*-,.7/#XC2t8POC2Bs#67.*-XCs#/-60. @A.029@A3N*-67. /#DZD5293Z/`|.7XC/#35. H3 @A. % X LN352 60*#/#3Z.?@C29. (C3Z.0`B. *WXCXC.y #x r/n@Cs-D5/#X 2 u.7n.0X #H K2 .d. . π/2. <!. =
(30) ?>. A@ BC>%@D E"!F )@.
(31) .7. XLN3Z/n@CVC,.0/#XC2. =@ & C@ /!.
(32) 2. n.0X u.7 #H u.7 #] O+*WXCXC/|DZLN*-4C.760.&LN/E@C260602a89/#XA@C.0,.0/#XA. XC28929DZDN*-35.72;2:D5VAB89.729XLN. XC26u8l*-DZ/os#29XC23N*-672F*WBXC8PO VCX (/#67.029@A35/ *WDZLN35*WL5L5/ D5.*352l*W60.7,9,l*W4C.06&2 .7X 89/#`B2 H3 (/#67.029@A35/ 8/#`B(+*WLZLN/ / 89/#`B2t(/#67.029@A35/{.0@C29*-602W% * @A.0D58VCD5DZ.0/-XC2E@C. TnVA29DZL5. L529/#3Z29`B. 89/-DZLN.&LNVC.7D5826R/#s#s-2L5L5/E@C29. 89*-(C.&LN/#67.TV+*-3cLN/B2TVC.7XL5/C% *_L529DZ.C89/-XCDZLN*a@C.A8.0XCTVC2 89*-(C.&LN/#67.% 29 6 *-(C.&LN/#67/$ /#3ZXC.0DZ89/a*-608VCXC2 XA/#,9.7/#XC.)@C. 4+*-DZ2u.7XC293Z29XLN.A6*_s#2/#`B2LN3Z.*r.0(293Z4/#60.789* -XC2892D5DN*-3Z.02u*-6060*r89/#`B(C3Z29XCDZ.0/#XC2 @C26C6*l#/#35/ XC/#X1@A.0`B/#DZL535/a*-6789VCX1*-DZD5293cLN/ @+*WL[*y6*_@C.7D5(/#XC.74C.06&.&LNM_@A.C/-L5L5.0`B.LN29DcLN.CD5VC676I*-35s-/#`B2X)d LN/A%eg293*-(C(C3Z/-/#XC@A.0`B29XL5.g35.7`{*WXC@C/ * >?2XC29@C2 L5L5.&dfeg2 LN3Z/#XC.7/ R> e < _2 *WLN860. 2 *WL -G P% XC/#67L5352_`|.D5/#XC/E60.7`B.&LN*WL5/(293 DZ29`B(C60.789.&L[M*t@C2 CXC.03Z2a.89/#XA892LZLN.YXC29829Dfd DN*W35.UXC26K8l*WD5/ @A296060* @A.0`B29XCDZ.0/#XA2BHA% ^_/#(/ *#23;@C2D5893Z.7LZLN/FLN3Z2|`B/n@C26067. @C.UDZ(+*-,9.7/ .0(2354/#67.08/ `B/n@C296767/B@C29676R.0(2354/#67/-.7@A2:XC26067/|D5(C*-,9.7/{@C. .0X W / uD . `B/n@C26067/ R3,1 89/-XA/#35`B2r@A.eg/-.0XC89*-3 )`B/n@C296760/@C . a6729.0X 2r@C/#(/t*#23?.0XLN35/n@A/-L5L5/;6*:XC/-,9.7/#XC2r@C. DZ23N* *-606I.&X +XC.&L5/{2E3Z2960*WLN.(C35/-(C35.72L[M .0XLN35/n@AVC89/ .06g8/#XC82L5L5/ @C. Hd *-35.72L[M|.0(23cd 4/#67.08l*) % a6&LN3Z2F*W@ 2XnVCXA89.0*-352F.76 z 29/#3Z29`|*@C.u3Z.0s#.7@C. L[M @A. /-DZLN. / ?35.78POA.*-`B/ VCX 35.7D5VC6&L[*WL5/1.0`B(/#3ZLN*-XL52DZVC6060*1s#2/#`B2LN3Z.*E@C2967602:HdW*-3Z.02 L[M1@C. #/#67VC`B2 CXC.7L5/C% ').*1.0Xnd *WLZLN. ?VCXC*yHrW*-3Z.02 L[Mr@C.n#/-60VC`B2 +XA.7LN/A%g_6760/-3N*u29DZ.0DZL52 VCXC*yHd *-35.72L[M .7(29354/-60.78l* M /#3Z.029XL[*WLN* 89/-`|(+*L5L[* 89/#XLN2XnVALN*.7X bL[*-67218[OC2 B6IVAXC.0/-XC2E@C.VCX M0 M M \ M0 XnVA`|235/ +XC.7L5/1@C. 8/#`B(/#XC2XLN.Y89/#XAXC29DZD52;.0DZ/#`B2LN3Z.08[OC2a*. C@ E/! .
(33) . 2.
(34) . 4 0 0. 4 .. .
(35) $. !. ?. T2 × [0, +∞[,. @C/-LN*WLN/1@A296060*t`|2 LN3Z.08l*. . E"! @ . . .
(36). ds2(x,t) (v, l) = e−2t de2 (v) + l2 .. C X /#6&LN3Z2yTVC29DcLN289/-`|(/-XC29XLN.89/#XAXC29DZD52:DZ/#XC/1*E@A.0DZLN*-XC,9*t(/#D5.&LN.7*6RVCX+*@+*-676I*-6&L53N*)% yVC29DcLN. =(2,9,.+DZ/#XC/B@A2L5L5. 89VAD5(C.7@C. .0X TnVC*-XL5/BD5/#XC/1.06767.7`1.&LN*WL5.2O+*-XAXC/BD52,9.7/#XC2@C. D5VA(23 +8.02ELN2XC@C2XLN2|* xA % ?/#XC860VC@A/F.76 8l*-(A.7LN/-60/ 3Z.08[OC.*W`{*WXC@C/ .76gLN2/#352`{* @C. @C2 d 89/-`|(/#DZ.0,.0/#XA2r@C.YS(CDcLN2.0X)d eg29XCXA293 C(293?6*;89VA.@C.0`B/#DcLN3N*W,9.7/#XC2 35.7`{*-XA@C/t* RSUeUh#h % JK*-672a.0X)*WL5L5..06. 6$. n n . 1. . "!$#$%&'() % (*%+,!-./01% 2.01(*%+,!3&420 5 6.%& +67 89%.:<;=&8&>%) @! %B * C 5 7D() 5 %E(* %*!F!G*0H+ 5 9 M ? %+ *0I&>K J$(*(* 5 +M%17 A 89% 5 !%&' 5 N 5 ). &'PO*% 5 /( 5 3 : ? L H r26D *-(A.7LN/-60/ <F(C352D529XLN/ VCXLN2/#352`{* 89/-X 6*F3Z296*LN.&W*F@C.7`|/-DZLN35*-,9.7/-XC2 @C/ nVAL5/
(37). . '. M . ',+-+. "!. ?. . * *W@+*F2B*-6% #] t%| 6(C35.7`|/ *-(C(C3Z/n898.0/ L529XLN*WLN/*-6(A35/#4C6729`|* @C.D5VC@nd @ .&).7@C293Z2|60*F@C298/#`B(/#D5.7,9.7/#XC2B@C.S(CDZL529.7X)dfeg2XCXC23t.0X LN2 LN35*-29@C3Z. {DcL[*WL5/ TVC296760/@C. C LN3Z.*-XAs#/#60*-3Z2:672:*-8982t2(/#. 89/#DcLN35VA.0352;.06b89/#XA/ @+*{VCX #293cLN.082-% 2@C298/#`B(/-D5.7,9.0/-XC. @C. TVC2DZL5/ L5.0(/BD5. 8[OC.*W`{*-XA/B89/#XA.08[OC2-% r/#X DZ. *-XC8/#3N*B@C.0`B/#DcLN3N*LN/B8[OC2:LN3N*W`|.&LN2 @C289/#`B(/#D5.7,9.7/#XC.n89/#XC.78[OC2 D5.*_DZ29`B(C352 (/#D5DZ.04C.7602D5VC@A@C.7n.0@A29352 6*r@C298/#`B(/#D5.7,9.7/#XC2?@C. S(CDZL529.7X)dfeg2XCXC293 +`|*;XC29676I*-3ZL5.789/#6&/;89.&L[*WL5/tDZ/#(C35* *-@+*2a*-6% (C3Z/ *-XC/E.76D529s-VC29XLN2 8l*WD5/B(+*-3cLN.08/#6*W352. $. . ('.
(38) XLN3Z/n@CVC,.0/#XC2. . .2C"!$#% & (M (*%+,!G&> % (*%+ !-.2 5 @.%& + M 3 7 8B% ( %/B 2 5 !%&' 5 5 ).&'6(*% . 0K 5 7D() 5 % &> J$ (*(* (*%*!F!G :D !F!% nOF %&'M (,( ( ?*K? J$P(*1(,. . 5 . , Pn ? ? Pi (i = 1, ..., n−1) 5 7D() (*% =J$(*( 5 01 5 . .&'+ B &> 8+ / J$((* 5 ? 5 / 7D().B ) &>%M % (*%*!F!G : Pn Pn ;,&8&>% ! * 5 *(*%+,!% 2 B) 5 5 ).&' % 5 O 5F5 8 M A ?*? ? ? 5 5 % : Pi * @C.0`B/#DcLN3N*-,.7/#XC2@C.aTnVA29DZL5/ LN29/-3529`|* D5.4+*WDN* D5V VCX+* @C.7D5VCs#VC*-s#67.*WXC,9* LN3N* .06
(39). n. &. &. . XVC`B2935/@C2.K#23ZL5.089. *-8892|2|D5(C.7s#/#67.@C.KVAX (/#67.02@C35/A% qrX+*8/#XCDZ29s#VA29XC,9* .0`B`B2 d @A.*WLN*F@C26KL529/#3Z29`|**-(C(29XC* 29XVCXC8.*WL5/ |8POC2|XC296K8l*WD5/ @A.KVCX DZ/#67/(/#60.729@C3Z/8/#X *WVALN/#.7@C29XLN. +8l*W,9.0/-XC. )6*LN3Z.*-XCs-/#60*-,.7/#XC2_29D5.7DZL52:DZ29`B(C352W% r26y89*-(C.&LN/#67/ H (A3529DZ29XLN/ VCX *-67L535/oLN2/#352`{*@C.r@C298/#`B(/#XC.04A.067.&LNM 2 6*oD5V+* @A.0`B/#DZL53N*-,.0/-XC2 @C/nVALN/t*t').03Z/-L .0XC* I').73Nx< % _XC8[OYR29D5DZ/135.7s#V+*W35@+*:VAX 8l*-DZ/t(+*-3fd L5.08/#6*-3Z2 t.(/#60.729@C3Z.K8/#X *W6(C.7 D52.*-8982-% ?/-XCD5.7@C2935*-XC@C/ 602BLN35.0*-XCs-/#60*-,.7/#XC.U@A296 4/-35@C/a@A.AVCX1(/#67.02@C35/ -8[OC.*W`|/ I4CVC/#XC2W#TVC260602?8[OC2 D5/-XC/a6*_3Z29DcLN35.7,9.7/#XC2?@C.)LN3Z.*WXCs#/Wd 60*-,9.7/#XC.+@C2606I.7XL52935/:(/#67.02@C35/:D529XA,l*#23ZLN.789.*-s#s-.0VCXLN.% aDZD523Z#/E8[OC2_TVC29DcLN/E89/-XC892 LZd L5/1@C. I4/-XLNMACXC/#X DZ/#67/18/#`t4C.7X+*WLN/-35.7/ )`{*E*WXC8POA2`|2 LN35.789/ .0XA*L5LN.VCX+*E(C.7898/#6* @A2/#3Z`{*-,.0/-XC2 @C.VAX|(/#60.729@C3Z/ #8POC2 (CVC3Z2 XC/#X|XA2r*-67L52935.C60*a89/#`t4C.7X+*WLN/-35.0* #(CV LN3N* d Dc/#35`|*-3Z2uVCX+*LN35.0*-XCs-/#60*-,.7/#XC2 @+* I8l*L5LN.&W*A* I4CVC/-X+*A&% R.0XLN293Z/:8l*-(C.&LN/#67/ TVC.0XC@A. @A29@C.78l*WL5/|*W606*(C3Z29DZ29XLN*-,9.7/#XC2@C29676*t@C.7`|/-DZLN35*-,9.7/#XA2y@C296 DZ29s#VC2XL52. . . . $. . ).
(40). .
(41). 0 "!
(42). .
(43) $. . $. .. C.2 "!$#%&'() %B 5 7D() 5 %<&>PJ$(*(* 5 M +M% 7 89% 5 !%&' 5 5 ).&' "! #%&'(:= ! ! % .+ % %&'/ M ( %)O % 5 F# # C .&!G J$(*(* :6;,&8&>% !%&' 5 !% % % M 5F5 8 B/ 5 ? 5 ?*?).&'N"! #%&'(N +% 5 % (*%+,!-./# 8&>C(*% &> ?* ?5 / 7D?*()? % ? :
(44). n. . 6$. . * @C.0`B/#DcLN3N*W,9.7/#XC2|@C. TVC2DZLN/L529/#3Z29`|* (C35/n829@C2 (23E8l*-DZ. *-XA@+*-XC@C/*DcLNVC@C.0*-352 L5VAL5L52 672 LN35.0*-XCs#/-60*-,.7/#XC._(/-D5D5.74C.067._D5VA.(/#67.029@A35._89/#X *-6a(A.0 DZ29.a*W89892 yD5.@A.0`B/Wd DcLN3N*F8[OC2|VCX+* =89*WL5L5.7W*AYLN3Z.*-XAs#/#60*W,9.7/-XC21(CV 29DZD52352{L53N*-Dc/#35`|*WLN* .7XoVCXC* I4CVC/#XC*A (A3529DZ293cW*-XC@C/|6*t89/#`B(+*WL5.04C.76&.&LNMA% r2N 6 *-(C.&LN/#67/1G|(C352D529XLN/{6*1@C.7`|/#DcLN35*-,9.7/#XA2@C.bVCX .7`|(/-3ZL[*WXL52aL529/#3Z29`|*B(C3Z/Wd *WLN/B@+* r/n@As#D5/#Xnd u.7n.0X 2:(CVC4A4C60.78l*WLN*EXC296$ #H #H % *1@C.0`B/#DZL53N*-,.0/-XC2yD5. 4C*-DN*D5VC6760/;DZLNVA@C.0/t@A2967602r(C3Z/#(C35.72LNM;@C296(/-6*-3Z2 A @ . A V X (/#67.029@A35/;.0(293Z4/#60.78/ @C. P∗ P %K').@C.0`B/#DcLN3N*;(A35.0`|*;8[OC2y29D5DZ/ y.0D5/-`|2 LN3Z.089/;2y89/-`E4A.0X+*WL5/#35.7*-`129XL52r29TVC.7*-602X)d H3 L52B*-676R.7`1`|*Ws#.&XC2ts#*-VCD5DZ.*WX+* @C. VCX (/#67.02@C35/ .0(293Z4/#60.78/ % u.08/#35@A/ 8POC21(23 G(P ) `|*-(C(C*@C .
(45) :*WVCD5D;@C.VAX (/#60.729@C3Z/D5.K.0XLN2XC@C2{60* VCXC,9.7/#XC2{*FW*-67/#35.UDZ/-L5L5/#.0XAD5.02`B. @A. 2 8[OC2*-DZD5/n89.0*E*-@ /#s-XC.(CVCXLN/E@C26Y4/#35@A/E6R.0XCDZ.02`B2_@A2967602_XC/#3Z`{*W60.VCXC.7LN*-35.72y*W@ S .7(293Z(C.*-XA.C/#3Z.02XL[*LN.A@C.+D5VC(C(/-3ZLN/:(293U.06C(/-60.02@C35/A% r2689*-D5/:8POA2 D5.0*VCXB(/#67.029@A35/ P .7(293Z4/#60.789/@C. yVCX (/#67.029@A35/t672y89VA.*-8982aD5/#XC/E.0DZ/#`|2 LN3Z.08[OC2y*t(/#60.7s#/#XA. H3 G(P ) Dc293Z.089.%KyVC.7XC@C.YDZ. `|/#DcLN35*E8[OC2W*W602a.06. . . >.
(46) . @. AC>%@D E"!. . . @. &$. .
(47) n.. XLN3Z/n@CVC,.0/#XC2. + /() *(*(*/B% ( +*% 7 89?% 5 & 8+ + O. NOF F * ? ? &> O !GM%*!G2 ? +() O - ( . (*% ? O% &4% ( ( ! B% (*% ? " @ & O . 5 &8&> O*% 5 ( :
(48). . n n. . . g .
(49) . 0 5 %. %+*%+% 8J %C 5 &' ( M S2 g 5 N! 5 I! / (*% (: ;=&8&>% 0>O ? !%&' 5 M% (*%+,-! ./B% 5 3 %&>% .& O% % ? ? H ?. . M. . . B * (*(B% ( 3! *( % ( (*% + O O.%M 5 (. ?. . 0>O. ?. 2π. . ?. . *+ B + O O.%M 5 . 2π. ?OC.0*-`|/ *W`|`B.7D5DZ.04C.&67.s#67.UD5(+*W,9.`|2 LN35.789.U8[OC2{D5/n@C@C.7DZ*-XA/ 672BLN3Z2{(C3Z/#(C35.72LNM@C2606I2Pd XnVAXC89.0*WLN/C% *:@C.7`|/-DZLN35*-,9.7/-XC2u@A.TVC2DZL5/LN2/#352`{*35.78POA.029@A2 `B/#67L5.C35.7D5VC6&L[*WL5.+*-VCD5.760.0*W35.&.% e 293 (C3Z/ W*W3528[OC2672 L5352F89/-XC@C.0,.0/-XC. @C29676R29XVCXC8.*WL5/ D5/-XC/XA29892D5DN*W35.02 DZ. VCD5*-XC/o@C2967602 89/-XCD5.7@C2935*-,9.7/#XC.Ks#29/#`B2L535.78POC2|296729`B29XL[*-3Z. g`{*XC/#X 4+*-XC*-60. 8[OC2 89/-60602s*-XC/.@+*LN. s#2/#`|2 LN3Z.08.@C29676R.0`1`|*Ws#.&XC21s*WVCD5DZ.*-X+* 89/-XTVC296760.@C. % eg23;(C35/W*-3Z2|8[OC2 G(P ) P 29DZD52 D5/#XA/ D5V)|8.02XL5. D5.8/#DZL535VC.7D582 VCXC* `|*-(C(+* LN3N*F.(/-60.02@C35.89/#`B(+*L5LN.U@C. H3 `B/n@CVC67/_.0DZ/#`B2LN3Z.02 b2 6I.7XCD5.729`B2@C2s#67.)D5(+*-,.C`B2L535.789.)*-`B`|.7DZD5.04A.767. `|/n@CVA60/_.7D5/#`B2 d LN3Z.02 %:aVA.0XC@C.gDZ. (A35/ * 8POC2tLN*-672`{*W(C(+* tD5VC3Z.02LZLN.&W* `B/#DZL53N*-XA@C/ 8POA2 1*W(293ZLN* 8[OC.0VCD5*F2B8[OC2B60/ D5(C*-,9.7/F@Y=*W3535.&#/ B8/#XCXA29D5DZ/C% z VALZLN.UTVC2DZLN.K3Z.0DZVC67LN*WLN. 35.78POA.029@A/#XC/ 6R.0XLN3Z/n@CVC,9.7/#XA2B@C26060*F`B2L535.089*F@C. _*WVCD5@C/-3 D5VC6760/DZ(+*-,.0/ @C2.(/#67.02@C35.89/#`B(+*WLZLN. @C. _ 2 C @ . T C V 2 0 6 6 : * C @ . 0 . A ( 5 D [ 8 C O 7 . 5 L _ , Z D C V 0 6 6 I 7 . C X 5 D 7 . 2 B ` 2 C @ 29s-60.DZ(+*-,9.`|2 LN3Z.08.*-`B`B.7D5DZ.04C.76&.% S@ H3 .0XA/#67L5352t/n889/#3Z3521DZL5VC@C.0*-352E6* s#29/-`|2 LN35.0* @C. 89293cLN21D5VC88929D5D5.7/#XC.U8/#X#2935s-29XL5.U@C.(/d 60.729@C3Z.8/#`B(+*WL5L5.@C. %UqrXF3Z.0D5VA67L[*LN/t.0XLN23529DZDN*-XLN2(C35/W*WL5/1@+* u.7n.7X 2 /n@Cs#DZ/#X H3 2XC28929DZDN*-35.7/|*-6060*t@A.0`B/#DZL53N*-,.0/-XC2y@C26 L529/-3529`|*E(C352892@C29XLN2 .06D52s#VC2XLN2. 6. 68!. 8!. A. &. .
(50). . @. . 3> $.
(51). . n n 5 !%&' 5 " !$#%&'(H(*%+,!-./ % % (*%+ # .B%.+ B .&> = *( % O.&' O%&' !G& . 1.&8&>DJ$(*(*% 5 ? . .+ B O .&'>0,.&8&>% % % ? (*% O. : 296I *-(C.&LN/#67/ Q|(C352D529XLN/ 6*|@C.7`|/#DcLN35*-,9.7/#XA2;@C. VCX*-67L535/|L529/#3Z29`|* 8[OC2t8l*-35*WLZd.
(52). . LN235.7,9,l*E. (/-60.02@C35..7@C2l*W60.@A.. !. >. .
(53). H3. . . ∗ 8& 5 .&> 5 % (). M M )& P. . .9% (*%+, !%&' 5 A O ?*.? 5 G H3 ! O.&' !G O%&' ∗ 5 e ? w(e∗ ) ? (*% ?*? 5 % ! NO.&' !G O%&' ∗ 0 < w(e∗ ) < π e ? 5 &'8+ 82 % i =O.&' !3 O%&' ∗ ∗ ? e1 , e2 , . . . , e∗k n n. . . @ C@ E& C@ E"!F$. +(C3Z/ W*LN/B@C*. .&n.0X. u.7 #H. 5 ! %&' 5 M% M% 5 ).>& ∗ +? % 5 % P 5 . P∗. u.7 #]. / .9% : ;=&8&>%) %? &>% ,!P % % % (? .? & OF ?*% ? &4 O ?*? ? . . =J$(*( 5 . P∗. 0 .&8&>% . w(e∗1 ) + w(e∗2 ) + . . . + w(e∗k ) = 2π;. P M / .
(54) XLN3Z/n@CVC,.0/#XC2. }. e∗1 , e∗2 , . . . , e∗k. .&8&>%). n.0.. J %+ % (8M( 89%E( % 5 &'8+ 82 J$(*( 5 ∗ 0 P w(e∗1 ) + w(e∗2 ) + . . . + w(e∗k ) > 2π.. . . %&'/M .&> M).&' . % () + % 5 I %+ : ?. * (C35/W*1@C29676*tXC2892D5D5.&L[MB@C. TVC2DZL52;89/#XA@C.0,.0/#XA.YD5. 4+*WDN*1D5VXA/#,9.7/#XC.Y@C.Ys#29/#`B2 LN35.0* E .7(293Z4/#60.78l* *-4C4+*WDZL[*WXC,l*26029`B2XL[*W35.% yVC29676* @A29676* D5V)|8.02XC,l* DZVC606I.7@C2l* 8POA2FVCX (/-60.02@C35/.0@C29*-672 a.0667.0`B. LN2r@C.VCX+*EDZVC89829D5D5.7/#XC2/#(C(/-3ZLNVAX+*E@A.Y(/#67.02@C35.89/#`B(+*WLZLN. .89VA. *-XCs#/#67.K@C.729@C35*-60.LN29XA@C/#XC/* TVC296760.K@C296?(/#67.02@C35/ .7@C29*-602W% XC/#6&LN352 *-XC8[OC2 .7X TVC2DZL5/t8l*-DZ/D5.L535/W*:VCX|/#3cLN2 35.7D5VC6&L[*WL5/@C.3Z.0s#.7@C.&LNM 60*89/#`t4C.7X+*WL5/#35.0*a2 s#60.+*-XCs#/#67. @A.029@A3N*-67.@C2L5293Z`|.7X+*-XC/1*1`B29XC/1@C. .7D5/#`B2 LN35.72yVCXF(/#67.02@C35/E.7@C2l*W602y.0(293Z4/#60.78/C%. %.
(55) $. &.
(56) n.0.7.. XLN3Z/n@CVC,.0/#XC2.
(57) j ] _)orYvu?Y . W>Yv[. . Wpo l_j. _?] Wslrt Yvu_Xpj.
(58). m X TVC29DcLN/ (C35.7`|/ 8l*-(C.&LN/#67/o3Z.08[OC.*W`B/*-6789VCXA2 XC/#,.0/#XA. @C.rs#2/#`|2 LN3Z.* .0(2354/#67.78l* XA29892D5DN*W35.02B(23:60* 8/#`|(A3529XAD5.0/-XC21@C2.35.0DZVC67LN*WLN.g(C352D529XL[*WL5.UXC2.U89*-(C.&LN/#67. D52s#VC2XLN.% e3Z29D52XL5/_@C2 +XA.0,9.7/#XC.#2ULN2/#352`|.#D529XA,l*r.7XC8967VC@C293Z2U602@C.0`B/#DZL53N*-,.0/-XC.%beg293 VCXC* (+*-XA/Wd 35*-`B.08l*;*W(C(C35/W/#XC@C.&L[*:D5V TVC29DcLN.LN2`|. n2y(23 672_@C.7`B/#DZLN35*-,.0/-XC.@C2689*-D5/ )35.0`|*-XC@A/ *W. L529DcLN. >?29XC2@C2LZLN. dfeg2L535/#XA.0/ R> e < 2 *WL58960. 2 r*L -G a% X +XC2:(C352D529XLN/{.06 L529/#3Z29`|*1@C. @C298/#`B(/#D5.7,9.0/-XC2@A. S(CDZL529.7X)dfeg2XCXC293 @+*B8VC.bO+*WXCXC/|(C3Z29DZ/{DZ(CVCXL5/|602 3Z.0829358[OC28[OC2:.76067VADZLN3Z/E.0X TVC2DZL5/{60*#/-35/E@C.YLN2D5.%. . . &. E"! @ C@ E/!
(59) .
(60) . . X LN3Z/n@CVC89/ .0X TVC29DcL[* D52,9.0/-XC2t67/ (A3529DZ29XL[*-XA@C/#XC2tW*W35.g`B/Wd spazio iperbolico H3 @A296067. .0DZ/#`|2 LN3Z.08.%mSUDZ(/#XCs#/602 *-35.72F@C2 +XA.0,.0/#XC. 2FLN29/-3529`B.uD5/-60/oXC26 8l*-DZ/@C29676* @A.0`B29XCDZ.0/#XC2 H 235`B/;352DZLN*-XC@C/8POA2_s#67.+DZLN2D5D5.35.7D5VC6&L[*WL5.C*-60s-/#XC/ XC268l*-DZ/s#29XC23N*d % u.089/-35@C/E8[OC2(293 D5(+*-,.0/1@A. .0X -. / uD . DZ. .7XLN2XC@C2 @C/-L[*LN/ 672a(23 n≥2 R3,1 R4 @A296060*/#35`|*t4C.760.7XC29*-352yDZ.0`B`|2 LN3Z.78l*.
(61). @. 4 0 0. . hx, yi = x1 y1 + x2 y2 + x3 y3 − x4 y4 .. 2 3 . zg*-672 /#35`|* 4C.760.7XC29*-352 D5.0`B`B2LN3Z.78l*?XC/#X@C2 +XA.0D582KVCX+* XC/#35`|* (/#.08[O XC/#X @C2 +XA.7L[* (/-D5.7L5.7W*)%U').* 3 6I.7XCD5.729`B2y@A29. (CVCXLN.. {x ∈ R3,1 : hx, xi = 1, x4 > 0}.. F.
(62) 2 . . 2 D5.U@C2 +XC.0DZ892{*-X+*W60/#s#*-`B29XLN2E89/-`|21D5/-LZLN/#.7XCD5.729`B21@A. % ').#2@C2|8POA2 2 B6* R2,1 3 ;6*B8/#`|(/-XC29XLN28/#XCXA29D5D5* @C29676* *W60@+*1D5VC(293Z.0/#3Z2@A.gVAX .0(2354/#67/#.7@C2-%ueg/#.78PO (A352 d .0`B`|*-s-.7XA2r@C.VCX+*VAXC,9.7/#XC2 .0X{VCX W*-67/#352r352s#/#60*-352 )29DZDN* _VCX+*EH d W*-3Z.02 L[M C∞ @A. 29352XC,9.0*-672 )L[*W602a8[OC260/ED5(+*-,.0/EL[*-XAs#29XLN2XC2.bDZVC/#. (CVCXLN. @C*WLN/1@+*. . . . . Tx ( 3 ) = {y ∈ R3,1 : hx, yi = 0} = x⊥ .. .
(63) <. *W(C.7L5/#60/ $#%
(64) 2/#`B2LN3Z.*.0(2354/#67.089*.
(65) 2. . . eg/#.78PO ZD . (CV (23589. #235. +8l*-3Z2 8POA2 .0X TVC2DZL5/o89*-D5/DZV x ∈ 3 hx, xi = −1 6*;/-35`|*;4C.067.7XC2l*W352r@C. 3,1 @C2 CXC.0DZ892aVCX (C35/n@A/-L5L5/EDZ8l*-60*-3Z2y8[OC2y*-35.0*.0X `B/n@C/ x⊥ R 60.7D58.0/E*-6W*-3Z.*-3Z2a@C. .0X 3 %. x. . 5 (*% *( % 0 & .2 + 3 5 % .2 &8& ? I3 J$.+ O.&' 5 % !- = O 5 & & + /() 5 %2 5 .8& & J % + # 8&' ).M : ? 5 . 5 5 ?3,1 ? R j. . . '). (AV B@C.0`B/#DcLN3N*W352y8[OC2:DZ2. x, y ∈ I3.
(66) $. dI3 (x, y) = arcosh(−hx, yi). JK*-672a(/#.Y.06D529s-VC29XLN2LN29/-3529`|*.
(67). 7i. n n. . 5 .9% 5 . &>+ B%. 5 =&. . O . . ds. 5 . &8&> (*% % 5 . B 5 4 R. I3 . . ds = (dx21 + dx22 + dx23 − dx24 )1/2 .. C X /#6&LN3Z2:60*1s-29/n@C2 LN.089*B8[OC2;(+*W3ZLN2@+*-6b(AVCXL5/ 89/#XF#260/n89.&L[M x ∈ I3 y ∈ Tx (I3 ) \ {0} O+*1DZVC(C(/#3cLN/. 4. 3 @. 8!. I3 ∩ Spanhx, yi.. 2XLN3Z2 .u(C.0*-XC. .0(293Z4/#60.78. 89.7/ D5/-LZLN/W*-3Z.02LNM 4C.7@C.0`B2XCD5.7/#X+*W67. @C. 3 s-29/n@C2 LN.78l*d I `B29XL5218POC.7VCD52 aD5/-XC/.7XL52935DZ29,.0/#XC. @C. 3 8/#XoD5/WL5LN/-D5(+*-,.#2 L5LN/#3Z.*W60. @C.7`|2XCD5.7/#XC21H I @C. % :VAX+*EW*-3Z.02 L[M u.02`{*-XAXC.*WX+*89/#`B(C672L[*)% R3,1 I3 e *WD5D5/ /-3N**-@ VCX *-6&LN35/ `B/n@C26067/ @A296067/ D5(+*W,9.0/.0(2354/#67.08/C%'n.* j 3 6* (+*-6060* VCXC.&L[*-3Z.*t*-(293cL[*E@C. 3 C89/#XF60*E@C.7DZLN*-XC,l*. . R. $. cosh d 3 (x, y) = 1 +. . A. 2|x − y|2 . (1 − |x|2 )(1 − |y|2 ). C X @C.78POA293 2 89/#X 60* DZV+* j 3 @C/-LN*WLN/@C.?TVC29DcL[*`|2 LN35.78l* 89/-X .76?DZ.0`t4/#67/ D3 d D3 @C.7DZL[*WXC,l*A% yVC2DZL[* `B2L535.089* {.7XC@C/-LZL[*FD5V @+*-606I.&X#235DN*F@C29676* (C35/#.729,.0/#XA2|DcLN2 d D3 352/#s#35* +8l*@+*-6 =(/#67/ D5VA@Y @C/ #2{.0@A29XL5. +8/ 8/#X (0, 0, 0, −1) π : D3 → I3 R3 U % F X T C V 2 Z D N L | / B ` n / C @ / A 5 D Y . # 2 C @ ; 2 * C X [ 8 C O : 2 [ 8 C O 2 3 4. . . R × {0} ⊂ R.
(68). n n. 7}. D3. . . .+ . ds =. . . . *( % +/() 5 .2 5 . 2(dx21 + dx22 + dx23 + dx24 )1/2 . 1 − |x|2. . 2as#2/n@C2L5.08[OC2a@C. 3 D5/#XA/1602y.7XL52935DZ29,.0/#XC.@A.Y352 L5L52a(23 6R/#35.7s#.&XC2_@C. 3 8/#X 3 A2 D R D 602a.0XLN293ZD52,9.0/-XC. @C.b*-358[OC.b@A.b829358[OC.7/|/#3cLN/#s-/#X+*-67.Y* 89/-X %rXC8[OC2 S2 = ∂D3 D3 D3 s#2/n@C2L5.08l*W`|2XL52;89/#`B(C602 LN/ .7XC/#6&LN352. (C.0*-XC.b.0(293Z4/#60.78.b@C. 5 D # / C X { / { / 0 . X 5 L 9 2 Z 3 5 D 9 2 , .0/-XC. D3 @C.(C.0*-XC. (2936R/#35.7s#.&XC2t@C. 3 89/-X 3 /#(C(CVA352B.7XL52935DZ29,.0/#XC. @C.DZ2352B/#3cLN/#s#/-X+*-67. *. . R. D.
(69) $-%7$;')(+*-,.0/1.7(29354/-60.789/. . 6. H. - . 8 /#X %qrX+*(C35/-(C35.72LNM.7`|(/#3cL[*WXLN2 @C. 3 y8[OC2ys#67.*-XCs-/#60.`|.7D5VC35*WLN.35.7D5(2LZLN/ D3 D *W606*yDZV+*;`B2L535.78l*aD5/#XC/;.7@C29XLN.789.*TnVA296067.+29VA8967.0@C2. DZ.@C.7892 *-XC8[OC2r8[OC2 VCX|`|/n@A296760/ 8/#XA/#3Z`|2@C296760/BD5(C*-,9.7/{.7(293Z4/#60.789/A%?fXA/#67L5352:.7X # / s C X b . Z D 9 2 5 3 | * 0 . ( 2 5 3 4 # / 7 6 0 . 89* *-XA8POA2 D3 VAX+*DZ23N*2VC8967.0@C29* (293 89/#XmVAXm8929XLN3Z/ 29@mVCXm3N*Ws#s#.0/ @C.ĥZD5/ _DZ/#60/o602Dc293Z2 .7(293Z4/#60.78[OC2829XLN3N*LN2 XA29606I/-35.7s#.&XC2KO+*-XAXC/y892XLN3Z/a8/#.0XA89.0@A29XLN2?8/#XtTnVA296067/_2VC8967.0@C2/C% yVC2DZL5/a`B/n@C296767/ n.729XC2 *-XA8POA2 8[OC.*W`{*WL5/r`B/n@C296767/r@A296060* (+*-676*u89/-XA/#3Z`|2/_`|/n@A296067/ @A.beg/#.7XC8l*-3 -% ?/#XCDZ.0@C235/B/-3N*EVAX*-67L535/t`|/n@C26067/t@C26067/ED5(C*-,9.7/1.0(2354/#67.08/C% @C29XLN. +89/ 3 8/#X R 3 60* (+*-6060* VCXC.7LN*-35.0* *-(293cL[*@C. 3 4 D5.0* 3 % *`|*-(C(+* 3N*-@C.0*-672 R × {1} ⊂ R R 3 VCX+*E@C.7DZL[*-XA,l*E2VAX+*1DcLN35V)L5LNVC35* 3 VAXF/#`B29/#`B/#3 +D5`B/t2.7XC@CVC82D5V p: →I @A. *-35.72LNM 3Z.029`|*-XCXA.*WX+*A%: XC@C.789/ %1'n. 3 89/-XL[*W602tDZL535VALZLNVC35* 8/#X .76 D5.7`E4/-60/ K3 @A.0`B/#DZL53N*t.76. S2.
(70) . 2.
(71). . n. . . . . . . . . 5 5 . 5 %/ p ? ? K3. 5 5 . 1−x·y p dK3 (x, y) = p . 1 − |x|2 1 − |y|2. . I *-D5(2 L5L5/ (C.7.7XL5293Z29D5D5*-XL52E@C. D5/#XA/ 672D5VC2ts#29/n@C2 LN.78POC2W%:SUDZD5213Z.0DZVC67LN*-XC/{@+*-6 d K3 6I.7XL52935DZ29,.0/#XA2u@A.+352LZLN2u@C. 3 89/-X )*-X+*W60/#s*W`B29XLN2 (293K.C(C.*-XA.C.0(293Z4/#60.78.% SDZD5/ R K3 (2358. y3Z.0D5VA67L[* (+*-3cLN.789/#60*-3Z`B29XLN2KVALN.7602KTnVC*-XC@C/aDZ.ADcLNVC@C.0*-XC/_(C35/#4A6029`B.@C.)89/#X#29DZD5.7LNM 2.7XC89.7@C2XC,l*A% r*WLNVC35*-60`B2XLN2a*-XC8[OC2 3 s-29/n@C2 LN.089*-`B29XLN2a89/#`B(C672L[*)%. . . . K. . gb 7 .+ !- % "!$#%&'(*% 3 A ? +( 3 0 3 0 3 !3 %,"! #%&'(*% 2 .H & I D K H 5 &8&> &>%*% % B%.L# 5 8+ % .&' (*% O* % 5 ?*? "!$#%&'() ? 1 %)O &>%*% O*% 5 -()? F: H. j . . 6. .
(72) 2. . ( ( % 5 O.&' !- % *0I? 5 , % %? +(?*0 ().+ ?*? 9(? *2 F ?. . . S DZ.0DZL5/#XC/:*WXC8POA2 *-6&LN35.n`|/n@C26067.n@C. #LN35*a8VC.C.06)`|/n@A296760/_@C26+DZ29`B.0DZ(+*-,9.7/aDZVC(293Z.0/#3Z2 H3 LN3N* . (C.0VADN*WL5. Y`|* (/#.78PO EXC/-XXC21*n3 4C.7D5/#s-XC/ XC2. 8l*-(A.7LN/-60. D5VC8892D5D5.7n.XC/#X n.b*-8892XCXC293 C% ')/#XC/o*-XA8POA2XA/-LN. L5VAL5L5. . s#35VA(C(C. @C. .0DZ/#`|2 LN3Z.02 @C. XC2. W*W35. `B/n@C296760. U`|* H3 XA/#Xo`B. @C.067VCXCs#/ DZVTVC2DZL52{(/-.08[O 1XC/#X VCD523 TVC2DZLN2|XC/#,.0/-XC.XA296UDZ29s#VA.7LN/A % yDcd DZ293c#/BD5/#67/E8POA2 +@C2 L5L5/ .06s#35VC(A(/1@C2967602y.7D5/#`B2 LN35.72_@C. C2D5D5/|*Ws#.0DZ892a.7X Isom(H3 ) H3 `B/n@C/FLN3N*WXCD5.&LN.7-/D5V % XA/#67L5352|(/#.78PO {8l*WXC/#XC.78l*-`B29XLN2|/#3Z.02XLN*WLN/89/-`|2 H3 D3 DZ/-L5L5/#.0XAD5.02`|2@C.. ( # / Z D 5 D F / 0 . X N L Z 3 n / C @ C V 5 3 Z 3 E 2 A V + X * # / 5 3 .729XLN*-,9.7/#XC2D5V 2E602t89/-3535.7D5(/#Xnd R3 H3 @A29XL5..0D5/-`|2 LN3Z.02 8POC2r89/-XCD523ZW*WXC/t6R/#35.729XL[*-,.0/-XC2 )*-XA8POI2D5D52a*Ws#29XLN..0X Isom+ (H3 ) `B/n@C/tLN3N*WXCD5.&LN.7#/EDZV % H3 _X+*W60/#s#*-`B29XL52 *-6 89*-D5/ 2VC8967.0@C2/ U/#s#XC. (A.*-XC/.0(2354/#67.789/ @C.7n.7@C2 .7X @CVC2 H3 8/#`B(/#XC29XLN.89/#XAXC29DZD52 @C2LZLN2 D529`B.0DZ(+*-,.?.0(2354/#67.789.%').?(/#DZD5/#XA/(/#.@C2 +XA.0352 .7X .r8/#XC82LZLN._@C. D52s#`|2XL5/ u@A.r89/#X#29DZD5.7LNM u@C.r(/#67.02@C35/o8/#`B2 .7XLN235D52,9.7/#XC2 @A. H3 DZ29`B.0DZ(+*-,9. C@A.Y*-88922aLNVAL5L5/B.76Y3Z29DcLN/C%').Y@C.0`B/#DZL53N*t8[OC2aW*-602a.76.
(73). . n. (*% . ?*?. &. 2. . . . % "!$#%&'(*% 5 .
(74) . .
(75). !%&' 5 M %="!$#%&'(*% * ( %+,!-.9% %&>% P ? + 7 89% 5 3 ! 5 ? 3 : ? -? H . . & 8& !F!% .
(76) G. *W(C.7L5/#60/ $#%
(77) 2/#`B2LN3Z.*.0(2354/#67.089*. . . . .
(78) . . X TnVA29DZLN* D529,.0/#XA21.7XLN3Z/n@CVC8/ 60* XA/#,9.7/#XC2t@C. 4/#3Z@C/ @C26067/ DZ(+*-,.0/ .0(293Z4/#60.78/ XC/Wd ,9.7/#XC2 8POC2F(/-D5D5/o@C2 +XA.0352 I.0XLN35.7XCD528l*W`|2XLN2WD5V % 'n.* 6R.0XAD5.02`B2 @C. LNV)L5LN2 H3 B 602BDZ29`B.03Z2LZLN2Bs#29/n@A2LN.78[OC2|8POA.0VCDZ2{@C. C ( * N 3 W * | ` 2 N L 5 3 7 . 9 , 9 , W * N L 1 2 0 . o X 7 6 C V C X s#OA29,9,9*@YI*-358/ D5V H3 %K^_2 +XC.7D58/|VCX+*13526*W,9.0/-XC2a@A. 29TVC.&W*-6729XC,9* D5V XA296 `B/n@C/1D52s#VC2XL52. F. [0, ∞[. R. $. B. γ1 Rγ2 ⇐⇒ sup d(γ1 (t), γ2 (t)) < ∞. t≥0. F. ^ 2 +XC.0DZ89/ (/#. _ 2 % XLN35/n@CVA89/ (/#._D5V 3 3 VCX+* ∂H3 = B/R H = H3 ∪ ∂H3 H LN/-(/#60/#s-.0*1.0X`|/n@C/|8[OC2 D5.*|*-(293cLN/{29@ 293Z29@C.&LN. 60*|DZV+*|LN/-(/#60/#s-.0*A% _6760/BD58/#(/ H3 89/-XCD5.7@C293Z/ +D5.0* CD5.* .06YDZVC/|(AVCXL5/|.7XC.0,.*W672 A(C352XC@C/|(/-. p ∈ ∂H3 γ∈B x ∈ H3 V VCXYR.0XLN/#3ZXC/1@C. 0 XC26060*tDZ2935*1VCXC.7LN*-35.0*t@A. C(/#XCs#/B*-6760/-3N* 3 2. . γ (0). r≥0. Tx (H ). . 0. U (γ, V, r) = {γ1 (t)|γ1 ∈ B, γ1 (0) = x, γ1 (0) ∈ V, t > r}∪. . 0. {[γ1 ]R |γ1 ∈ B, γ1 (0) = x, γ1 (0) ∈ V }.. '). (AV B@C.0`B/#DcLN3N*W352y8[OC2*-602a.06D52s#VC2XLN2.
(79) . . + *%+%8J % 2 3 %+*%+%8J % j 3 : % &'M 3 S H )( % ().+ 9C%+*%+%8J % .&8& ( ) 5 3 (*%+ %9% + 5 3 D : D R F? ? -? 7i . n n. . ?OC.0*-`|23. ∂H3. %.
(80) .
(81) . |. (CVCXLN. @C29676*BDc2935* *-676R.7X +XA.7L5/ (CVCXLN.g.7@C29*-60. /{(CVCXL5. * 676R.7X CXC.&LN/A% ∂H3 _XA8POC2y(293 .76`B/n@C26067/;@C.6729.7X|W*-672_.0635.7D5VC6&L[*LN/;D5/#(C35*t2XnVCXC8.*LN/t(293 7. 6`B/n@C26067/ @C.beg/-.0XC89*-3 W%.
(82). 2. %+ 5 3 : ;,&8&>% 9 5 +% 5 % ? ? φ H φ ? (*% 5 %+*%+%87 +% 5 3 ( -0 !C8& B*%M+ 5 M% *01.&'+ % ! 9% 7 %.: 5 3 % 5F5 J$ %&'/M ? %)O D H %+/ %&'2 B% φ H ? 5 &8&> O ?*/? 3!G*%*!G ? ? ? ? F: - .&>( D! B% 7 % & .&N() % & (.+% & &'8/() φ ?*? H3 ? % - ! 7 H -L .+ B % & .&. : 3 φ ? ? ∂H3 () % & 5 (*% !- .)F#?*%? &'() H ? % - ! 7 I - .2.+ B 5 2 B% : 3 % "!?*? $#% &'()H ? ? ∂H3 ? φ () % & ( .+ .: ? n n. . 7i 7i. . .
(83) . . . . . . e /-D5D5/y/-3N*r.7XL535/n@CVC3Z352K.7689/#XA892 L5LN/y@A.n/#35/#Dc2935*r2/#35/#(C*-6060* 8929XLN35*WLN2.0X;VCXt(AVCXL5/ g .0@A2l*-672-%.
(84) $#%=HtJK*-3Z.02 L[ME.7(293Z4/#60.78[OC2. . gb 7i 7} (.+% %M% J ) 5 p ∈ ∂H3 ! 87D(E(*%+,!G&>0 (*% %B%)O% .&> ? /B ? : E%*% J 5 8 5 ?*? 3 5 (*% +,!% (% !-.&8p&> 5 ? (*% 9H B ,.&> (*%+,! % 3 5 ( p (* M% R : p . j. . . 2. Q. . . 6(* M% .& p &> O*% 5 ( B+ / %+*%+%8J C 5 B< ?* ? 5 / %*%*!-.&8& 5 . 2 6g`|/n@C26067/|@C. eg/#.7XC8l*W3 602;/#35/-DZ293Z2t.7X VCX (CVCXL5/ 9 D5/-XC/ Dc29352t2VC8967.0@C22 3 p ⊂D LN*-XCs#2XL5. .7XLN235X+*W`|2XL52 .0X * % ')V /#s-XC. /#35/-DZ2935* .7XC@CVC82 VCX+*`|2 LN35.78l* p S2 H3 3Z.02`{*-XAXC.*WX+*{2VC8967.0@C29* b*-XC8[OC21D5218/#`B21DZ/-L5L5/#D5(C*-,9.7/ `B2LN3Z.08/ YVCX+* /#35/-DZ2935* XC/#X 2352@C.7LN*160*E@C.7DZLN*-XC,l*E29VA8960.7@C2l * r26`B/n@C296760/?@CF . 6729.7Xa60* `|2 LN35.78l* XA/#X 89/-XA/#35`B2 89/#`B2D5.-#29@C2U/#D5DZ293Z*-XC@C/-XC2 6I2D5(C3Z29DZD5.0/-XC2 #LNVAL5L5.).)(A.*-XC./#3ZL5/#s#/#X+*W60.*-@tVCXE`B2@C29DZ.0`B/_(C.*WXC/ XC/-XE8/#XL529XC2XL52 Π 6I/-35.7s#.7XA2?D5.A.0XC8/#XL53N*-XC/ IVA/#35. 3 .0XEVAX1(CVCXL5/8[OC2 .06n#293cLN.082 @C26C89/#XA/aL[*-XAs#29XLN2 K 2DZL52935XC*-`|2XL52 * XC296C89293Z8[OC.0/:*-676R.7X +XA.&LN/_@C. % z *W602 (AVCXL5/n.02XC2 S2 = ∂H3 Π ∩ ∂H3 8[OC.0*-`|*WLN/E.76Y(/-6*-3Z2a@C26 (C.*-XA/ % Π yV+*-XC@C/XA296?D529s-VC.7L5/(+*-3Z6023 (/#67.02@C35.K@C. U(23E2DZLN2XCD5.7/#XC2 K89/-X 602{/).72 H3 s-29XC23N*-67.0,,l*-,.0/#XA.@A2968l*-DZ/ A(+*W356023 @A.(/#60.729@C3Z.89/#X{#293cLN8..0@C29*-60./.0X +XA.7LN.DZ2y@CVC2 DZ(C.0s-/#60. @A296 (/#60.729@C3Z/ D5. .0XA89/#XLN3N*WXC/oXC2606*Dc293N**-676R.7X CXC.&LN/ `|2XL5352(+*W356023 o@A. #23ZL5.089.Y.0(235.0X +XC.7L5./1.0(235.0@A2l*-67.DZ2:DZ. .0XC8/#XL53N*-XA/EVC/#35.Y@A296060*tDZ23N*B*-606R.7X +XA.7L5/C%.
(85). . . (.
(86) . . . . 3. . .
(87)
(88).
(89) . .
(90) . . XFTVC2DZL[*BD52,9.7/#XC2(C352D52XLN/{*W6089VAXC2XC/-,9.7/#XC.Y@C.Y4+*-D52D5VC67602_W*-3Z.02LNME.0(2354/#67.08[OC2W%. gb 7} .2 5 M F# 8&> :
(91) (*% ( M M .E"!$#%&'() 5 .B% (*%!G8+ B% !9% 5 0 0 M {Ui |i ∈ I} %)O +,!G&'(*? + B (*% % 0 5 O . J$.+ O.&' 5 + ?*? ! BU i5 ? M F# 8&' 2.?*&' ? ( 3 {φ : Ui → H |i ∈ I} 5 *%+%87 +% F: φ : Ui → φ(Ui ) ? 0 .&8&>% & M % 5 ( ( E(*%+ !%. : φi ◦ φ−1 ? (*% Ui ∩ U ? j 6= ∅ j 5 5 & M / % %+ ? 5 3 : ?*? ? ? φj (Ui ∩ Uj ) H. j . . . . . 5 % .. !F!. B . 'n2XC26060*t@A2 +XA.0,9.7/#XC2y(C352892@C29XLN2;*-6Y(/-DZLN/1@A.Y.0D5/-`|2 LN3Z.02 )89/#XCDZ.0@C235/1.7D5/#`B2L535.72_8POA2 8/#XCDZ293Z*-XC/~6R/#35.729XL[*-,.7/#XC2(C*-3567293 @C.a*-35.72L[M .7(293Z4/#60.78l* /#35.729XL[*WLN*A% yD5D523Z#/ 8[OC2 uD52 89/#XCDZ.0@C235/ 6RVCD5V+*W602s-29/#`B2L535.0* 8[OC2 n.729XC2 .7XC@C/-LZL[* D5VC676* Dc293N* @+*-676* S3 `B2L535.78l*29VA8960.7@C2l*t@A. C*n3 EVCX 89/-3535.7D5(/#XC@A29XLN2a89/#XA892LZLN/1@C.Y.7D5/#`B2L535.0* nTVC.0XC@A. R4 60*y^_2 CXC.0,.0/#XA2a$-%=HA%&$ DZ.C(CV s#2XC2935*-60.7,9,9*-352?2u*l#293Z2uTVC260672 8[OC2 D5.A8POA.*-`|*-XC/rW*-3Z.02 L[M 26067.7LZLN.&8[OC2-% XC/#6&LN352:D5. (CV @C2 +XC.7352;VCX+*|/-35`|*B@C.b#/#60VA`|2:D5V @C. VCX+*BW*-35.72LNM|.0(2354/#67.78l*A% /#67L5..7`|(/#3cL[*-XLN. 35.7D5VC6&L[*WL5. DZ/#XC/DZLN*WLN./-L5L529XVALN.D5VC67602E*-35.72LNM @C.#/#67VC`B2 +XC.&LN/ L53N*E89VC. .76Y(C.7 .0`B(/#3ZLN*-XL52 .06D52s#VC2XLN2LN2/#352`{*E@C/nVALN/|* /#DZL5 / %. 4. . F.
(92) . 4.
(93) . .
(94) ]. *W(C.7L5/#60/ $#%
(95) 2/#`B2LN3Z.*.0(2354/#67.089*. 5
(96) n n 7} 7i M1 !G&>B 5 .% & + 7 8B% 5 M 2 0 . &8&>%? ? φ : Π1 (M1 ) → Π1 (M2 ) ( & + !F!- . % % . "! #%&'( (*% ?9 %+ %87 +% 5 O. !F!GDJ % 5 9 ? %? +/ ? ? ? f M1. f∗ : Π1 (M1 ) → Π1 (M2 ). (*% ( 5 C(*% : φ. . . . *0L(%+ ?*5 ? .+ 2.&' 2.&> M2.
(97) . 6)L529/-3529`|*_(C3Z29829@C2XLN2u8.A@C.7892?8[OC2 *_`|2XC/y@C.)29TVC.&W*-6729XC,9*y/#`B/-LN/-(C.089* WDZV1VAX+*aHd W*-3Z.02 L[My.0(2354/#67.089*_@C.A#/#67VC`|2 +XC.7L5/a29D5.7DZL52uVCX+*aD5/-6*yDZL5VAL5L5VC3N*a.0(2354/#67.089* *y`|2XC/ @C..0D5/-`|2 LN3Z.02uX+*WL5VC3N*-67`|2XL52 %yVC2DZL5/tL529/#3Z29`|*:W*-672rD5/-60/;(23W*W35.02 L[M;.7(293Z4/#60.78[OC2 @C. @A.0`B29XCDZ.0/#XA2*-67`|2XC/1H XC26b89*-D5/B4C.7@C.0`B2XCD5.7/#X+*W672 a*W60D5/A% 6?D529s-VC29XLN2Fz 2/#352`{* $-%=HA%IH /#35XC.7D582 VCX+*@A29D5835.7,9.0/-XC2 @C. 8/#`B2 *WLZL[* VCX+* HdW*-35.72LNMF.7(29354/-60.78l* @A.U#/#60VA`|2 +XA.7LN/A%FSDZD5/ @C.082{*-(C(A35/#DZD5.0`|*WL5.7W*W`B29XLN218POA2 89/-DZLN.&LNVC.&L[*t@C*1VCXC*1(+*-3cLN2 =67.0`B. L[*L[*))2@+*1*-6789VCXC.(29,9,.%UK(29,9,.b@C26YLN.7(/1@C2D5835.&L5LN. .0XtL[*-672 L529/#3Z29`|*aD5.+8[OC.0*-`|*-XC/a8VCD5(C.7@C. OC*-XCXC/-/#60VC`B2 +XC.7L5/2u8/#`B2uDZ.C#29@A2 @+*-6060* `B2LN3Z.089* +60*167/#35/1D52,9.0/-XC2:L53N*-Dc#293ZDN*-672;O+*BVAX+*BD5VC(23 +8.02:LN2XC@C2XLN2*|xA%?^_2LZLN/ T2 .06LN/-35/14C.7@C.0`B29XAD5.0/-X+*-6&2y2 2 6*tD5V+*1`|2 LN3Z.08l*tDcL[*-XC@C*-35@ +DZ. O+*.
(98) $. !. . .
(99). . 6. & +,7 89%.: ;=&8&>% % 2. C(*%+,!-.2 .& 2 O B ? 7} 7}. n n. .
(100) $. de.
(101). . .2 "! #%&'() % 2 .0C(*%+,!3&42 5 .% .2L"!$#%&'() 9 2.&> ( ? ? M 0 & ⊂ M M0 % 5 +M% 7 8 9% 5 F! %+( M \M0 ? . M . . . 5 %2.B% 5 &8& + () 5 .2 5 . T2 × [0, +∞[,. ds2(x,t) (v, l) = e−2t de2 (v) + l2 .. . .
(102) . . . . ')VC(A(/#XC.*W`|/B@C. *#2352;VCX+*B*-35.72L[MELN/#(/-60/#s#.&8l* @+*WLN*B.0@C2XL5. +89*-XC@C/{*B8/#(C(C.72 M `B29@C.0*-XL52.0DZ/#`|2 LN3Z.02 602;*-8892E@A29.gLN2L53N*-2@C35. .7@C2l*-67. @C. %;'). (CV T1 , T 2 , . . . , T n H3 @C.7`|/#DcLN35*-352a8[OC2;.0XFVCX+*1L535.*WXCs#/#60*W,9.7/-XC2a@C.bTVC29DcLN/|LN.7(/B@C2967602a*-35.72LNMB.7(293Z4/#60.78[OC2 @C.+#/#60VA`|2 +XC.&LN/:.06+XnVA`|235/;@C29s-60.+D5(C.7s#/#67.+8/#.0XC8.0@A2 89/-6XVC`|235/;@C2.LN2 LN3N*W29@C3Z.%').* .0XA/#67L5352 (A35.7*WL[* @A296067$ d D58[OC2602 LN35/A% a35*FXC26067/FDZ8POC2`|*89/-`E4A.0X+*WL5/#35.&/ @C26&d M∗ M 602E.7@C2XLN. +8l*W,9.0/-XC. @C. *-4C4C.0*-`B/ @C260672E.0DZ/#`B2LN3Z.02;LN3N* *-88921@C. L52LN35*-29@A35..7@C2l*-67. M TVC29DcLN21*-88921D5/-XC/ L535.*WXCs#/#67. .0@C29*-60.g2E/#s#XC. .7D5/#`B2 LN35.0*|LN35* @CVC2EL535.0*-XCs#/#6&.g.0@C29*-60.gDZ. 29DcLN2XC@C2.7X `B/n@C/VCXC.08/ *-@ VAX+*.0DZ/#`B2L535.* @A296 (C.0*-XC/.0(2354/#67.08/8[OC2 89/-XLN.729XC2 89.0*-D58VCX+*t@C.29D5DZ2-%K_XA89/#35*E/#s-XC..0DZ/#`B2L535.0*:LN3N*@CVC2a(C.0*-XC..0(2354/#67.08.D5.Y2DZL529XC@C2.0X `B/n@C/VAXC.08/ *-@VCXC*.0DZ/#`B2LN3Z.* @A. .7XoD W%Feg293Z89. s#67..0DZ/#`|/-3 +DZ`|. @C.U.0@A29XL5.&d H3 +89*-,9.7/#XC21D5.(/#DZD5/#XA/3529*-60.7,9,9*-352E8/#`B21.7D5/#`B2L535.022BTVC2DZLN/(293Z`|2 L5L52B@A.@C2 +XA.0352. . . . &. 2. . . .
(103) $#%RG|STV+*-,.0/#XA. @C. .7(29354/-60.789.&LNM. . ! 4. . . DZV VCXC*DZLN3ZVAL5L5VC3N*.7(293Z4/#60.78l* XC/-X 89/-`|(C672LN* % .(/-XCs#/.06(C35/-4C602`{*:@C.DN*d M∗ (2352t*|TV+*-60.b89/#XA@C.0,.0/#XA. TVC2DZLN* (CV {29D5DZ293Z2E29DcLN2DN* *-@ VCX+*|DZLN3ZVAL5L5VC3N*|.0(293Z4/#60.789* 8/#`B(C602 L[*;(23 %KyVC2DZLN/E(A35/#4C6729`|**-`B`B2L5L52rVCX+*D5/#67VC,9.7/#XC2r2 2LZLN.7*(/#.08[O M DcL[*WL5/;@A.0`B/#DZL53N*WL5/8[OC2 (CV :29DZD5293Z2_3Z.0D5/-67LN/yL535/ *-XC@C/:602 D5/#67VC,9.7/#XC.C@A.8293ZL52r2TV+*-,9.7/Wd XA.+*-67s#294C3Z.08[OC2?8POC2 /#35*a(A3529DZ29XLN/:XC26ALN29/-352`{*yDZ29s#VC2XL52 f$#%IGA%7$ P%yVA29DZL52u29TV+*-,.0/-XC. DZ.g8[OC.*-`|*-XC/B29TV+*-,.0/#XC. @C.g.7(293Z4/#60.789.&LNM12D5/-XC/ @C.&).7D52;.0X@CVC2s#35VA(C(C. 29TV+*-,.0/-XC. @A.89/#`B(+*WL5.04C.76&.&LNM 2@o29TV+*W,9.0/-XC.@C.89/-`|(A602L529,,l*A% yD5DZ293Z-/ 8[OC2 1(/#D5DZ.04C.7602E*-D5DZ2 d s-X+*-352 *W@ /-s#XC.LN2L53N*-2@C35/VCXC/D5(A.0s#/-60/ =(A352235.&LN/C ?.0XC/-67L5352{6R.0XLN235D52,9.7/#XC2 @C. VCX L52L53N*-2@C35/8/#X VCX+*/-35/#(C*-6060*892XL53N*WLN*.0X VAXC/@C2. DZVC/#.?#23ZL5.089.?.0@A2l*-67.89/-XC@C.7n.7D5. @C*-6067/:D5(C.7s#/#67/:(C352 2935.&LN/;@+M;60VC/-s#/*W@ VCX|LN3Z.*-XCs-/#67/:2VC8967.0@C2/@C2 LN235`B.0X+*WL5/*;`B29XC/ L[*-672;8[OC2 L[*W602:XnVC`B293Z/ @A.gD5.7`|.76&.&LNVA@C.7XC2@+*{VCX XVC`B293Z/ 8/#`B(C602D5D5/ z =(z) > 0 @A2L5L5/B.06`|/n@AVC60/E@A296YLN2 LN3N*W29@C3Z/B35.0DZ(2LZLN/B*-6067/tD5(C.7s#/#67/ED58296&LN/C% JK*-602a*-6067/#35*.06. . ( !. . . . 2%. 6 $ .
(104). $. . % 5 (*%+ %*!G 0 !G O%&' !GM J 8/ ? M M∗ e1 , e 2 , . . . , e n ? % 5 ..+ 9 ( ( % 5 % M& ./8 T1 , T 2 , . . . , T n ? z1 , z 2 , . . . , z n ? 5 5 5 +% &': 8& +M% ./( &8&>% (&>*% &8& / O%& % : ? k ;=&8&>% . n. . . F:. 5 0 5 "! 5 ∃ε(r) = ±1 %&>% 5 . 5 ./ (*%+ # .B% 5 &8&> 5 / 7D() % 5 .&8& *( &'2 5 O.&' !G O %&' ? E ! ? * J 8>0 2.&' ( & / ) "!$ #%&'() ∗ ? 9 5 G ? ? ? ? M ? M ? %&>% - % 5 H(*%+,!-# 8&'8 ? ? ∀r = 1, 2, . . . , n ? 0. ∀r, ν ∈ {1, 2, . . . , n} ∃θ1 (r, ν), θ2 (r, ν) ∈ N. . n Y. ν=1. :. . zνθ1 (r,ν) · (1 − zν )θ2 (r,ν) = ε(r).. 0. 0. ∀j ∈ {1, 2, . . . , k} ∀ν ∈ {1, 2, . . . , n} ∃λ1 (j, ν), λ2 (jν), µ1 (j, ν), 0 5 0 5 "! 5 / %&>% 5 . 5 . (*%+ # .B% µ2 (j, ν) ∈ N ∃δ(j) = ±1 ? . 5 &8&>= 5 / 7D() % 5 .&8& (*&'2 ? 9 E"!$ #%&'() ( % 5 H ? (*%M +,!G&>B . ? ? ∀j. . . δ(j). δ(j). = 1, 2, . . . , k. n Y. zνλ1 (j,ν) · (1 − zν )λ2 (j,ν) = 1. n Y. zνµ1 (j,ν) · (1 − zν )µ2 (j,ν) = 1.. ν=1. . 5 O.&' G ! O%&' !GM J 8P2.&'I(=& 5 ? ? % &>% ∗ 0 (*%+ !G&> ? M ? ?. ν=1.
(105) h. . *W(C.7L5/#60/ $#%
(106) 2/#`B2LN3Z.*.0(2354/#67.089*. .
(107) . . . . . . . r26060*:DZ29,.0/#XA2_(C3Z29892@C29XLN2yOC/(C3Z29D52XLN*WLN/t672r2TV+*-,.0/#XC.@A..0(293Z4/#60.78.&L[M 2TV+*-,9.7/#XC. 8[OC21@C2#2BDZ/n@C@C.7DZ*-3Z21VAX+* L535.*WXCs#/#60*W,9.7/-XC2.0X LN2L53N*-2@C35. .0@C29*-67. @C. VCX+* W*W35.02 L[M{LN/Wd (/#67/#s#.78l*1*WBXC8[O 2D5D5* *-`B`|2 L5LN*1VCXC*|DZL535VALZLNVC35*|.0(2354/#67.089* =X+*LNVC35*-602W7%?zgV)L5LN2;672 W*-3Z.02 L[M.7(29354/-60.78[OC2B@C.K#/#67VC`B2 +XA.7LN/XC/-L52{D5/-XC/ /-L5L529XVALN2{.7XTVC29DcLN/`B/n@C/C. % (293Z89. E.7XL529352D5D5*-XL52a8293589*-3Z2a@C.35.0DZ/#6犨r.06(C35/-4C602`{*:.0X-2935DZ/ A89.7/ _@+*WLN*VCX+**d 35.72LNM1.0(2354/#67.089*E@C. #/-60VC`B2 +XA.7LN/ :(/#D5DZ.04C.7602a@C298/#`B(/#3560*1.7XFVCXXnVC`B293Z/ +XC.&LN/ @C.)LN2 LN35*-29@C3Z.A.0@C29*-60.n.0Xt`B/n@C/y8[OC2 6*_DZV+*aDcLN35VALZLNVC35*a.7(293Z4/#60.78l*rDZ.C/WL5LN2XCs*yXC26C`B/n@C/ *-88929XAX+*WLN/BXC29676*tDZ29,9.7/#XC2(C3Z29892@C29XLN2
(108) 296u$ #h-hFS(CDZL529.7X2|eg2XCXC293;O+*-XAXC/@C.7`|/#DcLN3N*LN/ VCXo35.0DZVC67LN*WLN/ 8POA2|(293Z`|2 L5LN2 @C. *lW*-XA,l*-3Z2E@A. VCX(C3Z.0`B/{(+*WD5D5/ #293ZD5/ VCXC* 35.7D5(/#DcL[* * 235`|*WLN.&W*|*-6060*B@C/#`|*-XC@+* (C3Z29892@C29XLN2-% /135.7(/#3ZL5/ETnVA.b@C.YD529s-VC.7L5/BXA296060*/#35`|*t8[OC2:`B.Y.7XLN2352D5DN*)%. 2. . 1. ;. .
(109) . . . . . "!$#%&'() % (*%+,! .0 % 2.0 (*% +
(110) n n 7 M !G&>0 5 .%& +N7 8 B%.:D;=&8&>% ! %/B * 5 7D() 5 % ( %*!F!G*0N+ 5 B %+ *0 &> $J ((* 5 M ? +*A % 7 8 B% 5 ! % &' 5 1 5 ).&'H O*% 5 ( 5 : ? 3. 1. H. .
(111) . "!. e 293:60* @C.7`B/#DZLN*-35,.0/-XC2E35.7`{*WXC@C/ *-606=*W3ZL5.78/#67/ @C.USU(ADZLN2.0Xo2|eg29XAXC293 ISUeUh#h %| X g s#2XC2935*-602 TVC29DcL[* @C289/#`B(/#D5.7,9.7/#XC2 XA/#X VCXC.78l* XA296 6*l#/#35/D5VA@C@C292 L5L5/ S(CDcLN2.0X 2 eg29XAXC293t(C3Z/ W*W35/#XC/ 8POA2 .06UXnVA`|235/ @C.KL[*W60.U@C289/#`B(/#D5/-,9.7/#XC.K@C.0(2XC@C2 W* @+*VCX XnVA`|235/ +XC.&LN/ VCs#V+*W602t*W6gXnVC`B293Z/ @A29606728VCD5(A.0@C. `B29XA/ VAXC/ r@A. (+*-35*-`B2L535. 352l*W60. (/#DZ.7LN.&n.% ')VA89829D5D5.&W*-`B29XLN2 ?XC26r<Wx#x#x U . #/#DZOC. .x-x tOC*@C.0`B/#DcLN3N*LN/8[OC2 TVC29DcLN2:@A2989/-`|(/-D5.0,.0/#XA.DZ/#XC/1.7X XnVC`B293Z/ +XA.7LN/A% 6(C35/-4C602`{*D5VA89829D5D5.7#/B8[OC2DZ. 8923589*WLN/1@C.Y3Z.0D5/-67#2352 aDZLN*WLN/ETVC296760/E@A.LN3Z/ W*W352aVAX+*E@C298/#`B(/#D5.7,9.7/#XC2y.7X LN2L53N*-2@C35. .0@A2l*-67.s-29/n@C2 LN.789. n(+*W3ZLN2XC@C/t@+*VCX+*@C298/#`B(/#D5.7,9.0/-XC2r.0X{(/#60.729@C3Z..7@C2l*W60.s#2/n@C2L5.089.% _676R/#s#s-.L[*-672{(C35/-4C602`{* XC26060* DZV+* /#35`|*s#29XA293N*W602 .73535.7D5/#6 LN/ D524C429XC2 DZ.*-XC/ DZLN*WLN.LN35/W*WL5.U35.0DZVC67LN*WLN. (/#D5.&LN.&)..0X*W6089VAXC.U8l*-DZ.K(+*-3ZL5.08/#6*W35. 8[OC2{.7606&VCDZL535/FXC2.K@CVC2 8l*W(C.7L5/#60.D52s#VC29XLN. 2XC/#XFDZ.*-XC/1DcL[*WL5.YL535/ *WLN. *-XA89/#35*189/-XL535/n29DZ29`B(C.%. . . . 6. "!. .
(112) %0 . 3 %0 E/<! !. #
(113). .
(114) j ] _)orYvu?Y V. WsXpY\[ dcY\[. ] Y\^`_?a(_?Yvbe_ XZY\b. eb. ] Y\u_?WdclrY. . _bej\b orW. . . . . . ?/-`|2uD5. ).7DZL5/;XA2968l*W(C.7L5/#60/a(C3Z29892@C2XLN2 )/#s#XC.H d W*-3Z.02 L[Ma.7(29354/-60.78l*y/#35.729XL[*WLN*@A. #/-60VC`B2 +XC.&LN/F(CV 29DZD5293Z2{/-L5L529XnV)L[*F.0@C2XL5. +89*-XC@C/F.0X `B/n@C/ =89*-XC/#XA.089/Ab6721*W89892 @A. VCXFXnVC`B235/ CXC.7L5/1@C. (/-60.02@C35..7@C29*-60..7(293Z4/-60.789.`|2@C.*WXLN2y.0DZ/#`|2 LN3Z.02W% ^I*-67L535/ 8l*-XLN/ LNVALZLN2 672|*-35.72L[M.0(2354/#67.08[OC2|XC/WLN2 DZ.?/-LZLN29XAs#/#XC/ @+*WXC@C/ VCX+* L535.0*-XCs#/#60*W,9.7/-XC2y8[OC2:D5/n@C@A.0DZ*E602a29TV+*-,.0/#XA. @C. .0(293Z4/#60.78.&L[M)% ~(29358. 1DZL[*LN/BX+*WL5V)d 35*-602;8/#XCs#2 L5L5VC3N*-3Z2t8[OC2t/#s#XC. *-35.72LNM{.0(2354/#67.78l*BD5.g/-L5L529XCs*{.7X TVC2DZLN/ `|/n@C/A% * @A2989/-`|(/#DZ.0,.0/#XA2@C. S(CDcLN29.7X)dfe 29XCXC23a@+M{VCX+*{@C289/#`B(/#D5.7,9.7/#XC2;@C.gVCX+*|W*-3Z.02 L[M{.7X (/-60.02@C35..7@C29*-60..7(293Z4/#60.789. (23589. _DZ. 892358l*LN/_@C.LN3Z.*-XAs#/#60*W352UVAX+* W*-3Z.02 L[M D5VA@C@C.7n. d @A29XC@C/1.(/#60.729@C3Z.@A29676*;@C298/#`|(/-D5.0,.0/-XC2_@C.YS(CDZL529.0Xndfeg29XAXC293 /1*-60`B2XC/t@A.LN35/W*-3Z2 @A29.8/#XL535/n29DZ29`B(C.% r2D5D5VAXC/E@A.TVC2DZLN.35.0DZVC67LN*WLN. rDcL[*WL5/;(C35/W*WLN/A% X{TVC29DcLN/t2rXA296 (A35/#DZD5.0`B/;89*-(C.&LN/#67/:(C3Z29DZ29XL5/t@CVC2_3Z.0DZVC67LN*WLN.C(+*-35,.*-67. @CVC2r8l*WD5.(+*-3ZL5.08/#6*W35.C.0X|8VC.D5. (AV BD52`|(C3Z229DZL53N*-3Z352VCX+*EL535.*WXCs#/#60*W,9.7/-XC2-% 63Z.0DZVC67LN*WLN/ (C3Z.0XC8.0(+*-672 @C.TVC2DZL5/r8l*-(A.7LN/-60/ l29XVCXC8.*WL5/ TVC.@A.DZ29s#VC.&LN/ /WL5LN2XnVAL5/ @C* *W@+* 2 *-6% #] 8[OC2 XA296a8l*-DZ/ .7X 89VC.a6*W*-3Z.02LNM D5.* /WL5LN2XnVALN* .7@C29XLN. +8l*WXC@C/602F*-8982 @C. (/#67.02@C35.uD5/#67/ *TVC2967602@C29676 d 2D5.0`1/o(/#67.029@A35/ n−1 n 2 D5/#67/ TnVA29DZL9IVC6&LN.7`|/ *W4C4C.* *WVALN/#.7@C29XLN. +8l*-,.0/-XC. y*W6067/#3N* 6* I@C298/#`B(/#D5.7,9.7/#XC2- 2 2 L5L5.7W*W`|2XLN2a(/#D5DZ.04C.7602W%. :'. F. . . & ;. ',+%+ "!F %. . . . &. &. . . .2 "!$#%&'() (*%+,!G&>2 % (*%+ !-.2 5 M 3 .%& + 7 89%E( %/B 2 5 !%&' 5 H 5 ).&' 0 5 7D() 5 %&> J$(* (* (*%* !F!G :D !F!% OF %&'Mn (,( ( KJ$P(*1(,. . .5 , Pn ? ? Pi (i = 1, ..., n−1) 5 7D() (*% =J$(*( 5 01 5 . .&'+ B &> 8+ / J$((* 5 ? 5 7D().9D/ &>%M % (*%*!F!G :6;=P&8n&>%) ! M 5 *(*%+,!% B/ 5 ? Pn 5 ).&' % 5 O 5F5 8 5 5 % : M A ?*? Pi ?
(115). n. . / DZLN3ZVC`B29XLN/. i. . . 8[OC.*l#2E(293a60* @C.7`B/#DZLN35*-,.0/-XC2@C26z 2/#352`{*. <)%=x)%7$EDN*W3NM VCXC*. @C.0DZV)d.
(116) . $x. *-(C.&LN/#67/B<)%+^_289/-`|(/#DZ.0,.0/#XC.89/#XFVCXF(/#67.02@C35/E@C/-`|.7X+*-XLN2. &. 6. 2. s#V+*Ws#60.0*-XA,l*;(23 (/#67.02@C35. nXA296060*:/#35`|*;@C.VCX+*t3Z2960*-,9.7/#XC2 LN3N*.06XnVC`B293Z/E@A.#293ZL5.08. D5(A.0s#/#67.2a*-8892@C. VAX(/#67.02@C35/ )8[OC2:35.7D5VC6&L[*t.7XL529352D5D5*-XL52:@C. (23 D -%. .
(117) . . &. . &. ' .0* ) VAX (/#60.729@C3Z/ 2 2 P V = V (P ), E = E(P ), F = F (P ) Fm = Fm (P ) @C2XC/-LN.7XC/35.0DZ(2L5L5.7*-`|2XL52rs#60..0XCDZ.02`|.@C.#23ZLN.789. )DZ(C.0s-/#60. *-8892_2_*-8892 d s#/#X+*-67. m @C. *W6bDZ/#60.&LN/ED52 @C29XC/WL[*BVCX.0XCDZ.02`|2 +XC.&LN/ +8/#X .0XC@A.089/1.76 XnVA`|235/|@A29s#67. P X |X| 296729`B29XLN.Y@C. %. . X.
(118). n n. . i . &8& . %2 % 5 %*!G 0 - & O B 5 O O.&'. ? ? ? ? . |V |(|V | − 1) ≥ 8|F4 | +. X. m≥5. m(m − 1)|Fm | .. O O.&' . &8& M& % 1!G**(* 5 B .&> ? ? %&>% + B 8.&> 9 5 % 5 3!%&' 5 5 &8& 7 O : . ?. . . (*%+ # . B% . v. v. . $. .7s#VC3N*E<)%7$ K^rVC2:(/#67.029@A35.(+*W3ZLN.789/#60*-3Z.. . eg293u.06(C3Z/#D5.729s#VC/1@C26060*LN3N*L5L[*W,9.0/-XC2 V)LN.0672y.0XLN3Z/n@CVC353Z2a6*tD529s-VC29XLN2. 5 7 (*% i 7i !%&' O% % 0I8&O. 5 % 5 1J$(*( j JM01(*%+<8& +*% 5 & . 5 01 f & +? % 5 % gr(f O ) 9 f D(f ) ? s#3 ? s#3 (f ) = 3 0 2 ? s#3 (f ) = 4 D(f ) = m−1 ? (f ) = m ≥ 5 .
(119) 7 (*% %&'M & ()!-(82 5 JC(%+ ? . C(f ) = D(f ) gr(f ).. .
(120) <n%7$:qrX+*E@C.0DZVCs#V+*-s-60.0*-XA,l*t(23 .Y(/#67.029@A35.. . . $#$. 3. &. $. * (C35/W*t@C26zg2/#352`{*E<)%=x)%7$y89/-XCD5.7DZLN2yXC2689/#DcLN35VA.0352_@C2967602 =@C289/-`|(/#DZ.0,.0/#XC.89/-XC.&d 8[OC2W8[OC2@C2 +XA.03 {@C2 L5L[*Ws#60.0*WLN*-`129XL52:(C.0 *lW*-XLN. L53N*-889.0*WLN2;@C*{VCX #23ZLN.7892DZ89296&LN/ 2D5DZ2 :*-(C(C3Z/#D5DZ.0`|*WLN.&W*-`129XLN2 _DZ/#XC/ TVC260602@A2989/-`|(/-D5.0,.0/#XA.a8/#DZL5.7L5VC.7L52@+*-.a89/-XC. L53N*-889.0*WLN.A@+*VAX1#293ZL5.082 D5VC67602?*-8982u8POC2uXC/#XB67/a89/#XLN2XCs#/#XC/ LN35.0*-XCs#/-60*WL52 *-3Z4C.7L53N*d 3Z.*-`B29XLN2W%EyVC29DcLN2B@A298/#`|(/-D5.0,.0/#XA. .0XC@AVC89/#XA/ D5VC67602*-8982189/-XLN2XC29XLN..06g#23ZLN.7892 @C* 89VC.D5.KL53N*-889.*WXC/ .8/#XC. VAX+* D5VC@C@A.7n.0DZ.0/#XA2{.7XoLN35.0*-XCs#/-67.U/WL5LN2XnVALN* VCDN*WXC@C/ 602 @A.*-s#/-X+*-67.UVCD5829XLN. @+*L[*-672|#23ZL5.0892W%o'n.#29@A2 TnVA.0XC@C.8[OC2 U@C*WL[* 6R.0@A29XL5. +89*-,.0/-XC2 L53N*B@AVC2:*-8892 29@ D52 :L535.*WXCs#/#60*L[*tVCDN*WXC@C/{672:@A.*-s#/-X+*-67.L53N*-889.0*WLN2@+*BVCX f f0 f (A35/#(C3Z.0/y#23ZL5.0892 2uDZV 829358/:VCXYI*-67L53N*yDZ. *WL5LN*_LN3Z.*-XCs-/#60*-,.7/#XA2 .06)XnVC`B293Z/ f0 D(f ) @A29.g`|/n@C. .7X 89VC.g(/#D5DZ/ D5829s#67.02352VAX #293cLN.7892@+*{89VC. LN35*-898.*-3Z2;602;@C.*Ws#/#X+*-67. D5V f0 8[OC21(C3Z/n@CVC82B.7XC89/-`|(C*WLN.74C.76&.&LNMA%:_6760/ DcLN29DZD5/`B/n@C/ 35*-(C(C3Z29D52XLN*F.76 XnVC`B293Z/ C(f ) @A29.K`B/n@C..7Xo8VC. @+*L[*F6I.7@C29XLN. +8l*-,.0/-XC2tLN35* 2@ 29XLN3N*W`E421@+* LN35.0*-XCs#/-60*-3Z2 f f0 VADN*-XC@A/t672r@A.*-s#/-X+*-67.CVCD5829XLN.@+*;VCX{(C35/-(C35.7/:#23ZLN.7892 )D5.(/#D5DZ/#XC/2 2L5L5V+*-3Z2_DZ89296&LN2 @A. #293ZL5.08.8POC2Bs-29XC23N*-XA/.0XA89/#`B(+*WL5.74C.76&.&L[M)%1').* 8[OC2 @C.0(2XC@C/#XC/FDZ/#60/ D(f ) C(f ) @C*-6CXnVA`|235/@C.C60*WLN.)@C. (23U8VC.+672 DcLN2D5D52 @C2 +XC.0,.0/-XC.AD5.+(/-D5D5/-XC/:@+*-3Z2 (293UXVC`B2935. f XC*WLNVC35*-60.n2?(+*-3Z60293Z29`B/_D5(2D5D5/.0XC@A. 29352XL529`B29XLN2?@C26060* @C. #@C/ #2 capacit` a C(m) m @C29XA/-L[* VCXXnVC`B293Z/ X+*LNVC35*-602 Y/ @C29676* @A. VCX+* *-889.* @C. VCX m capacit` a C(f ) f (/-60.02@C35/ / VAX (/#67.0s#/-XC/ TV+*W602|D5*-3NM.06UDZ.0s#XA. +89*WLN/FDN*-35M 8[OC.0*-35/@+*-6U89/#XLN29DcLN/C% >?*-X+*-67`|2XL52B@C*-6060* @A2 +XA.0,9.7/#XC2BD52s#VC2|8POC2 D52 DZ2 C(m) = 0 m = 3 C(m) = 8 2 DZ2 % X CXC2{@C2 CXC.0DZ89/ 6* @C.KVAX+* m = 4 C(m) = m(m − 1) m≥5 capacit` a DZ29TVC2XC,l*|@C. .7XL52935. 89/#X +8/#`B260*EDZ/#`B`{*WL5/#35.7*. . . . &. 6. .
(121). . . . . <! $. . F. . (m1 , . . . , mr ). . . i. r X. C(mi ).. . i=1. . .
(122) m ≥3. . .
(123). B X LN235`B.0XC.C@C.8l*-(C*-89.&L[M6*@A.0D5VAs#V+*-s#67.0*-XC,9*a@C296zg2/#352`|*t<n%7$#%&$r(AV ;29D5DZ29352_DZ8935.&L5LN* 3Z.08/#35@+*WXC@C/18[OC2 +8/#`B2. C(4) = 8. |V |(|V | − 1) ≥ j. X. ! <n%7$. C(f ) .. f ∈F. k C b| g i eg/#XCs#/:(293KDZ29`B(C60.789.&L[M 2@ % p = |V | q = |E| r = |F | 'n.*-XC/E.0XC/-67LN3Z2 .Ys#3N*W@C.Y@C2967602_*-8982:@C. %Ug e /#D5DZ/{*-D5DZVC`B293528[OC2. m1 , . . . , m r. 2. P. r − 1 ≥ m1 ≥ . . . ≥ m r ≥ 3 .. ! <)%=<. P e /-.08[O g Cn.0DcLN/B8[OC2:/#s#XC. DZ(C.0s-/#60/1*-(A(+*-3ZL5.02XC2:*-@F29D5*WL5L[*W`|2XL52:@CVC2 q = 21 ri=1 mi *W89892 +(23u.06LN2/#352`{*E@C. SUVA60293 D5VC. (/#67.02@C35.DZ. O+* 1 p=2+ 2. r X i=1. mi. !. −r.. ! <)%IH.
(124) . $ <. *-(C.&LN/#67/B<)%+^_289/-`|(/#DZ.0,.0/#XC.89/#XFVCXF(/#67.02@C35/E@C/-`|.7X+*-XLN2. , !F. &$. . ^ .&).7@C/F60* C _ @ .7`|/-DZLN35*-,9.7/-XC2E@C296Uz 29/-3529`|* <n%7$#%&$ 8[OC2B(/#. B2TVC.7W*W602XLN2|*W606* C @ .7D5V)d s#V+*Ws#60.0*-XA,l* <)%&$ .0Xm@CVC2 (+*W3ZLN. (C35.7`{* 89/-XCD5.7@C293Z/ .06 8l*-DZ/ (/#.r.06 l 8 *WD5/ r ≥ 9 % 6 89*-D5/ 35.7D5/#6&LN/t@+*-6YD52s#VC29XLN2. 4≤r≤8. i 7} <n%< :. U). M& % . . r≥9. . 5 9 2.&> ( .& OF & - ?. . !. . (m1 , . . . , mr ) .&8&>% !D! 5 7 ? 89 % 5 . & & O .O &'. <)%IH r≥9 p (p − 1) >. . . . . $. r X. ). ! <)%IG. C(mi ). i=1. .0DZDN*WL5/ 2 CD5DN*L[* Pr 2D5.0DcLN/#XA/ D5/#67/VCX j okl Cb i 7} r ( i=1 mi ) X VA`|235/ +XC.&LN/ @A.uD52TVC29XC,92 @C. n .0XLN235. LN*-60. 8[OC2 r r − 1 ≥ m ≥ ... ≥ m ≥ 2|TnVA.0XC@C.KXC2{2D5.7DZLN2{VAX+* @C.K8l*-(+*W89.&L[M`|*-DZD5.0`|1* 8[OC.*W3N*-`B29XLNr 2 (m01 , . . . , m0r ) 3 D5V)|8.02XLN2 @C.7`|/-DZLN35*-352{6* <)%RG ;(231VAX+*LN*-602 DZ29TVC2XC,l* 8POC2 DZVC(C(/#XAs#/ +DZDN*WL[*)% _DZD5235.0DZ89/|8[OC2 CLN*-602y8POA2. &. <!. ∃k, 1 ≤ k ≤ r.
(125) . . . ! <)%Q. r − 1 = m01 = . . . = m0k−1 ≥ m0k > m0k+1 = . . . = m0r = 3..
(126). !. A X *WLZLN. D52*-606I.&XLN235XC/ @A.y29DZDN* LN*-602y8POA2 ∃(mj , mi ), r−2 ≥ m ≥ m ≥ 4 35.7`|(A.0*-,9,9*-XC@C/-6*8/#X~6*89/-(C(C.* /-L5L529XCs-/ *-XA89/#i35* @C/-(j/ *l#293 (mj − 1, mi + 1) 2#2XL5V+*-67`|2XLN2t3Z.0/#3Z@C.0XC*WLN/|s-60. VCX+* DZ29TVC2XC,l* 8[OC2EDZ/n@C@C.0Dc* 60* <)%=< `|*{8/#X ml VCX+*r89*-(+*W89.7LNM DZL5352LZL[*-`B29XLN2`|*-s#s-.0/-352.0X:n.73ZLN;@C26060*u352960*-,.0/#XC2U@C.#2935. +89*r@C.03Z2L5LN*.
(127) $. $. C(mj − 1) + C(mi + 1) > C(mj ) + C(mi ) .. y3N*tLN/#3ZX+*-XC@A/|*-676*@C.7`|/-DZLN35*-,9.7/-XC2y@C296 6729`B`{*(/#XAs#/ 0. &. r − 1 = m01 = . . . = mk−1 = s + 3. A !F. 2TVC.7XC@C. C(293u60*. . 0. mk = t + 3. <n%Q. eg/-D5D5/B(29358. 18l*-6789/-6*-3Z2. 0 < t ≤ s = r − 4.. p. 26*t8l*W(+*-89.&L[ME@C.. (m01 , . . . , m0r ). $. 89/#`B2aD52s#VC2. r. 1X 0 p = 2+ m −r 2 i=1 i. r X i=1. 1 = 2 + {(k − 1)r − 1) + (t + 3) + 3(r − k)} − r 2 1 (ks + t + 8) = 2. C(m0i ) = (k − 1)(s + 3)(s + 2) + C(m0k ) ≤ (k − 1)(s + 3)(s + 2) + (t + 3)(t + 2) ..
(128) <n%7$:qrX+*E@C.0DZVCs#V+*-s-60.0*-XA,l*t(23 .Y(/#67.029@A35.. $H. yVC.7XC@C.YDZ. O+*. 4 p(p − 1) −. r X. 0. C(mi ). i=1. !. ≥ (ks + t + 8)(ks + t + 6) − 4(k − 1)(s + 3)(s + 2) − 4(t + 3)(t + 2) 2 t 12 72 144 + 4t(s − t) + 24 + 8s − 9 − = ks + t − 2s − 3 − − 2 . s s s s. . y35*. . DZ29`B(C60.7892y-2935. +8l*W3528[OC2:TV+*-XC@A/. 8s − 9 −. s=r−4≥5. )$. DZ. O+*. 72 144 − 2 >0 s s. @C*189VC. DZ29s#VA2. p(p − 1) > 8[OC2(C35/W*1.06602`|`|*)%. r X. 0. C(mi ). i=1. '. *',+-+. /! ) !. . y35* 8/#XCD5.7@C235/o.06 8l*-DZ/ %mq DN*-XA@C/VAX~(C3Z/#s#35*-`B`{**-6 8l*W6089/-6*WL5/#352 *W@+* r < 9 2 * 6% -] ;OC*-XCXC/(C3Z/ W*LN/8[OC2 89.?D5/-XC/D5/#67/ DZ29TVC29XA,92F@C.?.0XLN235.8[OC2 12 DZ/n@C@C.7DZ*-XC/16* <)%=< ?260*E8/#XC@C.7,9.7/#XC2. . . !. p(p − 1) ≤. r X. C(mi ). i=1. &$. @ / #2 A @+*WL5/@+*-6060* <)%IH %o^_. TVC29DcLN2FDZ/#60/ 2 p (5, 5, 4, 4, 3, 3) (6, 5, 5, 5, 3, 3, 3) #235. +8l*WXC/B602a@CVA2:DZ29s#VC2XL5.b89/#XA@C.0,.0/#XC.XC28929DZDN*-3Z.02:(293u(/#67.02@C35.. 2. p ≥ m1 + m2 + m3 − 6. (/-.08[O /#s-XC.Y89/#(A(C.*E@C.*-8982:8/#XC@C.&).7@C2*-6Y(C.0. 2
(129). . 3p ≤. r X. &. @CVA2#23ZLN.789. C2. mi. i=1. (/-.08[O /#s#XA.u#23ZLN.7892 8/#XLN29XVALN/.0X~*-60`B29XA/ L5352F*-8892-% eg23{672@CVA2 D52TVC29XC,92 @C*WLN2:DZ/#(C35* 8[OC2:89/#3Z35.7D5(/#XC@C/-XC/|*-. @CVC2:(/#67.029@A35.Y@A.0D52s#X+*WL5. .0X .0s#VA3N*B<)%&$ CW*W602.06 DZ29s#XA/ @A.KVCs-V+*-s#67.*WXC,l* XC29676* <)%&$ a2BD5/#67/.0X TVC29DcLN/ 89*-D5/C%FyVC2DZLN/ 8/#`B(C602 L[* 6* @A.0`B/#DZL53N*-,.0/-XC2y@C26bz 2/#352`{*B<)%7$-%7$#%. !. . . 6 D52s#VC2XLN2:89/-35/#676*W35.&/t#23535MBVCD5*WLN/1XC29676*t@C.7`|/#DcLN35*-,9.7/#XA2y@C296 z 29/#3Z29`|*|<)%IxA%&$#%.
(130) . $lG. *-(C.&LN/#67/B<)%+^_289/-`|(/#DZ.0,.0/#XC.89/#XFVCXF(/#67.02@C35/E@C/-`|.7X+*-XLN2. . . i . !!AW . !%&' 5 M%.:H;,&8&>% B ./(* ? ? v . . X. f ∈F (P ), f 3v.
(131) . .&> (. ! <n%=]. D(f ) ≤ |V (P )| − 2. - .. . . eg23{.r@CVA2 (/#67.02@C35.u35*-(C(C3Z29DZ29XLN*WLN.r.0X +s#VC35* <)%&$ j okl Cb i 6R29XVCXC8.*WL5/ (CV r29D5DZ293Z2?89/-XLN3Z/#6060*WL5/ @C.03Z2L5LN*-`B29XLN2 .0X Cs#VC3N* K.0XA@C.089*WLN/ VCX:#293ZL5.082 89/-X 6*F(C35/-(C35.72L[MF35.78POC.729DcL[* P%F_D5DZVC`B/ 8POA2 XC/#X DZ.* *-6789VCXA/ @C29.@AVC2-%')2{(23 P *-DZD5VC3Z@C/B/#DZD52. !. |V (P )| − 1 ≤. ∀v ∈ V (P ). CD5. @C/)3Z294C42;*l#29352. X f 3v. |V (P )| (|V (P )| − 1) ≤ =. 4. D(f ). X X. D(f ). v∈V (P ) f 3v. X. C(f ). f ∈F (P ). *1TVC2DZLN/|8/#XL53N*-@C@A.082.06zg2/#352`|*|<)%&$#%&$#%. . . . .
(132) . . . . . . . . ' .0* ) VAX+*BHdW*-35.72LNMt/-L5L529XVAL[*1.7@C2XLN. +8l*WXC@C/B*E89/#(A(C.02a602y*W8982:@C.Y(/#60.729@A35.89/-X)d M #29DZD5.+.0@A2l*-67. %I?OA.*-`B/_*-8892 !-. @CVC2 *W89892 8[OC2 W*-XAXC/.0@A29XL5. +89*WLN2 P ,...,P 6RVCX+*18/#X6I*-6&1LN35*t(23 n/-L5L529XC2352:6*tW*-3Z.02 L[MA%^_29XA/-LN/|89/-X .06YD5/-LZLN/#.7XCD5.729`B2 F (i) (Pj ) @C. 89/-DZLN.&LNVC.&LN/ @+*-67602*-8982B@C. 6* 8VC.*-889.0* (+*W3ZLNXA293DZL[* .0X 8[OC2 F (Pj ) Pj F (Pi ) @C2XC/-L[*16I.7XCD5.729`B2_@C2967602y*W8982:@C. P% P XLN3Z/n@CVC89/ (A35.0`|*m.06t8/#XC892 L5L5/ i @C.1@A2989/-`|(/-D5.0,.0/#XA2 8/#XC.78l* @C.EVCX (/-60.02@C35/ 89/-X#2D5D5/. !. $. . !%&' 5 M% (*% . P :
(133) 8 5 5 % +% 5 % .& C&>HJ$ (*(* ?*5 ? P O%&'P, (*% / 5 %<8& (*% % 5 ( ( % v ? &'2 5 8 ? %C 9) 5 2 (.? + . ? (*% () 5 P ? 5 :? O%& % C P v j. i 7i . . . . % 5 P . . . . . (* 5 ( % (*% B O% % / O %&'>0@ 8&! %&'v 5 M % 5 *? (*%+,!% % (*% ()% ? . v ∈ V (P ) . .0`B(/#3ZLN*-XL52t/#DZD523ZW*-3Z2B8POA2B(C3Z29XC@A29XC@C/ *W354C.&LN3N*W35.72t@A298/#`|(/-D5.0,.0/#XA. 89/#XA.08[OC21@C. XC/-XoXC29829D5D5*-35.0*-`|2XL52|XA2B35.0DZVC67LN* VCX+* @C298/#`|(/-D5.0,.0/-XC21.0XLN2L53N*-2@C35. P1 , . . . , P n .0@A2l*-67.u@C. (/-.08[O 672FL535.*WXCs#/#60*W,9.7/-XC. .0XC@A/-L5L52D5V~*-8892 (+*-3cLNXC23{(/#DZD5/#XC/ XC/#X M 89/-.0XC8.0@C2352 TnVC*-XC@C/ 29DZD52F#2XCs#/#XA/o.7@C29XLN. C8l*WL52-% .7XC/#67L5352{*W89.7602 /#DZD523ZW*-3Z28[OC2. 2. .
(134) <n%<E^_.0`B/#DcLN3N*W,9.0/-XC2y@C26bz 2/#352`{*B<)%=x)%7$. $ Q. VAX+*;@C289/#`B(/#DZ.0,.0/#XC2u89/-XC.089*:@+*:VCX{8923ZL5/;#293cLN.082r@C.VCX{(/#67.02@C35/.0XC@AVC892 D5VC64/#3fd @A/ VCX+*BLN35.0*-XCs-/#60*-,.7/#XC2@C2967602*-8892;L[*-672:8POC2;LNV)L5LN2;602:*W898928/#XL529XC2XL5. .06 #23ZLN.7892 DZ/#XC/EL535.*WXCs#/#60*LN2r@+*-60672_@C.0*-s#/#XC*-67.VAD5892XL5.b@C*ETVC29DcLN/C%K^_.Y(C. A/#s#XC.LN3Z.*WXCs#/#60*W,9.7/d XA2|@C296U4/#35@A/ @A.KTVC2DZL5/ LN.7(/ 89.7/ B(23;89VA.K29DZ.0DcLN2|VCX #293ZL5.082BL[*W60218[OC2BLNVALZLN2B602 *W8989218[OC2B60/ 89/#XLN2XCs#/#XC/FD5/-XC/ LN35.0*-XCs#/-60*WL52t@+*-67602tD5VA2B@C.*Ws#/#X+*-67. YDZ.U2DZL529XC@C2{*W@ VAX+*B@C289/#`B(/#D5.7,9.7/#XC28/#XC.78l* *WXC8POA2;DZ2;XC/-XVCXC.78l* @C26b(/#60.729@C3Z/C%Keg293Z89. TV+*-Xnd @A/oD5.u* 3Z/#XL[*-XC/TVC29DcLN.0/-XC.u@C. 29DZ.0DZL529XC,9* DZ.u(C V (+*-3560*-352 .7XC@C. 23529XLN2`|2XLN2 @A. L535.0*-XCs#/#60*W,9.7/-XC.b8/#XC.78POA2tDZ29XC,9* DZ(289. +8l*W352tD52t8. DZ.g35.7235.7D5892*-6 4/#35@A/ / *-606R.7XL5293Z/ (/-60.02@C35/A%. ;. . . !.
(135). . !F. . k C b i JU/#s#67.*W`B/8293Z8l*-3Z2@A2960672LN3Z.*-XCs-/#60*-,.7/#XA. 89/-XC.08[OC2 89/-`|(+*LN.04A.06&.K@C26 4/#3Z@C/@C. 35.0DZ(2LZLN.7*-`B29XL52 @C*-6#293cLN.7892 T1 , . . . , T n P1 , . . . , P n %eg/#.08[O _/#s-XC.*-889.0*;@C. )D5..0@C2XLN. +89*t*W@ VCX+*2a*-@ v1 , . . . , v n P i = 1, . . . , n − 1 VAX+* D5/#60*|*-889.*{@A. Y8. t(/#D5DZ.04Ci .7602;D52t2EDZ/#60/{D52E2D5D52ED5/n@C@A.0DZ*WXC/ 672tDZ29s#VA29XLN. Pn (A35/#(C3Z.02 L[M j. .
(136) $. 1. 8[OC2 $-%u/#s#XC.:*-898.*~@C. Pi @C.*Ws#/#X+*-67.VCDZ892XLN.b@+*. vi. 8/#XL5.029XA2. . vi i = 1, . . . , n. (. LN35.0*-XCs-/#60*WLN*. 3 v. @+*W60602. <n%u/#s#XC. (+*-3cLNXC23 @C._VCX+* *-889.0* f ∈ F (Pn ) f 0 3 v i = 1, . . . , n − 1 LN35.0*-XCs-/#60*WLN*.0X `B /n@C/18/#`|(C*WLN.74C.7672_89/#XF6*t(+*-3cLNXC23 i. H)%u/#s#XC. (+*-3cLNXC23@C.VCX+**-889.* f ∈ F (Pn ) f0 89/#`B(+*WL5.04C.76&2y89/-XF6*E(C*-3ZL5XC293. . |LN3Z.*-XAs#/#60*L[*. D. .0X`|/n@A/. n. uXA/#Xm89/#XLN2XC29XLN. .0X~`|/n@A/ GA%u89.0*-D58VCX+*89/#(A(C.*o@C. *W89892 (+*-3cLNXC23{@C. Pn vn TnVC*-60VAXCTVC2 +`{*t89/#`B(+*WL5.04C.76&.L53N*E60/#3Z/ Qn%u602y*-8892@C.. 4. Pn. CXC/#X*WXC89/-3N*EL535.*WXCs#/#60*LN2 A.7X. . `|/n@C/ETV+*-60VAXCTVC2. .7X ])%u602y*-8892:XC/-X *-XA89/#35*ELN35.0*-XCs-/#60*WL52y@C. Pi i = 1, . . . , n − 1 LN.04A.0672_89/#XF6*t(+*-3cLNXC239%. . . `|/n@C/18/#`B(+*d. . / DZL535/8[OC2 D5/WL5LN/o672F.0(/WLN29DZ.u8[OC289.*WD589VAX+* *-889.0* @C. # P , i = 1, . . . , n − 1, .7@C29XLN. +8l*L[*|89/#XVCXC*{*-898.*|@C. tD52`|(A352t(/#D5DZ.04C.7602;DZ89i 2s#60.729352;#23ZLN.789. P v ,i = 2E89/#DcLN3ZVC.03Z2tLN3Z.*-XAs#/#60*-,.7/#nXA. 8/#`B(+*WL5.04C.767.% y3N* Y89/#XAD5.0@Ai2935/ 672 1, . . . , n, T ,...,T *W89892t@A. 8VC. *-.g(CVAXLN.gG Q|2E]{@C. DZ/#(C351* 29DZD52EnD5/#XA/ .0X XnVC`B293Z/ CXC.7L5/ (/#.08[O 6* L535.0*-XCs#/#60*W,9.7/-XC289293Z8l*WLN*aD5V1TVC29DcLN2 #*WLZL[*_DN*-6&W*y6*_8/#`B(+*WLN.74C.767. L[Mr8/#X160*_(+*-3ZL5XC293 *W354C.&LN3N*W35.0* (/#D5DZ/ L535.0*-XCs#/-6*W352 60* (A35.0`|* *W898.* @A./#s-XC.a89/-(C(C.* @C.(C*-3ZL5XC293F.7X `B/n@C/TnVC*-60VCXATnVA2 29@ 29DcLN29XA@C293Z2 (/-.(23t8/#`B(+*WLN.74C.767. L[MF*-676I*-6 LN3Z/`B2`E4A35/@C29676* 8/#(C(C.0*A% r2 D52s#VC2 8[OC2 D5V)|8.02XL52@A.0`B/#DZL53N*-3Z26I2D5.7DZLN2XC,l*@A. LN35.0*-XCs-/#60*-,.7/#XC..
(137). . .
(138) $ .
(139). 1 2.
Documenti correlati
4) da carenza di formazione specifica sull’analgesia 5) dalla carenza di Linee Guida (LG) pratiche. Ciò causa un prolungamento inutile di sofferenza del paziente, e
Infatti abbiamo visto che tali matrici sono triangolabili con gli autovalori sulla diagonale e la differenza tra la matrice e la sua diagonale ` e una matrice triangolare con solo
linearit` a dell’operazione T n che associa ad una fun- zione f (n volte derivabile in un intorno di 0) il suo polinomio di Taylor di grado n, ricaviamo ora il po- linomio di Taylor
In questo capitolo verranno affrontati gli studi di decomposizione del tetracloroetilene e del metanolo nelle diverse polarità della scarica, a diversa
In particolare, le ricerche sono indirizzate a indi- viduare i collegamenti che intercorrono tra le notitiae librorum degli inventari vaticani e gli esemplari reali in essi
delle azioni del popolo ebraico; il materialismo storico, in questo campo di ricerca sulla natura dell'antico giudaismo, come in altri campi studiati da Weber, diventa un
• Quando si adopera la calcolatrice per la prima volta • Dopo aver sostituito le batterie • Per cancellare il contenuto di tutta la memoria • Quando si verifica una condizione
Nei casi in cui il denominatore sia di grado maggiore del numeratore e sia di primo o di secondo grado, si può utilizzare la tecnica di decomposizione in fratti