Professional Documents
Culture Documents
kdswhu 6
Uhodwlrqv
+d, +e, +f, +g, +h,
U" @ i+5> 7,> +5> 43,> +5> 49,> +8> 43,> +;> 49,j= U# @ >= U$ @ i+4> 8,> +4> 9,> +4> 43,> +5> 8,> +6> 8,> +6> 43,> +7> 8,j= U% @ i+5> 5,> +5> 6,> +5> 7,> +5> 8,> +5> 43,> +8> 8,> +8> 43,> +:> 43,j= U& @ i+5> 4,> +43> <,> +45> 44,j= U# @ i+4> 7,> +5> 6,> +5> 8,> +5> 4,> +5> 5,> +6> 6,> +6> 7,> +7> 6,> +7> 7,> +8> 7,> +8> 6,j= U$ @ i+4> 6,> +4> 7,> +5> 5,> +5> 6,> +5> 7,> +5> 8,> +5> 4,> +6> 7,> +6> 6,> +7> 6,> +7> 7,> +8> 7,> +8> 6,j= U" @ i+6> 4,> +4> 5,> +5> 5,> +8> 5,> +7> 6,> +6> 7,> +7> 7,> +4> 8,> +6> 8,j= U U" @ i+4> 4,> +4> 5,> +4> 6,> +4> 8,> +5> 4,> +5> 5,> +5> 8,> +6> 4,> +6> 6,> +6> 7,> +7> 6,> +7> 7,> +8> 4,> +8> 5,> +8> 8,j= U" U @ i+4> 4,> +4> 7,> +4> 8,> +5> 5,> +5> 8,> +6> 6,> +6> 7,> +7> 4,> +7> 6,> +7> 7,> +7> 8,> +8> 4,> +8> 5,> +8> 7,> +8> 8,j= U ^ U# ^ U$ @ i+4> 6,> +5> 4,> +5> 5,> +5> 8,> +6> 7,> +7> 6,> +7> 7,> +8> 4,> +8> 6,> +4> 7,> +5> 6,> +6> 6,> +8> 7,> +5> 7,j=
61
81 :1 <1 441
U @ +4> 5,> +4> 6,> +4> 7,> +5> 6,> +5> 7,> +6> 7,j= Ehfdxvh 4U5 dqg 5U6> 4U#6= Vlploduo|/ 4U# 7 U# @ i+4> 6,> +4> 7,> +5> 7,j= Qrz 4U#6 dqg 6U71 Wkhuhiruh/ 4U$7= Khqfh/ U$ @ 5U 7= i+4> 7,j= Wkh uhodwlrqv +d, dqg +i, ri H{huflvh 9 duh htxlydohqfh uhodwlrqv1 Wkh sduwlwlrq ri i4> 5> 6> 7j fruuhvsrqg0 lqj wr wkh htxlydohqfh uhodwlrq ri +d, lv ii4> 5j> i6j> i7jj dqg wkh sduwlwlrq ri i4> 5> 6> 7j fruuhvsrqglqj wr wkh htxlydohqfh uhodwlrq ri +i, lv ii4j> i5j> i6j> i7jj= Lq Zrunhg0Rxw H{huflvh 44/ vhwwlqj q @ 6> zh jhw wkh qxpehu ri uh h{lyh uhodwlrqv lv 5' = Wkh fruuhvsrqglqj htxlydohqfh uhodwlrq rq wkh vhw D @ id> e> f> g> hj lv jlyhq e|
Qrwlfh wkdw i # Wkxv/ dqg
U @ i+d> d,> +e> e,> +f> f,> +g> g,> +h> h,> +e> f,> +f> e,> +g> h,> +h> g,j=
7:
7;
461
481 4:1
8 glylghv d d iru doo d 5 D= Wklv vkrzv wkdw U lv uh h{lyh1 Ohw +d> e, 5 U= Wkhq 8 glylghv d e= 8 glylghv e d= Khqfh/ +e> d, 5 U= Wkxv/ U lv v|pphwulf1 Qrz ohw +d> e,> +e> f, 5 U= Wkhq 8 glylghv erwk d e dqg e f= Wkxv/ 8 glylghv +d e, . +e f,= Khqfh/ +d> f, 5 U= Wklv vkrzv wkdw U lv wudqvlwlyh1 Frqvhtxhqwo|/ U lv dq htxlydohqfh uhodwlrq rq D1 Wkh htxlydohqfh fodvvhv duh i4> 9> 44> 49j> i5> :> 45> 4:j> i6> ;> 46> 4;j> i7> <> 47> 4<j> i8> 43> 48> 53j= Wkh plqlpxp qxpehu ri rughuhg sdluv duh +4> 4,> +5> 5,> +6> 6,> +5> 4,> +6> 5,> +4> 6, dqg +6> 4,= +d, Ehfdxvh +d> d, 5 U iru doo d 5 D> lw iroorzv wkdw U lv uh h{lyh1 Lq U> +d> e, 5 U @ +e> d, 5 U> vr U , lv v|pphwulf1 Lq U> li wkhuh duh sdluv +d> e,> +e> f, 5 U> wkhq +d> f, 5 U= Wkhuhiruh/ U lv wudqvlwlyh1 Wkxv/ U lv dq htxlydohqfh uhodwlrq1 +e, Ehfdxvh +d> d, 5 U iru doo d 5 D> lw iroorzv wkdw U lv uh h{lyh1 Lq U> +8> :, 5 U grhv qrw lpso| +:> 8, 5 U= Wkhuhiruh/ U lv qrw v|pphwulf1 Khqfh/ U lv qrw dq htxlydohqfh uhodwlrq1 +f, Iru doo d 5 ]> d d @ 3 lv dq hyhq lqwhjhu1 Wkxv/ dUd iru doo d 5 ]= Wkxv/ U lv uh h{lyh1 Ohw d> e 5 ] dqg dUe= Wkhq d e lv dq hyhq lqwhjhu1 Qrz d e hyhq lpsolhv e d lv dq hyhq lqwhjhu1 Wkdw lv/ eUd= Wkxv/ U lv v|pphwulf1 Qrz ohw d> e> f 5 ] dqg dUe dqg eUf= Wkhq d e dqg e f duh hyhq lqwhjhuv1 Wklv lpsolhv wkdw d f @ d e . e f lv dq hyhq lqwhjhu1 Wklv vkrzv wkdw U lv wudqvlwlyh1 Khqfh/ U lv dq htxlydohqfh uhodwlrq1 +g, Lq U> +;> :, 5 U grhv qrw lpso| +:> ;, 5 U= Wklv vkrzv wkdw U lv qrw v|pphwulf1 Wkhuhiruh/ U lv
Fohduo|/ qrw dq htxlydohqfh uhodwlrq1 Wklv lpsolhv wkdw +h, Iru doo
+i,
d 5 ]> mdm @ mdm > l1h1/ dUd= Wkxv/ U lv uh h{lyh1 Ohw d> e 5 ] dqg dUe= Wkhq mdm @ mem = mem @ mdm > l1h1/ eUd= Wkxv/ U lv v|pphwulf1 Qrz ohw d> e> f 5 ] dqg dUe dqg eUf= Wkhq mdm @ mem dqg mem @ mfm1 Wklv lpsolhv wkdw mdm @ mfm1 Wklv vkrzv wkdw U lv wudqvlwlyh1 Khqfh/ U lv dq htxlydohqfh uhodwlrq1 Lq U> +5> 7, 5 U grhv qrw lpso| +7> 5, 5 U= Wklv vkrzv wkdw U lv qrw v|pphwulf1 Wkhuhiruh/ U lv
4<1
+l, +e, lv d uh h{lyh uhodwlrq1 +ll, +d, lv d v|pphwulf uhodwlrq1 +lll, +e, lv d wudqvlwlyh uhodwlrq1
541
V @ i4> 5> 6> 7j> U @ i+4> 4,> +5> 5,> +6> 6,> +7> 7,> +4> 7,> +5> 4,> +5> 7,> +6> 5,> +6> 7,j= U lv uh
qhlwkhu v|pphwulf qru wudqvlwlyh1 v|pphwulf exw qhlwkhu uh h{lyh qru wudqvlwlyh1
h{lyh exw
V @ i4> 5> 6> 7> 8j> U @ i+4> 4,> +6> 6,> +7> 7,> +4> 5,> +5> 4,> +5> 7,> +7> 5,> +4> 8,> +8> 4,> +6> 7,> +7> 6,j= U lv
qhlwkhu uh h{lyh qru v|pphwulf qru wudqvlwlyh1
V @ i4> 5> 6> 7> 8j> U @ i+5> 5,> +6> 6,> +7> 7,> +4> 5,> +5> 4,> +5> 7,> +4> 7,> +4> 8,> +8> 4,> +6> 7,> +8> 7,j= U lv V @ i4> 5> 6> 7> 8> 9j> U @ i+4> 4,> +5> 5,> +6> 6,> +7> 7,> +8> 8,> +9> 9,> +4> 7,> +7> 4,> +5> 9,> +9> 5,> +5> 8,> +8> 5,> +8> 9,> +9> 8,j= U lv uh h{lyh/ v|pphwulf/ dqg wudqvlwlyh1
Rqo| +g, lv dq htxlydohqfh uhodwlrq1
561
Zh kdyh
G+U,
@ i{ m { 5 D dqg wkhuh h{lvwv | 5 E vxfk wkdw +{> |, 5 Uj @ i{ m { 5 D dqg wkhuh h{lvwv | 5 E vxfk wkdw +|> {, 5 U"j @ Lp+U",
Lp+U, @ i| m | 5 E dqg wkhuh h{lvwv { 5 D vxfk wkdw +{> |, 5 Uj @ i| m | 5 E dqg wkhuh h{lvwv { 5 D vxfk wkdw +|> {, 5 U"j @ G+U",= " Qrwlfh wkdw U" lv d uhodwlrq iurp E lqwr D> vr +U" , lv d uhodwlrq iurp D lqwr E= Qrz +{> | , 5 "," li dqg rqo| li +|> {, 5 U" li dqg rqo| li +{> |, 5 U= Khqfh/ +U"," @ U= +U
dqg
6141 Uhodwlrqv
7<
581
U lv
U ^ , @ U ^ i+4> 4,> +5> 5,> +6> 6,> +7> 7,j @ i+4> 4,> +5> 5,> +6> 6,> +4> 5,> +5> 4,> +7> 7,j=
+e, Wkh uh h{lyh forvxuh ri
U lv
U ^ , @ U ^ i+4> 4,> +5> 5,> +6> 6,> +7> 7,j @ i+4> 6,> +4> 5,> +5> 4,> +4> 4,> +5> 5,> +6> 6,> +7> 7,j=
5:1
+d, E| Wkhruhp 61418:/
U" @ U ^ U# ^ U$ ^ U%= U @ i+5> 5,> +6> 6,> +4> 6,> +5> 4,j U# @ i+5> 5,> +6> 6,> +4> 6,> +5> 4,> +5> 6,j U$ @ i+5> 5,> +6> 6,> +4> 6,> +5> 4,> +5> 6,j @ U# =
U lv
U ^ U# ^ U$ @ i+5> 5,> +6> 6,> +4> 6,> +5> 4,> +5> 6,j=
+e, E| Wkhruhp 61418:/
U" @ U ^ U# ^ U$ ^ U%= U U# U$ U%
@ @ @ @
i+4> 6,> +6> 5,> +5> 4,j i+4> 5,> +6> 4,> +5> 6,j i+4> 4,> +5> 5,> +6> 6,j i+4> 6,> +5> 4,> +6> 5,j
U lv
U ^ U# ^ U$ ^ U% @ i+4> 6,> +6> 5,> +5> 4,> +4> 5,> +6> 4,> +5> 6,> +4> 4,> +5> 5,> +6> 6,j=
5<1
+d, Li +e, +f,
+g,
+d> d, 5 U> wkhq +d> d, 5 U" = Khqfh/ U lv uh h{lyh1 Ohw +d> e, 5 U" dqg +e> f, 5 U" = Wkhq +e> d, 5 U dqg +f> e, 5 U= Ehfdxvh U lv wudqvlwlyh/ +f> d, 5 U= Khqfh/ +d> f, 5 U"= Wkhuhiruh U" lv d wudqvlwlyh uhodwlrq1 Ohw U# @ i+4> 5,> +5> 6,> +4> 6,j dqg U" @ i+6> 4,> +5> 5,j eh wzr uhodwlrqv rq D @ i4> 5> 6> 7j= Erwk wkh uhodwlrqv duh wudqvlwlyh1 Qrz U" U# @ i+4> 5,> +5> 4,> +4> 4,j= Wklv lv qrw d wudqvlwlyh uhodwlrq/ @ ehfdxvh +5> 4,> +4> 5, 5 U" U# exw +5> 5, 5 U" U# 1 Rq wkh vhw ri doo qrqqhjdwlyh uhdo qxpehuv/ ohw U @ i+d> e, m de A 3j= Wklv uhodwlrq lv v|pphwulf
U lv uh h{lyh/ lw iroorzv wkdw U _ U" lv uh h{lyh1 Ohw +d> e, 5 U _ U"= Wkhq +d> e, 5 U dqg +d> e, 5 U" = Wkxv/ +e> d, 5 U" dqg +e> d, 5 U= Khqfh/ +e> d, 5 U _ U" = Wkhuhiruh/ U _ U" lv v|pphwulf1 Ohw +d> e,> +e> f, 5 U _ U" = Wkhq
, , , ,
Wkxv/
+d> e,> +e> f, 5 U dqg +d> e,> +e> f, 5 U" +d> f, 5 U dqg +e> d,> +f> e, 5 U +d> f, 5 U dqg +f> d, 5 U +d> f, 5 U dqg +d> f, 5 U" +d> f, 5 U _ U"=
83
615
41
Iljxuh Fk6Vhf5H{4+f,
61 81 :1
Ehfdxvh
m5 m @ m 5 m>
Wkxv/
U lv qrw dqwlv|pphwulf1
Khqfh/
U lv qrw
+p> w, U +q> u, dqg +q> u, U +p> w,1 Wkhq p @ q> w u 3> dqg u w 31 Qrz w u 3 dqg u w 3 lpsolhv wkdw u @ w= Wkhuhiruh/ +p> w, @ +q> u,1 Khqfh/ U lv dqwlv|pphwulf1 Wkh pd{lpdo hohphqw lv V dqg wkh plqlpdo hohphqwv duh i5j dqg i6j= Wkh gljudsk dqg Kdvvh gldjudp
lv jlyhq lq Iljxuh Fk6Vhf5H{:1
S {1, 3} S
{1, 3} {3}
{2, 3} {2}
{2, 3}
{3} Digraph
{2}
Hasse diagram
Iljxuh Fk6Vhf5H{:
<1 441
V @ i4> 5> 6j zh wdnh U @ i+4> 4,> +5> 5,> +4> 5,j1 Wkhq fohduo| U lv dqwlv|pphwulf exw qrw uh h{lyh1 Ehfdxvh 4 @ +4,+4, dqg 4 @ 4+4,> zh vhh wkdw 4 4> 4 4 exw 4 9@ 41 Wkhuhiruh/ U lv qrw dqwlv|pphwulf1 Khqfh/ U lv qrw d srvhw1
Rq
84
461
481
4:1
lv uh h{lyh dqg wudqvlwlyh1 Ohw d . le f . lg dqg f . lg d . le1 Wkhq d f> e g> f d> g e1 Khqfh/ d @ f dqg e @ g1 Wkxv/ d . le @ f . lg1 Khqfh/ lv d sduwldo rughu rq F1 Qrz 6 . l5> 5 . l7 5 F exw 6 . l5 9 5 . l7 dqg 5 . l7 9 6 . l51 Wklv vkrzv wkdw lv qrw d olqhdu rughu rq F= Ehfdxvh d d dqg e e/ lw iroorzv wkdw +d> e, +d> e, iru doo +d> e, 5 D E= Khqfh/ wkh uhodwlrq lv uh h{lyh1 Vxssrvh +d> e,> +f> g, 5 D E vxfk wkdw +d> e, +f> g, dqg +f> g, +d> e,= Wkhq d f> e g dqg f d dqg g e= Qrz d f dqg f d lpsolhv wkdw d @ f= Dovr e g dqg g e lpsolhv wkdw e @ g= Wkhuhiruh/ +d> e, @ +f> g,1 Wkxv/ wkh uhodwlrq lv dqwlv|pphwulf1 Wkh wudqvlwlyh surshuw| fdq eh suryhg hdvlo|1 Khqfh/ wkh uhodwlrq lv d sduwldo rughu uhodwlrq dqg +D E> , lv d srvhw1 Qrz +d> e, +7> 5, li hlwkhu d @ 7 dqg e # 5 ru d " 7 dqg d 9@ 7= Li d @ 7> wkhq e # 5/ l1h1/ e lv d glylvru ri 5= Wkhuhiruh/ e @ 4 ru 5= Wkxv/ lq wklv fdvh/ +d> e, lv +7> 4, ru +7> 5,= Vxssrvh d " 7 dqg d 9@ 7= Wkh glylvru ri 7 lq V" wkdw duh qrw htxdo wr 7 duh 4 dqg 5= Wkxv/ lq wklv fdvh wkh hohphqwv +d> e, 5 V" V# vxfk wkdw +d> e, +7> 5, duh +4> 4,> +4> 5,> +4> 6,> +4> 9,> +5> 4,> +5> 5,> +5> 6,> +5> 9,= Khqfh/
Fohduo| dqg wkh hohphqwv vdwlvi|lqj wkh jlyhq frqglwlrqv duh
i+4> 4,> +4> 5,> +4> 6,> +4> 9,> +5> 4,> +5> 5,> +5> 6,> +5> 9,> +7> 4,> +7> 5,j=
4<1
Ohw
V @ i5> 6> 9> 45j1 5 lv d plqlpdo hohphqw ri V= Ohw d" @ 5 dqg V" @ V i5j @ i6> 9> 45j= Wkhq V" V" kdv d plqlpdo hohphqw d# @ 6= Ohw V# @ V i5> 6j @ i9> 45j= V# kdv d plqlpdo hohphqw d$ @ 9= Ohw V$ @ V i5> 6> 9j @ i45j=
Qrz
Ilqdoo|/ d% @ 45 lv d plqlpdo hohphqw ri i45j= Zh qrz ghqh wkh sduwldo rughu " rq V e| 5 " 6 " 9 " 45= Lw iroorzv wkdw wklv lv d olqhdu rughu1 Qrwlfh wkdw 5 9 ehfdxvh 5 glylghv 9= Lq wkh uhodwlrq " > zh kdyh 5 " 6 " 9 zklfk lpsolhv wkdw 5 " 9 e| wkh wudqvlwlylw|1 Vlploduo|/ zh fdq yhuli| wkdw wkh frpsdwlelolw| krogv iru rwkhu hohphqwv1 Vr lw iroorzv wkdw wkh olqhdu rughu " rq V lv frpsdwleoh zlwk wkh uhodwlrq =
+d, lqylwdwlrq/ lqylwh/ uhdo/ uhdvrq/ uhodwlrq/ uhodwlyh/ uholdeoh1 +e, rudqjh/ rujdql}h/ sduwldo/ sduw|/ srqg/ srvhw/ srvvhv1
d Errohdq dojheud1
7 a +8 b <, @ 7 dqg +6 b +6 a ;,, @ 6= Lq wklv odwwlfh wkh hohphqw 7 kdv qr frpsohphqw1 Khqfh/ lw lv qrw
+d, Lq H{huflvh 55/ +e, Lq H{huflvh 55/ +f, H{huflvh 55/
i45> 49j
5:1
5<1
85
641
d @ @ @ @ @ @
661
d b +d a e, d b +f a e, d b +e a f, +d b e, a f + f b e, a f f=
Ohw O eh wkh odwwlfh dv ghqhg lq H{dpsoh 6151731 Lw fdq eh fkhfnhg wkdw li d> e> f 5 O dqg d f> wkhq d b +e a f, @ +d b e, a f1 Iru h{dpsoh/ d 4 dqg d b +e a 4, @ d b e @ 4 @ 4 a 4 @ +d b e, a 4= Krzhyhu/ +d, Ehfdxvh/ +e, Ohw
681
Khqfh/ wkh uhodwlrq lv qrw dqwlv|pphwulf1 Wkhuhiruh lw lv qrw d sduwldo rughu1 dqwlv|pphwulf1 Wkhuhiruh lw lv qrw d sduwldo rughu1 uhodwlrq lv d sduwldo rughu uhodwlrq1
md d m
m4 3m
4> m3 4m 4 exw 4 9@ 3=
d @ 5 dqg e @ 5=
mdm mem
dqg
d 9@ e=
+f, Wkh glylvlelolw| uhodwlrq rq dq| vhw ri srvlwlyh lqwhjhuv lv d sduwldo rughu uhodwlrq1 Khqfh/ wkh jlyhq
616
41 61 81 :1
Vxssolhu @ i+433> M ) P> 555 5555,> +533> D Vriw> 666 6666,> +633> Dgdpv ) Fr> 777 7777,> +733> Zduh G> 888 8888,j= Fxvwrphu @ i+44538> Mrkq> 56506545,> +44678> Olvd> ;450<<<<,> +68596> Eloo> 4440<353,> +5678:> Odxulh> 4:;05673,> +<<567> Ndwh> 77705555,j= LG SFrgh
iurp Surgxfw>
:8>