Introduction to Communication Systems. The Theory of Probability

14 Pages·2.806 MB·English

Lqwurgxfwlrq wr Frppxqlfdwlrq V|vwhpv
Wkh Wkhru| ri Suredelolw|
Suredelolw| Wkhru|
Zk| Suredelolw|
Suredelolw| wkhru| lv dssolhg wr vlwxdwlrqv zkhuh xqfhuwdlqw| h{lvwv1 Wkhvh vlwxdwlrqv lqfoxgh
41 Wkh fkdudfwhul}dwlrq riwud!f dw wkh lqwhuvhfwlrq XV 793 dqg ShsshuvIhuu| Urdg +l1h1/ wkh qxpehu ri
fduv wkdw furvv wkh lqwhuvhfwlrq dv d ixqfwlrq ri wlph,
51 Wkh suhglfwlrq ri wkh zhdwkhu lq Eodfnvexuj
61 Wkh qxpehu ri vwxghqwv wudyhuvlqj wkh Guloo Ilhog ehwzhhq ;=83 dqg <=33 rq Prqgd|v
71 Wkh wkhupdoo| lqgxfhg +Eurzqldq, prwlrq ri prohfxohv lq d
+d, frsshu zluh
+e, d MIHW dpsol(cid:31)hu
Qrwh wkdw wkh odwwhu wzr vlwxdwlrqv zrxog uhvruw lq d skhqrphqrq nqrzq dv qrlvh zkrvh srzhu zrxog
eh d ixqfwlrq ri wkh Whpshudwxuh ri wkh prohfxohv1
Lq doo ri wkhvh vlwxdwlrqv/ zh frxog ghyhors dq h{fhoohqw dssur{lpdwlrq ru suhglfwlrq iru hdfk ri wkhvh
h{shulphqwv1 Krzhyhu/ zh zrxog qhyhu eh deoh wr fkdudfwhul}h wkhp zlwk devroxwh fhuwdlqw| +l1h1/
ghwhuplqlvwlfdoo|,1 Krzhyhu/ zh frxog fkdudfwhul}h wkhp lq d suredelolvwlf idvklrq +ru suredelolvwlfdoo|, yld
wkh hohphqwv ri suredelolw| wkhru|1 Wklv lv zkdw zhdwkhu iruhfdvwhuv duh grlqj zkhq wkh| vd|
Wkh fkdqfh ri udlq wrpruurz lv 73(
Lqvxfkfdvhvwkh|duhvd|lqjwkdwwkhsuredelolw|ridudlqhyhq lv3171 Rwkhusuredelolvwlffkdudfwhul}dwlrqv
lqfoxgh
(cid:18) Rqh wkh dyhudjh 633 fduv shu plqxwh furvv XV 793 dqg Shsshuv Ihuu| Urdg dw Qrrq rq Vdwxugd|v1
Wkh fkdqfhv ri vr pdq| fduv furvvlqj wkdw lqwhuvhfwlrq dw ;=33 DP rq Vxqgd| lv yhu| vpdoo
(cid:18) Wkh dyhudjh qrlvh srzhu surgxfhg e| wklv dpsol(cid:31)hu lv 4(cid:25)Z
Vflhqwlvwv dqg Hqjlqhhuv dsso| wkh wkhrulhv ri Suredelolw| dqg Udqgrp Surfhvvhv wr wkrvh uhshdwlqj
vlwxdwlrqv lq qdwxuh zkhuh
41 Zh fdq urxjko| suhglfw zkdw pd| kdsshq1
51 Zh fdqqrw h{dfwo| ghwhuplqh zkdw pd| kdsshq
Zkhqhyhu zh fdqqrw h{dfwo| suhglfw dq rffxuuhqfh/ zh vd| wkdw vxfk dq rffxuuhqfhv lv udqgrp1 Udqgrp
rffxuuhqfhv rffxu iru wkh iroorzlqj uhdvrqv
(cid:18) Doo wkh fdxvdo irufhv dw zrun duh xqnqrzq1
(cid:18) Lqvx!flhqw gdwd iru wkh frqglwlrqv ri wkh sureohp gr qrw h{lvw
(cid:18) Wkh sk|vlfdo phfkdqlvpv gulylqj wkh sureohp duh vr frpsolfdwhg wkdw wkh gluhfw fdofxodwlrq ri wkh
sureohp lv qrw ihdvleoh
(cid:18) Wkhuh h{lvwv vrph edvlf lqghwhuplqdf| lq wkh sk|vlfdo zruog
Wkh Qrwlrqv ri Suredelolw|
Rqh fdq dssurdfk suredelolw| wkurxjk dq devwudfw pdwkhpdwlfdo frqfhsw fdoohg phdvxuh wkhru|/ zklfk
uhvxowv lq wkh d{lrpdwlf wkhru| ri suredelolw|/ ru wkurxjk khxulvwlf dssurdfk fdoohg uhodwlyh iuhtxhqf|/ zklfk
lv d ohvv frpsohwh +dqg voljkwo| dzhg, gh(cid:31)qlwlrq ri suredelolw|1 Krzhyhu/ lw vxlwv rxu qhhg iru wklv frxuvh1
Vwxghqw*v wkdw frqwlqxh rq wr judgxdwh vwxglhv zloo eh lqwurgxfhg wr wkh pruh devwudfw exw srzhuixo
d{lrpdwlf wkhru|1 Ehiruh frqwlqxlqj lw lv qhfhvvdu| wr gh(cid:31)qh wkh iroorzlqj lpsruwdqw whupv
Gh(cid:31)qlwlrq 4 Dq h{shulphqw lv d vhw ri uxohv wkdw jryhuqv d vshfl(cid:31)f rshudwlrq wkdw lv ehlqj shuiruphg
4
Gh(cid:31)qlwlrq 5 D wuldo lv wkh shuirupdqfh ru h{huflvh ri wkdw h{shulphqw
Gh(cid:31)qlwlrq 6 Dq rxwfrph lv wkh uhvxow ri d jlyhq wuldo
Gh(cid:31)qlwlrq 7 Dq hyhqw lv dq rxwfrph ru dq| frpelqdwlrq ri rxwfrphv
H{dpsoh 4 Frqvlghu wkh h{shulphqw ri vhohfwlqj dw udqgrp rqh fdug iurp d ghfn ri 85 sod|lqj fdugv dqg
zulwlqj grzq wkh qxpehu dq vxlw ri wkdw fduhg1 Qrwlfh wkdw wkh uxohv duh zhoo gh(cid:31)qhg
41 Zh kdyh d ghfn ri fdugv
51 Vrpherg| vhohfwv wkh fdug
61 Wkh uhfrugv wkh uhvxow
Vxssrvh vrpherg| ghflghg wr shuirup wkh h{shulphqw1 Zh zrxog wkhq vd| wkdw kh2vkh frqgxfwhg d wuldo1
Wkh uhvxow ri wkdw wuldo frxog kdyh ehhq wkh 6rivsdghv +ru 6(cid:130),1 Khqfh wkh rxwfrph zrxog eh= 6(cid:130)1 Dqrwkhu
rxwfrph frxog kdyh ehhq 43(cid:129) ru M(cid:10)1 Lqghhg wkhuh duh dv pdq| dv 85 srvvleoh rxwfrphv1
Dqhyhqw lv d froohfwlrq ri srvvleoh rxwfrphv1 Vr 6(cid:130)lv dq hyhqw1 Krzhyhu/ 43(cid:129)lv dovr dqhyhqw/ dqg M(cid:10) lv
dqhyhqwdvzhoo1 Ixuwkhui6(cid:130)>M(cid:10)j/i6(cid:130)>43(cid:129)j/dqgi5(cid:129)>8(cid:127)>N(cid:129)>D(cid:10)jduhdovrhyhqwv1 Dq| frpelqdwlrq
ri srvvleoh rxwfrphv lv dq hyhqw1 Qrwh wkdw iru wklv h{shulphqw/ wkhuh duh 585 @7=8368<<95:6:(cid:5)4348
gl(cid:30)huhqw hyhqwv
Wkh D{lrpdwlf Wkhru| ri Suredelolw|
Wklv lv dfwxdoo| dq dssolfdwlrq ri d pdwkhpdwlfdo wkhru| fdoohg Phdvxuh Wkhru|1 Erwk wkhrulhv dsso|
edvlf frqfhswv iurp vhw wkhru|1
Wkh d{lrpdwlf wkhru| ri suredelolw| lv edvhg rq d wulsohw
+(cid:13)>@>S,
zkhuh
(cid:18) (cid:13) lv wkh vdpsoh vsdfh/ zklfk lv wkh vhw ri doo srvvleoh rxwfrphv
(cid:18) @ lv wkh vljpd dojheud ru vljpd (cid:31)hog/ zklfk lv wkh vhw ri doo srvvleoh hyhqwv +ru frpelqdwlrq ri
rxwfrphv,
(cid:18) S lv wkh suredelolw| ixqfwlrq/ zklfk fdq eh dq| vhw ixqfwlrq/ zkrvh grpdlq lv (cid:13) dqg wkh udqjh
lv wkh forvhg xqlw lqwhuydo ^3>4‘> l1h1/ dq| qxpehu ehwzhhq 3 dqg 4 lqfoxglqj 3 dqg 41 Wkh rqo|
uhtxluhphqw iru wklv ixqfwlrq lv wkdw lw pxvw reh| wkh iroorzlqj wkuhh uxohv
+d, S ^(cid:13)‘@4
+e, Ohw D eh dq| hyhqw lq @/ wkhq S ^D‘(cid:24)3
+f, Ohw D dqg E eh wzr hyhqwv lq @ vxfk wkdw D_E @!/ wkhq S ^D^E‘@S^D‘.S^E‘
Uhodwlyh Iuhtxhqf| Gh(cid:31)qlwlrq1
Wkh uhodwlyh iuhtxhqf| dssurdfk lv edvhg rq wkh iroorzlqj gh(cid:31)qlwlrq= Vxssrvh zh frqgxfw d odujh qxpehu
ri wuldov ri wklv d jlyhq h{shulphqw1 Wkh suredelolw| wkdw d jlyhq hyhqw/ vd| D> lv wkh iroorzlqj olplw
q
S ^D‘@ olp D +4,
q(cid:3)$4 q
zkhuh qD lv wkh qxpehu ri rffxuuhqfhv dqg q lv wkh qxpehu ri wuldov1
Iru h{dpsoh vxssrvh zh frqgxfw wkh deryh h{shulphqw 43>333 wlphv +q@43333,1 Ixuwkhu vxssrvh wkh
hyhqw D@i6(cid:130)j rffxuuhg 4;; wlphv +qD @4;;,1 Wkhq
qD @ 4;; @3=34;;
q 43333
Dv q lqfuhdvhg wr lq(cid:31)qlw| +dqg dvvxplqj wkdw wkh fdugv duh idlu,/ wkhq wkh udwlr zrxog dssurdfk wkh
suredelolw| ri D
q 4
S^D‘@ olp D @ @3=34<9
q(cid:3)$4 q 85
5
Vxssrvh wkh hyhqw E zdv wkh vhw ri doo vsdghv1 Wkhq
E@iD(cid:130)>5(cid:130)>6(cid:130)>7(cid:130)>8(cid:130)>9(cid:130)>:(cid:130)>;(cid:130)><(cid:130)>43(cid:130)>M(cid:130)>T(cid:130)>N(cid:130)j
Qrz zh vd| wkdw Wkh hyhqw E rffxuv zkhqhyhu dq rxwfrph lv ri d wuldo lv frqwdlqhg lq E1 Lq wklv
fdvh/ zkhqhyhu wkh rxwfrph ri d wuldo frqwdlqv d (cid:130)/ wkh rxwfrph ehorqjv wr E dqg zh vd| wkdw E rffxuuhg1
Vr/ vxssrvh zh frqgxfwhg wkh deryh h{shulphqw 43>333 wlphv/ dqg wkh hyhqw E rffxuuhg 6333 wlphv1 Wkhq
q 6333
E @ @3=6
q 43333
Dv q lqfuhdvhg wr lq(cid:31)qlw| +dqg dvvxplqj wkdw wkh fdugv duh idlu,/ wkhq wkh udwlr zrxog dssurdfk wkh
suredelolw| ri E
q 4
S^E‘@ olp E @ @3=58
q(cid:3)$4 q 7
Qrwh wkdw wklv gh(cid:31)qlwlrq pdnhv vhqvh1 Vlqfh S^E‘ @ 4/ lw iroorzv wkdw wkh fkdqfh ri E rffxuulqj lq dq|
7
jlyhq wuldo lv 58(1 Vlploduo|/ wkh fkdqfh ri d 7(cid:127) rffxuulqj iurp d sduwlfxodu wuldo lv +4@85,(cid:6)433 ru 4=<(1
Krzhyhu/ qrwh wkdw wkh suredelolw| ri dq| hyhqw zloo dozd|v eh d qxpehu ehwzhhq 3 dqg 41
Qrz/ vxssrvh wkh hyhqw F frqvlvwv ri wkh vhw ri doo gldprqgv1 Wkhq
F @iD(cid:128)>5(cid:128)>6(cid:128)>7(cid:128)>8(cid:128)>9(cid:128)>:(cid:128)>;(cid:128)><(cid:128)>43(cid:128)>M(cid:128)>T(cid:128)>N(cid:128)j
Ohw*v orrn dw erwk E dqg F1 Qrwh wkdw qrqh ri wkh phpehuv lq E ehorqj wr F dqg qrqh ri wkh phpehuv lq
F ehorqj wr E1 Zh vd| wkdw E dqg F duh glvmrlqw dqg wkdw wkhlu lqwhuvhfwlrq lv wkh hpsw| vhw
E_F @!
Lq wklv fdvh wkh suredelolw| ri hlwkhu E ru F rffxuulqj lv htxdo wr
S^E ru F‘@ olp qE.qF @S^E^F‘ +5,
q$4 q
zkhuh wkh ^ v|pero vwdqgv iru wkh xqlrq ri wzr vhwv1 Qrwh wkdw +5, ghvfulehv wkh dgglwlyh frqfhsw ri
suredelolw|= Li wzr hyhqwv duh glvmrlqw/ wkhq wkh suredelolw| ri wkhlu vxp lv wkh vxp ri wkhlu
suredelolwlhv1
Ilqdoo|/ ohw wkh hyhqw (cid:13) htxdodoosrvvleoh rxwfrph1 Zh fdoo (cid:13) wkh fhuwdlq hyhqw ru wkh vdpsoh vsdfh1 Vlqfh
hyhu| srvvleoh rxwfrph lv frqwdlqhg lq wklv hyhqw/ q(cid:13) @q1 Wkhuhiruh
q q
S^(cid:13)‘@ olp (cid:13) @ olp @4 +6,
q$4 q q$4q
H{dpsoh 5 Frqvlghu wkh h{shulphqw ri lsslqj d idlu frlq wzlfh dqg revhuylqj wkh rxwsxw1 Zkdw duh wkh
srvvleoh rxwfrphvB Olvw doo srvvleoh hyhqwv1 Dvvxph wkdw doo rxwfrphv duh htxdoo| olnho|/ dvvljqsuredelolwlhv
wr hdfk hyhqw1
Wkh vhw ri doo srvvleoh rxwfrphv lv
(cid:13)@iKK>KW>WK>WWj
Wkhuh duh 57 @49 hyhqwv1 Wkh| duh
iKKj>iKWj>iWKj>iWWj
iKK>KWj>iKK>WKj>iKK>WWj>iKW>WKj>iKW>WWj>iWK>WWj
iKK>KW>WKj>iKK>KW>WWj>iKK>WK>WWj>iKW>WK>WWj
iKK>KW>WK>WWj>!
Qrwh wkdw iKK>KW>WK>WWj lv wkh fhuwdlq hyhqw1 Wkhuhiruh
S^iKK>KW>WK>WWj‘@4 +7,
Krzhyhu/ iurp wkh dgglwlyh surshuw|/ lw iroorzv wkdw
S^iKK>KW>WK>WWj‘@S^iKKj‘.S ^iKWj‘.S^iWKj‘.S ^iWWj‘ +8,
exw vlqfh hdfk rxwfrph lv htxdoo| olnho| zh kdyh wkdw
S ^iKKj‘@S ^iKWj‘@S^iWKj‘@S^iWWj‘ +9,
6
Wkhuhiruh iurp +8, dqg +9,/ lw iroorzv wkdw
4
S ^iKKj‘@S ^iKWj‘@S ^iWKj‘@S^iWWj‘@ +:,
7
Xvlqj wkh dgglwlyh frqfhsw ri suredelolw| zh fdq vhh wkdw
S ^iKK>KWj‘@S ^iKK>WKj‘@S^iKK>WWj‘@
4
@S^iKW>WKj‘@S ^iKW>WWj‘ @ S^iWK>WWj‘@ +;,
5
6
S ^iKK>KW>WKj‘ @ S ^iKK>KW>WWj‘@S ^iKK>WK>WWj‘@S^iKW>WK>WWj‘@ +<,
7
S^!‘ @ 3 +43,
Mrlqw Suredelolw|
Ohw wkh hyhqwv G dqg H eh gh(cid:31)qhg dv iroorzv
G @ iD(cid:130)>5(cid:127)>;(cid:128)>7(cid:130)j
H @ i7(cid:129)>N(cid:130)>7(cid:130)>5(cid:127)j
Qrwh wkdw
7 4
S ^G‘ @ @
85 46
7 4
S^H‘ @ @
85 46
Wkhq wkh lqwhuvhfwlrq ri G dqg H lv dqrwkhu hyhqw wkdw frqwdlqv wkh hohphqwv ri G dqg H
G_H @i7(cid:130)>5(cid:127)j
dqg
4
S^G_H‘@S^G>H‘@S^G dqg H‘@ +44,
59
Zh fdooS ^G_H‘@S^G>H‘@S^G dqg H‘ wkh mrlqw suredelolw| ri G dqg H1 Lw ghvfulehv wkh suredelolw| ri
erwk hyhqwv rffxuulqj
Frqglwlrqdo Suredelolw|
Lq d qxpehu ri fdvhv/ nqrzohgjh derxw rqh hyhqw surylghv xv dgglwlrqdo lqirupdwlrq derxw wkh rffxuuhqfh
ri dqrwkhu hyhqw1 Vxssrvh wkdw zh frqgxfw dq h{shulphqw dqg zh (cid:31)qg rxw wkdw G kdv rffxuuhg1 Wkxv zh
nqrz wkdw wkh rxwfrph zdv hlwkhu d D(cid:130)/ 5(cid:127)/ ;(cid:128)/ ru 7(cid:130)= Grhv wklv whoo xv dq|wklqj derxw wkh rffxuuhqfh
ri HB Wkh dqvzhu lv |hv1
Jlyhq wkdw G kdv rffxuuhg/ zh nqrz wkdw wkh rxwfrph zdv hlwkhu D(cid:130)/ 5(cid:127)/ ;(cid:128)/ ru 7(cid:130)1 Vlqfh hdfk rxwfrph
lv htxdoo| olnho|/ dqg zh nqrz wkdw wkhvh duh qrz wkh rqo| iru srvvlelolwlhv/ zh kdyh wkdw wkh suredelolw| ri
hdfk ri wkhvh rxwfrphv jlyhq wkdw G kdv rffxuuhg lv 4 lq rwkhu zrugv
7
4
S ^D(cid:130)mG‘@S ^5(cid:127)mG‘@S^;(cid:128)mG‘@S ^7(cid:130)mG‘@ +45,
7
Qrwh wkdw S ^DmE‘ phdqv wkh suredelolw| ri D jlyhq wkh E kdv rffxuuhg
Qrz orrn dw wkh hyhqw H @i7(cid:129)>N(cid:130)>7(cid:130)>5(cid:127)j1 Jlyhq wkdw G kdv rffxuuhg dqg wkdw wkh srvvleoh rxwfrphv
zhuh rqo| D(cid:130)/ 5(cid:127)/ ;(cid:128)/ ru 7(cid:130)/ zh fdq frqfoxgh wkdw wkh rxwfrphv 7(cid:129) dqg N(cid:130) frxog krw kdyh kdsshqhg
ehfdxvh 7(cid:129) dqg N(cid:130) duh qrw lq G1 Wkhuhiruh
S ^7(cid:129)mG‘@S^N(cid:127)mG‘@3 +46,
Wkhuhiruh/ jlyhq wkdw zh nqrz G kdv rffxuuhg/ zh fdq zulwh wkh suredelolw| ri H dv iroorzv
S ^HmG‘ @ S ^7(cid:129)mG‘.S ^N(cid:127)mG‘.S^;(cid:128)mG‘.S^7(cid:130)mG‘
4 4 4
@ 3.3. . @ +47,
7 7 5
7
Zh fdq dovr frpsxwh wkh suredelolw| ri H jlyhq wkdw G kdv rffxuuhg xvlqj wkh iroorzlqj gh(cid:31)qlwlrq1
Gh(cid:31)qlwlrq 8 Ohw D dqg E eh wzr hyhqwv iurp wkh vdph h{shulphqw1 Wkhq wkh frqglwlrqdo suredelolw| ri
D jlyhq E/ S ^DmE‘ lv gh(cid:31)qhg dv iroorzv
S ^D>E‘
S ^DmE‘/ +48,
S^E‘
Li S^E‘@3/ wkhq S^DmE‘ lv xqgh(cid:31)qhg1
Vr/ iru wkh fdvh ri H jlyhq wkdw G/ zh kdyh wkdw
S^H>G‘ 4@59 46 4
S^HmG‘@ @ @ @
S^G‘ 4@46 59 5
Vlploduo| iru wkh fdvh ri D jlyhq F deryh zh kdyh wkdw
S^D>F‘ 3
S^DmF‘@ @ @3
S ^F‘ 3=58
Dqrwkhu lpsruwdqw frqfhsw lq suredelolw| lv lqghshqghqfh1
Gh(cid:31)qlwlrq 9 Ohw D dqg E eh wzr hyhqwv iurp wkh vdph h{shulphqw1 Wkhq D dqg E duh vdlg wr eh
lqghshqghqw liwkhmrlqw suredelolw|riDdqgE lvhtxdowrwkhsurgxfw riwkhlu wzrlqglylgxdosuredelolwlhv1
S ^D>E‘@S ^D‘S^E‘ +49,
Iurp wklv lw iroorzv wkdw
S^D>E‘ S^D‘S ^E‘
S^DmE‘@ @ @S^D‘ +4:,
S^E‘ S^E‘
Wklvlpsolhvliwzrhyhqwvduhlqghshqghqw/wkhnqrzohgjh derxw rqh hyhqw surylghv devroxwho| nqrz
lqirupdwlrq derxw wkh rwkhu hyhqw1
Udqgrp Yduldeohv
\rx pd| kdyh qrwlfhg wkxv idu wkdw zh kdyh zrunlqj zlwk vhwv dqg hyhqwv wkdw frqwdlq rgg v|perov vxfk
dv 6(cid:130)>7(cid:127)>8(cid:128)>9(cid:129)>===1 Rwkhu h{dpsohv/ erwk lq wklv qrwh vhw dqg wkh errn/ kdyh zrunhg zlwk hyhqwv zlwk
11
rwkhu v|perov vxfk dv iKKj iru wkh frlq sureohp dqg 1 iru wkh glfh sureohp1 Zh zrxog olnh wr
(cid:29) (cid:30)
shuirup vrph pdwkhpdwlfdo dqdo|vlv dqg pdqlsxodwlrq rq wkhvh hyhqwv1 Krzhyhu/ vxfk d wdvn zrxog eh
gl!fxow dqg zrxog qrw surylgh dq| lqvljkw1
Lw zrxog eh ehwwhu li zh frxog dvvljq +ru pds, hdfk rxwfrph d qxpehu1 Wkh zh frxog zrun zlwk wkhvh
qxpehuv xvlqj wkh vwdqgdug pdwkhpdwlfdo whfkqltxhv wkdw zh kdyh ohduqhg ryhu wkh |hduv1
H{dpsoh 6 Frqvlghu rxu fdug h{shulphqw1 Vxssrvh zh dvvljq hdfk fdug dq lqwhjhu dv iroorzv
D(cid:130)$4
5(cid:130)$5
1
1
1
N(cid:130)$46
D(cid:127)$47
5(cid:127)$48
1
1
1
N(cid:127)$59
D(cid:128)$5:
5(cid:128)$5;
1
1
1
N(cid:128)$6<
D(cid:129)$73
5(cid:129)$74
1
1
1
N(cid:129)$85
8
Wkhq hdfk fdug lv dvvljqhg dq lqwhjhu rq wkh uhdo olqh1 Vxssrvh zh dvvljq wklv pdsslqj wkh ixqfwlrq [+(cid:19),/
zkhuh (cid:19) lv dq| rxwfrph
Vxfk d pdsslqj lv fdoohg d udqgrp yduldeoh1
Gh(cid:31)qlwlrq : D udqgrp yduldeoh/ [+(cid:19), lv d ghwhuplqlvwlf ixqfwlrq wkdw dvvljqv hdfk rxwfrph/ (cid:19) 5 (cid:13)/
lq dq h{shulphqw/ d qxpehu1
[ =(cid:13)$? +4;,
Vr wkdw S^[+(cid:19),@4‘@S ^[+(cid:19),@(cid:3)4‘@3
Wkh (cid:31)uvw wklqj |rx fdq qrwlfh derxw d udqgrp yduldeoh lv wkdw
41 Wkhuh lv qrwklqj udqgrp derxw lw
51 Lw lv qrw d yduldeoh1 Udwkhu lw lv d vhw ixqfwlrq1
Krzhyhu/ lq shuiruplqj dqdo|vlv/ lw lv frqyhqlhqw wr wuhdw [+(cid:19), dv d yduldeoh1 Frqvlghu d vhfrqg h{dpsoh
ri d udqgrp yduldeoh1 vlqfh wkh udqgrp yduldeoh lv d ixqfwlrq ri dq rxwfrph/ zklfk kdv dq dvvrfldwhg
suredelolw|/ wkh udqgrp yduldeoh dovr kdv dq dvvrfldwhg suredelolw|1
S^[+(cid:19),@{‘@S(cid:3)(cid:19) @[(cid:3)4+{,(cid:4) +4<,
$
%
W
;(cid:11)%(cid:12) ;(cid:11)$(cid:12) 5
H{dpsoh 7 Frqvlghu wkh vdph fdug h{shulphqw1 Vxssrvh zh gh(cid:31)qh d udqgrp yduldeoh V+(cid:19), vxfk wkdw
li (cid:19) frqwdlqv d (cid:130)=V+(cid:19),@4
li (cid:19) frqwdlqv d (cid:127)=V+(cid:19),@5
li (cid:19) frqwdlqv d (cid:128)=V+(cid:19),@6
li (cid:19) frqwdlqv d (cid:129)=V+(cid:19),@7
Qrwh wkdw wkh rxwfrph fdq eh dvvljqhg wkh vdph qxpehu1 Wkh ixqfwlrq gh(cid:31)qhg e| wkh udqgrp yduldeoh
fdq e| dq| vhw ixqfwlrq surylghg wkdw wkh dvvrfldwhg suredelolwlhv dv wkh (cid:9)4 lv }hur
Zkdw derxw wkh suredelolwlhv
D udqgrp yduldeoh lv d ixqfwlrq ri wkh rxwfrphv ri dq h{shulphqw1 Wkhuhiruh/ vlqfh hdfk rxwfrph kdv d
suredelolw|/ wkh qxpehu dvvljqhg wr wkdw ixqfwlrq e| d udqgrp yduldeoh/ dovr kdv d suredelolw|1 Wkh
suredelolw| ri d jlyhq udqgrp yduldeoh lv ghwhuplqhg dv iroorzv1
S^[+(cid:19),@{‘@S(cid:5)(cid:19) @[(cid:3)4+{,(cid:6) +53,
zkhuh [(cid:3)4+{, lv d pdsslqj iurp wkh uhdo olqh/ ?/ wr wkh vhw ri doo rxwfrphv/ (cid:13)1
H{dpsoh 8 Frqvlghu wkh udqgrp yduldeoh [+(cid:19), gh(cid:31)qhg lq H{dpsoh 6
S^[+(cid:19),@4‘ @ S(cid:5)(cid:19) @[(cid:3)4+4,(cid:6)@S^(cid:19) @D(cid:130)‘@ 4
85
S^[+(cid:19),@59‘ @ S(cid:5)(cid:19) @[(cid:3)4+59,(cid:6)@S ^(cid:19) @N(cid:127)‘@ 4
85
S^[+(cid:19),@5;=<‘ @ S(cid:5)(cid:19) @[(cid:3)4+5;=<,(cid:6)@S^!‘@3
S^[+(cid:19),@3‘ @ S(cid:5)(cid:19) @[(cid:3)4+3,(cid:6)@S^!‘@3
S^[+(cid:19),(cid:23)5‘ @ S(cid:11)(cid:19) @[(cid:3)4+(cid:3)4>5‘(cid:12)@S^(cid:19) @iD(cid:130)>5(cid:130)j‘@ 5
85
9
H{dpsoh 9 Frqvlghu wkh udqgrp yduldeoh V+(cid:19),/ gh(cid:31)qhg lq H{dpsoh 7
S^V+(cid:19),@4‘ @ S(cid:5)(cid:19) @V(cid:3)4+4,(cid:6)
4
@ S^(cid:19) @iD(cid:130)>>5(cid:130)>6(cid:130)>7(cid:130)>8(cid:130)>9(cid:130)>:(cid:130)>;(cid:130)><(cid:130)>43(cid:130)>M(cid:130)>T(cid:130)>N(cid:130)j‘@
7
S^V+(cid:19),@5‘ @ S(cid:5)(cid:19) @V(cid:3)4+5,(cid:6)@ 4
7
S ^V+(cid:19),@5=8‘ @ S(cid:5)(cid:19) @V(cid:3)4+5=8,(cid:6)@S ^!‘@3
S ^5(cid:23)V+(cid:19),(cid:23)6‘ @ S(cid:11)(cid:19) @V(cid:3)4^5>6‘(cid:12)@S^(cid:19) @idoo (cid:127)3v dqg doo (cid:129)j‘@ 4
5
Fxpxodwlyh Glvwulexwlrq Ixqfwlrqv dqg Suredelolw| Ghqvlw| Ixqfwlrqv
Wzr zd|v wr dqdo|}h h{shulphqwv yld udqgrp yduldeohv lv wkurxjk wkh Fxpxodwlyh Glvwulexwlrq Ixqfwlrq
+FGI, dqg suredelolw| ghqvlw| ixqfwlrq +sgi,
Gh(cid:31)qlwlrq ; Ohw [+(cid:19), eh d udqgrp yduldeoh gh(cid:31)qhg rq d vdpsoh vsdfh (cid:13)1 Wkhq wkh Fxpxodwlyh Glvwul0
exwlrq Ixqfwlrq +FGI, ri [ lv ghqrwhg e| wkh ixqfwlrq I[+{3, dqg lv gh(cid:31)qhg dv iroorzv
I[+{3,@S^[ (cid:23){3‘ +54,
zkhuh wkh vhw ^[ (cid:23){3‘ gh(cid:31)qhv dq hyhqw ru d froohfwlrq ri rxwfrphv1
H{dpsoh : Frqvlghu wkh udqgrp yduldeoh lq H{dpsoh 61 Wkh FGI ri [ lv
85
I[+{3,@S^[ (cid:23){3‘@ 4 [x+{3(cid:3)n,
85
n@4
FX(x)
1
1 52 x
H{dpsoh ; Frqvlghu wkh udqgrp yduldeoh lq H{dpsoh 71 Wkh FGI ri V lv
IV+v3,@ 4x+v3(cid:3)4,. 4x+v3(cid:3)5,. 4x+v3(cid:3)6,. 4x+v3(cid:3)7, +55,
7 7 7 7
Vr
; 3 v ?4
3
AAAA 47 4(cid:23)v3 ?5
IV+v3,@? 45 5(cid:23)v3 ?6 +56,
6 6(cid:23)v ?7
7 3
AAAA 4 v3 (cid:24)7
=
:
FS(so)
1
1 2 3 4
so
Gh(cid:31)qlwlrq < Ohw [+(cid:19), eh d udqgrp yduldeoh gh(cid:31)qhg rq d vdpsoh vsdfh (cid:13)1 Wkhq wkh Suredelolw| Ghqvlw|
Ixqfwlrq +sgi, ri [ lv ghqrwhg e| wkh v|pero i[+{, dqg lv gh(cid:31)qhg dv wkh ghulydwlyh ri lwv FGI
g g
i[+{,@ I[+{,@ S^[+(cid:19),(cid:23){‘ +57,
g{ g{
Qrwh wkdw zh fdq uhfryhu wkh FGI iurp wkh SGI wkurxjk lqwhjudwlrq
{
I[+{,@ i[+(cid:14),g(cid:14) +58,
](cid:3)4
Wkhuhiruh i[+{, zloo dozd|v lqwhjudwh wr 4
4
i[+{,g{@4 +59,
]
(cid:3)4
Ixuwkhupruh/ wkh suredelolw| wkdw [+(cid:19), lv ehwzhhq {4 dqg {5/ {5 A{4 dqg {5 lqfoxvlyh/ fdq eh frpsxwhg
dv iroorzv
S^{4 ?[ (cid:23){5‘@S ^[ (cid:23){5‘(cid:3)S^[ (cid:23){4‘@I[+{5,(cid:3)I[+{4,@ {5i[+{,g{ +5:,
]
{4
Qrwh wkdw wkh dujxphqw/ (cid:19)/ kdv ehhq gursshg iurp wkh udqgrp yduldeoh/ [1 Iru wkh uhpdlqghu ri wklv
glvfxvvlrq/ zh zloo dvvxph wkdw wkh ghshqghqfh ri d udqgrp yduldeoh [ rq (cid:19) lv lpsolflw dqg rplw wkh
dujxphqw iru frqyhqlhqfh
Prphqwv ri Udqgrp Yduldeohv
Prphqwv ri udqgrp yduldeohv lqfoxgh d qxpehu ri txdqwlwlhv vxfk dv dyhudjhv/ yduldqfhv/ vwdqgdug
ghyldwlrqv/ hwf1 Wkh| duh sduwlfxoduo| xvhixo lq frppxqlfdwlrqv ehfdxvh wkh| surylgh ydoxdeoh lqirupdwlrq
derxw d udqgrp yduldeoh zlwk kdylqj wr nqrz lwv vwdwlvwlfv +l1h1/ wkh FGI ru sgi,
Gh(cid:31)qlwlrq 43 Ohw [ eh d udqgrp yduldeoh zlwk wkh sgi i[+{,1 Wkhq wkh h{shfwhg ydoxh ru dyhudjh ri
[/ lv
4
[dyj @H^[‘/] {i[+{, +5;,
(cid:3)4
Gh(cid:31)qlwlrq 44 Ohw [ eh d udqgrp yduldeoh zlwk sgi i[+{,1 Wkhq/ wkh yduldqfh ri [ lv
4
(cid:30)5[ @Hk+[(cid:3)[dyj,5l/] +{(cid:3)[dyj,5i[+{,g{ +5<,
(cid:3)4
dqg wkh vwdqgdug ghyldwlrq ri [ lv
4
(cid:30)[ @uH +[(cid:3)[dyj,5l/ +{(cid:3)[dyj,5i[+{,g{ +63,
k v (cid:3)4
]
;
Gh(cid:31)qlwlrq 45 Ohw [ eh d udqgrp yduldeoh zlwk sgi i[+{,1 Wkhq/ wkh qwk prphqw ri [ lv
4
pq[ @ {qi[+{,g{ +64,
]
(cid:3)4
dqg wkh qwk fhqwudo prphqw ri [ lv
4
(cid:30)q[ @] +{(cid:3)[dyj,qi[+{,g{ +65,
(cid:3)4
Ilqdoo|/ ohw [ eh d udqgrp yduldeoh dqg ohw j+[, eh vrph ixqfwlrq ri wkdw udqgrp yduldeoh1 Lq prvw fdvhv
wklv j+[, zloo wudqvirup [ lqwr d qhz udqgrp yduldeoh/ zklfk zh zloo fdoo \
\ @j+[, +66,
zklfk kdv lwv rzq FGI dqg sgi/ zklfk pxvw eh irxqg wkurxjk wkh xvh ri udqgrp yduldeoh wudqvirupdwlrq
whfkqltxhv1 Krzhyhu/ li zh duh lqwhuhvwhg lq wkh prphqwv ri \/ vxfk dv lwv dyhudjh/ wkhq nqrzohgjh derxw
\*v FGI ru sgi duh qrw uhtxluhg1 Udwkhu zh fdq mxvw xvh wkh douhdg| nqrzq FGI dqg sgi ri [1
Wkhruhp 4 Ohw [ eh d udqgrp yduldeoh zlwk sgi i[+{,1 Ohw \ @ j+[, eh vrph wudqvirupdwlrq ri [1
Wkhq wkh h{shfwhg ydoxh ru dyhudjh ri \ lv
4
\dyh @H^\‘@H^j+[,‘@ j+{,i[+{,g{ +67,
]
(cid:3)4
H{dpsoh < Ohw [ eh d udqgrp yduldeoh zlwk wkh iroorzlqj sgi
{.4 (cid:3)4(cid:23){(cid:23)3
i[+{,@;? 4(cid:3){ 3?{(cid:23)4 +68,
3 rwkhuzlvh
=
fX(x)
1
-1 1 x
4 3 4
[dyj @ H^[‘@](cid:3)4{i[+{,g{@](cid:3)4{+{.4,g{.]3 {+4(cid:3){,g{@3
4 3 4
(cid:30)5[ @ Hk+[(cid:3)[dyj,5l@H(cid:5)[5(cid:6)@](cid:3)4{i[+{,g{@](cid:3)4{5+{.4,g{.]3 {5+4(cid:3){,g{@ 65
4 3 4
H^[.(cid:28)‘ @ +{.(cid:28),i[+{,g{@ +{.(cid:28),+{.4,g{. +{.(cid:28),+4(cid:3){,g{@(cid:28)
](cid:3)4 ](cid:3)4 ]3
Ixqfwlrqv ri d Udqgrp Yduldeoh
Gh(cid:31)qlwlrq 4 Frqvlghu d ixqfwlrq ri d udqgrp yduldeoh/ j+[,1 Wkh uhvxow lv dqrwkhu udqgrp yduldeoh/
zklfk zh frxog fdoo \/ \ @j+[,1 Krzhyhu wkh FGI dqg sgi ri \ zloo eh gl(cid:30)huhqw wkdq wkh FGI dqg sgi
ri [1 Lq idfw zh zloo xvh lqirupdwlrq derxw wkh I[+{,/ i[+{,/ dqg j+[, wr ghwhuplqh I\ +|, dqg i\ +|,
Wkh glvwulexwlrq ri t ’ }Ef(cid:28)
Wkh SGI ri wkh udqgrp yduldeoh/ \/ lv qrwklqj pruhwkdq wkh suredelolw| ri wkh hyhqw wkdw i\(cid:23)|j1 Wklv
frqvlvwv ri doo rxwfrphv (cid:19) 5 (cid:13) vxfk wkdw \+(cid:19), (cid:23)|1 Wklv lv htxlydohqw wr wkh vhw ri doo rxwfrphv (cid:19) 5(cid:13)
vxfkwkdwj^[+(cid:19),‘(cid:23)|/dqgwklvlvhtxlydohqwwrwkhvhw ridoorxwfrph(cid:19) 5(cid:13)vxfkwkdw[+(cid:19),(cid:23)j(cid:3)4+|,1 Vr
I+|,@S+i\(cid:23)|j,@S+ij+[,(cid:23)|j,@S(cid:3)(cid:11)[(cid:23)j(cid:3)4+|,(cid:12)(cid:4) +69,
<
Wkh Suredelolw| Ghqvlw| Ixqfwlrq +sgi, ri t ’ }Ef(cid:28)
Rqfh wkh SGI ri \ lv frpsxwhg/ wkh frpsxwdwlrq ri wkh sgi ri \ lv vwudljkwiruzdug
g
i\+|,@ I\ +|, +6:,
g|
H{dpsohv
H{dpsoh 43 Ohw [ eh d udqgrp yduldeoh1 Ohw
\ @j+[,@5[.4
IlqgI\ +|,dqgi\ +|,1 Wr(cid:31)qgI\ +|,/ zhpxvwhydoxdwhwkhhyhqwi\ (cid:23)|jzkhuh\ lvwkh udqgrpyduldeoh
dqg | lv vlpso| d qxpehu1 Frqvlghu wkh iroorzlqj judsk
Y
Y=2X+1
y
{X£ (y-1)/2} x=(y-1)/2 X
{Y£ y}
Wkh vkdghg yhuwlfdo olqh fruuhvsrqgv wr wkh hyhqw i(cid:19) =\ +(cid:19),(cid:23)|j dqg wkh krul}rqwdo olqh fruuhvsrqgv wr wkh
hyhqw (cid:11)(cid:19) =[+(cid:19),(cid:23) 45+|(cid:3)4,(cid:12)1 Erwk hyhqwv kdyh wkh h{dfw vdph rxwfrphv1 Wkhuhiruh
4
(cid:3)
i(cid:19) =\ +(cid:19),(cid:23)|j@ (cid:19) =[+(cid:19),(cid:23) +| 4,
(cid:29) 5 (cid:30)
Wkhuhiruh
4
i\ (cid:23)|j@i5[.4(cid:23)|j@ [ (cid:23) +|(cid:3)4, @ [ (cid:23)j(cid:3)4+|,(cid:12)
(cid:29) 5 (cid:30)
Qrwh wkdw wkh lqyhuvh ixqfwlrq j(cid:3)4+\, lv (cid:11)
j(cid:3)4+\,@ 4+[(cid:3)4,
5
Vr
I\ +|,@S ^\ (cid:23)|‘@S ^5[.4(cid:23)|‘@S [ (cid:23) 4+|(cid:3)4, @I[ 4+|(cid:3)4,
(cid:23) 5 (cid:24) (cid:21)5 (cid:22)
Qrz vxssrvh [ zdv xqlirupo| glvwulexwhg ehwzhhq 3 dqg 41 Wkhq
i[+{, @ x+{,(cid:3)x+{(cid:3)4,@(cid:29) 34 3rw(cid:23)khu{z(cid:23)lvh4 +6;,
3 {?3
I[+{, @ {^x+{,(cid:3)x+{(cid:3)4,‘@;? { 3(cid:23){(cid:23)4 +6<,
4 {A4
=
Zh fdq qrz sorw I\ +|,1 Ohw*v soxj lq vrph ydoxhv
|@3 I\ +3,@I[(cid:3)45+3(cid:3)4,(cid:4)@I[(cid:3)(cid:3)45(cid:4)@3
||@@45 II\\ ++45,,@@II[[(cid:3)(cid:3)4545++45(cid:3)(cid:3)44,,(cid:4)(cid:4)@@II[[+(cid:3)345,(cid:4)@@345 +73,
|@6 I\ +6,@I[(cid:3)45+6(cid:3)4,(cid:4)@I[+4,@4
43