Kdplowrq f|fohv lq wkh sdwk judsk ri d vhw ri srlqwv lq frqyh{ srvlwlrq Hgxdugr Ulyhud0Fdpsr dqg Ylujlqld Xuuxwld0Jdolfld Ghsduwdphqwr gh Pdwhpäwlfdv Xqlyhuvlgdg Dxwöqrpd Phwursrolwdqd0L}wdsdodsd
Devwudfw
eh d vhw ri ? srlqwv lq frqyh{ srvlwlrq lq wkh sodqh1 Wkh sdwk C E ri lv wkh judsk zlwk rqh yhuwh{ iru hdfk sodqh vsdqqlqj sdwk ri / lq zklfk wzr sdwkv 7 dqg A duh dgmdfhqw li rqh fdq eh rewdlqhg iurp wkh rwkhu e| d vlqjoh hgjh h{fkdqjh1 Zh suryh wkdw li ? D / wkhq C E lv kdplowrqldq1 Ohw
judsk
Nh|zrugv= Jhrphwulf judsk/ vsdqqlqj sdwk
4
Lqwurgxfwlrq
Iru dq| frqqhfwhg devwudfw judsk J/ wkh wuhh judsk W +J, lv wkh judsk wkdw kdv rqh yhuwh{ iru hdfk vsdqqlqj wuhh ri J/ dqg dq hgjh mrlqlqj wuhhv U dqg V zkhqhyhu U fdq eh rewdlqhg iurp V e| ghohwlqj dq hgjh v ri V dqg dgglqj dq hgjh u ri U1 U1 O1 Fxpplqjv suryhg lq ^F` wkdw W +J, lv kdplowrqldq> vhh dovr ^V` iru d vkruw surri1 D jhrphwulf yduldwlrq wkdw kdv ehhq vwxglhg lv wkh iroorzlqj= Iru d vhw S ri srlqwv lq jhqhudo srvlwlrq lq wkh sodqh/ wkh sodqh wuhh judsk W +S , ri S lv ghqhg dv wkh devwudfw judsk zlwk rqh yhuwh{ iru hdfk sodqh vsdqqlqj wuhh ri S / lq zklfk wzr wuhhv duh dgmdfhqw li/ dv lq wkh devwudfw fdvh/ rqh lv rewdlqhg iurp wkh rwkhu e| d vlqjoh hgjh h{fkdqjh1 G1 Dylv dqg N1 Ixnxgd suryhg lq ^D` wkdw W +S , lv dozd|v frqqhfwhg1 Lq ^K`/ F1 Khuqdqgr hw do vkrz wkdw li wkh srlqwv lq S duh wkh yhuwlfhv ri d frqyh{ sro|jrq/ wkhq W +S , lv kdplowrqldq1 Lq wklv qrwh zh rqo| frqvlghu vhwv S ri srlqwv lq frqyh{ srvlwlrq dqg vwxg| wkh vxejudsk J +S , ri W +S , lqgxfhg e| wkh vhw ri sodqh vsdqqlqj sdwkv ri S 1 Zh suryh wkdw J+S , lv lwvhoi kdplowrqldq1 Vlqfh/ iru dq| vsdqqlqj sdwk W ri S / sodqdulw| ghshqgv rqo| rq wkh uhodwlyh srvlwlrq ri lwv yhuwlfhv dorqj wkh frqyh{ kxoo ri S / iru dq| vhw S ri q srlqwv lq frqyh{ srvlwlrq lq wkh sodqh wkh judsk J+S , lv lvrprusklf wr J +Sq ,/ zkhuh Sq lv d uhjxodu q0jrq1 Zh ghqrwh e| Jq wkh judsk J +Sq ,> wkh judskv J6 dqg J7 duh vkrzq lq Iljxuh 41
4
Iljxuh 4= Wkh judskv J6 dqg J7 1 Wkh pdlq uhvxow ri wklv duwlfoh lv wkh iroorzlqj1 Wkhruhp 4 Li q
6
q
/ wkhq J
lv kdplowrqldq1
Iru dq| jhrphwulf judskv J dqg I rq wkh vdph vhw ri srlqwv zh vd| wkdw J dqg I duh dgmdfhqw li I fdq eh rewdlqhg iurp J e| d vlqjoh hgjh h{fkdqjh1 Wkurxjkrxw wkh sdshu z4 > z5 > = = = > zq ghqrwh wkh yhuwlfhv ri Sq lq forfn0 zlvh rughu1 Iru dq| yhuwlfhv zw dqg zv ri Sq zh ghqrwh e| ^zw > zv ` wkh vhw izw > zw.4 > = = = > zv j/ zkhuh lqglfhv duh dgghg prgxor q1
5
Suholplqdu| uhvxowv
D ohdi ri d wuhh W lv dq hgjh lqflghqw zlwk d yhuwh{ ri W zlwk ghjuhh rqh1 Iru dq| vhw S ri srlqwv lq wkh sodqh zh ghqrwh e| F K +S , wkh erxqgdu| ri wkh frqyh{ kxoo ri S 1 Lq ^K`/ F1 Khuqdqgr hw do suryhg wkh iroorzlqj uhvxow1 Wkhruhp 5 Ohw S eh d vhw ri q
6
srlqwv lq frqyh{ srvlwlrq lq wkh sodqh1 Li W
lv d sodqh vsdqqlqj wuhh ri S / wkhq W kdv dw ohdvw wzr ohdiv o|lqj lq F K +S ,1
Fruroodu| 6 Ohw S eh d vhw ri q srlqwv lq frqyh{ srvlwlrq lq wkh sodqh1 Li h lv d ohdi ri d sodqh vsdqqlqj sdwk W ri S / wkhq h olhv lq F K +S ,1
Li q 6/ wkhq doo hgjhv ri W olh lq F K +S ,1 Dqg li q 6/ wkhq W kdv h{dfwo| wzr ohdiv zklfk/ e| Wkhruhp 5/ pxvw olh lq F K +S ,1 Ohw W @ z4 > zw5 > = = = > zwq eh d sodqh vsdqqlqj sdwk ri Sq zlwk rqh hqg lq z4 1 Vlqfh z4 zw5 lv d ohdi ri W / e| Fruroodu| 6/ lw pxvw olh lq F K +S ,> zlwkrxw orvv ri jhqhudolw| zh dvvxph zw5 @ z5 1 Li z6 9@ zw6 9@ zq / wkhq z6 dqg zq duh vhsdudwhg e| wkh hgjh z5 zw6 1 Vlqfh W lv d sodqh vsdqqlqj sdwk ri Sq / wkhq z6 lv frqqhfwhg wr zw6 e| d vxesdwk ri W frqwdlqhg lq rqh ri wkh kdoi sodqhv ghqhg e| wkh olqh o wkdw frqwdlqv wkh hgjh z5 zw6 / dqg zq lv frqqhfwhg wr zw6 e| d vxesdwk ri W frqwdlqhg lq wkh rwkhu kdoi sodqh ghqhg e| o1 Wklv lpsolhv wkdw dw ohdvw rqh yhuwh{ ri W pxvw kdyh ghjuhh 6 zklfk lv qrw srvvleoh vlqfh W lv d sdwk1 Wkhuhiruh hlwkhu zw6 @ z6 ru zw6 @ zq > wklv phdqv wkdw wkh uvw wkuhh yhuwlfhv ri W duh frqvhfxwlyh yhuwlfhv ri Sq 1 E| h{whqglqj wklv dujxphqw/ zh fdq suryh wkh iroorzlqj uhvxow1 Surri1
5
Wkhruhp 7 Ohw W eh d sodqh vsdqqlqj sdwk ri Sq 1 Iru n @ 4> 5> = = = > q/ wkh uvw n yhuwlfhv ri W duh frqvhfxwlyh srlqwv ri Sq 1 Ohw [ @ i{4 > {5 > = = = > {v j eh d vhw ri srlqwv lq frqyh{ srvlwlrq lq wkh sodqh dqg ohw b = [ $ [ eh jlyhq e| +{n , @ {v.4n 1 Iru dq| jhrphwulf judsk J zlwk yhuwh{ vhw [ / zh ghqrwh e| +J, wkh jhrphwulf judsk/ dovr zlwk yhuwh{ vhw [ / lq zklfk +{l , dqg +{m , duh dgmdfhqw li dqg rqo| li {l dqg {m duh dgmdfhqw lq J1 Lq wkh fdvh zkhuh [ lv d vhw ri frqvhfxwlyh srlqwv ri Sq / wkhq +J, lv wkh uh hfwlrq ri J zlwk uhvshfw wr wkh ruwkrjrqdo elvhfwru ri wkh vhjphqw {4 {v 1 Wkh iroorzlqj ohppdv zloo eh xvhg lq wkh surri ri Wkhruhp 4> wkhlu surriv duh rplwwhg1
Ohppd 8 Ohw [ eh d vhw ri srlqwv lq frqyh{ srvlwlrq lq wkh sodqh1 Li J lv d sodqh jhrphwulf judsk zlwk yhuwh{ vhw [ / wkhq +J, lv dovr d sodqh jhrphwulf judsk zlwk yhuwh{ vhw [ 1 Ohppd 9 Ohw [ eh d vhw ri srlqwv lq frqyh{ srvlwlrq lq wkh sodqh dqg ohw J dqg I eh jhrphwulf judskv zlwk yhuwh{ vhw [ 1 Li J dqg I duh dgmdfhqw/ wkhq +I , dqg +J, duh dovr dgmdfhqw1 Iru dq| sodqh vsdqqlqj sdwk W
4
@ zw4 > zw5 > = = = > zwq
ri Sq dqg dq| lqwhjhu dqg e| W n wkh
n q/ zh ghqrwh e| Wn wkh vxesdwk zw4 > zw5 > = = = > zwn ri W
vxesdwk zwn > zwn.4 > = = = > zwq ri W 1
6
Surri ri Wkhruhp 4 iru q rgg
Iru n @ 3> 4> = = = > q 4 zh vkrz wkdw wkhuh lv d sdwk Mn lq Jq frqwdlqlqj doo sodqh vsdqqlqj sdwkv ri Sq zlwk plggoh srlqw zn.4 / dqg wkdw wkh sdwkv M3 > M4 > = = = > Mq4 fdq eh frqfdwhqdwhg wr jlyh d Kdplowrq f|foh ri Jq 1 Iru hdfk p 4/ ohw xv ghqrwh wkh srlqwv ri S5p.4 dv iroorzv= Iru l @ 4> 5> = = = > p . 4 ohw xl @ zl dqg yl @ z5pl.5 1 Ohw Dp eh wkh vhw ri sodqh vsdqqlqj sdwkv ri J5p.4 zlwk plggoh srlqw xp.4 @ zp.4 @ yp.4 / dqg ghqrwh e| Ip wkh vxejudsk ri J5p.4 lqgxfhg e| Dp 1 E| Wkhruhp 7/ zlwkrxw orvv ri jhqhudolw|/ zh pd| dvvxph Y +Wp.4 , @ ix4> x5 > = = = > xp.4j dqg Y W p.4 @ iy4> y5> = = = > yp.4 j iru hyhu| W 5 Dp 1 Zh fdoo Wp.4 wkh ohiw vxesdwk ri W dqg W p.4 wkh uljkw vxesdwk ri W / dqg ghqrwh wkhp e| WO dqg WU / uhvshfwlyho| +vhh Iljxuh 5,1 Wkh iroorzlqj ohppd lv dovr suhvhqwhg zlwkrxw surri1
Ohppd : Wzr sdwkv W> V 5 Dp duh dgmdfhqw li dqg rqo| li VU dqg WU duh dgmdfhqw dqg WO @ VO / ru VO dqg WO duh dgmdfhqw dqg WU @ VU 1
i
j j
Ohw O eh d sodqh sdwk zlwk yhuwh{ vhw x4 > x5 > = = = > xp.4 dqg rqh hqg lq xp.4 dqg U eh d sodqh sdwk zlwk yhuwh{ vhw y4 > y5 > = = = > yp.4 dqg rqh hqg lq yp.4 1 Zh ghqrwh e| O U wkh sdwk lq Dp zlwk ohiw vxesdwk O dqg uljkw vxesdwk U1
6
i
u4 = v 4 u3
v3
u2
v2 u1
Iljxuh 5=
Iru
x x .4 D 1 l p l>m p
l>m
x5 > x6> x4> x7 dqg W
U
l>m p
y .4y
dqg
p
m
p
I 41
@
y7> y6> y4 > y51 D
eh wkh vhw ri sdwkv lq p frqwdlqlqj wkh hgjhv l>m / dqg ghqrwh e| p eh wkh vxejudsk ri p lqgxfhg e|
5
dqg
I
l> m
5 i4> pj
/ wkh judsk
I
I
l>m p
lv lvrprusklf wr wkh
p
W
+ , @
5 i4> pj ohw +W x .4 ,
l> m
Iru
Surri1
@
O
5 i4> pj ohw D
l> m
Ohppd ; Iru judsk
W
v1
O
p p
p
=
m 4
l>m
l 4
p p
lghqwlw| ixqfwlrq +vhh Iljxuh 6,1
$ D 4 eh wkh ixqfwlrq jlyhq e| y .4,/ zkhuh 4 @ dqg 3 lv wkh
D +W
l>m p
U
p
p
u3 = v 3
u4 = v 4 u3
v3 u2
u2
v2 u1
Iljxuh 6=
W
v2
@
W
u1
v1
v1
W 5 D46 6 dqg 4 6 +W , @ 4 +W x7, 3 +W y7, 5 D51 >
O
U
>
O
U
x x .4 lv dq hgjh ri W / wkhq x lv dq hqg ri W x .4/ dqg vlqfh pl +x , @ x / wkhq x lv dq hqg ri p4 +W x .4 ,1 Vlqfh y .4 y lv dq pm hgjh ri W / wkhq y lv dq hqg ri W y .4 / dqg vlqfh p4 +y , @ y / wkhq y pm lv dq hqg ri p4 +W y .4 ,1 Wkhuhiruh +W , lv sodqh vsdqqlqj sdwk ri S5 4 zlwk plggoh srlqw x @ z @ y 1 pm pl Li +W , @ +V ,/ wkhq p4 +W x .4 , @ p4 +V x .4 , dqg pm pm p4 +W y .4, @ p4 +V y .4,1 Vlqfh lv d rqh wr rqh ixqfwlrq/ wkhq W x .4 @ V x .4 dqg W y .4 @ V y .4 > wklv lpsolhv W @ V dqg W @ V dqg wkhuhiruh lv dovr rqh wr rqh1 pl Iru W 3 @ W 3 W 3 5 D 4 ohw W @ p4 +W 3 , . x x .4 dqg W @ pm pl p4 +W 3 , . y y .4 1 Vlqfh x lv dq hqg ri W 3 dqg p4 +x , @ x / wkhq x pl lv dq hqg ri p4 +W 3 , dqg x .4 lv dq hqg ri W 1 Vlqfh y lv dq hqg ri W 3 Vlqfh
l 4
p p
l
p
l
O
p
U
U
p
U
p
U
p
U
m
p
p
p
p
O
p
p
U
p
U
p
O
O
l>m
O
U
m
O
U
O
p
l>m
p
l>m
p
p
p
p
p
p
l>m
O
O
m
O
l
p
m
U
p
O
p
p
O
O
l
p
p
O
p
O
7
p
U
l
l
U
pm pm dqg p4 +yp , @ ym / wkhq ym lv dq hqg ri p4 +WU3 , dqg yp.4 lv dq hqg ri WU 1 Wkhuhiruh W @ WO WU lv d sodqh vsdqqlqj sdwk ri S5p.4 zlwk plggoh srlqw xp.4 @ zp.4 @ yp.41 Vlqfh 5 @ 3 lv wkh lghqwlw| ixqfwlrq/ wkhq l>m +W , @ W 3 dqg wkhuhiruh l>m lv d ixqfwlrq rqwr Dp4 1 l>m E| ohppdv : dqg 9/ W dqg V duh dgmdfhqw lq Ip li dqg rqo| li l>m +W , dqg l>m +V , duh dgmdfhqw lq Ip41 Wkhuhiruh Ipl>m dqg Ip4 duh lvrprusklf1
p 5/ wkhq I frqwdlqv d Kdplowrq O U3 / zkhuh O @ x4>x5> = = = > x .4/ U 3 @ y .4> y4> y5> = = = > y 1 dqg U Sursrvlwlrq < Li
O
p
U
p
p
dqg
p
p
p
p
p
p
p
M zlwk hqgv y .4> y > = = = > y4
sdwk
@
p
p
p
p
Wkh sdwk M5 lv vkrzq lq Iljxuh 71 Zh surfhhg e| lqgxfwlrq dvvxplqj p 6 dqg wkdw wkh uhvxow krogv iru wkh judsk I 41 Surri1
p
Iljxuh 7= Wkh sdwk M5 1 E| lqgxfwlrq Ip4 frqwdlqv d Kdplowrq sdwk Mp4 zlwk hqgv lq Op4 Up4 3 4 1 Vlqfh Ipl>m lv lvrprusklf wr Ip4/ wkhq Ipl>m frqwdlqv d dqg Op4 Up 4 +Op4 Up4, dqg 4 Op4 U3 1 Wr l>m Kdplowrq sdwk Mp zlwk hqgv p4 l>m l>m p>p 4>p/ Mp 4>4 dqg Mp p>4 hqg wkh surri zh vkrz krz wr frqfdwhqdwh wkh sdwkv Mp / Mp 4 + O U , @ O U wr irup d Kdplowrq sdwk Mp ri Ip zlwk hqgv p4 p4 p p p>p 4 Op4 U3 3 @ O U dqg 1 p p4 p p>4 4 Op4 Up 3 4 @ +Op4 . xpxp.4, U3p4 . ypyp.4 Vlqfh p>p 4 3 4 @ +Op4 . x4xp.4, Up 3 4 . ypyp.4/ wkhq dqg 4>p Op4 U p 4 Op4 U3 4 Op4 Up 3 4 e| ghohwlqj wkh 4>p fdq eh rewdlqhg iurp p4 p>p 4 hgjh xp xp.4 dqg dgglqj wkh hgjh x4 xp.4 1 Dqdorjrxvo| 4>p +Op4 Up4 , 4 4 3 4 lv dgmdfhqw wr lv dgmdfhqw wr 4>4 +Op4 Up4, dqg dovr 4>4 Op4 Up 4 3 p>4 Op4 Up4 1 Zh fdq qrz suryh Wkhruhp 4 iru wkh fdvh zkhuh q @ 5p . 41 Surri1 Ilj1 4 vkrzv wkdw J6 lv kdplowrqldq/ wkhuhiruh zh pd| dvvxph p 5= Iru n @ 3> 4> = = = > 5p ohw Dn eh wkh vhw ri sodqh vsdqqlqj sdwkv ri S5p.4 zlwk plggoh srlqw zn.4 dqg I n eh wkh vxejudsk ri J5p.4 lqgxfhg e| Dn 1 Ohw = S5p.4 $ S5p.4 eh jlyhq e| +zw , @ zw.4 1 Vlqfh Dn lv rewdlqhg iurp Dp e| wkh urwdwlrq ghqhg e| np / wkhq I n lv lvrprusklf wr I p zklfk lv htxdo wr Ip / dv ghqhg deryh1 E| Sursrvlwlrq M4 > = = = > M5p wr rewdlq d Kdplowrq f|foh ri J5p.4 1 Ohw xv fdoo np +Op Up , wkh ohiw hqg ri Mn dqg np +Op U3p , wkh uljkw 3 zp.4z5p.4,. z5p.4z4 @ p.4 +Op Up,/ wkhq hqg ri Mn 1 Vlqfh +Op Up p.4 3 Op Up lv dgmdfhqw wr +Op Up, +vhh Iljxuh 8,/ wkxv wkh uljkw hqg ri Mp 8
w5
w1
w5
w9
w1
Iljxuh 8=
w9
3 +O7 U73 , dqg 8 +O7 U7 ,1
M5p.4 1Zh fodlp wkdw iru doo w/ wkh uljkw hqg ri Mw Mw.+p.4, / dqg wkhuhiruh Mp > M5p.4 @ M3 > M6p.5 @ Mp.4 > M7p.6 @ M4 > = = = > M+5p.4,p.5p @ M5p fdq eh frqfdwhqdwhg/ lq wklv rughu/ wr irup d Kdplowrq f|foh ri J5p.4 lv dgmdfhqw wr wkh ohiw hqg ri lv dgmdfhqw wr wkh ohiw hqg ri
1
7
Surri ri Wkhruhp 4 iru q hyhq
p 6/ ohw xv ghqrwh wkh srlqwv lq S5p dv iroorzv= Iru l @ 4> 5> = = = > p zl dqg yl @ z5pl.4 1 l>m Iru l> m 5 i4> pj/ ohw Ep eh wkh vhw ri sodqh vsdqqlqj sdwkv W ri S5p zlwk p , @ ix4 > x5 > = = = > xp j dqg Y W p.4 @ plggoh hgjh xl ym / dqg vxfk wkdw Y +W iy4 > y5 > = = = > yp j1 Lq wklv fdvh/ zh fdoo W p wkh ohiw vxesdwk ri W dqg W p.4 wkh uljkw vxesdwk ri W / dqg ghqrwh wkhp dovr e| WO dqg WU / uhvshfwlyho|1 Wkh Iru hdfk ohw
xl
@
iroorzlqj ohppd lv suhvhqwhg zlwkrxw surri1 l>m V> W 5 Ep duh dgmdfhqw li dqg rqo| li VU WO @ VO ru VO dqg WO duh dgmdfhqw dqg WU @ VU 1
Ohppd 43 Wzr sdwkv dgmdfhqw dqg
WU
duh
ix4 > x5 > = = = > xp j dqg rqh hqg lq xl U eh d sodqh sdwk zlwk yhuwh{ vhw iy4 > y5 = = = > yp j dqg rqh l>m hqg lq ym +m 5 i4> pj,1 Zh ghqrwh e| O xl ym U wkh sdwk lq Ep zlwk ohiw vxesdwk O dqg zlwk uljkw vxesdwk U1 l>m l>m Iru l> m 5 i4> pj/ ohw Kp ghqrwh wkh vxejudsk ri J5p / lqgxfhg e| Ep 1 +l
Ohw
O
dqg
eh d sodqh sdwk zlwk yhuwh{ vhw
5 i4> pj,/
dqg
Ohppd 44 Iru Surri1
l>m +W ,
l>m p 6 dqg l> m 5 i4> pj wkh judskv Kp
l> m 5 i4> pj
Iru p l @ p 4
ohw
l>m
pm +WO , p4 +WU ,1
=
l>m Ep $ Dp4
l
lv lvrprusklf wr
Ip4 1
eh wkh ixqfwlrq jlyhq e|
l
p
p
xl lv dq hqg ri WO dqg p4 +xl , @ xp / wkhq xp lv dq hqg ri p4 +WO ,/ pm pm dqg vlqfh ym lv dq hqg ri WU dqg p4 +ym , @ yp / wkhq yp lv dq hqg ri p4 +WU ,1 Wkhuhiruh wkh plggoh srlqw ri l>m +W , lv xp @ zp @ yp zklfk lpsolhv l>m +W , 5 Dp4 1 pm pm pl pl Li l>m +V , @ l>m +W ,/ wkhq p4 +VO , @ p4 +WO , dqg p4 +VU , @ p4 +WU ,1 Vlqfh lv d rqh wr rqh ixqfwlrq/ wkhq VO @ WO dqg VU @ WU dqg wkhuhiruh l>m Vlqfh
lv d dovr rqh wr rqh1
9
W3
l
WO3 WU3 5 Dp4 1 Vlqfh xp lv dqg hqg ri WO3 dqg p4 +xp , @ xl / pl 3 ,1 Vlqfh yp lv dq hqg ri WU3 dqg ppm4 +yp, @ ym / wkhq xl lv dq hqg ri p4 +WO pm 3 ,1 Wklv lpsolhv W @ pp4l +WO3 , xl ym pp4m +WU3 , 5 wkhq ym lv dq hqg ri p4 +WU 5 3 l>m Ep 1 Vlqfh @ lv wkh lghqwlw| ixqfwlrq/ wkhq l>m +W , @ W 3 dqg wkhuhiruh l>m lv d ixqfwlrq rqwr Dp4 1 l>m E| ohppdv 43 dqg 9/ V dqg W duh dgmdfhqw lq Kp li dqg rqo| li l>m +W , dqg l>m l>m +V , duh dgmdfhqw lq Ip4 1 Wkhuhiruh Kp dqg Ip4 duh lvrprusklf1 p>p Ohw Ep @ Ep ^ Ep4>p ^ Epp>4 ^ Ep4>4 dqg Kp eh wkh vxejudsk ri J5p/ lqgxfhg e| Ep +vhh Iljxuh 9,1 Ohw
p
@
Iljxuh 9= Wkh judsk
K6 1
F eh wkh f|foh x4 > x5 > = = = > xp > yp > yp4 > = = = > y4 sdwkv F x4 y4 dqg F xp yp 1 Ohw
Sursrvlwlrq 45 Iru hqgv
Vp
dqg
31 Vp
p
6
wkh judsk
Vp
dqg
3 Vp
frqwdlqv d Kdplowrq sdwk
eh wkh
Lp
zlwk
lv lvrprusklf wr Ip4 dqg e| Sursrvl0 3 41 Ip4 frqwdlqv d Kdplowrq sdwk zlwk hqgv Op4 Up4 dqg Op4 Up 4 l>m l>m Wkhuhiruh Kp frqwdlqv d Kdplowrq sdwk Lp zlwk hqgv l>m +Op4 Up4 , 4 3 4 1 Wr hqg wkh surri zh vkrz krz wr frqfdwhqdwh Lp p>p dqg l>m Op4 Up / 4 >p p>4 4 >4 Lp / Lp dqg Lp wr irup d Kdplowrq sdwk Lp ri Kp zlwk hqgv Vp @ 4 3 @ 4>44 +Op4 Up4 ,1 +Op4 Up4 , dqg Vp p>p 4 4 3 3 4 dqg 4>p 3 O Vlqfh p>p Op4 Up4 @ Op4 xp yp Up p4 Up4 4 3 4/ wkhq 4>p 3 4 fdq eh rewdlqhg iurp @ Op4 x4 yp Up Op4 Up 4 Op4 U3p4 e| ghohwlqj wkh hgjh xp yp dqg dgglqj wkh hgjh x4 yp 1 p>p 4 4 Dqdorjrxvo| 4>p +Op4 Up4 , lv dgmdfhqw wr p4 +Op4 Up4 , dqg dovr 4 4 3 Op4 U3p4 lv dgmdfhqw wr p>4 4>4 Op4 Up4 1 Surri1
E| Ohppd 44/ hdfk judsk
l>m Kp
Kp
dqg
wlrq
:
Zh fdq qrz suryh Wkhruhp 4 iru wkh fdvh q @ 5p1 Surri1 Ilj1 4 vkrzv wkdw J7 lv kdplowrqldq/ wkhuhiruh zh fdq dvvxph p 61 Iru n @ 4> 5> = = = > 5p ohw E n eh wkh vhw ri sodqh vsdqqlqj sdwkv W ri S5p zlwk plggoh hgjh zl zm +zlwk l 5 in> n p . 4j dqg m 5 in . 4> n . pj, dqg vxfk wkdw Y +W p , @ ^znp.4 > zn ` dqg Y W p.4 @ ^zn.4 > zn.p `1 E| v|pphwu| En @ E n.p1 Iru n @ p> p . 4> = = = > 5p 4 ohw K n eh wkh vxejudsk ri J5p lqgxfhg e| n E dqg ohw = S5p $ S5p eh jlyhq e| +zw , @ zw.41 Vlqfh En lv rewdlqhg iurp E p e| wkh urwdwlrq/ ghqhg e| np wkhq K n lv lvrprusklf wr K p zklfk lv htxdo wr Kp / dv ghqhg deryh1 E| Sursrvlwlrq 45/ K p frqwdlqv d Kdplowrq 3 > wkhuhiruh K n frqwdlqv d Kdplowrq sdwk L n zlwk sdwk Lp zlwk hqgv Vp dqg Vp n p n p 3 ,1 +Vp , dqg +Vp hqgv n p 3 , duh rewdlqhg iurp wkh +Vp , dqg doo sdwkv np +Vp Vlqfh doo sdwkv f|foh F @ z4 > z5 > = = = > z5p e| ghohwlqj dq hgjh/ wkhq wkh| duh sdluzlvh dgmdfhqw lq J5p 1 Wkhuhiruh Lp > Lp.4 > = = = > L5p4 fdq eh frqfdwhqdwhg +lq pdq| zd|v, wr rewdlq d f|foh T5p ri J5p wkdw frqwdlqv hyhu| sdwk lq E p ^ E p.4 ^ ^ E 5p4 1 Zh fodlp T5p lqfoxghv doo sodqh vsdqqlqj sdwkv ri J5p 1 Ohw W eh d sodqh vsdqqlqj sdwk ri J5p zlwk plggoh hgjh h1 E| Wkhruhp 7 wkh uvw p yhuwlfhv ri W duh frqvhfxwlyh srlqwv ri S5p > fohduo| wkh odvw p yhuwlfhv ri W duh dovr frqvhfxwlyh srlqwv ri S5p 1 Wkhuhiruh/ wkhuh lv dq lqwhjhu v zlwk 4 v 5p vxfk wkdw W h frqvlvwv ri d vxesdwk WO zlwk yhuwh{ vhw ^zvp.4 > zv ` dqg d vxesdwk WU zlwk yhuwh{ vhw ^zv.4 > zv.p `1 Vlqfh h lv wkh plggoh hgjh ri W / wkhq h kdv dq hqg lq WO dqg dq hqg lq WU > ohw 4 w p eh vxfk wkdw zv.w lv wkh hqg ri h lq WU 1 Vlqfh S 3 @ Y +WO , ^ izv.w j lv d vhw ri srlqwv lq frqyh{ srvlwlrq/ WO .h lv d sodqh vsdqqlqj sdwk ri S 3 dqg h lv d ohdi ri WO .h/ wkhq h olhv lq FK +S 3 ,1 Qrwlfh wkdw zvp.4 dqg zv duh wkh wzr srlqwv lq S 3 zklfk duh dgmdfhqw wr zv.w lq FK +S 3 ,/ wkhuhiruh rqh ri wkhp lv wkh hqg ri h lq WO 1 Dqdorjrxvo| wkh hqg ri h lq WU lv rqh ri wkh yhuwlfhv zv.4 ru zv.p> wkhuhiruh h 5 izv zv.4 > zvzv.p> zvp.4zv.4> zvp.4 zv.pj1 Vlqfh WO kdv yhuwh{ vhw ^zvp.4 > zv ` dqg WU kdv yhuwh{ vhw ^zv.4 > zv.p `/ wkhq W @ WO h WU 5 Ev @ Ev.p
8
Ilqdo uhpdun
Dq dqrq|prxv uhihuhh qrwlfhg wkdw iru q 6/ wkh frqqhfwlylw| ri Jq lv htxdo wr 51 Wklv lv ehfdxvh wkh }lj0}dj sdwk z4 > zq > z5 > zq4 > = = = > ze q5 f.4 kdv ghjuhh 5 lq Jq h{fhsw zkhq q @ 7/ exw lq wklv fdvh Iljxuh 4 vkrzv wkdw J7 dovr kdv frqqhfwlylw| htxdo wr 51
Uhihuhqfhv ^D` G1 Dylv dqg N1 Ixnxgd/ Uhyhuvh vhdufk iru hqxphudwlrq/ Pdwk1 9 +4<<9,/ 540791
;
Glvfuhwh Dssolhg
^F` U1 O1 Fxpplqv/ Kdplowrq flufxlwv lq wuhh judskv/ ru|
46
LHHH Wudqv1 Flufxlw Wkh0
+4<99,/ ;50<31
^K` F1 Khuqdqgr/ I1 Kxuwdgr/ D1 Päutxh}/ P1 Prud dqg P1 Qr|/ Jhrphwulf wuhh judskv ri srlqwv lq frqyh{ srvlwlrq/ Glvfuhwh Dssolhg Pdwk1 <6 +4<<<,/ 840991 ^V` K1 Vkdqn/ D qrwh rq Kdplowrq flufxlwv lq wuhh judskv/ Wkhru|
48
+4<9;,/ ;91
<
LHHH Wudqv1 Flufxlw