Tài liệu Introduction to Communication Systems, The Theory of Probability ppt

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 ri wud!f dw wkh lqwhuvhfwlrq XV 793 dqg Shsshuv Ihuu| 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 dpsolhu

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| ,
wkh hohphqwv ri suredelolw| wkhru|1 Wklv lv zkdw zhdwkhu iruhfdvwhuv duh grlqj zkhq wkh| vd|

yld

Wkh fkdqfh ri udlq wrpruurz lv 73(

Lq vxfk fdvhv wkh| duh vd|lqj wkdw wkh suredelolw| ri d

udlq DODG

lv 3171

Rwkhu suredelolvwlf fkdudfwhul}dwlrqv

lqfoxgh
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

Wkh dyhudjh qrlvh srzhu surgxfhg e| wklv dpsolhu lv "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

Doo wkh fdxvdo irufhv dw zrun duh xqnqrzq1
Lqvx!flhqw gdwd iru wkh frqglwlrqv ri wkh sureohp gr qrw h{lvw
Wkh sk|vlfdo phfkdqlvpv gulylqj wkh sureohp duh vr frpsolfdwhg wkdw wkh gluhfw fdofxodwlrq ri wkh
sureohp lv qrw ihdvleoh
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, ghqlwlrq 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 ghqh wkh iroorzlqj lpsruwdqw whupv

Ghqlwlrq 4 Dq h{shulphqw lv d vhw ri uxohv wkdw jryhuqv d vshflf rshudwlrq wkdw lv ehlqj shuiruphg
4


Ghqlwlrq 5 D wuldo lv wkh shuirupdqfh ru h{huflvh ri wkdw h{shulphqw

Dq rxwfrph lv wkh uhvxow ri d jlyhq wuldo

Ghqlwlrq 6

Ghqlwlrq 7 Dq DODGM lv dq rxwfrph ru dq| frpelqdwlrq ri rxwfrphv
H{dpsoh "

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 ghqhg
"1

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
Wkh uhvxow ri wkdw wuldo frxog kdyh ehhq wkh $ HE LI@CDL +ru
rxwfrph frxog kdyh ehhq "! ru M 1 Lqghhg wkhuh duh dv

Q




pdq| dv

85 srvvleoh rxwfrphv1

$R lv dq hyhqw1 Krzhyhu/ "!Q lv dovr dq hyhqw/ dqg M
lv
Ixuwkhu i$‚> M
j/ i$‚> "!j/ dqg i#> &> N > D
j duh dovr hyhqwv1
&# @ 7=8368<<95:6:  "!"&
1 Qrwh wkdw iru wklv h{shulphqw/ wkhuh duh 5

Dq hyhqw lv d froohfwlrq ri srvvleoh rxwfrphv1
dq hyhqw dv zhoo1

Vr

Dq| frpelqdwlrq

ri srvvleoh rxwfrphv lv dq hyhqw

glhuhqw hyhqwv

1

wuldo

$R,1 Khqfh wkh rxwfrph zrxog eh= $R1 Dqrwkhu

Wkh D{lrpdwlf Wkhru| ri Suredelolw|

Wklv lv dfwxdoo| dq dssolfdwlrq ri d pdwkhpdwlfdo wkhru| fdoohg 2D@Lxuh Wkhru|1

vhw wkhru|
d{lrpdwlf wkhru| ri suredelolw|

edvlf frqfhswv iurp
Wkh

Erwk wkhrulhv dsso|

1

lv edvhg rq d wulsohw

+
> (> S ,
zkhuh




lv wkh vdpsoh vsdfh/ zklfk lv wkh vhw ri doo srvvleoh rxwfrphv


(

lv wkh

vljpd dojheud

ru

vljpd hoC/

zklfk lv wkh vhw ri doo srvvleoh hyhqwv +ru frpelqdwlrq ri

rxwfrphv,

5 lv wkh suredelolw| ixqfwlrq/ zklfk fdq eh dq| vhw ixqfwlrq/ zkrvh grpdlq lv
dqg wkh
lv wkh forvhg xqlw lqwhuydo ^3> 4` > l1h1/ dq| qxpehu ehwzhhq 3 dqg 4 lqfoxglqj 3 dqg 41 Wkh

udqjh

rqo|

uhtxluhphqw iru wklv ixqfwlrq lv wkdw lw pxvw reh| wkh iroorzlqj wkuhh uxohv
+d,

S

^
` @ 4

, eh dq| hyhqw lq (/ wkhq 5 ^,`  3
Ohw , dqg - eh wzr hyhqwv lq @ vxfk wkdw , _ - @ 

+e, Ohw
+f,

/ wkhq

5 ^, ^ - ` @ 5 ^,` . 5 ^-`

Uhodwlyh Iuhtxhqf| Ghqlwlrq1
Wkh uhodwlyh iuhtxhqf| dssurdfk lv edvhg rq wkh iroorzlqj ghqlwlrq= Vxssrvh zh frqgxfw d odujh qxpehu
ri wuldov ri wklv d jlyhq h{shulphqw1 Wkh suredelolw| wkdw d jlyhq hyhqw/ vd| ,> lv wkh iroorzlqj olplw
S

zkhuh

G,

lv wkh qxpehu ri rffxuuhqfhv dqg

^,` @G" GG
olp ,

G lv wkh qxpehu ri wuldov1

Iru h{dpsoh vxssrvh zh frqgxfw wkh deryh h{shulphqw
hyhqw

+4,

, @ i6‚j rffxuuhg 4;; wlphv +G, @ 4;;,
G,
G

1

@

"3> 333

wlphv

+q @ 43333,1

Ixuwkhu vxssrvh wkh

Wkhq

4;;
43333

@ 3=34;;

Dv G lqfuhdvhg wr lqqlw| +dqg dvvxplqj wkdw wkh fdugv duh idlu,/ wkhq wkh udwlr zrxog dssurdfk wkh
suredelolw| ri ,

5 ^,` @G" ,
olp G
G

#

@

4
@ 3=34<9
85


8NIIrvh

wkh hyhqw

- zdv wkh vhw ri doo vsdghv1

Wkhq

- ( E,‚> 5‚> 6‚> 7‚> 8‚> 9‚> :‚> ;‚> <‚> 43‚> M ‚> T‚> N ‚j
Qrz zh vd| wkdw Wkh hyhqw - rffxuv zkhqhyhu dq rxwfrph lv ri d wuldo lv frqwdlqhg lq -1 Lq wklv
fdvh/ zkhqhyhu wkh rxwfrph ri d wuldo frqwdlqv d R/ wkh rxwfrph ehorqjv wr - dqg zh vd| wkdw - rffxuuhg1
Vr/ vxssrvh zh frqgxfwhg wkh deryh h{shulphqw "!> !!! wlphv/ dqg wkh hyhqw - rffxuuhg $!!! wlphv1 Wkhq
GG

$!!!
( "!!!! ( ! $
=

Dv lqfuhdvhg wr lqqlw| +dqg dvvxplqj wkdw wkh fdugv duh idlu,/ wkhq wkh udwlr zrxog dssurdfk wkh
q

suredelolw| ri -

G

"

5 ^-` @G" - ( ( !=#&
olp G %
Qrwh wkdw wklv ghqlwlrq pdnhv vhqvh1 Vlqfh 5 ^-< ( " / lw iroorzv wkdw wkh fkdqfh ri - rffxuulqj lq dq|
%
jlyhq wuldo lv 58(1 Vlploduo|/ wkh fkdqfh ri d 7 rffxuulqj iurp d sduwlfxodu wuldo lv +4@85,  433 ru 4=<(1
suredelolw|

Krzhyhu/ qrwh wkdw wkh
Qrz/ vxssrvh wkh hyhqw

.

ri dq| hyhqw zloo

dozd|v eh d qxpehu ehwzhhq 3 dqg 41

frqvlvwv ri wkh vhw ri doo gldprqgv1

Wkhq

. ( E,€> 5€> 6€> 7€> 8€> 9€> :€> ;€> <€> 43€> M €> T€> N €j

Ohw*v orrn dw erwk

. ehorqj wr -1

- dqg . 1

Zh vd| wkdw

Qrwh wkdw qrqh ri wkh phpehuv lq

- dqg . duh Clvmrlqw

- ehorqj wr . dqg qrqh ri wkh phpehuv lq

dqg wkdw wkhlu

lqwhuvhfwlrq lv wkh hpsw| vhw

-_F (

Lq wklv fdvh wkh suredelolw| ri hlwkhu

- HK . rffxuulqj lv htxdo wr

5 ^- HK . ` @ Golp
"

zkhuh wkh

^ v|pero vwdqgv iru wkh xqlrq

suredelolw|=

Li wzr

suredelolwlhv1
Ilqdoo|/ ohw wkh hyhqw

G- . G.
G

ri wzr vhwv1

@ 5 ^- ^ F

+5,

<

Qrwh wkdw +5, ghvfulehv wkh dgglwlyh frqfhsw ri

hyhqwv duh glvmrlqw/ wkhq wkh suredelolw| ri wkhlu vxp lv wkh vxp ri wkhlu

htxdo doo srvvleoh rxwfrph1

Zh fdoo

wkh fhuwdlq hyhqw

G
( G1 Wkhuhiruh
G
G
5 ^
` @ Golp
( Golp @ 4
" G " G

ru wkh

vdpsoh vsdfh1

Vlqfh

hyhu| srvvleoh rxwfrph lv frqwdlqhg lq wklv hyhqw/

H{dpsoh 5 Frqvlghu wkh h{shulphqw ri lsslqj d idlu frlq wzlfh dqg revhuylqj wkh r xwsxw1
srvvleoh rxwfrphvB

Olvw doo srvvleoh hyhqwv1

+6,
Zkdw duh wkh

Dvvxph wkdw doo rxwfrphv duh htxdoo| olnho|/ dvvljq suredelolwlhv

wr hdfk hyhqw1
Wkh vhw ri doo srvvleoh rxwfrphv lv

Wkhuh duh #% ( "' hyhqwv1

@ iK K> KW > W K> W W j

Wkh| duh

iKK j > iKW j > iW K j > iW W j
iKK> KW j > iKK> WK j > iKK> W W j > iKW> W K j > iKW> W W j > iW K> W W j
iKK> KW> WK j > iKK> KW> W W j > iKK> W K> W W j > iKW> W K> W W j
iKK> KW> WK> WW j > !

Qrwh wkdw

iKK> KW> WK> WW j

lv wkh fhuwdlq hyhqw1

Wkhuhiruh

S ^iKK> K W > W K> W W j` @ 4

+7,

Krzhyhu/ iurp wkh dgglwlyh surshuw|/ lw iroorzv wkdw

5 ^iK K> K W > W K> W W j< @ S ^iKK j` . S ^iK W j` . S ^iW K j` . S ^iW W j`

+8,

exw vlqfh hdfk rxwfrph lv htxdoo| olnho| zh kdyh wkdw

5 ^iKK j` @ S ^iKW j` @ S ^iWK j` @ S ^iWW j`
6

+9,


Wkhuhiruh iurp +8, dqg +9,/ lw iroorzv wkdw

5 ^iKK j< @ S ^iKW j` @ S ^iWK j` @ S ^iWW j` @

Xvlqj wkh dgglwlyh frqfhsw ri suredelolw| zh fdq vhh wkdw

4
7

+:,

5 ^iK K> K W j` @ S ^iK K> W K j` @ S ^iK K> W W j` @
@ S ^iK W> W K j` @ S ^iK W> W W j` @

5 ^iK K> K W> W K j`
5 ^`

@

S

S

^iW K> W W j` @

4
5

^iK K> K W> W W j` @ S ^iK K> W K> W W j` @ S ^iK W > W K> W W j` @

@ 3

+;,

6
7

+<,
+43,

Mrlqw Suredelolw|
Ohw wkh hyhqwv / dqg 0 eh ghqhg dv iroorzv

/ ( i,‚ 5 ;€ 7‚j
>

H

Qrwh wkdw

>

@ i7> N ‚> 7‚> 5j

4
7
@
85
46
4
7
@
5 ^0 ` @
85
46
lv dqrwkhu hyhqw wkdw frqwdlqv wkh hohphqwv ri

5 ^/`

Wkhq wkh lqwhuvhfwlrq ri / dqg 0

>

@

/ dqg H

G _ H ( i%‚ #j
>

@GC

4
/ _ H ` @ 5 ^G H ` @ ^G @GC H ` @ 59
Zh fdoo 5 ^/ _ H @ 5 ^G H ` @
^G @GC H ` M mrlqw suredelolw| ri / 0
S ^

<

>

erwk hyhqwv rffxuulqj

>

S

+44,

S

kh

dqg

1

Lw ghvfulehv wkh suredelolw| ri

Frqglwlrqdo Suredelolw|

gjh derxw rqh hyhqw surylghv xv dgglwlrqdo lqirupdwlrq derxw wkh rffxuuhqfh
ri dqrwkhu hyhqw1 Vxssrvh wkdw zh frqgxfw dq h{shulphqw dqg zh qg rxw wkdw / kdv rffxuuhg1 Wkxv zh
nqrz wkdw wkh rxwfrph zdv hlwkhu d ,R/ 5/ ;€/ ru 7‚= Grhv wklv whoo xv dq|wklqj derxw wkh rffxuuhqfh
ri 0 B Wkh dqvzhu lv |hv1
Lq d qxpehu ri fdvhv/ nqrzoh

Jlyhq wkdw

/

‚ 5 ;€

kdv rffxuuhg/ zh nqrz wkdw wkh rxwfrph zdv hlwkhu D

/

/

/ ru

7‚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

/ kdv rffxuuhg lv " lq rwkhu zrugv
%

5 ^,‚mG` @ 5 ^5mG` @ 5 ^;€mG` @ 5 ^7‚mG` @
Qrwh wkdw

5 ^,m-< phdqv wkh suredelolw| ri , jlyhq wkh - kdv rffxuuhg

4
7

+45,

Qrz orrn dw wkh hyhqw 0 ( i% ‚ %‚ #j
/
,R 5 ;€ 7‚
7
NR frxog krw kdyh kdsshqhg

ehfdxvh %Q @GC N R @KD qrw lq /1 Wkhuhiruh
5 7mG` @ 5 ^N mG` @ 3
+46,
Wkhuhiruh/ jlyhq wkdw zh nqrz / kdv rffxuuhg/ zh fdq zulwh wkh suredelolw| ri 0 dv iroorzv
5 0 mG ` @ 5 ^7mG` . 5 ^N mG` . S ^;€mG` . S ^7‚mG`
4
@ 3.3. 4 . 4 @ 5
+47,
7 7
>N

zhuh rqo|

/

/

/ ru

>

>

1

Jlyhq wkdw

kdv rffxuuhg dqg wkdw wkh srvvleoh rxwfrphv

/ zh fdq frqfoxgh wkdw wkh rxwfrphv

^

^

7

dqg


Zh fdq dovr frpsxwh wkh suredelolw| ri 0 jlyhq wkdw

Ghqlwlrq 8

Ohw

, jlyhq - 5 , /

^

m

`

,

-

dqg

/ kdv rffxuuhg xvlqj wkh iroorzlqj ghqlwlrq1

eh wzr hyhqwv iurp wkh vdph h{shulphqw1

lv ghqhg dv iroorzv

^ `@!

S E

/ wkhq S

Vr/ iru wkh fdvh ri

0

^,m-`

lv

/

5 ^H > G`
S

, jlyhq . deryh zh kdyh wkdw
3
5 ^D F `
@
@3

5 ,mF ` @
^F `
3 58
>

S

Dqrwkhu lpsruwdqw frqfhsw lq suredelolw| lv

Ghqlwlrq 9

Ohw

,

dqg

-

eh wzr hyhqwv iurp wkh vdph h{shulphqw1

li wkh mrlqw suredelolw| ri

Iurp wklv lw iroorzv wkdw
S
lpsolhv li wzr hyhqwv duh

=

lqghshqghqfh1

,

IKHCNBM
5 , `@ ^ ` ^ `

dqg

lv htxdo wr wkh

^

Wklv

4@59
46
4
@
@
4@46
59
5

@

^G `

^

lqghshqghqw

+48,

E

/ zh kdyh wkdw

5 ^0 mG` @

Vlploduo| iru wkh fdvh ri

^ `

S

xqghqhg1

jlyhq wkdw

frqglwlrqdo suredelolw| ri

5 ^D> E`

5 ^,m-` /
Li

Wkhq wkh

>E

S

D S

Wkhq

,

dqg

-

duh vdlg wr eh

ri wkhlu wzr lqglylgxdo suredelolwlhv1

E

^ - @ ^ ^ ` ` @ ^ `^ `^ ` @ ^ `
Dm

<

S

S

D> E

S

E

D S

S

E

E

S D

+49,

+4:,

lqghshqghqw/ wkh nqrzohgjh derxw rqh hyhqw surylghv devroxwho| nqrz

lqirupdwlrq derxw wkh rwkhu hyhqw

7@GCHF ;@Kldeohv

\rx pd| kdyh qrwlfhg wkxv idu wkdw zh kdyh zrunlqj zlwk vhwv dqg hyhqwv wkdw frqwdlq rgg v|perov vxfk
dv $R % &€ '
 
>

>

>

> = = =

Rwkhu h{dpsohv/ erwk lq wklv qrwh vhw dqg wkh errn/ kdyh zrunhg zlwk hyhqwv zlwk

iru wkh glfh sureohp1 Zh zrxog olnh wr
KK j
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
rwkhu v|perov vxfk dv

i

iru wkh frlq sureohp dqg







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

,R $ "
#

‚$#




N ‚ $ "$
D $ "%

 $ "&

#





N  $ #'
DP  5:
5

P  5;




NP  6<

DQ  73
5

Q  7"




NQ  &#
&


Wkhq hdfk fdug lv dvvljqhg dq lqwhjhu rq wkh uhdo olqh1
zkhuh



Vxssrvh zh dvvljq wklv pdsslqj wkh ixqfwlrq

Vxfk d pdsslqj lv fdoohg d

/

udqgrp yduldeoh1

Ghqlwlrq : , udqgrp yduldeoh/ [ + , lv d ghwhuplqlvwlf

ixqfwlrq

wkdw dvvljqv hdfk rxwfrph/

[=
$?

lq dq h{shulphqw/ d qxpehu1

Vr wkdw

[ +
,

lv dq| rxwfrph

5 ^[ + , @ "` @ S ^[ + , @ "` @ !



#
/
+4;,

Wkh 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
ri d udqgrp yduldeoh1

dv d yduldeoh1

Frqvlghu d vhfrqg h{dpsoh

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 ^[ +  , @ { ` @ S

( [ " + { ,



+4<,

$

%

Ω

;$


;%

H{dpsoh 7 Frqvlghu wkh vdph fdug h{shulphqw1 Vxssrvh zh ghqh d udqgrp yduldeoh

5

8 +
,

vxfk wkdw

R = 8 +
, @ 4
 = 8 +
, @ 5
li
frqwdlqv d P = 8 +
, @ 6
li
frqwdlqv d Q = 8 +
, @ 7
li
frqwdlqv d

li
frqwdlqv d

Qrwh wkdw wkh rxwfrph fdq eh dvvljqhg wkh vdph qxpehu1

Wkh ixqfwlrq ghqhg e| wkh udqgrp yduldeoh
fdq e| dq| vhw ixqfwlrq surylghg wkdw wkh dvvrfldwhg suredelolwlhv dv wkh " lv }hur

Zkdw derxw wkh suredelolwlhv
,

udqgrp yduldeoh lv d ixqfwlrq ri wkh rxwfrphv ri dq h{shulphqw1

suredelolw|/ wkh qxpehu

Wkhuhiruh/ vlqfh hdfk rxwfrph kdv d

dvvljqhg wr wkdw ixqfwlrq e| d udqgrp yduldeoh/

dovr kdv d suredelolw|1

Wkh

suredelolw| ri d jlyhq udqgrp yduldeoh lv ghwhuplqhg dv iroorzv1

zkhuh

[ " +{, lv d pdsslqj iurp

H{dpsoh 8

5 ^[ +  , @ { ` @ S
wkh uhdo olqh/




( [ " + { ,



+53,

?/ wr wkh vhw ri doo rxwfrphv/
1

Frqvlghu wkh udqgrp yduldeoh [ +
, Chqhg lq H{dpsoh 6
S ^[ + , @ 4`

@


S

( [ " +4,



@

5 ^
@ ,R< @

4
85

5 ^[ + , @ 5;=<`

5 ^[ + , @ 3`

@


" +59, @ 5 ^ @ N < @ 4
S
[
85

" +5;=<, @ S ^!` @ !
S
[

" +3, @ 5 ^!` @ 3
S  @[

 5`

@

S

5 ^[ + , @ 59`

S ^[ +  ,

@
@



(
(








( [ " +" 5` ( 5 ^ @ EDR> 5Rj
>

'

<

(

#
&#


H{dpsoh ' Frqvlghu wkh udqgrp yduldeoh 8 +
,/ ghqhg lq H{dpsoh 7
5 ^8 +
, @ 4`

@
@


5



( 8 " +4,
4
5 ^
@ i,‚> > 5‚> 6‚> 7‚> 8‚> 9‚> :‚> ;‚> <‚> 43‚> M ‚> T‚> N ‚j` @
7

S ^V + , @ 5`

@

5 ^V + , @ 5=&<

(



4
S
8 " +5, @
7



5
( 8 " +5=8, @ S ^!` @ 3

S ^5  8 +
,  6`

@

5

(






@ 8 " ^5> 6`

( 5 ^
@ Edoo  L dqg doo j
!

<

(

"
#

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,

Ghqlwlrq ;

Ohw

[ + , eh d udqgrp yduldeoh ghqhg rq d vdpsoh vsdfh
1 Wkhq wkh Fxpxodwlyh Glvwul0
ri [ lv ghqrwhg e| wkh ixqfwlrq I[ +{! , dqg lv ghqhg dv iroorzv

exwlrq Ixqfwlrq +FGI,

[  {!

I[ +{! , @ S ^[  {! <
ghqhv dq hyhqw ru d froohfwlrq ri rxwfrphv1

zkhuh wkh vhw

^

H{dpsoh :

Frqvlghu wkh udqgrp yduldeoh lq H{dpsoh 61

<

+54,

I[ +{! , @ S ^[  {! ` @
85
4

Wkh FGI ri

[
&#

n("

[

lv

N +{!  n ,

F X (x)
1

52

1

H{dpsoh ;

Frqvlghu wkh udqgrp yduldeoh lq H{dpsoh 71

18 +L! , @ N +L!  4, .

4

8H

4

7

7

N +L!

Wkh FGI ri

x

8

lv

4
4
 5, . 7 N +L!  6, . 7 N +L!  7,

;!
A"
A
?%
1 8 + L! , @ "
A#

A$
=%
"

:

L! ? "
"  v! ? #
#  v! ? $
$  v! ? %
v!  %

+55,

+56,


F S (s o )
1

1

Ghqlwlrq <

2

3

4

so

[ +
, eh d udqgrp yduldeoh ghqhg rq d vdpsoh vsdfh
1 Wkhq wkh Suredelolw| Ghqvlw|
[ lv ghqrwhg e| wkh v|pero i[ +{, dqg lv ghqhg dv wkh ghulydwlyh ri lwv FGI

Ohw

ri

Ixqfwlrq +sgi ,

E[ +{, @

g
g{

I[ +{, @

g
g{

S ^[ +  ,

 {`

+57,

Qrwh wkdw zh fdq uhfryhu wkh FGI iurp wkh SGI wkurxjk lqwhjudwlrq

1[ +{, @
Wkhuhiruh

E[ +{, zloo dozd|v lqwhjudwh wr

] {

"

E[ +, g

+58,

4

] "

"

E[ +{, g{ @ 4

Ixuwkhupruh/ wkh suredelolw| wkdw [ + , lv ehwzhhq {"

dqg

+59,

{# / {#

A {"

dqg

{#

lqfoxvlyh/ fdq eh frpsxwhg

dv iroorzv

S

^

{" ? [  {# ` @ S ^[

 {# `  S ^[  {" ` @ I[ +{# ,  1[ +{" , @

Qrwh wkdw wkh dujxphqw/
/ kdv ehhq gursshg iurp wkh udqgrp yduldeoh/ [ 1

] {#
{"

E[ +{, g{

+5:,

Iru wkh uhpdlqghu ri wklv

glvfxvvlrq/ zh zloo dvvxph wkdw wkh ghshqghqfh ri d udqgrp yduldeoh [ rq  lv lpsolflw dqg rplw wkh
dujxphqw iru frqyhqlhqfh

Prphqwv ri Udqgrp Yduldeohv

Prphqwv ri udqgrp yduldeohv lqfoxgh d qxpehu ri txdqwlwlhv vxfk dv dyhudjhv
ghyldwlrqv/

hwf1

/

yduldqfhv/ vwdqgdug

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,

Ghqlwlrq 43 Ohw [ eh d udqgrp yduldeoh zlwk wkh sgi i[ +{, Wkhq wkh h{shfwhg
[ / lv
]"
[dyj ( H ^[ ` / {i[ +{,
"
GhqlwlHG "" Ohw [ eh d udqgrp yduldeoh zlwk sgi i[ +{, Wkhq/ wkh yduldqfh
l ] "
k
#
#
#
 [ ( 0 +[  [dyj , /

+{  [dyj , E[ +{, g{
"
dqg wkh

vwdqgdug ghyldwlrq

ri

[ lv
u

[

k

l

( 0 +[  [dyj , /
#

v]
"

"
;

+{

 [dyj ,# E[ +{, g{

ri

ydoxh

[

ru

dyhudjh

ri

+5;,

lv

+5<,

+63,


[ eh d udqgrp yduldeoh zlwk sgi E[ +{,
] "
pq ( {G E[ +{, g{
[
"
dqg wkh Gwk fhqwudo prphqw r [
] "
q
G (

[
+{  [dyj , i[ +{, g{
Ghqlwlrq 45

Ohw



E

Wkhq/ wkh

G wk FHFDGM

ri

[

lv

+64,

lv

+65,

"

[ eh d udqgrp yduldeoh dqg ohw j +[, eh vrph ixqfwlrq ri wkdw udqgrp yduldeoh1
j +[ , zloo wudqvirup [ lqwr d qhz udqgrp yduldeoh/ zklfk zh zloo fdoo \

\ @ j +[ ,

Ilqdoo|/ ohw
wklv

zklfk kdv lwv rzq
whfkqltxhv1

\ *v FGI ru sgi duh qrw uhtxluhg1
Wkhq wkh

FHFDGML

ru

ri

\ / vxfk dv lwv dyhudjh/ wkhq nqrzohgjh derxw

Udwkhu zh fdq mxvw xvh wkh douhdg| nqrzq FGI dqg sgi ri

[ eh d udqgrp yduldeoh zlwk sgi i[ +{,

h{shfwhg ydoxh

dyhudjh

ri

\

lv

\@OD ( 0 ^\ ` @ H ^j +[ ,` @
H{dpsoh < Ohw

+66,

FGI dqg sgi/ zklfk pxvw eh irxqg wkurxjk wkh xvh ri udqgrp yduldeoh wudqvirupdwlrq

Krzhyhu/ li zh duh lqwhuhvwhg lq wkh

Wkhruhp 4 Ohw

Lq prvw fdvhv



Ohw

]"

"

\

@

j +[ ,

[

1

eh vrph wudqvirupdwlrq ri

j +{, i[ +{, g{

[

1

+67,

[ eh d udqgrp yduldeoh zlwk wkh iroorzlqj sgi

; { . 4 "  {  !
?
i[ +{, @ = "  { ! ? {  "
!
rwkhuzlLD

+68,

f X (x )

1

] "
{ +{ . 4, g{ .

{ +4  {, g{ @ 3
"
"
!
]"
]!
] "
l
k


0 +[  [dyj ,# ( 0 [ # (
{i[ +{, g{ @
{# +{ . 4, g{ .
{# +4  {, g{ @
"
"
!
]!
]"
] "
+{ .  , i[ +{, g{ @
+{ .  , +{ . 4, g{ .
+{ .  , +4  {, g{ @ 

[dyj ( 0 ^[ ` @
#
[

(

H ^[ .  `

@

] "

x

1

-1

{i[ +{, g{ @

"

]

!

"

5
6

!

Ixqfwlrqv ri d Udqgrp Yduldeoh

Ghqlwlrq 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 glhuhqw wkdq wkh FGI dqg sgi
ri [ 1 Lq idfw zh zloo xvh lqirupdwlrq derxw wkh 1[ +{,/ i[ +{,/ dqg j +[ , wr ghwhuplqh 1\ +|, dqg i\ +|,

Wkh glvwulexwlrq ri t

'

}Ef 

\

\ / lv qrwklqj pruh wkdq wkh suredelolw| ri wkh hyhqw wkdw E  |j Wklv
wv ri doo rxwfrphv
#
vxfk wkdw +
,  | Wklv lv htxlydohqw wr wkh vhw ri doo rxwfrphv
#
vxfk wkdw j ^[ + ,`  |/ dqg wklv lv htxlydohqw wr wkh vhw ri doo rxwfrph
#
vxfk wkdw + ,  j" +|, 8H
Wkh SGI ri wkh udqgrp yduldeoh/

frqvlv

\

1 +|, @ S +E\  |j, @ S +ij +[,  |j, @ S
<



[  j " + | ,




[

+69,


t

Wkh Suredelolw| Ghqvlw| Ixqfwlrq +sgi, ri

} Ef 

'

Rqfh wkh SGI ri \ lv frpsxwhg/ wkh frpsxwdwlrq ri wkh sgi ri \ lv vwudljkwiruzdug

E\ +|, @

g
I +| ,
g| \

+6:,

H{dpsohv
H{dpsoh 43

Ohw [ eh d udqgrp yduldeoh1

\
Ilqg
dqg

I\

|

+| ,

Ohw

( j +[ , @ 5 [ . 4

dqg i\ +|,1 Wr qg I\ +|,/ zh pxvw hydoxdwh wkh hyhqw E\

lv vlpso| d qxpehu1

Frqvlghu wkh iroorzlq

j judsk

 |j zkhuh \

lv wkh udqgrp yduldeoh

Y
Y= 2X +1
y

x=(y-1)/2

{X ≤(y-1)/2}

X

{Y ≤y}

Wkh vkdghg yhuwlfdo olqh fruuhvsrqgv wr wkh hyhqw E
= \ + ,  |j dqg wkh krul}rqwdo olqh fruuhvsrqgv wr wkh




hyhqw

=

[ + ,  " +|  4,
#



Erwk hyhqwv kdyh wkh h{dfw vdph rxwfrphv1

E
= \ + ,  | j @

Wkhuhiruh
E\



"
 5 +|  4,

 = [ + ,



Wkhuhiruh