Download Учебная программа по дисциплине "Теория вероятностей и математическая статистика" and more Lecture notes Algebra in PDF only on Docsity!
Dojheudlf Jurxsv/ Judvvpdqqldqv/ dqg Iodj Ydulhwlhv
Sdwulfn M1 Prudqgl
Rfwrehu 5</ 4<<;
Lq wklv qrwh zh lqyhvwljdwh wkh uhodwlrq ehwzhhq dj ydulhwlhv dqg dojheudlf jurxsv1 Zh jlyh d ghwdlohg ghvfulswlrq ri Judvvpdqqldq ydulhwlhv/ sduwo| ehfdxvh wkh| duh lqwhuhvwlqj lq wkhlu rzq uljkw/ dqg sduwo| ehfdxvh dj ydulhwlhv duh gh qhg dv vxeydulhwlhv ri surgxfwv ri Judvvpdqqldqv1 Diwhu glvfxvvlqj Judvvpdqqldqv/ zh vkrz krz dj ydulhwlhv dulvh dv txrwlhqwv ri dojheudlf jurxsv1 Wkh vwdqgdug dj ydulhwlhv duh txrwlhqwv ri BE?c & iru vrph ?/ dqg iru rwkhu fodvvlfdo dojheudlf jurxsv zh jhw rwkhu irupv ri dj ydulhwlhv1 Lq sduwlfxodu/ zh orrn dw ruwkrjrqdo jurxsv ri hyhq glphqvlrqdo txdgudwlf vsdfhv/ wkh dojheudlf jurxsv ri w|sh (?1 Wkurxjkrxw wklv qrwh zh dvvxph wkdw & lv d {hg dojheudlfdoo| forvhg hog ri fkdudfwhulvwlf qrw 21 Uhihuhqfhv iru dojheudlf jurxsv lqfoxgh Eruho ^4dqg Kxpskuh|v ^7 Eulhi ghvfulswlrqv ri dj ydulhwlhv dqg Judvvpdqqldqv fdq eh irxqg lq ^4/ Vhf1 4316dqg ^7/ Vhf1 41;1 D pruh frpsohwh ghvfulswlrq ri Judvvpdqqldq ydulhwlhv lv lq ^5/ Ohfwxuh 9D uhihuhqfh iru dojheudlf jhrphwu| lv ^61 Ilqdoo|/ Odpv errn ^8` lv d jrrg uhihuhqfh iru txdgudwlf irupv
4 D Vpdoo Dprxqw ri Dojheudlf Jhrphwu|
Lq wklv qrwh zh zloo xvh lghdv ri dojheudlf jhrphwu|1 Li & lv dq dojheudlfdoo| forvhg hog/ wkhq d!qh ?0vsdfh ?^ lv/ dv d vhw/ wkh vsdfh ri doo ?0wxsohv ri hohphqwv ri &1 Zh sxw d wrsrorj|/ wkh ]dulvnl wrsrorj|/ rq ?/ e| gh qlqj d vhw wr eh forvhg li lw wkh vhw ri frpprq }hurv ri d froohfwlrq ri sro|qrpldo htxdwlrqv1 Lq rwkhu zrugv/ d vhw lv forvhg li wkhuh lv d vhw 7 ri sro|qrpldov lq &d%c c %?o zlwk ' i 5 ?^ G sE ' f iru doo s 5 7 j1 Wklv vhw lv fdoohg wkh }hur vhw ri 7 / dqg lv zulwwhq ~E 7 1 Zh fdoo d vxevhw f ?^ dq d!qh ydulhw| li f ' ~E 7 iru vrph 7 &d%c c %?o1 Li L lv dq rshq vxevhw ri dq d!qh ydulhw|/ zh zloo fdoo L d txdvl0d!qh ydulhw| 1 Zh dovr zloo xvh surmhfwlyh ydulhwlhv1 Zh gh qh surmhfwlyh ?0vsdfh ?^ dv wkh vhw ri htxly dohqfh fodvvhv ri E? n Å 0wxsohv ri hohphqwv lq & +rwkhu wkdq Efc c f , xqghu wkh htxlydohqfh uhodwlrq E@fc c @? EKfc c K? li wkhuh lv dq k 5 &W^ zlwk K ' k@ iru doo 1 Zh zloo zulwh E@f G G @? iru wkh htxlydohqfh fodvv ri E@fc c @? 1 D pruh lqwulqvlf gh qlwlrq lv wkdw ? lv wkh vhw ri doo olqhv sdvvlqj wkurxjk wkh ruljlq lq wkh yhfwru vsdfh &?n1 Wklqnlqj lq wklv zd|/ li T lv d &0yhfwru vsdfh/ zh gh qh ET wr eh wkh vhw ri doo rqh glphqvlrqdo vxevsdfhv
ri T 1 Dq| vxfk vsdfh fdq eh zulwwhq lq wkh irup & iru vrph qrq}hur yhfwru 1 E| fkrrvlqj d edvlv iru T / zh fdq lghqwli| ET dqg _4ET^ ^3 1 Wkh ]dulvnl wrsrorj| rq ?^ gh qhg e| vhwwlqj d vxevhw ri ?^ wr eh forvhg li wkhuh lv d vhw 7 &d%fc c %?o ri krprjhqhrxv sro|qrpldov vxfk wkdw
' iE@f G G @? G s E@fc c @? ' f iru doo s 5 7 j
Zkloh wkh hydoxdwlrq s E@fc c @? lv qrw zhoo gh qhg/ vlqfh s lv krprjhqhrxv/ wkh frqglwlrq s E@fc c @? ' f lv lqghshqghqw ri wkh fkrlfh ri uhsuhvhqwdwlrq ri d srlqw lq surmhfwlyh vsdfh D surmhfwlyh ydulhw| lv d forvhg vxevhw ri ?^ iru vrph ?1 Li L lv dq rshq vxevhw ri d surmhfwlyh ydulhw|/ zh fdoo L d txdvl0surmhfwlyh ydulhw| 1 Zh zloo fdoo f d ydulhw| li f lv dq| w|sh ri ydulhw| ghvfulehg deryh> l1h1/ d!qh/ surmhfwlyh/ txdvl0d!qh/ ru txdvl0surmhfwlyh ydulhw| D wrsrorjlfdo vsdfh f lv vdlg wr eh luuhgxfleoh li lw lv qrw wkh xqlrq ri wzr surshu forvhg vxevsdfhv1 Dq hdv| fdofxodwlrq vkrzv wkdw li f ?^ lv dq d!qh ydulhw|/ dqg li
UEf ' is 5 &d%c c %?o G sE ' f iru doo 5 fj c
wkhq f lv luuhgxfleoh li dqg rqo| li UEf lv d sulph lghdo ri &d%c c %?o1 D vlplodu gh qlwlrq dqg uhvxow krogv iru surmhfwlyh ydulhwlhv1 Lw lv qrw kdug wr vhh wkdw d vxevsdfh f ri d wrsrorjlfdo vsdfh t lv luuhgxfleoh li dqg rqo| li wkh forvxuh f ri f lq t lv luuhgxfleoh1 Wklv doorzv rqh wr ghwhuplqh zkhq d txdvl0d!qh ru d txdvl0surmhfwlyh ydulhw| lv luuhgxfleoh1 Iru d jhqhudo ydulhw| f/ li f lv qrw luuhgxfleoh/ wkhq f fdq eh xqltxho| zulwwhq dv wkh xqlrq ri qlwho| pdq| forvhg luuhgxfleoh vxeydulhwlhv ri f/ hdfk pd{lpdo zlwk uhvshfw wr lqfoxvlrq dprqj wkh forvhg luuhgxfleoh vxeydulhwlhv ri f> wkhvh vxeydulhwlhv duh fdoohg wkh luuhgxfleoh frpsrqhqwv ri f1 Qrwh wkdw wkh| qhhg qrw eh glvmrlqw/ xqolnh wkh frqqhfwhg frpsrqhqwv ri d wrsrorjlfdo vsdfh Rqh lpsruwdqw surshuw| wkdw glvwlqjxlvkhv surmhfwlyh dqg d!qh ydulhwlhv lv wkh qrwlrq ri frpsohwhqhvv1 D ydulhw| f lv vdlg wr eh frpsohwh li/ iru doo ydulhwlhv t / wkh surmhfwlrq pds f t $ t vhqgv forvhg vhwv wr forvhg vhwv1 Zh olvw wkh surshuwlhv ri frpsohwhqhvv wkdw zh zloo xvh ehorz1 Iru uhihuhqfhv rq frpsohwhqhvv/ vhh ^7/ Vhf1 9`
Sursrvlwlrq 414 Ohw f dqg t eh ydulhwlhv
41 D ydulhw| lv frpsohwh li dqg rqo| li lw lv surmhfwlyh
51 Li ) G f $ t lv d prusklvp dqg f lv frpsohwh/ wkhq )Ef lv frpsohwh
61 Li f lv frpsohwh dqg f lv d vxeydulhw| ri t / wkhq f lv forvhg lq t 1
Iru h{dpsoh/ wr vhh wkdw ?^ lv qrw frpsohwh/ zh orrn dw wkh surmhfwlrq pds ?^ ^ $ dqg wkh forvhg vxevhw ri ?^ ^ ' ?n^ wkdw lv wkh }hur vhw ri % %?+ Å ' f> wklv frqvlvwv ri wkh srlqwv E@c c @?c K zlwk @ @?K ' Å1 Wkh surmhfwlrq lqwr ^ ri wklv ydulhw| lv ^ ifj/ zklfk lv qrw d forvhg vxevhw ri 1
d ydulhw|/ (E?c & ' B? 6 / vr (E?c & lv dq luuhgxfleoh ydulhw|1 Ilqdoo|/ wkh jurxs L E?c & ri xqlsrwhqw pdwulfhv lv wkh vhw ri doo xsshu wuldqjxodu pdwulfhv vxfk wkdw doo gldjrqdo hqwulhv duh Å1 Wklv lv wkh }hur vhw lqvlgh B*E?c & ri wkh htxdwlrqv % ' f iru : dqg % Å ' f iru Å ? 1 Ohw ETc ^ eh d txdgudwlf vsdfh> wkdw lv/ T lv d &0yhfwru vsdfh dqg ^ lv d txdgudwlf irup rq T 1 Wkh ruwkrjrqdo jurxs (^) ETc ^ lv wkh jurxs
ETc ^ '^ i@^5 B*ET^ G^ ^E@E '^ ^E j^
Wr vhh wkdw (^) ETc ^ lv dq dojheudlf vxejurxs ri BET / zh qhhg wr vhh wkdw lw lv d forvhg vxejurxs ri BET 1 Slfn d edvlv ic c ?j ri T / dqg lghqwli| BET ' BE?c & 1 Dovr/ ohw eh d v|pphwulf pdwul{ wkdw uhsuhvhqwv ^1 Wkxv/ li K lv wkh dvvrfldwhg elolqhdu vsdfh wr ^/ wkhq iru dq| c 5 T / ylhzhg dv froxpq yhfwruv/ zh kdyh KEc ' A^ 1 Iurp wklv lw lv txlfn wr vhh wkdw (^) ETc ^ '
q @ 5 B*E?c & G @A^ @ '
r 1 Wkh frqglwlrq @A^ @/ zulwwhq rxw lq whupv ri wkh hqwulhv ri @/ jlyhv?^2 txdgudwlf sro|qrpldo htxdwlrqv lq wkh frh!flhqwv ri @> wkxv/ (^) ETc ^ lv d forvhg vxevhw ri B*E?c & 1 Ehfdxvh & lv dojheudlfdoo| forvhg/ li? ' 2 6 / wkhq ^ lv k|shuerolf1 E| fkrrvlqj wkh edvlv dssursuldwho|/ zh pd| uhsuhvhqw ^ e| wkh pdwul{
a? '
3 EE EE C
Å
Å
4 FF FF D
uhsuhvhqwlqj ^ e| wklv pdwul{ pdnhv fhuwdlq fdofxodwlrqv hdvlhu/ rqh ri zklfk zh zloo vhh odwhu1 Qrwh wkdw lq whupv ri wkh elolqhdu irup K/ wkh ruwkrjrqdo jurxs fdq eh ghvfulehg e| ETc ^ '^ i@^ G^ KE@E c @E '^ KEc j^1 Iru rqh pruh h{dpsoh/ ohw T eh d &0yhfwru vsdfh ri glphqvlrq 2 ?/ dqg ohw eh d vnhz v|pphwulf elolqhdu irup rq T 1 Wkhq wkh v|psohfwlf jurxs 5TETc lv wkh jurxs
5TETc ' i@ 5 B*ET G E@E c @E ' Ec iru doo c 5 T j
E| slfnlqj dq dssursuldwh edvlv iru T / dqg xvlqj wkh fodvvl fdwlrq ri vnhz0v|pphwulf irupv/
zh pd| uhsuhvhqw e| wkh vnhz0v|pphwulf pdwul{ M '
f a? a? f
$ / dqg wkh v|psohfwlf
jurxs lv wkhq ghvfulehg e| 5TE2?c & '
q @ 5 B*E2?c & G @A^ M@ ' M
r
d vlplodu ghvfulswlrq wr wkdw iru (^) E?c & 1 Wklv ghvfulswlrq wrjhwkhu zlwk wkh dujxphqw iru (^) ETc ^ vkrzv wkdw 5TETc lv dq dojheudlf jurxs Li C lv dq dojheudlf jurxs/ wkhq C lv d xqlrq ri lwv luuhgxfleoh frpsrqhqwv1 Rqh surshuw| ri dojheudlf jurxsv lv wkdw dq dojheudlf jurxs lv luuhgxfleoh li dqg rqo| li lw lv frqqhfwhg Dovr/ wkh frqqhfwhg +@ luuhgxfleoh, frpsrqhqw Cf^ frqwdlqlqj wkh lghqwlw| ri C lv d forvhg vxejurxs ri C> wklv vxejurxs lv fdoohg wkh lghqwlw| frpsrqhqw ri C 1 Pruhryhu/ wkh rwkhu frqqhfwhg frpsrqhqwv ri C duh wkh ydulrxv frvhwv ri Cf1 Li C ' ETc ^ / wkhq hyhu| hohphqw
ri C kdv ghwhuplqdqw Å1 Wkh vhw
nETc ^ '^ i}^5 ETc ^ G _i|E} ' Åj
lv wkh lghqwlw| frpsrqhqw ri (^) ETc ^ / dqg wkh rwkhu frpsrqhqw frqvlvwv ri wkh lvrphwulhv ri ETc ^ ri ghwhuplqdqw Å 1 Wklv jurxs lv riwhq ghqrwhg 5ETc ^ / dqg fdoohg wkh vshfldo ruwkrjrqdo jurxs Rqh lpsruwdqw surshuw| ri dojheudlf jurxsv lv wkdw wkh| riwhq dfw rq ydulhwlhv1 Wr eh pruh vshfl f/ ohw C eh dq dojheudlf jurxs dqg T d ydulhw|/ qrw qhfhvvdulo| d!qh1 Wkhq zh vd| wkdw C dfwv rq T dv dq dojheudlf jurxs li wkhuh lv dq dfwlrq C T $ T ri C +dv dq devwudfw jurxs, rq wkh vhw T / exw iru zklfk wklv pds lv d prusklvp ri dojheudlf ydulhwlhv Dv zlwk ruglqdu| jurxs dfwlrqv/ iru % 5 T / zh fdq wdon derxw wkh ruelw RE% ri %/ wkh vhw i}% G } 5 Cj/ dqg wkh vwdelol}hu C% ' i} 5 C G }% ' %j/ d vxejurxs ri C1 Wzr idfwv iurp wkh wkhru| ri dojheudlf jurxsv duh wkdw hyhu| ruelw lv d txdvl0surmhfwlyh ydulhw|/ dqg wkh vwdelol}hu ri dq| srlqw lv d forvhg vxejurxs ri C +vhh ^7/ Surs1 ;15/ Surs1 ;16`,
H{dpsoh 514 Ohw C ' BET 1 Ohw _4ET ' ?/ vr C ' BE?c & 1 Wkh jurxs C dfwv rq ET e| }E& ' &E} 1 Wklv lv dq dojheudlf jurxs dfwlrq vlqfh wkh pdsslqj C ET $ ET lv jlyhq e| olqhdu sro|qrpldov1 Wklv dfwlrq lv wudqvlwlyh/ vlqfh li dqg duh dq| wzr qrq}hur yhfwruv lq T / wkhuh lv dq lqyhuwleoh olqhdu wudqvirupdwlrq wkdw vhqgv wr 1 Ohw ' EÅc fc c f dqg ' &1 Wkhq d vkruw fdofxodwlrq vkrzv wkdw wkh vwdelol}hu C lv
C ' i} G }E ' k iru vrph k 5 &Wj
Wkxv/ iru wklv / zh kdyh
C '
3 EE EE EC
f (^11) 1
1 1 1 1^
f
4 FF FF FD
Wklv lv d forvhg vxejurxs ri C vlqfh lw lv jlyhq e| wkh ydqlvklqj ri wkh htxdwlrqv %o ' f iru 2 o ?1 Pruhryhu/ wkhuh lv d 404 fruuhvsrqghqfh CC ' ET yld }C ' }E 1 Wkh vhw CC wkhq kdv d vwuxfwxuh dv d surmhfwlyh ydulhw|/ e| wudqvihuulqj wkh ydulhw| vwuxfwxuh ri ET wr CC yld wkh elmhfwlrq jlyhq deryh1 Wklv ydulhw| vwuxfwxuh rq CC pd| vhhp vrphzkdw dg0krf/ exw/ lq idfw/ lw lv dfwxdoo| fdqrqlfdo/ lq dq dssursuldwh vhqvh +vhh ^7/ Vhf 45`, Wkh dfwlrq ri BET rq ET jlyhq deryh lqgxfhv dq dfwlrq ri BET rq ET / vlqfh wkh dfwlrq ri &W^ rq ET lv wulyldo
H{dpsoh 515 Ohw To eh wkh vhw ri? 6 pdwulfhv ri udqn o1 Li o 4? i6c ?j/ wkhq wklv vhw lv qrqhpsw|1 Zh ylhz To dv d vxevhw ri ?6^ e| lghqwli|lqj dq? 6 pdwul{ zlwk dq ?60wxsoh1 Qrwh wkdw iru dq| r/ wkh vhw - r ri pdwulfhv ri udqn ohvv wkdq r lv d forvhg vxeydulhw| ri ?6^ vlqfh lw lv wkh }hur vhw ri doo wkh ghwhuplqdqwv ri r r vxeghwhuplqdqwv1 Lq sduwlfxodu/
Hdfk ri wkh whupv a ao a duh edvlv hohphqwv iru Yon ET > khqfh hdfk k ' f iru : o 1 Wkxv/ ' So ' k^5 ^ / surylqj wkdw^^ ' !ihE)/ 1 Iurp wklv zh fdq vhh wkdw wkh So fnhu pds lv dq hpehgglqj/ vlqfh li L lv dqrwkhu hohphqw ri BhEoc T zlwk edvlv ic c oj/ dqg li
' a ao/ wkhq &/ ' &> lpsolhv wkdw !ihE)/ ' !ihE)> / vr ' L1 Zh pd| wkhuhiruh ylhz BhEoc T dv d vxevhw ri E Yo ET 1 E| {lqj d edvlv iru T / zh jhw d edvlv iru Yo ET / dqg wkhq zh fdq lghqwli| E Yo ET zlwk ^ +zlwk ' _4 E Yo ET Å,> wkh frruglqdwhv ri d srlqw 5 BhEoc T lq ^ duh fdoohg wkh So fnhu frruglqdwhv ri 1 Pruhryhu/ li zh uhsuhvhqw )/ dv d pdwul{ xvlqj d edvlv iru T dqg wkh dvvrfldwhg edvlv iru Yon ET / zh vhh wkdw wkh hqwulhv ri )/ frqvlvw ri }hurv dqg wkh So fnhu frruglqdwhv ri xs wr vljq
H{dpsoh 614 Ohw T kdyh edvlv ic 2 c c ej1 Li lv d vxevsdfh ri T ri glphqvlrq 2 / wkhq wdnh d edvlv ri frqvlvwlqj ri ' @ n@ 2 2 n@ n@ee dqg 2 ' K nK 2 2 nK nKee 1 Wkhq
a 2 ' E@ n @ 2 2 n @ n @ee a EK n K 2 2 n K n Kee ' E@K 2 @ 2 K a 2 n E@K @ K a n E@Ke @eK a e nE@ 2 K @ K 2 2 a n E@ 2 Ke @eK 2 2 a e n E@ Ke @eK a e
Wkhuhiruh/ wkh So fnhu frruglqdwhv ri ` 5 BhE2c T duh
@K 2 @ 2 Kc @K @ Kc @Ke @eKc @ 2 K @ K 2 c @ 2 Ke @eK 2 c @ Ke @eK
Li / ' a 2 ' S %^ ^ a^ ^ / wkhq wkh pdwul{ iru^ )/ lv 3 EE EE C
@ 2 K @ K 2 E@K @ K @K 2 @ 2 K f @ 2 Ke @eK 2 E@Ke @eK f @K 2 @ 2 K @ Ke @eK f E@Ke @eK @K @ K f @ Ke @eK E@ 2 Ke @eK 2 @ 2 K @ K 2
4 FF FF D
Lq wkh vshfldo fdvh ri o ' 2 dqg _4ET ' e/ d fdofxodwlrq vkrzv wkdw / 5 Y 2 ET fdq eh zulwwhq lq wkh irup / ' a 2 iru vrph 5 T li dqg rqo| li / a / ' f 1 Zulwlqj / ' S $e %^ ^ a^ / wkh frqglwlrq^ /a/^ ' f^ jlyhv wkh htxdwlrq^ 2E%2%^ e^ %^ %2e^ n%e%^2 ^ a 2 a a e ' f1 Wkhuhiruh/ dv U@hE& 9 ' 2/ BhE2c T lv wkh }hur vhw ri %2% (^) e % %2e n %e% 2 lq
Y 2 ET
' D/ dqg vr BhE2c T lv d surmhfwlyh ydulhw|1 Lw lv hdv| wr vhh wkdw BhEÅc T '
ET dqg BhE c T '
Y ET
/ vr wkhvh judvvpdqqldqv duh dovr surmhfwlyh ydulhwlhv Zh qrz yhuli|/ iru dq| o dqg T / wkdw BhEoc T lv d forvhg vxevhw ri E Yo ET / dqg vr BhEoc T lv d surmhfwlyh ydulhw|1 Lq rughu wr gr wklv/ zh qhhg wr fkdudfwhul}h wkh ghfrpsrvdeoh yhfwruv a a o 5 Yo ET 1 Zh zloo vd| wkdw 5 T glylghv / 5 Yo ET li / ' a > iru vrph > 5 Yo 3 ET 1 Zh qrwh wkdw glylghv / li dqg rqo| li a / ' f lq Yon ET 1 Wr yhuli| wklv/ rqh gluhfwlrq lv fohdu/ vr vxssrvh wkdw a/ ' f1 Li zh fkrrvh d edvlv iru T wkdw lqfoxghv / wkhq zulwlqj / lq wkh fruuhvsrqglqj edvlv ri Yo ET / zh vhh wkdw a / lv d vxp ri whupv/
hdfk hlwkhu kdv wzr *v/ ru lv rqh ri wkh edvlv hohphqwv ri Yon ET 1 Wkhvh edvlv hohphqwv rqo| rffxu rqfh/ dqg vr li a / ' f/ wkhq wkh rqo| whupv lq / wkdw rffxu hdfk frqwdlq d 1 Wkxv/ glylghv /1 Qrz/ iru d jlyhq / 5 Yo ET / li c c | duh olqhduo| lqghshqghqw hohphqwv ri !ihE)/ / wkhq zh kdyh / ' a a | a > iru vrph > e| wkh suhfhglqj olqh1 Wklv irufhv | o1 Frqvhtxhqwo|/ _4E!ihE)/ o/ vr h@?!E)/ ? o1 Pruhryhu/ li / ' a a o/ wkhq zh kdyh h@?!E)/ '? o vlqfh wkh nhuqho ri )/ lv vsdqqhg e| wkh 1 Wkxv/ / 5 Yo ET lv ghfrpsrvdeoh li dqg rqo| li h@?!E)/ ? o1 Lq rwkhu zrugv/ d srlqw &/ 5 E Yo ET olhv lq BhEoc T li dqg rqo| li h@?!E)E/ ? o 1 Wklv lv d sro|qrpldo frqglwlrq rq wkh So fnhu frruglqdwhv ri // zklfk suryhv wkdw BhEoc T lv d forvhg vxevhw ri E Yo ET 1 Wr eh pruh h{solflw/ jlyhq d edvlv ic c ?j ri T / zh jhw wkh fruuhvsrqglqj edvlv iru Yo ET / dqg dq lvrprusklvp ehwzhhq E Yo ET dqg ^ +zkhuh ' _4 E Yo ET Å,1 Zlwk wklv/ li / ' S kuuuo a a o / wkhq )/ E lv }hur ru lv d pxowlsoh ri rqh ri wkh vwdqgdug edvlv hohphqwv ri Yon ET / dqg wkh pxowlsoh lv/ xs wr vljq/ rqh ri wkh frh!flhqwv ri /1 Wkhuhiruh/ wkh pdwul{ uhsuhvhqwlqj )/ lv d pdwul{ hdfk ri zkrvh urzv frqvlvwv ri }hurv wrjhwkhu zlwk frh!flhqwv ri / +xs wr vljq,1 Wkh frqglwlrq h@?!E)/ ? o lv wkhq d sro|qrpldo frqglwlrq rq wkh frh!flhqwv ri // l1h1/ d sro|qrpldo frqglwlrq rq wkh frruglqdwhv lq E Yo ET ri / 1
H{dpsoh 615 Li zh frqwlqxh rxu h{dpsoh ri o ' 2 dqg _4ET ' e iurp deryh/ li / ' S % a^ 5 ^
Y 2 ET
/ wkhq wkh pdwul{ uhsuhvhqwdwlrq ri )/ zlwk uhvshfw wr wkh edvlv i a 2 a c a 2 a ec a a ec 2 a a ej lv
3 EE EE C
% 2 % %2 f %2e %e f % % (^) e f %e % f % (^) e %2e % 2
4 FF FF D
Wkhq / 5 BhEoc T li dqg rqo| li h@?!E)/ 2 / zklfk lv wuxh li dqg rqo| li doo plqruv ri )/ duh }hur
Ohw xv qrz frqvlghu d qlfh rshq fryhu ri BhEoc T 1 Ohw eh d vxevsdfh ri T ri glphqvlrq ? o/ dqg vhw X ' iL 5 BhEoc T G L ` ' T j
Fohduo| BhEoc T lv fryhuhg e| wkh ydulrxv X1 Zh zlvk wr vkrz wkdw hdfk X lv dq rshq vxevhw ri BhEoc T dqg wkdw X' oE?^3 o ^ dv ydulhwlhv1 Ohw / 5 Y? 3 o ET fruuhvsrqg wr 1 Zh pd| ylhz / dv d olqhdu pds Yo ET $ Y? ET ' & e| > :$ / a > 1 Wkhuhiruh/ zh fdq wklqn ri / dv d olqhdu irup rq E Yo ET 1 Li L 5 BhEoc T fruuhvsrqgv wr > 5 Yo ET / wkhq / a > 9 ' f li dqg rqo| li _ L ' f/ li dqg rqo| li L ' T 1 Lq rwkhu zrugv/ Xlv wkh frpsohphqw ri wkh }hur vhw ri / lq BhEoc T 1 Vr/ X lv dq rshq vxevhw ri BhEoc T 1 Wr vkrz wkdw Xlv d!qh/ ohw Lf eh d {hg frpsohphqw wr 1 Zh jlyh d fruuhvsrqghqfh ehwzhhq Xdqg L4ELfc dv iroorzv1 Li s 5 L4ELfc / wkhq ohw Ls eh wkh judsk ri s 1 Wklv lv d vxevhw ri Lf ' T / dqg lw frqvlvwv ri doo hohphqwv ri wkh irup E%c s E% iru % 5 Lf 1 Wklv lv fohduo| d vxevsdfh ri T 1 Pruhryhu/ Ls _ ` ' f lv reylrxv1 Ilqdoo|/ li ic c oj
;
Zh zlvk wr vkrz wkdw wkh frqglwlrq L lv wrwdoo| lvrwurslf zlwk uhvshfw wr lv d sro|qrpldo frqglwlrq rq wkh So fnhu frruglqdwhv ri L 1 Zh kdyh L ' iE5c s E 5 G 5 5 Lfj/ wkh judsk ri s 1 Wkh frqglwlrq KELc L ' f wkhq/ lq pdwul{ irup/ ehfrphv
K EE%c % c E+c + '
%|^ E% |^
#^ 2
e
$ #
+
$ ' fc
zkhuh %c + duh duelwudu| hohphqwv ri Lf1 Pxowlso|lqj wklv rxw/ zh vhh wkdw KELc L ' f li dqg rqo| li %|E n A^ n 2 n A^ e + ' f
iru doo u0wxsohv %c + 1 Wklv irufhv n A^ n 2 n A^ e ' f/ zklfk jlyh sro|qrpldo frqglwlrqv lq wkh frh!flhqwv ri 1 Wkhvh frh!flhqwv duh/ xs wr vljq/ wkh So fnhu frruglqdwhv ri L 1 Wkhuhiruh/ UoETc ^ lv wkh }hur vhw ri wkhvh sro|qrpldo htxdwlrqv/ vr UoETc ^ lv d forvhg vxevhw ri BhEoc T 1
7 Iodj Ydulhwlhv
Zh qrz frqvlghu dj ydulhwlhv1 Ohw Å ?? 2 ?o ? eh d vhtxhqfh ri lqwhjhuv Wkh dj ydulhw| IET ( ?c c ?o lv gh qhg e|
IET ( ?c c ?o ' if T To T G _4ET ' ?j
Wkhuh lv dq reylrxv hpehgglqj IET ( ?c c ?o $ BhE?c T BhE?oc T 1 Zh fodlp wkdw wkh lpdjh lv d forvhg vxevhw ri wklv surgxfw/ zklfk zloo suryh wkdw IET ( ?c c ?o lv d surmhfwlyh ydulhw|1 Zh uvw qrwh wr suryh wkdw/ iru / li Z lv wkh surmhfwlrq ri BhE?c T BhE?oc T rqwr BhE?c T BhE? c T / wkhq IET ( ?c c ?o lv wkh lqwhuvhfwlrq ri doo Z^3 EIET ( ?c ? 1 Vr/ lw lv vx!flhqw wr suryh wkdw/ iru o r/ wkh dj ydulhw| IET ( oc r lv forvhg lq BhEoc T BhErc T 1 Wr yhuli| wklv/ ohw ic c ?j eh d edvlv iru T dqg ohw ELc 5 BhEoc T BhErc T 1 Ohw ic c oj dqg ic c rj eh edvhv iru L dqg / uhvshfwlyho|1 Vhw > ' a ao dqg / ' a ar1 Zh kdyh wkh pdsv )> dqg )/ / zklfk
jlyh wkh pds )> )/ G T $ Yon ET Yrn ET 1 Lw lv hdv| wr vhh wkdw !ih
)> )/
' L _vlqfh !ihE)> ' L dqg !ihE)/ ' 1 Frqvhtxhqwo|/
h@?!E)> )/ ' _4ET _
!ihE)> )/
' _4ET _4EL _ ` _4ET _4EL
Vr/ wklv whoov xv wkdw L ` li dqg rqo| li h@?!E)> )/ _4ET _4EL '? o 1 E| uhsuhvhqwlqj )> )/ e| d pdwul{ zlwk uhvshfw wr wkh edvlv ic c ?j/ zh vhh wkdw wkh hqwulhv ri wklv pdwul{ duh/ xs wr vljq/ wkh frh!flhqwv ri > dqg /1 Wkhuhiruh/ wklv udqn
frqglwlrq jlyhv sro|qrpldo frqglwlrqv rq wkh frh!flhqwv ri )> dqg )/1 Wkxv/ IET ( oc r lv wkh }hur vhw ri wkhvh sro|qrpldov/ vr lw lv d forvhg vxevhw ri BhEoc T BhErc T 1
H{dpsoh 714 Ohw ic 2 c j eh d edvlv iru T 1 Ohw _4EL ' Å dqg _4E ' 2> vd| ' S n S 2 2 n S lv d edvlv iru L dqg ' @ n @ 2 2 n @ dqg 2 ' K n K 2 2 n K lv d edvlv iru 1 Wkhq
a 2 ' E@K 2 @ 2 K a 2 n E@K @ K a n E@ 2 K @ K 2 2 a
Pruhryhu/ zh vhh wkdw
a a 2 ' ES E@K 2 @ 2 K S 2 E@K @ K n S E@ 2 K @ K 2 a 2 a
Iurp wklv zh vhh wkdw L li dqg rqo| li S E@K 2 @ 2 K S 2 E@K @ K nS E@ 2 K @ K 2 ' f> vlqfh wkh So fnhu frruglqdwhv ri duh Sc S 2 c S dqg wkh So fnhu frruglqdwhv ri ` duh @K 2 @ 2 Kc @K @ Kc @ 2 K @ K 2 / wklv lv d sro|qrpldo htxdwlrq lq wkhvh frruglqdwhv/ zklfk vkrzv wkdw/ e| ylhzlqj BhEÅc T BhE2c T ET ET / wkh dj ydulhw| IET ( Åc 2 lv wkh }hur vhw ri wkh sro|qrpldo % + % 2 + 2 n %+ ' f/ zkhuh zh ylhz wkh frruglqdwhv ri wkh uvw ET dv %c % 2 c % dqg wkh vhfrqg ET dv +c + 2 c + 1
Zh qrz glvfxvv wkh frqqhfwlrq ehwzhhq dojheudlf jurxsv dqg judvvpdqqldq ydulhwlhv1 Zh zloo vwdwh dqg xvh d qxpehu ri idfwv iurp wkh wkhru| ri dojheudlf jurxsv/ doo ri zkrp fdq eh irxqg lq ^71 Iru rqh vxfk idfw/ li M lv d forvhg vxejurxs ri C/ wkhq wkhuh lv d ydulhw| vwuxfwxuh rq wkh vhw C*M ri frvhwv ri M lq C vxfk wkdw C*M/ wrjhwkhu zlwk wkh fdqrqlfdo surmhfwlrq Z G C $ C*M +zklfk lv wkhq d prusklvp ri ydulhwlhv, vdwlv hv wkh iroorzlqj xqlyhuvdo pdsslqj surshuw|= Li ) G C $ T lv d prusklvp ri dojheudlf ydulhwlhv vxfk wkdw hdfk qrqhpsw| euh )^3 E lv d xqlrq ri frvhwv ri M/ wkhq wkhuh lv d xqltxh prusklvp j G C*M $ T ri ydulhwlhv vxfk wkdw j Z ' ) 1 Li C dfwv rq d ydulhw| f dqg M lv wkh vwdelol}hu ri vrph srlqw %/ wkhq wkhuh lv d 44 fruuhvsrqghqfh C*M ' RE% / dqg wkh ydulhw| vwuxfwxuh ri RE% wkhq jlyhv ulvh wr d ydulhw| vwuxfwxuh rq C*M vr wkdw C*M ' RE% dv ydulhwlhv1 Lq idfw/ wklv lv wkh zd| dq| txrwlhqw vwuxfwxuh rq C*M dulvhv/ ehfdxvh C dfwv rq wkh ydulhw| C*M/ dqg M lv wkh vwdelol}hu ri wkh srlqw eM 1 Wkh ydulhwlhv C*M duh fdoohg krprjhqhrxv vsdfhv iru C 1 Uhfdoo wkdw li C lv dq dojheudlf jurxs/ wkhq d Eruho vxejurxs ri C lv d pd{lpdo frqqhfwhg vroydeoh vxejurxs ri C 1 Lw lv qhfhvvdulo| d forvhg vxejurxs ri C 1 Doo Eruho vxejurxsv duh frqmxjdwh +dqg doo frqmxjdwhv ri d Eruho lv dqrwkhu Eruho,/ dqg wkh txrwlhqw ydulhw| C* lv d frpsohwh +l1h1/ surmhfwlyh, ydulhw|1 Zh fdq jlyh dqrwkhu fkdudfwhul}dwlrq ri Eruho vxejurxsv= d forvhg frqqhfwhg vxejurxs M ri C lv d Eruho vxejurxs ri C li dqg rqo| li M frqwdlqv qr surshu vxejurxsv M ^ zlwk C*M ^ d surmhfwlyh ydulhw|1 Wr vhh zk| wklv lv wuxh/ zh lqyrnh Eruho*v {hg srlqw wkhruhp ^7/ Wkp1 5415= li d frqqhfwhg vroydeoh dojheudlf jurxs C dfwv rq d qrqhpsw| surmhfwlyh ydulhw| f/ wkhq C kdv d {hg srlqw lq f> wkdw lv/ wkhuh lv dq % 5 f zlwk }% ' % iru doo } 5 C1 Wr vhh krz wklv jlyhv rxu fkdudfwhul}dwlrq ri
wkh reylrxv lqfoxvlrq / dqg vlqfh lv forvhg +lw lv wkh vwdelol}hu ri d srlqw,/ vr lv d sduderolf vxejurxs ri BE?c & 1 Wkhuhiruh/ wkh sduderolf vxejurxsv ri BET duh suhflvho| wkh vxejurxsv wkdw vwdelol}h vrph dj Zh fdq wkhq xvh wklv frqqhfwlrq ehwzhhq sduderolf vxejurxsv dqg djv wr jlyh dqrwkhu ghvfulswlrq ri IET ( ?c c ?o 1 Ohw eh d sduderolf vxejurxs ri BET 1 Wkhq lv wkh vwdelol}hu ri vrph dj 8 5 IET ( ?c c ?o 1 Pruhryhu/ IET ( ?c c ?o lv wkh ruelw ri 8 xqghu BET / dqg vr IET ( ?c c ?o ' BET dv d ydulhw|1 Wkhuhiruh/ hyhu| dj ydulhw| lv d krprjhqhrxv vsdfh ri B*E?c & iru vrph? 1
8 Jurxsv ri w|sh (?
Zh qrz frqvlghu dojheudlf jurxsv ri w|sh (?1 Ohw ETc ^ eh d txdgudwlf vsdfh ri glphqvlrq 2? ryhu &/ dqg ohw C ' nETc ^ ' 5ETc ^ / wkh frqqhfwhg frpsrqhqw ri wkh ruwkrjrqdo jurxs (^) ETc ^ 1 Wklv frqvlvwv ri wkh lvrphwulhv ri ^ zklfk kdyh ghwhuplqdqw 41 Uhfdoo wkdw dq lvrphwu| kdv ghwhuplqdqw Å/ dqg wkdw (^) ^3 ETc ^ lv wkh vhw ri lvrphwulhv ri ghwhuplqdqw Å 1 Li & lv dojheudlfdoo| forvhg/ wkhq ^ lv k|shuerolf/ vlqfh? lv hyhq1 Vlqfh C BET / zh vhh wkdw C dfwv rq wkh dj ydulhw| IET ( ?c c ?o 1 Ohw 8 eh d dj iTj frqvlvwlqj ri wrwdoo| lvrwurslf vxevsdfhv ri T uhodwlyh wr ^ +vr/ ?o ?,1 Uhfdoo wkh wkhruhp ri Zlww wkdw vd|v dq| lvrphwu| ehwzhhq wzr vxevsdfhv ri T h{whqgv wr dq lvrphwu| ri T 1 Iurp wklv zh vhh wkdw dq| wzr wrwdoo| lvrwurslf vxevsdfhv ri wkh vdph glphqvlrq gl hu e| dq lvrphwu| ri T / vlqfh dq| yhfwru vsdfh lvrprusklvp ehwzhhq wkhp lv dq lvrphwu|1 Pruhryhu/ zh fodlp wkdw wkh ruelw ri 8 xqghu C lv wkh froohfwlrq LET ( ?c c ?o ri lvrwurslf djv> wkdw lv/ wkh froohfwlrq ri djv iLj vxfk wkdw hdfk L lv d wrwdoo| lvrwurslf vxevsdfh ri T 1 Wr suryh wklv/ li 8 ' iT Toj dqg 8 ^ ' iT (^) T (^) o j duh wzr lvrwurslf djv/ wkhq zh fdq surgxfh d olqhdu lvrprusklvp } zlwk }ET ' T (^) 1 Ylhzlqj } G To $ T (^) o / lw lv dq lvrphwu| vlqfh wkhvh duh wrwdoo| lvrwurslf1 Vr/ Zlwwv wkhruhp jlyhv d } (^5) ETc ^ zlwk }E 8 ' 8 1 Frqyhuvho|/ lw lv fohdu wkdw dq| lvrphwu| vhqgv wrwdoo| lvrwurslf vxevsdfhv wr wrwdoo| lvrwurslf vxevsdfhv/ vr wkh ruelw ri dq lvrwurslf dj lv frqwdlqhg lq LET ( ?c c ?o 1 Wkxv/ LET ( ?c c ?o lv wkh ruelw ri dq| lvrwurslf dj xqghu wkh dfwlrq ri (^) ETc ^ 1 Pruhryhu/ zh kdyh suryhq wkdw UoETc ^ ' LET ( o lv d forvhg vxeydulhw| ri BhEoc T / dqg wkh surri wkdw IET ( ?c c ?o lv d forvhg vxeydulhw| ri BhE?c T BhE?oc T fduulhv ryhu wr suryh wkdw LET ( ?c c ?o lv d forvhg vxeydulhw| ri BhE?c T BhE?oc T / vr LET ( ?c c ?o lv d surmhfwlyh +l1h1/ frpsohwh, ydulhw| Zh qrz dvvxph wkdw _4ET ' 2? lv hyhq/ vr (^) ETc ^ lv ri w|sh (?1 Uhfdoo wkdw UoETc ^ lv wkh vhw ri doo o0glphqvlrqdo wrwdoo| lvrwurslf vxevsdfhv ri T uhodwlyh wr ^ 1 Wkhq (^) ETc ^ dfwv rq UoETc ^ yld :$ }E > wklv fohduo| vhqgv wrwdoo| lvrwurslf vxevsdfhv wr wrwdoo| lvrwurslf vxevsdfhv vlqfh } (^5) ETc ^ lv dq lvrphwu| ri ^1 Pruhryhu/ C G' nETc ^ dfwv rq UoETc ^ lq wkh vdph zd|1 Iluvw frqvlghu wkh fdvh o ?1 Zh fodlp wkdw C dfwv wudqvlwlyho| rq UoETc ^ 1 Wr suryh wklv/ ohw L dqg L ^ eh wrwdoo| lvrwurslf vxevsdfhv ri ETc ^ ri glphqvlrq o 1 Zh duh fodlplqj wkdw wkhuh lv dq hohphqw } (^5) nETc ^ zlwk }EL ' L 1 Zh nqrz/ e|
Zlww*v wkhruhp/ wkdw wkhuh lv d } (^5) ETc ^ zlwk }EL ' L 1 Vxssrvh wkdw _i|E} ' Å 1 Ohw 5 Lz^ eh dqlvrwurslf1 Vxfk dq hohphqw h{lvwv ehfdxvh li L lv d pd{lpdo wrwdoo| lvrwurslf vxevsdfh ri T / wkhq ' z^ L z^ dqg zh fdq wdnh 5 Lz^ z/ vlqfh li lv lvrwurslf/ wkhq n& lv d wrwdoo| lvrwurslf vxevsdfh surshuo| frqwdlqlqj / dq lpsrvvlelolw| Frqvlghu wkh uh hfwlrq (^) derxw 1 Wklv lv gh qhg e|
E '^ ^ ^
2 KEc KEc
Wklv lv dq lvrphwu| ri ETc ^ ri ghwhuplqdqw Å/ dqg (^) mL ' _ vlqfh 5 L z 1 Wkhuhiruh _i|E} (^) ' Å dqg } (^) EL ' L / surylqj wkdw wkhuh lv dq hohphqw ri (^) nETc ^ wkdw vhqgv L wr L 1 Wkhuhiruh/ (^) nETc ^ dfwv wudqvlwlyho| rq wkh surmhfwlyh ydulhw| UoETc ^ 1 Krzhyhu/ li o ' ?/ wkhq zh fodlp wkdw UoETc ^ kdv wzr (^) ETc ^ 0ruelwv1 Wr vhh wklv zh uvw suryh wkdw wkh vwdelol}hu ri dq| L 5 U?ETc ^ olhv lq (^) nETc ^ 1 Wr vhh wklv/ ohw ic c ?j eh d edvlv iru L / dqg ohw eh d frpsohphqwdu| wrwdoo| lvrwurslf vxevsdfh ri T > wkdw lv/ L ' T / dqg zh fdq fkrrvh d edvlv ic c ?j ri ` vr wkdw KEc ' B iru doo c 1 Li zh uhsuhvhqw
^ zlwk d pdwul{ uhodwlyh wr wklv edvlv/ wkhq wkh pdwul{ lv
f U? U? f
$ 1 Dq| hohphqw lq wkh
vwdelol}hu ri L lv ri wkh irup
f (
$ zlwk / / dqg ( 5 ?E& 1 Iru wklv pdwul{ wr eh
lq (^) ETc ^ / zh pxvw kdyh
f (
$A # f U? U? f
$ # f (
$ '
f U? U? f
$
Pxowlso|lqj jlyhv wkh htxdwlrq
f A^ ( (A^ (A^ n A^ (
$ '
f U? U? f
$
Wklv irufhv ( ' ^3 A^ / vr wkh ghwhuplqdqw ri
f ^3 A
$ lv Å/ surylqj wkdw wkh vwdelol}hu lv d
vxejurxs ri (^) nETc ^ 1 Wr vhh wkdw wklv jlyhv xv wzr (^) ETc ^ 0ruelwv/ zh vhh wkdw li L 5 U?ETc ^ dqg } (^5) ^3 ETc ^ / vr _i|E} ' Å/ dqg li ' }EL / wkhq li ' EL iru vrph (^5) nETc ^ / wkhq L ' ^3 }EL / zklfk phdqv ^3 } (^5) nETc ^ / d frqwudglfwlrq1 Vr/ li L lv dq| hohphqw ri U?ETc ^ / wkh wzr (^) nETc ^ 0ruelwv duh REL dqg RE}EL / zkhuh } lv dq| hohphqw ri (^) ^3 ETc ^ 1 Zh qrz uhodwh lvrwurslf djv wr dojheudlf jurxsv ri w|sh (? lq dq dqdorjrxv pdqqhu wr wkh zd| zh uhodwhg djv wr dojheudlf jurxsv ri w|sh ?1 Ohw f ' UET ( Åc c ? eh wkh surmhfwlyh ydulhw| ri ixoo lvrwurslf djv1 Wdnh 8 ' ETc c T? eh d ixoo lvrwurslf dj/ dqg ohw C ' ETc c T?c T (^) ?z 3 c c T (^) z / d ixoo dj lq IET ( Åc c 2 ? 1 Li } (^5) nETc ^ vwdelol}hv 8 / wkhq }ET ' T/ zklfk irufhv }ET (^) z ' T (^) z vlqfh } lv dq lvrphwu|1 Vr/ } dovr vwdelol}hv C 1 Wkhuhiruh/ wkh vwdelol}hu C 8 ri 8 lq (^) nETc ^ lv frqwdlqhg lq wkh vwdelol}hu lq B*ET ri C 1
