££©##£w v£@ te ýd5 qh Dq£SiGg fdc4H©XWV U©TR
—
QD£ £IHGFEDQ$ }u!B©@££9£7£86420¥'%eg"# £þQ ¡£u©ýeQ§Qþe¥£¡dgeg}Q»1ú
P 5 C ! ¨ "C 1 5 Cü ! »ü" A 5 7 9 7 5 3 1 ) ( & $þ » ! ¦¨ » ¦¨ þ ¦ü ¤ ¢ ýÿý þýü
Ìh)p)TT£HQ¹øo®o¸p`§u@¨To§pTHp¤TH@Ì@H¶T§’ÌH¹@&d¥HHuTTT‚o&¦§o·@sÌHu¹p`§ D`To§&g¦&¥gT£T¢
¸¹ ùº´¨ º ¸º£ ¨ Ì ¤ »¶§¹¶ ¨¹ § ¢ ¸ ¨ ¶´´ ¨¨· ¤ ¤ ö ¶ ¸º ·¨ ¤ ¤ ¤
gµ¸p`uµT§Hu¹HT§H@eÌTo£p¤HHu¹o¸ôsò¶T¯`u@¨Td§H@HT¢&g¥¤T£TkTH@Ì@HTó@¨4uò&8®D)u¹HTí¶ `o§&g¦&g¥TTHo¶¤T§
º£ ° ° ¸¶ ¹ ¶ ¤´ ´ ¤ § ® º§ Ì ¤¹Î¶ ¢ ¤¨¹ §¶¢ ¹ ¤¦ ¨ ¸ § ¤ ¤ ¤£¢
¶ ¹ ¤ °Ì¨ ¶ ¸ï ´ · ¤ £ ¨ Ì ¨ ¨¨£ ¤¹ ‚º‚ ®º ¸¨£ ¨¨£ ¤¹ ¤´¶ ¸
·H¶T§Hu¹¸HT§H@s̶To£H´±P@H´H&¦gHuÊT¨T§o»u¤TÈÌ@H¹@@§TT£T¢ÈTTHo¶Hqp@l@Po‚TTÊTTHo¶HXHHTo§H¶ í
l„r… ¬ê ©
…… «
è c8d8”§@88ã¡â
à•”’ ¦—å¤
á à ” ß— ÞÝ ’ ¾”Ü —”•–•””
c•8d’8d8”d`&&X¨V&V˜@8&8888aÛ˜Ú
™ V@8&888•8a“¨88&T&8&’‘˜Ð
¾˜—” •– ”” ’ ¾””™”
Ï TTo§H@HT&g¥T«˜± @±
¤¨ ¤¹Î¶¢ ¤£
Í uH&¥P)H¬ª@±
‚¶ Ì£¶ «
Ë ³)¹uHTH¹@§o&e¦)´TH´T‚o¦TT§opTHpÊTo£¤¯TT« ± H@±
¨ ¸¶§ ¤ º ¨ Ç ·¨ ¤ »¶§¹¶ ° ®¨£
± ɨ)u¹HTH@§o&¦e)THTo‚Èo°o¸pºÆ…„ ªH@±
¸¶§¹ ¤ º´¨´ Ç ¸ ¦
± TTo§&g¦&g¥TTg H@±
¤¨ ¤ ¤ ¤£¢
± iÃ)u¹HTH¹@o§&¦e)THTµ¡@±
¸¶§ ¤ º´¨´‚ Á
¼ À•”’ ”™ “
88d&8T&¿¾1a•½¼
iTT§opTHp¨)Hu¹THHµ³± P
·¨ ¤ »¶§¹¶ º´ ¸·¶´ ²
To£¤¯TT¬ªP
° ®¨£ «
©TTo§&g¦&g¥TTg¡P
¤¨ ¤ ¤ ¤£¢
– ’•”’ ”™
88d&8T¨—˜–
88d1H&‘
’•”’ “’
¨l„l
… … ‚
&Dd)dghra¤’“H
“p“™ |‘ ep ˜
v vhs–•
” “ s
ut}–Qie•)” )snQi”o)c“i d’pdx•’od•PP™ii ocsin ss”heee•s|wh”p•“’g)r– g“)dh™ Dee™ pqd{spdP˜ d)z‘™ ™oedQi)dn ˜)h“)pm•i d)plpkdPpXs“–)”h)e•“ h™dgs™e ”)dhdf™ Ps™e uxd”Qi¨)e ds“s“)H’m” )™w– d)d“– )Xg•—–eh™˜ efd”)dds™“ ’‘d”e—– e•”
“ es` ) dny m ‘ “ – j dn i ˜ ™ & V
&%)e„P%%y
… ‚
x@vwuY&GH3`sGqreCIpD¦higSf8eS5&d3&caP&`PXVTP&8QAPHFDCDB9@8&&42
t 5Y E b7GY W3GY W USGR3 IGE 9 A 7653
—
%"1))%&%#!
$ 0('"$"
§¨¦¤¡¢
£© ¥£
Q
HH@o§¯o®&g¦#Ì’Hu¹T`Q¦TÌ
®¶¹ ¤ ¤ Ç ¸ ¤Ì ´
(y, x) (x, y) x, y ∈ X
¨&P¨ º`pº``§&d¥¤T£o¤¯® ·o¤TTp`£T¦¶T¢
¦ £ ¢ º ¶ ¤ §·º ‚ ´¶¹ ¤ ° °§Ã ¶ •¨¶£
HH@o§¤¯o®&g¦Ç µTH&Q¦Hd´tHTT¢
Q
X •
°ï ¥ Ì ¥ ¤ Ý Ü ˜ ¤ ´
)p´&F`¦TF¨&g¦o¸l® —2 ÛÚ™h̸Hu¹pº)ld°•º`§ HHu¹¸o¤ôsò¶T¯u`§ TTo§pTH…@QºpT&Q¦«
¤´ § ® º ¤¨ ¤ »¶§¹ ¹¶§ ¶
DTTo§pTH¹p#@TpºÆe¥sº•
·¨ ¤ »¶§ ¶ ̨§
o¶‘do‚o¸TÎTHQ¹ø®HTo¨PpiÌ`T¥ ÌhHHQ¹)Hd¶™Ã&Q¦T¢o¸TX¹d`s¥p—l°THHp¶d8@º)Hu¹THHo´lTHHpd‚oT§ o®@Tg
˜¶ ¤ ¨ º ¶ ¸‚º ¦ ¸Ã º´ • ¶ ¨ ï ï– ¤ £¶¹ ‚® ´ ¸·¶ ¸ ¤ °£¶¹¶ ¤ ¤ »¨¢
Í{yu ”Ì Ð ’ËÐÏ ÌË
ttz•—fy4ÎÌ“—‘8fÍΗÃÊ qTm
Én
t
· · —¦ ·
z
· · · —¦
y
· · · —¦
x
· · —¦ ·
t z y x
2ÈÇ ¨E£8£8™%¡8§—xºE£„…%f%… ##…TEt# ¹ #£„d
Æ „ ”„–„ “ ‘‚ „ ” „ ‚ ‚ „„ ¦ § ” „„
X = {x, y, z, t}¹
„… ¹ ‚ ¹ E™™Eé‚2GEE£„£±„#„…T§£d „E
„ „ ‚™ • ” ‚ ‘ ¦ „ ™…£#GxÁH
„ „ ‚ ‚
— „ „ ”³ „ “ „ » „ ‚ ‚ „ µ‚ ˜ ¶ “ ¦ § ¶– ” ¾ – å ’ £ •
fE£d8H² 8”f£tÀEº„E£…%f% ‚£D“ %™tº„DE2£j„…T2£„8±l¿–!}z±d48å ¢
—¦ · z·
· —¦ y·
· · x—¦
z y x
IX X —X
x%2˜½‘¶“#¼E£t©dG‚ ¹ E£…%f%º¡fE#%G ¹
˜ „»„ „ „ ‚ ‚ „ ¦ –‚ ²
X = {x, y, z}
fE£d8”H8HD˜E2£“·…¦T2¶– ” µ ‚ „ ‚
„ „ ³ ¸„ ¶ „ § „
—‚ ™
%x‚©‚f „ „ ³ „ “ t ª « ¯ « ª „ £„…%‚f ‚ ™’…£ „ Gx#– ‚ ‘ ©™ ‚D™
°£„8Ex‚©„“I%™t ´„E£…%‚f% x‚…³ ‚ …£#˜
– ‚
IX = {(x, x)| x ∈ X } ⊆ X —X
2f%‚dH‚‘ ¥
§• ¦ ‚
¥E£d8” ² 8t±t” G2©®¬#2©dE™…£#%¨x…%– £‘‘„‚ t%‚d# £— z%f48åf¢
‚ „ G # “ ‘ ¤ } ±d’ £ • –å
¡su {s
fz ft iTm mn
xQy
¨ò@Q‚p#Ì’H¹upº)lo°T¨Tpsº•
¤ º¹ ¸ ¤ ´ ¸ ¢
Q
(x, y) ∈ Q x, y ∈ X
@‚pe…¹pH¹uÇ
¹º ¶ ¨&¦g¸oP® ¨T¨T§o»pTHp¶whÌH¹@Ì`s¥)e°`§
¤ ¤ ¶§¹ ´ ¸ ¶ º °¹ ¤ Ç ¶¹Î ¹Ì£¶´
H@o§¤¯o®&g¦ôH@Pe®@)HHH¶
Q⊆X —X
–„ ‚ “ ‚ ‚ ‚ “˜„– ‚ „ ‚
E£„£™™t%8™‘…©™™…©2£…™…£#Gx
Q
X
— ‘ „ •” ‚ „ „
–%‚T‚2I‚™™t%8“™‘’ …£„‘—E ™…£#G‚xE E£…%‚f6 z’V8”dV)’1H88¨—
„ „ ˜ }– • ’˜ “’å¤
X
TH´H¹u¸oôeò¶T¯H¶TTpº)HTT¨od‚TelHTHHpdo‚T§ | H¹u)g«
¶ ¤ § ® ¤ §§ ´¶£ ¸ ¨ ¤¶£¶¹¶ ¤ à ¸ï
ftyzx”d8uftrp Tm
u{ uwu v sq on
ll‚ jh g
… … k i
pHHu¹o¸ôeòT¯®
¤´ ¤ ¶§
®H¶Hu¹`§¯l°TTpÆe¥sº”D¯®pÆe¦º`H¶TT·T‚TPïf¸ ·`¨T§o¤&g¦&¥g¤TTo¢p`£° TH¹gHTH@ÌeT£oHôHH¹uo¸¨sòT§¯`§
Ç º ¨ ® §§º •®¨ º § ¨ § e ¤ £ ¸º °§ ¸¶§¹ ¶ ¤´ ¤´ ¤ ¶ ® º
·T`o§¤H@H¶T&¥gT£T#d¨tpo´¸¦TTo§¤TPoït#¨T£T¢¨P‚o¸T¨T¦¨T¨TH¶oH¹ô´hÌ)Pïo™&Q¦Tu¢T¨¦@To§&g¥Ho´4Ãuo¸&¥udl¯®
¨ ¹Î ¢ ¤ ¢ •Ì ¨¨ Î •¨ º £ £ ¤ ¸¹ ù •à ¶ ¸ ̨ ¤ ¤ ¸ ¤ • ¤ °
µgpuº˜™Æg¦•f—@P‚&PÌdHTu¨ Hu¹H¶T§H@§o&e¦)´TH´T‚oÇ Ì@T§o¤p¶THp¶ ®TT#¤lTTpsº•tpo´u¦TTd§H@HT&¥gT£T¢
¤ º – º ¥ £¶¢ ¨ ¸ ¹ ¤ º ¨ ¨ » §¹ ¨§ ¸ °§§ Ì ¸ ¨ ¤¨ ¤¹Î¶¢ ¤
”“ #‘…E¡ ¡
’ „ „
K(y) y ∈ K(x)
o®TT¨TT® o¸¸pÆPqÃH@H¶THu¹H¶T…®T&¥gT£o¤TH¶ HH´o¸ yTT4sò¶¯®
¤Î £¢ º¦‚ ¹¨ £ ¸ ¢ à ¤ Î ù¶ ´ ®¶§ o¶‘TH&Q¦Hd´tHT£T¢
˜¶§Ã ¶ •¨¶
x
«ö
`¦T¥ H@y®TTH¹@@H… Qº@o§¯o®¤&g¦Ç ¤2©¯® Ú 2%¯¬ Û Gª¤«¬jÝ Ú ®#®ª Û ¬ HHu¹o¸¨sòT¯® Hu¹Ç o®HHd¶•`§Ê¨
Ì ¶¹Î ¶§ ̧¶ « ¹ ¤ ¶´ ¤ ¶§ ¶ ¤´ º
K(x) = {y ∈ X : y ∼ x},
X
ù µTH¹@o&eº)THTo1o`® t¨
° °§ §¤ ¦ ´¨´‚Ç ï ®¤ •
K(x) x∈X
´¶ ¤ Ç ¸
HH¹@o§¯o®¤&¦g4°go¤H´ Hu¹H¶TTP@HHH¶o§®TTHp¯®o¸op`£
à ¸ §¢ï‚¶´ ¸ ¨£¹¶ ¸º º¹ ¤ Ç ˜¶§§ ´¶£ ¸‚¨ e Ì
p@o§¤¯o®&g¦wo¶‘TTpº)HTTo¨dTº`¦ ø
TH88T8dV@&8&8•)ÁHü2EV» !–E z¼
•™ü ”™”’˜—‘•‘ ý ¾ ü—˜ } }
X Q ⊆ TX
ù `¦)¹u¸HTH¹@o&e)THToǦTTopTH¹ptlxTT§oTÎ
º§ ¨ ¶§ §¤ ¦º´¨´‚ ·¨§¤ »¶§ ¶ •¨ ® ù¨ ¤ TX = X — X
µyù&PHT¢¨@pQº¹ •T¨pÃ&Q¦H–p`óÌhHu¹¤T`Q¦´T%T¶T&PH´o¤THDpHTHHQ¹P%®
¦‚´ ¶ ¤ ò‚ í ® » ¶ ¨º§ ¸ Ì Ì® §¥¨ 殤¶£¶ ¶‚ ¤¨ ¤ ¶§¹
TTo§»pTHp¶
o¤¤ù&Vo®c™–‘o¶o¤H´ H@4d`¦g¸ u¹ôeò¶¯® )¹uHTH@§o¤&e¦)TH´T‚oÇ Ì@To§pTHp¶ HTo£¤¯TTT¬To¨@£
ö ¦ ¤ú ¸ ù¨ òï ¤ ¨ ¸¶§¹ º´¨ ¨ ¤ »¶§¹ ®¶ ®¨£¢ ® ˜ï X
`Hu¹HTH¹@o§&e¦º)THTo‚TTo§»pTHp¶
º § ¨ ¸ ¶ § ¤ ´ ¨ ´ Ç · ¨ ¤ ¶ø § ¹
µ°T4sò¯d®™¶Hg°o¤¸HwtxùTTo§¤T…ù&PH4T¢ ™®TpÃTo§¤¯®Tp`’ÌHu¹T`Q¦T¤)Hu¹To§Hp`TTo§»pTH¹p#ï1®
° § ¶ • ´ ´ •¨ ® ¨ Î ¦‚´ ¶ í ¨ » ¨º§ ¸ ¤Ì ´Ì º´ ¸ ¤´º£ ¤¨ ¤ ¶§ ¶
Q
IX ⊆ Q
Qµ¶Hu¹H¶T`®
Ç¢ ¤ ® ¸ §¹ ¤ º ¨ Ç ¨ »¶§¹¶ ˜¶– ù¦ ¨ ¸¶§´ ¸ ¤¦ ¤£ 泌
o®o¤¯T¨ ¨Hu¹H¶TH@§o&e¦)´TH´T‚oÌ@T§o¤pTHp¤o¶‘Ht&#)u¹HTHTo¨do‚&g#eT`PH´ í
x ∼ y ⇐’ x = y.
X ù `§¨º)Hu¸ToHp`wTTopTHp¤H¹@4d`g¤¹uôe¯®
º ´¹ §¤´º £ ¤ ¨ §¤ »¶ §¹¶ à ¨ òï ¦¸ ¤ ò¶
x∼y (x, y) ∈ Q
¨ §¹ ¨ ‚ p¶THp¶± £ «
» §¹ ¤ ¥ ¨ ´ Ì Hu¹p)lo°TT sº•
¸ ¤º´ ¸¨ ¹‚º
)¹uT¸¨ H§oT¤¶ THs@§od¤§ &s¶¦ H)‘´–º TH´ToÇ §H&@e¨¦Ì ToT¤¨§ ¤ToÈ’H¹uHHTﶤ® o£o™¤• ¯®T¨T¸Ta H¹up`ÎÈ&PH´§H§o’&¦e)´THToÈpÌ¢ @TopTH¹pF`¦ @ø pe
T Î º` ™ ¶óHT Ã º` o· ¢ ¸ Ì ¸ &¦QT¢o B¶ ¸ º )g¹HT @ ¤ º ¨ ´ ‚ Ç ¨ § ¤ » ¶ § ¶ Ì
¤ • ¤¶ ö ¨ ¨ ¸¶ ¹
X
¤ ¯ ¯ ª« ¤ ¬ö „ ‚ ‚ „ „ „ ‚
2©® Ú 2%¬ Û G«·EE£„…%f%¨ …£‘—E ™…£#Gx
Q
E „E£…%‚f%d‚fEt™Dt d‚Et£d£ ¹ „£D£8”zI— }zV8d’V)1H88¨—
„ ‚ „ “ „ » “ „ ‚ ˜„ µ„ ¤ ¼ ’ • ” ˜ ’ “’ å ¤
}}
88d’V)1H88¨—
’•” ˜’ “’å¤ E z¼
‘8Ï—f4tyzxB—f{Îfó¨ò
ôÐ ÌyÐ uw’Ë Ë on
´É
̨ » §¹ ¤ ° ¤ • ¸¨ ¶ ¸º ¤ ° ¶¹¶ ¤ ¤ ¤´´ ¤ eº ˜º º ®¶§
D@To§¤p¶THp¶wl¯®o)ïo™Ã&Q¦¶T¢oT¤H¹up`ÎlT£HHpPo‚T§ o®&g¥HH™`o£™`Q£`¢ HTT§pºÆ¥ í
±… ‚
'lkl i ‚ À4 ê ï °„
g‘ª@ϤTT§oT4òQ`TPï ¨…Pp)u¹HduïTTTTTDÌdHHHo¶˜
® ¨ ¤§ º£¢ í ¹ ùï´ ¸¹ ¸¨£¢ ¤§® £¶´
öp‘H¶H¯D¯p)Hu¹T·HHo´B¯®THu¹i`¥¨òu¯ud¨•tp´oH¯®Tpsº™T¨o@&kTTp@TT§§1g®®@#TTo§T4Qò`TPï
¤ –¶ ´ ®¨ ®º´ ¸ ¶ ¸ ¨ ¨ Ç ï ¤ ® Ì ¸¶ ¨ •´ ¤ ˜ï£¥ ¤¨‚º‚¨ ¨ Ï ¤¨ ¤§ º£¢
lo®¸ lTH´To¨do‚¤&g#eTóÌhHu¹TÌ`Q¦T¬HH¹uH¯®T&d¥)s°‘¶oTw¸¨TT§opTHpHT&Q¦TH¹@ÎDlTH¹u¯H…
í ® °§ ¸ ¦ ¤£ ¸ ¤ ´Ì ùà ¸¶ ¨ ¶ – ¤§ ¤¨ ¤ »¶§¹¶ ¤¶§ ¶¢ ¶ ® ®¨ ¤ ®¹
IX ⊆ Q (x, x) ∈ Q, x ∈ X
D¯p)H&g¦¸¦¯T¨oï@&@D&P`®
®¨ ®º´¶ ¨ ® ˜ £¥®¨¦¨ Q
X •
¨&¦go¸p® —2¤®©¬¬ Û G«¬© ’̸Hg¹¤p)ld°•`§ HH¹u¸o¤ôsò¶T¯…`§ TTo§pTH… dTHu¹HTHTo¨P‚o&g#e¤ ê
¤ ÝÜ « º´ º ¤´ § ® º ¤¨ ¤ »¶§¹ à ¸¶§´ ¸ ¤¦
x=y (x, y) ∈ Q, (y, x) ∈ Q
¹u¤ToΤ&Q¦´ &g¦o¸`® —22©
¨ ¤ ÝÜ å¤
Q
X •
G£FΑ2%2ª ’¸Hup)ldº`§ HH¹g¸o¤¨s¶T¯#`§ ¤T¨T§opTH… ¯T)uHTT`T£)u¤¯®¯ToTH@§ è
©¯¬ Ý Ý¤®¤¯ Ì ¹¤º´ °• ¤´ ò § ® º ¤ »¶§¹ ù¸¶§Î ¨ ¹ ®¨¸¨¹
(x, z) ∈ Q (x, y) ∈ Q, (y, z) ∈ Q
u¹ToÎ&Q¦´
¤¤
Q
X •
¨ ¤ Ý Ü «¤ © º´ º ¤´ § ® º ¤¨ ¤ »¶§¹ à ¸¶§´¨ • º
&¦go¸H® —22¯¤§2ª2¯ h̸Hu¹¤p)ld°•`§ HH¹u¸o¤¨sò¶T¯`§ TT§opTH…@THu¹HTHTH¹@d¨t§p`£ ¦
(y, x) ∈ Q (x, y) ∈ Q
u¹ToÎ&¦Q´
¤¤ &¦
¨
Q
X •
gµo¸)® —222£¯FΤ® hÌHu¹p)ld°•`§ HHu¹¸o¤¨sòT§¯`§ TTo§pTH… @TÃ)u¹H`TTTHu¹¯®¯Tµ²
¤ Ý Ü天 ¬Ý Ý ¸ ¤º´ º ¤´ ¶ ® º ¤¨ ¤ »¶§¹ ¸¶§Î¨£ ¤ ®¨
ãâ ’ á à
tà … GßtÞ
±
x, y ∈ X X
`¦T¥ ù ®Hd¶•º`H‘È®TôPïTg¥¤&g¦¸Hu¹¸oHHkT4sò¶¯® `§ Hu¹HTH@o§&¦e)THTo‚ǤTTo§pTH…
Ì £–¶ ¨ ö ù ¨ ¤´´ ¶§ º ¨ ¸¶§¹ ¤ º´¨´ ¤¨ ¤ »¶§¹ X
X = 2X
T´Hu¹o¸ôsòT¯&s¥T¢óo¶#˜§°go¤Hó¶HHu¹o¸¤ôeò¶T¯® |
¤ ¶§ ® ¶ ¤ ¸´ ´ § ¯®THHu¹o¸ôeòT§¯HTToÎTHd‚ | Hu¹Hg«
º ¶´ ¤ ¶ ® ¤¶§ ¤§¶ à ¸ï
i k
HHQ¹Qºu¹HTpÆ¥ `§¦TTo§&¦g&¥
‚¶ ¸¶ ¤¨ ö ùº º ¨¨ ¤ ¤Ki
jk + i, j ∈ X
¨£¢®º ¸ Î ¤ · à ¤ ¹
TT¯@ƦgT¨Tl°&g¦¤T¯®THu¹o¸¶H8® ÆPH´óÆg¦TTpÆs¥`HT¢ o¸pÆPó´ o®TT¨TT¢
º¥¨ º ¸¨Î ¹ ùº º¢¶ ¸º¦‚ ¤Î £
k
Ki , i = 0, 1, . . . , k ’ 1 X
® Hu¹H¶TH¹@§o&e¦)´TH´T‚oH¶o¸opÆP‚ `§ u¹p)THG–•`u¨)u¹HTH@o§&e¦)TH´To‚Ç
¨ ¸ § ¤ º ¨ Ç ´ ¸º¦ º ¤º´¨ º£ ¸¶§¹ ¤ º´¨
k m’n m, n ∈ X k≥2
¤ ¤ ¶§ ¶ ¶¹ Á § ¸¹ ¤
T¨To§»pTH¹pHrc º`ÌhH@¨&¦g&¥ ¨ ¤®¨ ® °§¹ ¤ ´¨´
&g¦¸oaD¯yTH@o§&e¦º)TpTo‚Ç o®¤HHd¶•`§
´º
o¶˜‘¶&g¦To¶˜‘THÃ&Q¦pd´t¨HTTiÌ`T¥ ù £o¯®T¨TT¢iT¨p‘4¤o¤&Q¦¶µcg¦¤oTT§° THu¹ToÎTi§µTHg¹T¦º)H¹uo¸¨ò
¤· ¶§ ¶ • ¶£¢ ¦ ¤ £ · ö–¶ ¸¨Î °§ ¤ ¤§ ¨ ° °§ ¤Î ´ ¤ X m’n
QµT¯® ù )u¹H¶TH@o§¤&e¦)´TH´To‚Ǩdºo¸pƦP‚¨)´&`¦ÌhH¹up)THG–•`£ Æ¥h‘¶ ¦ d4`§’ÌH¹@&g¦&¥
¶§ ¨ ¸ §¹ º ¨ ¸º º ¥ º§ ¸ ¤º´¨ º º ˜ º ¸ ¨ ¤ ¨ &¦go¸¤
m, n ∈ X X
®D¯lT§H@o§¤&e¦)T¨HTo‚Ç
¨ ® ° ¹ º´ ´ Æg¦T¨T)&¥±o®HHd¶•cg¦o¤TTÎ µ&g¦T¦HHu¹o¸ôòeT§¯® | H¹u)g«
º ¸ Î º´ ¤´ º ¸¨ ° ° ¤· ¶´ ¤ ¶ à ¸ï
•™ü ™ ’ —‘ ‘•ý À• ’ ”™ ¾ ’ £• } }
TH88”T8”dV˜@&8•&8)·V8”d&8T&¿8åd48å ¢ !¼E z¼
g‘ªÍ@Ï
®
A» , » ∈ Λ
T¨To§T4eò`£TPclo®¸ ¼)u¹¸HT§H@o§&e¦º)TH´T‚oÇ ¯pdºo¸pÆP¶o˜#¤ ÌhHT`¦QTÌ
¤ ¤§ º ¢ï í ¨ ¶ ¹ ¤ ´¨ ¨ ® ¸º¦‚ ¸¹ ùÌ ´ º)H¹uo¸¤ôsòT¯&s¥T¢
´ ¶§® ¶
o®¤TTT£TPD)u¹HT§H@o§¤&e¦)´THTo‚Çid®TT§o¤p¶THp¤ÌhH¹u¤T`Q¦´T4)u¹HTH&u¦H¹@HHu¹To·&…TTo§»pTH¹pyHdpºp¹
Ψ ¢®¨ ¸¶ ¹ º ¨´ ¤¨ » §¹¶ ¸ Ì Ì ¨ ¸¶§Ã ¤ ¨´ ¸ ¤¥ ´ ¤¨ ¤ ¶§ ¶ ¤¶‚
x, y ∈ A» »∈Λ x∼y x, y ∈ X
¶H@Î&TTo§
¹ ®¶ ¸ ¶H@HPpQº¹
¹Î ¤¶‚ ’ÌHu¹¤&Pp`§¦&g¦¸o&® H@`lo®¨QòºPo‚¸
¸ ¥·º ¨ ¤ ¶¹Î® ¤ `¦ ø
Ì
»∈Λ
A» . X=
A» = …, » ∈ Λ
ù® í º´¹¸¤ ò¶ ® ¥¶ ¤ °¹¸ï¢ § º
HHuo¨sT§¯&dT¢wyHuH@o¤T¨`§
X A» , » ∈ Λ
)´Hg¹o¸¨sòT¯gT¨To§THG–•`H¶TH&Q¦Hd´tH¶T£T¢ |
º ¤ ¶§ ® ¤ ¤¨ º£ ¤ §Ã ¶ •¨ Hu¹Hg@DÌ@To§TH–G•`o¶#˜¤uHHH¹u&g¥To£H¶T¢
à ¸ï « ¨ ¤¨ º£ ®¶´ ¸ ¤ ¸
X
TpÆe¥sº u¹¨sò¯® ¤HHu¹o¸ôeòT¯#`u)u¹H¶TH@§o&e¦)´TH´T‚oTT§opTHpXH¹@VToÃu¸&u¥¿THu¹¤¯H…
¶§º • ¤ ¶ ´ ¤ ¶§ ® º§ ¨ ¸ §¹ ¤ º ¨ Ç ¤¨ ¤ »¶§¹¶ ¶ Î ® ¤ • ®¨ ®¹ TX IX
¨ `¨uò¤¯®TTo§ôeò&Q¦T¢
ï¥ ¤¨ ¤ ¶ ¶
¶§ ¶¹ï ¤ ® £ ¹ ùº ¨§ • ¨ ¸¶§ ¤ º ¨ Ç Ì ¤ »¶§¹¶ ¤ °§Ã º ò ¤ ® °–ï
¤HTTÎHHd¤uò¯H¶TT¢pø®TTpsº—H¹uHTH¹@§o&e¦)´TH´T‚ok@¨T§opTHpglTH&g¦¤HQ¹¨)o£&s¥o¶¸o¤¸ í llH@o£˜ K(x) = X , x ∈ X
®l¯®pdº¸qhÌHu¹p)ld°•P‚HXTTo§¤THG–•`Xd¤¤ù@pH¹uH¹uHHpH¶o§H¹@FpºQr®
° ¸ ¤º´ º ¶ ¤¨ ¨ º£ ö ï´ ¸ ¤´¹¶ ¸ ¶ Î ‚ ¹ o¸pÆP‚
¸º¦
TX
y°TTo§H´Hu¹TT¨&¥gÈo®o¤¯T¨ )u¹H¶TH@§o¤&e¦)´TH´T‚oÌ@¨To§¤pTHpo¶#˜p&¦QHp`X`¦ llTH‘T&s¥¶T¢
· § ¤ ¸§ ¤ ¤ ® ¨ ¸ §¹ º ¨ Ç »¶§¹¶ ¤ »Ã ¶–¨º§ Ì ® °§–¶£ X
o¤&Q¦H–¨p`Ê®HHu¹ÇiT£Tu¹pº`P`Q¦¶T§H¹uH¶TH@§o¤&e¦º)TH´T‚oÇ °oo¸pÆP#`4TT§oTHG–•`£ ø HHH¹uo¸¤ôeò¶T¯®
¤ ¶ º§ ¶ ¨ ¢ ¤ Îï ¢ ¨ ¸ §¹ ´¨ ¸º¦‚ º§ ¤¨ ¤¨ º ®¶´ §
X K(x) = {x}, x ∈ X
® ¨ ® dº¤ º` ´H ïp)u¹¸ ¤ dï ¸ ¶ ´ ôò § PHH@‚ º e H@ipºQc
¸ ´ö ¤ µ£¶¹ ¶¹Î ‚ ¹
IX
ù T¯pTTo¸XHu¶¹Î HppÆTe§¥¶º¹¤ &dH¶¢¥ o’¸Ì¶ HùTÌ`ou)¦H¶¸ TT¢¶ H¹@§o&HH¹u´T¸oH´Te¶T¯°o® ¸opÆP‚ pÀ)HuT§oHQ`®º £@TopTHpk`¦
¯l° § Î ¤T
¨® ¸ ¹ Q¦TÌ ¨ ¹u § ¤ e¦) ¨ ‚oq ¸ º ¦ º ´ ¹ ¸ ¤ ´ Ì ¨ § ¤ » ¶ § ¹ ¶ Ì
´ ºÇ K(x)
¤¬G®™2 Ú 2£ª¬ HQ¹º)ld°•`§ o®&s¥p® ø
Ý ¬å¤ à ´ º ¤ ï–
x∈X X ’X
¨Hu¹¸HTH¹@o§&e¦)´TH´To‚ro¸¸pÆP‚…¶o#˜¤
¶§ ¤ º ¨ Ç º¦ H¹@o§¤¯®o&¦gg¯p&¥¨òQ@µTH)u¹Hu¹HHpHo¶¸µo¤@p´pQºu¹s¸®
ï ¤ Ç ï ®¶ º‚ ¤¨´ ¸ ¤´¹¶ ´ ¤ öÌ
K: X = X/ ∼
¤TTo§¨Qòº`H–‘H…
¨ ¤ £ ¶¹ ¤TT§o¤TsÎ`d§™H‘H¶TTTTH¶dpºÆ#¤o&Q¦H ¨@pºQiH¹Q)Hd¶•™&Q¦To¢¸T¨
¨ º •¶–¶ ¤ §Î¨§ ‚ ¦ ¤ ¶– ¤ ò‚ ¹ à º´ à ¶
X / ∼= {K» , » ∈ Λ} ∼
–©
o®¤&s¥ïp°# hÌHu¹p`sÎ`d§™H‘i8® )u¹HTH@§o&e¦º)TpTo‚Ç TTo§»pTHp¶¶T¢
¸ ¤º º •¶–¶ ¨ ¨ ¸¶§¹ ¤ ´¨´ ù¨ ¤ ¶§¹
X
Ý Ú 2¯©G¬ §Ú ÎÝ G© Ú £2x«
« ® ¨ © ¯¬ª h̸Hu¹p)ld°•`§ÊHu¹H¶TH@§o¤&e¦)´THTo‚BHo¶¸opÆP‚±’°o¤H´ Hu¹HTTP@HHHµ²
¤º´ º ¨ ¸ §¹ º ¨´ Ç ´ ¸º¦ ¸ à ¸¶§¢ï‚¶´¶
∼
EE£…
§ „
K»
—‚ ‚ ™…£#Gx…½2—H™
‚ „ ‚ „‚– ˜ „–
%f% ‚‘ f£‚fE©8GD…#‘0§%£ £„t”#‘f££8™‘
„ ” ˜³ ”˜ ¦‚µ‚ –„ “
»∈Λ
K» , X=
}í
®
X
„ ‚ ² ¦ § ˜ „ “ „ „ „ –„ µ‚ „ µ –
…£#Gx fT™2£„##8§„‘£E£E£¤¥%’à …£‘D“ H™
∼ X
—¢ „ ” ˜³ „ ‚ – „ „ ‚ • ¶
%‚ £ f£‚fE£8GDtE£„…%f%‚f‚™™ ™…£#Gx¡Eºf£Dl ¡ }ziD8&d’ ÿ ¼ — £’å
u¹pPo‚H¹ H´¤Æs¥@Hp¶
¤º ¤ ° º  x∈X
®a¨Hu¹HT§H@o§¤&e¦)T¨HTo‚4uïo¸Q¸ÆP¤ï1HT§&d¥¶dH&Q¦H¤¤1H¶T&d¥¶ô@4uò&Te¥`TTT¢
¸¶ ¹ º´ ´ Ç º¦‚ ®¶ ¶ ‚à ¶¹ ¨ ï ® § ¹¨ ¤¦ º§¨£ PTHH¨QÌÆ¨Qò@‚
º‚ζ¹ º¥ º
1H¶Hu¹H«`g8¨Hu¹HT§H@o§¤&e¦)T¨HTo‚@¨T§opTHp¶¨)¹uH¶TH´T)@d¨tp`HoÃpºÆe¦ôdï@p`§qHfTsÎ`T¨ …o‚¤THH¹
ï ® Ƕ ® ¸¶ ¹ º´ ´ Ç Ì ¤ »¶§¹ à ¸ § ¨¹ •§º£¹ ¸ º » £º °– ¤ º§ í ζ
K(x) K(z) z ∈ K(x)
P¨öp‘ÃHu¹¯Tdu® T§ ¨ T¶T&PH´o¤THp®THe¹®
° –¶ ¤ ®¨ ¹ ˜¶ ¤ ® §¥¨ ζ ¶ ô&g¦¸¯þ2THH¹@o§¯o®&g¦PHHo´¸
¤ ò ¨ ´¶ ¤ ¤ Ç °¨¶
K(x) K(y) = K(x)
•
t¨ l°Htù&o§¤&¨sò¶TH¶TkH¹ Hºu¹¤ôsò¶¯® H¹uH¶TH@§o¤&e¦)THTo‚w¸opÆPkHu¹o¸¤kHT®
® – ¦ ¥ £ ¢ à °– ¨ ¸ §¹ º´¨´ Ç ¸º¦‚ à ¶¹
”“ #‘…E¡ ¡
’ „ „ Ë
P{B(a, b, p) = a} = 1 ’ p, P{B(a, b, p) = b} = p,
ù &Tsï@Toµ4dTTo&g&gTTo¸p`£@T¨TÎ
¨ ¦ ¦ § £¤ ®¤ ¨ §¤ ¦¤ ¥¤ £ ¢ º ¸ ï§
B(a, b, p) a<b
p ∈ [0, 1]
P&g¦¤H´ P@T·p`Pï`g¦¸
µ¨ ùï§ ºÎ TTsÎ`d§™H‘¶
®¨ º •¶– ¨ g¦o¤TT° TTo§H)u¹o¸uö¤pó`¦ ø
¸¨Î °§ ¤´ ¤ ´ Ì
FWa ¤1 FWb ⇐’ a ¤ b.
Rù
`@&PÌd£
º§ ï‚¥
QµT¦1®HT§To·TT¨&ï1HT§TlH‘¶o¹Hp)¹uH¹uHHpH¶oXÌTT§o¤&g¦&¥gTTo¢p`XTTTTPeÀµTTo§&¥¨sòTlHg°o¤H´
¶¢ ï ¶ ¤§ ¦ ®¶ Î °– ¤ï´ ¸ ¤´¹¶ ¸ ¨ ¤ ¤£ ¸º£ ·¨·‚§ï ° °§ ¤ ¶£ °´ ¸
{FWa , a ∈ R}
P{Wa = a} = 1
H´Hu¹o¸ôsòT¯¨º`#@¨Tp)HT£T¨TT¨¯H&¥¨¶o‘¶dd‚¸oTÎT)u¹pºdd°Hu¹wTT§opTH…Æ
¤ ¤ ¶§ ® § Ì §º´¶ § ®¶ ˜ ¤ ¨ ¸ ¶ ¸ ¤¨ ¤ »¶§¹ Wa a∈R
ø
o®`¨To§&¦g¤&g¥¤TTo¢pº`±l°TTo§¤&¨sò¶TlH´ôï@§TTÎT&¦gH´ P@§Tp`P`g¦¸ TTÎs`d§™H‘¶
¤ ¤ £ ¸ £ ® § ¥ £ ° ¸ ¨ ¨ ¤ ùï ·ºÎï ®¨ º •¶– `¦
Ì
FX ¤1 FX+a , a > 0.
X X +a
ù T¨To&¦g¤&g¤TT¢op`kuH@£T¨TT¨¯H&#TodTTHupPdHu¸
¤ §¤ ¥ £ ¸º £ ¹¤ï § ®¶ ¥ ¨‚¸¤Î¨¹¸º°¶¹ T`o§&g¦&g¥TTo¢p`£
¤¨ ¤ ¤ ¤£ ¸º
a>0 X FX
¨TT¢Æz¥‘¶ ¦ T§TTT¨&¦gH#H¶TTp`P`g¦T¨T§o¤&g¦&g¥¤TTo¢p`’TTTTPe TTsÎ`d§•™Hf
£ º˜ ° ¨Î ¤´ · §·ºÎï ¸ Ì ¤ £ ¸º£ ù¨·‚§ï ®¨ º ¶–
F (x) ≥ G(x), x ∈ R.
3
F ∈ F F ¤1 G¹ G∈F
#„
” £„D™EExH‚±2£#tEf£‘E£…£
¶ “ – ˜„» ²‚ E£„8”
—„–„ ‘ “ ‚ ¶ µ ‚
££8“™£‘D’E2˜E2Î……» ¹ EtI™‚ 2 ™22G« Ú 2¤ÎÝ Ú 0¬ Ú ¬G™2©ª (Ú ”&!¼}zV8d’V)1H88¨—
“‚ 1 ¬¤ ª © ¤ ) ®¬å ¤ ¯® ' ¯ % ¼ ’ • ” ˜ ’ “’ å ¤
F
`§¨P&P)HT¦@T§opTHp¶wlTHH¹pdo‚T4Ãoo¸&¥u•
º º‚¥Ì£¶¢ ̨ ¤ »¶§¹ ¤ °£¶ ¶ ¤§ ¤ F
T¨THp¯o®o¸pº ê D@¨`o§&¦g¤&g¥¤TTo¢pº`·TT·T‚TP¡° °TT§oHH¹u¸ouöHwµT4sò¶¯d®™Ho´o¤HHu¹HTT¢P@H¶pHo¶¸ |
® £¹¶ ¸ Ì ¤ £ ¸ £ ¨ §ï e § ¤´ ¤ ¤´ ° °§ •¶ ¸´ à ¸¶§ ï‚ ´
¸ï ¨ ¤£ º£ ´ ¤ § ® º ‚¥ £¶¢ ¹ ùº ˜¨ à ¶£ ù § º´ ¸¨£ ¨¨£ ¤
ÃHu¹)g«pD·TTo§¤&g¦¤&¥gTTo¢¸p`r¤HHu¹o¸ôeò¶T¯y`§¨T&PÌdHT…p`£o&¦QTuPï@4òQ)yº@o‚TTwTTHo¶H¹ í
x ¤ y ⇐’ x ⊆ y.
x, y ⊆ X
Ì`¦T¥ ù ùTT§o¤TÎ…&PH´¨T#H&P)HT¢lTTTH¹u¸p`¦H¹uo¸HH´
¨ ù¦‚ ¶¢ ‚¶¥Ì£¶ · °§Î¨ ºÎ ¨ ¤´
X X = 2X
T4sò¯® )´Hu¹o¸¨sòT¯Xu¶‘¶TTp)HT£T¨oP‚Te
¶§ ¶ º ¤ ¶§ ® ˜ §§º´¶ ¸ ¨ Hu¹o¸ôsòT§¯&d¥Tig°o¤H´kHHu¹o¸ôeòT¯#
´ ¤ ¶ ® ¶¢ ¸ ¤´ ¤ ¶§ ® º
x ¤ y ⇐’ xi ¤ yi , i = 1, . . . , n.
y = (y1 , . . . , yn ) ∈ R
n
x = (x1 , . . . , xn ) Rn
® Ì ® ° Ψ ¸º òï ¸ ¤ ´ · °£ ¹ ‚ ´ ‚¶¥ £¶ °§¹ ¤§¶
`¦T¥ ù lT§TTH¹up`Îk¤ôd§ÌhH¹uTÌ`Q¦ŢlTH¶Hp¶dV® §H&PÌdHT¢B·lTH@o§THT¢
µVHd‚H¶Ti@4òd`¦g¸ H¶To£¯®TTT¢ ®l°THÃ&e¦º`H´T¨TH#¤oT§o#$c¦go¤TTÎ °µ`§To§HHu¹o¸uöH´¦H´Hu¹o¸ôeòT¯`§
®¶ ¢ ¹¨ ï ® ¤ ¨£ § ¨ £¹ ¤ ¤ © ¸¨ ° ¤´ ¤ ¤ ¤ ¤ ¶§ ® º
‚H&¥PdH¶T¢lTTÎl°H–‘¶±H@4òd`¦g±¹u¤ôeò¯®FºP&@Ì)HT¢D¶o‘TT·oTT& í¦ Ì@To§pTHp¶¿HTo£¯TT«
¶ Ì£ · °§ ù¨ ï ¸ ¶ ‚¥ £¶ ® ˜¶§ ¤§¨ ¨ ¤ »¶§¹ ®¶ ¤ ®¨£
x < y ⇐’ x ¤ y, y ¤ x.
`PHp`T¨TH¶¯o®pºÆ¨eò¶THT¢
令´º£¢ ¶¢ ¤ ¤ ¥ £¶
< ¤
® T¨T§op¶TH¹pl¤HT§&d¥¶Hd´t¨HT£T¢lô@ppÃHQ¹)´T¨TH¹Qø®o¸op`Td§£•&¦QT¢ d®TTu§pTHpl`P)£p
¤ ¤ » § ¶ ¶ • ¶ ¤ ò‚º¹ º £ º ¸º£ ¶ ¤ ¶ ¤¨ ¤ »¶§¹¶ ¸ ï¥Ì º
—2¥
Ý Ü#¬
§ ˜ –“ ‘ ‚ ™ „ ‚ „ – “‚ ‘ „ „ ‚ ‚ ”
©¤ Û T™—Eº%‚EtI‚‚… ¹ 4E” ‘ ¹ ‚©‚…xdH8“#˜ ¹ …£t”#¡2˜EtIfE£…%E…GÀ "
¤ X
„ „ „ ‚
…£‘™E#%r ¹ 2˜–EtI‚ !‚©‚Ef£‘» E£„…%‚f%‚ …£‘—E ™…£#Gx
„ » ‚µ‚ “ ‘ ™ » „
EtE£…%‚f%x‚E»Et£„d£fE™tfEt™D“tf£D˜£8zµI—¿–!}zV8dV˜)1H88¨—
„ „ ‚ „ “ „‚ „‚ „ ” „ ¤ ¼ ’ • ”’ ’ “’ å ¤
mn
óÎdv Î̽ i´É
Ì s
k
¨Hu¹¸HT§p¶¯#H¶TT§p)´HTTo¨¸dT¨e’H¹uo¸¤ôeòT¯®
¶ ö ® · § º ¶£ ‚ ´ ¶§
CX ,
k = 0, 1, . . . , |X| |y|
k
•t¨X¹@¨H¶ ¹ ¸ o¸
¶ ¨ ¹uH¶T§ ¤ ¦ ¨ ´ Ç ¸ pº ¦ · ° ¥ ò pº Î ï
¸ ¸ ¤ ®HH¹uÇ
¶
|x| = x∼y
ùHuHùpÆe`¢HHoBHuH¶Tp¯§PXÆH‘¶d¯H¹@§o&e)¦º g´THT‚okoóÆP‚ &¦Ql&¨Qº@‚k¹`P`¦’¸
º ¥ º ´ ¶ ¸ ¨ ¹ ¸ § ö ¶ ® ° ¨ º z¥˜ ‚ pp`P` HH´ ¶dHà H§HH ´
¹ ®¤ºÎï ¸ ®¶¹ ‚ ¶¹ ¨ ®¶ o®¤ppíº @TÎo¸
¹¨
tà … GßtÞ
ãâ ’ á à
Í
¤´ § ® ò ®¶¹ º§ ¨ ¸¶§ ¤ º´¨´ Ç ¤¨ ¤ ¶§
pHH¹u¸o¤¨sò¶T¯¤ôBHHô`¦)u¹HTH¹@o§&¦e)THTo‚wTTo§»pTH¹p¶
®º® ö ù ¸ º´ º‚ ‚ ‚ ¤º £¶¢ ̨ ¤¹Î¶¢ ¤£¢ ¤¨ ¤ »¶§¹¶ ¤¶‚
@ø¯®o¤&¦Q̺¨Pï`g¥¤&¦’Xu¹¤p)ld°•PH¶T¢ pº@ce®¹upÆ¥¨sò¶THT§@`o§H@HT&g¥TTkTTo§pTHp4HdTh̸ í
®¶‚¥Ì£¶¢ ¶¢ ® °– ù
lHd&PdHT&d¥T¤o¶#˜¤ lHt&¦¨
x¤y¤z¤t
®¶ ¥Ì ¶ ® °§ ¤ ¦ ¸ §º´ ¸º ˜ ¸® í •¨ ̨ ¤¹Î¶¢ ¤£¢ ¤¨ ¤ »¶§¹ ®‚
Hd‚&P)£HT¢ lTT·oT§T¨&µ¶Tp)H¶opÆz¦‘¶o8‘ t¤@Td§H@HT&g¥TTyTTo§pTHp¶pDpº ¦
y. x ¤ y =’ x
¤¹
#„
” „ „ „ »‚ – “ E£…%‘
„ »‚
E£…%‘£„8T
HDEtI‘l¼—222G« Ú ª Û QÚ ® …£‘—E
‚ ˜– “‚ Ý Ü ª ® P
¤ X
—–„ “ ˜– “ ‚™ –
£8™‘ 2EtI‚‘¡!©‚»Ef£‘» IE£„…%‚f%‚ E™™ Eff£Dl&Ú!}zV8dV˜)1H88¨—
• ¶ ¼ ’•”’ ’ “’å¤
X
HHu¹o¸¨sòT§¯¤ôBHH¨ H¶T§
¤´ ¤ ¶ ® ò ®¶¹ ®
Td¥ôº`§ l°TTQ§Æe¥sº•lo®T`o§¤H@H¶T&g¥¤T£T¨ H¶d&PÌ)H¶T`¥¨uò¤¯¤dÃtpo´¸o¸To£H¹@T¨ku¹T`Q¦pQº¹u&g¥T«
µ ¶ ® § º ® ¤¨ ¹Î ¢ ¢ ® ‚¥ £ ¢ ï ® •Ì ¤ ¤ § ¤Ì ´ ¸ ¤£
t
—¦ —¦ —¦ —¦
z
· —¦ —¦ —¦
y
· —¦ —¦ —¦
®
‘ í x
· · · —¦
t z y x
{x, y, z, t}
HH¹uo¸¤ôeòT¯®
¤´ ¶§
®HT)@o§¯d®¤&¦gTg°¤TlHu¹Tº`4@`o§¤H@HT¢&g¥¤T£T…T¨T§opTHQ¹To§ôòQ`H‘d¶•t…dTPuïTT£§o®P`g¥&g¦º
¶§¹ ¤ Ç £ ° ¤Î § ̨ ¹Î¶ ¢ ¤ ¤ »¶§ ¶ ¶ ¤ º£– ¨ ¤‚§ ¸¨ ¤ ö ùï ¤ ¸
E£„…%£8™“E£…%f%¨ …£„
»‚ ‘–„ “‘ „ „ ‚ ‚
X
—™—E
™…£#Gx E
„ „ ‚ ‚ „ “ „ ”‚
„E£„…%‚f%’‚fEt™Dt’‚I HÐ }zV•8dV˜)1H88¨—
¼ ’ ”’ ’ “’å¤
u{ uÐ Ìq vus Én
ftyz‘tFGfx8f q´É
d)ux))hne1EC)h™PzxP‘zd)˜hd•PyP)™oQidd)))DspPlseHhm’•ed)s“h”d•pA@e889ssda6
“x |™ D B“ e e en in e“ n“™“ ‘ { i ” 7 •“
b2 b1 a2 a1
-
F (a2 , b2 , p2 )
@ 1 ’ p1
I
@
1 ’ p2
@
R
@
F (a1 , b1 , p1 )
5 H
6
p1 , p2 F (a1 , b1 , p1 ) ¤1 F (a2 , b2 , p2 ) b1 ¤ a 2
µHtù&wT£T¢
° °– ¦ ¨ ¤ ¤ »¶§¹¶ ¶
T¨T§opTHpgHe¹® &g¦o¸gH¹@HlTHu¹¯H¹…
¨ ¤ ¶ ή ®¨ ¤ ®
F (a1 , b1 , p1 ) ¤1 F (a2 , b2 , p2 ), a1 ¤ a2 , b1 ¤ b2 , p1 ¤ p2 .
| F (a, b, p)
®
‚HTPuïT¨T`lo® í¸ Æz¥‘¶ ¦ DÌ@T§o¤&g¦&¥gT£T¢opº`ùT¨TT‚TP™@w…Pp)u¹Hu¹HHpHu¶¸
¶§ ¸ £ º ˜ ¨ ¤ ¤ ¸ £ · §ï e ùï ö ùï´ ¸ ¤´¹¶ º
”“ #‘…E¡ ¡
’ „ „ Ï
gDË @¤TT§o¤T4Qò`£TP íï ù&g¦HQ¹p¹@T¦Ìh)u¹T`Q¦pQºu¹H&g¥TT¢ &TH8ÜV)TTd@D•& V
® Ï ¨ § º ¢ ¤ º ¨Î ¸ ¤Ì ´ ¸¶ ¤£ ‘™ü ˜’™—Þ—
¤
¶ ˜ – “‚ ‘ ‚ ‘ „ ” „ ‚ ‚ ‚
2EtIf8§—x“ …’j4EE%…%
— ” „ »‚ ‘ „ “‘ ‚ „ ” ‚µ ˜
%‚d± …£„t# ¹ §EE£…%–©8™’‘f8§—x—E” —x ‚D™2˜— 4EE%…%%d¨ if¦TEt#
‚ ‚ ‚ ¦ §”
µ : X ’ R¹
” ‚ ¶ µ –™ ¢ »‚ –„ ‘ „ „ ‚ ‚ „‚ ‚
GE%‚E2˜E2Ψ¦i2˜E ™ H‚ U E£„…%‘£8“E£…%f%jE¡E™#
¤ X
— ”™‚ ˜‚ “ ‘ ¦ » –
™# %–EtI‚…GEEf£‘» ™™ ™…£#GxºE f£Dl ¡ F88dPVVH8å ¢
„ „ ‚ • ¶ } Ð ’ • ”’ ¦ ˜ “’
u¹p)T¨&Q¦pº`pQºu¹H¦H¹uH¶T§THH¹QTH¶¯¦¯®T@¨H@@HT¢¦¯®lTTo§&g¥HH`¨uò¤¯¨dÃtÌpµ²
¤º´ ´ § ¸ï ¨ ¸ §¶ ¶§ ® ¨ Ì ¹Ì§¶ ¨ °§ ¤ ¤´´ ï¥ ® • ´
g® TTo§¤H@H¶T&g¥¤T£T¤T í¢ ¯l°T§THHpTH¯ô@pp#ÌhHpº)ld°•`#TH¤uH´ &e¦`§
ù¨ ¹Î ¢ ¢ ¶ ¨ ® §¶¹¶§¶ ® ¤ ò‚º¹ ¸¹ ù ´ º§ ¨§¶ ¸ ° º
Qµ¶TTT‚TP¨T¨p)lH¦XT¨ppu¹Q¸`d£™HDD`pQºu¹p`d£™Ho´T§óhÌHT`g¦&g¥TTHTTTo¨‘&e¦`§ è
¨· §ï e · ö ùº´ °–ï ¨ · ö ùº º •¶´®·¨ ö ù ¸º •¶ ¤ ¸¹ ùÌ ¤ ¤£¢¶ ¶§Î ˜¶ º x
y =’ µ(x) ¤ µ(y).
h
µ:X ’R
#„ ¹ fT™—2¶£À …£‘—E
” ¦ § µ „ „ GE%E2E2¶
”‚‚˜
X
„ » ‘–„ “‘ „ ‚ –
E£…%‚£8™f„E£…%‚f%‚ ™™ ™…£#„GxºE f£Dl&–!FXV8dV˜)1H88¨—
„ ‚ • ¶ } Ð ’ • ”’ ’ “’ å ¤
¤
g® @&¥P)H¶T¤T í¢ ¯l°T§THHpTH¯ô@pp#ÌhHpº)ld°•`#TH¤uH´ &e¦`§
ï‚ Ì£ ¢ ¶ ¨ ® §¶¹¶§¶ ® ¤ ò‚º¹ ¸¹ ù ´ º§ ¨§¶ ¸ ° º
Qµ¶TTT‚TP¨T¨p)lH¦XT¨ppu¹Q¸`d£™HDD`pQºu¹p`d£™Ho´T§óhÌHT`g¦&g¥TTHTTTo¨‘&e¦`§ è
¨· §ï e · ö ùº´ °–ï ¨ · ö ùº º •¶´®·¨ ö ù ¸º •¶ ¤ ¸¹ ùÌ ¤ ¤£¢¶ ¶§Î ˜¶ º
x ¤ y =’ µ(x) ¤ µ(y).
µ:X ’R
#„ ¹ fT™—2£À …£‘—E
” ¦ § µ¶„ „ ”
GE%‚
U
h ¤ X
—EE2E2¶
‚˜ „ „‚
˜‚– “‚ ¦ » » –
%EtI‘¨GEEf£‘¨™™ ™…£#Gx…E'•f£D¶l ¡ FÐX’V8”dV)’1H88¨—
} • ’˜ “’å¤
g#dd4b`… '‚ i
°f‚ec a Y ° ‚‚ X W
K(x) < K(y) = K(z) < K(t).
® ¤£¤ ®¨
‘ í—To¯TT£T¢ í
y. K(x) < K(y) ⇐’ x
o®TÎTT£T¢
¤¨
y, K(x) ¤ K(y) ⇐’ x
`PHp`T¤TH&PdHT¢
令´º£¢ ¶¢ ‚¶¥Ì£¶
X
l°TTo·¤TT¨&¦ º`u¹¤pƨsò¶TH¶T¢ @¨T§oH¹@HT¢&g¥¤TT¤T¨T§opTH¹QH@1TÃH@Hu¹¤¯psº•ÀT&d¥@Hu¹
·§§ § º¥ £ Ì ¤ ζ £¢ ¤ »¶§ ¶ ¶¹Î ® ¹¨ ® ¶§ ï£ ¤
K(x) = {x}, K(y) = K(z) = {y, z}, K(t) = {t}.
X X
® ¨µ® í ¤T£o¯ £
¤ ¤ ¨ § ô º £ – ¶ ¹ ¶ ¤ ¶ ‚ ¸ ¤ TTH¶ § º
¤ Ψ§
K X X
| ru‘± •HuH¶TH@o¤&e)´THToÇ ®o¤o¤¯T‘ T—pi¶T®T¢ ¨TT¢ ¶H)uTp´`HuHTToPHò£ QH`Hp‘HepHdooTuHgTp@‚
º ® ® í ¨ ¹ ¸ § ¹ § ¦ º ¨ ´ ‚ T¨T§o¤ p¶ H¹ ¶
ù »§ ´í ¹ ¸ § º £ ¹ ¸ TT¢ µ ¶ @‚ | H¹ ¸ ï «
¶£ ¹ º Ã
t x
y∼z
®¨® ¤ ¤®¨
o®o¤¤¯Tµ‘ í—To£¯TT£T¢ í
x. y, y x
y ⇐’ x
X ù `§ º
@¨To§H@ÎHT¢&g¥¤TTo¶‘o¶˜‘THu¹¸ T¨To§p¶THp¶µp¶T&s¥Hd´•tHT£TgHQ¹º)TTHQ¹ºøo®o¸p`µô@pºQgTTo§H)u¹o¸Hu¹¯þ
Ì ¤¹ ¶ £¢ ˜ ¶£ ¤ ¤ » §¹ ¤ § ¶ ¨¶ ¢ à ´¨£ ¸º£ ¤ ò‚ ¹ ¶§ ¤´ ¤ ¸
g%®H#–o¤ï1H¯®pdºo§H@o§&¦
¤ ¸ ®¶ ¸ ¤¹ ¤
x, y, z, t y∼z
eµ)T¨HTo‚Ç
º´ ´ ´HH@o§¯o®¤&g¦Çtl&¥¨QòP‚Tp¤ôò¨¶T§TÎoTH¶dTD í¨
¶¹ ¤ •¨ · ° º ® ¤§ ‚® o®o¤¤¯Tr‘ íºTo£¯TTT¢
®¨® ¤ ¤®¨£
g2± @w¤TTo§T4Qòº`TP íï Æg¦HQ¹Qº¹@TΦ’ÌH¹uTÌ`Q¦ppu¹H&g¥TT¢È¯¯o®&¦ &TH8ÜV)TTd@Dí•& V
® Ï ¨ ¤§ £¢ ù ¤ ¨ ¸ ¤ ´º ¸¶ ¤£ ° ® ¤ ‘™ü ˜’™—Þ—
E£…%f%j4E£D£8”zI„8º“4Ef
„ „ ‚ ‚ ˜„ µ “
X
—t™Df ¹ 4EEt£d£ ¹ f£#º‚… ¹ E¨f£fE£„8GD˜•E£…%f%‚ …£t#
“ » “ „ • „ ‚ ” ³ „ „ ‚ „ ”
x, y, y x ∼ y ⇐’ x
®
2± í
H82‘d‘
‚ ” “‘ „‚ „
T
∼¹ X
—™™
– „E£…%‚f%‚ H‚ U
„ –™ ¢ E¨E£„…%‚–£8™l„E£…%f%‚
» ‘ „ “‘ „ ‚ f£Dl &!–z¼ xD’ S
• ¶ } — £ £
tà … GßtÞ
ãâ ’ á à
R
•
Q ∪ Qc = X — X
&g¦o¸T® 4E” ‘
¨ ¤ ‚
Q —¦ Q ⊆ Q •
&g¦o¸¤@® 4EfEt™Dt
¨ “
•
Q © Q c ⊆ IX
&g¦o¸T® 4EEt£„d£fE™
¨ ¤ »“
•
Q = Qc
¨ ¤ »“ „
&g¦¸o`® 4EEt£d£
IX ⊆ Q •
¨ ¤ „”
&g¦o¸`® 4E£D˜£8zIµ„8“
Q
X
hÌHu¹¤T`Q¦´TÌ `§ T¨T§op¶THp¶ ù Hd¶•`H‘¶ TP`g¥&g¦4H¹QdºTTH¶ôT4sò¶øô± P
¸ Ì º ¤ ¤ » §¹ ® º£– ®¨ ö ùï ¤ ¸ à ¸¨¢ ¶§ ®
º e ˜º º¢ ¨ ¨ »¶ ¹¶ º´ ¸·¶ ¸® ¨ º •¶– ¨ ¨ ̧¶¢ °§ ¤ ¤´´ Ì Ã ¶ ¸
™º`o£™`£p`•t·TTo§¤pT§Hp¤)H¹uTHH´o`DÌ@T§o¤TsÎ`d§™H‘¶#¦Ì@H¹@@HTw¤lTTo§&¥’HH¦poï•™&Q¦To¢–
—¦ z·—¦ —¦ z··
· y·· —¦ y—¦·
· x—¦—¦ · x—¦·
z xy z xy
Q
Qc
IX
Q
pdTPuïTT£ o®ôPï`¥g&¦g¸`¦o§&¥gH´TT£T@¨T§oôQò`Hp#u£¤øTTg` &¦e`Ho¶™`&ôTH&u¦H@o¨HTHp¶
¤‚§ ¸¨ ¤ ö ù ¤ º§ ¤ ¤ ¨ ¢ Ì ¤ º£¹¶ ®¨£ « ¨ º§ ˜º¨¥ ¶§Ã ¤¹ ¸¶§¹ {(x, y) ∈ X — X | (y, x) ∈ Q}
Qc
¤¨ ¤ £¹¶ ‚º‚ ¤ ¸ ù ´º ¢ § ¶ ¶´ ¶§ ©
TTo§ôQòº`HpkpPP®pH#–o¤ôH@Ì`Q¦ppu¹¸&g¥¤T£T¶T4sò¯® HHu¹o¸¤¨sòT#Q Q X
Qc = Qc
„ „ “
®Hd¶•º`H‘¶ ®TôP`¥g¤&’¦¸ EE£Dt%‚ T¨&g¦¤&g¥TTH¶ `§ @To§pTHp±`¦ ø
£– ¨ ö ùï ® ¤£¢ º ̨ ¤ »¶§¹¶ Ì
DTTHQ¹øwTTo§&g¥Hd´t¨
·¨£ º® ¤¨ ¤ ¤ •
© ∪
QµT£T4u¹pº`T¯H¶Tpº`§ 2Ë º¯T£H’T¢ Hd‚o¸o¤TÎT¨o‘¶&¦ | &® ”D HPo‚o¸TTo¨™&¨u¹p`sκ`d§•™H‘¶ &¥h˜
¶ ¢ ¤ §¨ ® ¢ ® í ¤ ® ¶ e ¶ ¤¶ ˜ º ¤¶ ¤Î ˜¶¦ ¤º ¶– ¤
z∈X
([(x, z) ∈ Q] © [(z, y) ∈ R]) , ((x, y) ∈ S) =
®
D íË
pP‚`p¤&PH´ HP‚o¸uTÎT¨o‘&¦ô¤HQ¹dº¸TTpsºfT4sò¯®TTT¨d™T¢¯Hd‚¤H¹@ÆlTHu¹¯H¹…
‚º ® ¥¨ ®¶ ¤ ˜¶ ´ à ¨¢ • ¶§ ¶ ù¨· •¶ ®¶ ¶ ή ®¨ ¤ ®
· · z· —¦ z·—¦ · z··
—¦ —¦ y· —¦ y·—¦ · y—¦—¦
—¦ —¦ x· · x·· · x—¦—¦
z y x z xy z xy
S R Q
X = {x, y, z}
p¤dTPïu¸TT£F®oP`g¥&g¦¸¨`¦o§&g¥HTTT¢
‚§ ¨ ¤ ö ùï ¤ º§ ¤ ¤´¨£
(z, y) ∈ R (x, z) ∈ Q
H´Hu¹o¸ôsò¶T¯ÈH¶TTdÎTH¶HPg°¤TH4`§T¨T§opTHpXT¨T·Td¨™¶T¯HPX£o¯TTD
¤ ¤ § ® ® § ¤Î ¹ £¹ º · ¤ »¶§¹¶ ¨ • ¢ ®¶‚ ¤ ®¨£ « ¨
z∈X (x, y) ∈ X — X
®HT£HHpPkT£TP® T§&s¥FH– sÌp)k’ÌHg¹¤&Pp`§ôH@ÎT%PTpºQ¹
¶ ¶¹¶‚ ¨ ¢ ¶ ¶ ° ¹¶° ¸ ¥·º ¶¹ ®°¨‚ o‚THH4g°o¤H´ôHH¹u¸
¤Î¶¹ ¸ ¶´
Q, R X S = Q—¦R
gµôsòT¯p@P® º`§ T¨To§Q»¶THp¶)p´&¥
¤ ¶§ ® ‚º‚ · ¤ §¹ °ï § ‚ ‚ ‘ ® ¨ ¦¤ ¥¤ £ ¶®¤¤ ¦
EEE#xH‚D˜ T&g&gTT¢H@po&eº ø
IX
X —X
§• ” ‚™
2GE%©‘E– HHuoôsT¯® oHHdº
¶´¹¸¤ ò¶§ ®¤´¶•
IX = {(x, x), x ∈ X } ⊆ X — X
¤T¨T§oTsÎ`d§™H‘§T§o&g¥HHi&µH ôòdóªPó¤™`o£˜™`Q£`¢
¤ º •¶–¶ ¶ ¤ ¤´´ ¶¦ °– ¤ ï eº º º
DT¨`o§¤&g¦¤&¥gTTo¢¸p`£ °µTHu¹¸HTH@sÌT£oHóe°)H¹uo¸¤¨sò¶T¯`§iTTo§pTHp¶¨d¤•t&¦e`pº TTÊo®@o·TH&e¦Æí¥
· ¤£ º °§ ¶§¹ ¶ ¤´ º´ § ® º ·¨ ¤ »¶§¹ ¨ º§ ¨£¢ ¤ » ¤§Ã º
4’̸H@`d¥o¶¨TTy¨@‚pQº)@± Pg™`£o™`p`¢…y°TT§o¤THp¶¯o®o¸p`PDTTo§pTHpº)Hu¹THHo´wHQ¹ºdTT¢psº•
´ ¹Ì ˜ £¢ ¤ ò ¹ º® ¤ eº ˜º£º ´ ¤ § £¹ ¸º£®·¨ ¤ »¶§¹¶ ´ ¸·¶ ¸ à ¸¨
¤¥¨´ ¶ à º ® ¶ e ¶‚ £‚ ´ ¹Ì ¶ •¶¢ ¤ £¶¹¶‚®Ì¨ ¤ º •¶–¶ ¤ °£¶¹¶ ¤ ¤ • ¤ ¤
&PHX®HT§H&e¦øT£HîHdHQ¹º`T@`Q¦Hd´™Tll°THHpPpD@To§TÎe`o§™H‘lTHHpdo‚T§oÃo¸&¥u¨o®&g¥H´ í
q
lU#lxuv‚ … 'tg#‚dd4a r
…yw‚ ° sf ec
”“ #‘…E¡ ¡
’ „ „ p
Q·y = {x ∈ X | (x, y) ∈ Q} Qx· = {y ∈ X | (x, y) ∈ Q}
E£„t£#¨EE™D§%‚ ¹ §„d
»„ ‚ “„ ‘ “
—E“™™E ¹ E££™™t%8“™¡…©2˜£– §8“#f2˜2t£ §‚D£#tEÎE££l#f—EE™tG# ¹ EE‚™D§%‚
‘ „ –„ ‚ ‘ ‚ “ „ ¦‚ ¶ ¶ “ ¦ ˜„ » µ ‚„ ‘ ‚ „ “„ ‘
f f (Q, R)¹
¹ EE™D§%º—EE£™…£#G‚xq%DEf£8I‚#„…'D2•” ‚… 8I…™D§%À ¶™” £
‚ “„ ‘ ‚ „ „ „ — ‚ ˜ „ “ ‚ ˜ „ “‚ “„ ‘‚ • ‚ ‘
S=
E…¨•”t·EE‚E#‚xH‚D˜ EE™D§E%ÀE£8§„£8™%‚ f™E™”‘!â}z88d8”§@88¤ã
„ – ‘ ‚ “„ ‘‚ „ „ ” –„ “ ‘ • ‘ “ â ’ • ” ’ ¦ — å
…£#Gxq—I‚…2™¥’‚©™#„…T2…£…£™…%‚#¨x%fE£d„8” À …TEt#
„ ‚ “ ˜ µ ¦ §¶ „ ‚ „ ³ § ”
A» , » ∈ Λ
…£#G‚xf©#’fT™–½G8I‚‘ ¹ f£fE£8GD“E£…%E…Gr …£t”
„ ‚™„ „ ¦ § ‚ “ ‚ „ ” ˜³ „ „ ‚ ‚ „
— ”„ – “ ‚ ˜ „ ‚ „ –„ ‚ ‚ • ˜ â ’ • ” ’ ¦ — å ¤
¹ Æ 2ÇÈD §Dt„‚E%D—…E££™™ ¹ „E£„…%f%‚—…» ¹ f™2%‚&!Ú}z88d8”§@88ã
D8™x2I‚—’©#º’„8§ x„“H…
„ ˜ ‚ “ ”¶ “ µ ‚™„ ” ‚
‚ ” »‚ ¶ • ”„ –„ “ ¹ „ „ ‚ –„ “ ‘ • ˜
‘8 ED%…DÂ2§…E“©£8™‘ ÈÇ EE£G8”££8™rf™2%‚ ° Ð }z88d8”§@88ã â ’•”’ ¦—å¤
¶ „ ” • ˜
Æ D x8ff™2%‚ ° !¼}z88d8”§@88ã â ’•”’ ¦—å¤
D Æl—‘Di‘©’¨4EE™E%‚ ¹ iE£…
„ µ “™ “ ‘ ² ‘ ¦ „ •
¶ „ ¦ ¶ “ “ § ”
%f%‚ x%…£§‚™#…½©d…¦™tG# H™D“ – ² „#™º„…£…2£…%‚ fT§2™t£´”2D
—‚ ¦ ¶– „ „ ² ¶
tx4E£D˜£8zI8’E ¹ x4EEt£d£fE™± ¹ x4E
¸ „ ” µ„ “ » “ „ •
—fEt™Dt—E ¹ x4EI‚—E' fTEt”# f‚ ¹ x4EEt£d£ fTEt#
“ ” ‘ ² ¦§ „ » “ „ ² ¦ § ”
tx4EEt£d£fE™± ¹ x4E
¸ » “ „ •
—fEt™Dt—E ¹ x4EEt£d£—E' fTEt”# f ¹ x4E” ' fTEt#
“ » “ „ ² ¦ § „ ‚ ‚ ‘ ² ¦ § ”
3 iE£„…%‚f%¼§“d™‘—fE%8t£‚&!–}z88d8”§@88¤ã
¦ ‚ „ “ • ‚ “ â ’ • ”’ ¦— å
4E
— ˜„ ” µ„ “ ” „ ‚ „‚ ‚ ‘ „ ˜ ‚ • ˜
£D£8”I8r …£„t#—„E£…%‚f%±E” ‚DE ™Ã…» ¹ f™2%‚ ° }z88d8”§@88¤ã â ’•”’ ¦—å
l # b„
… …
tà … GßtÞ
ãâ ’ á à
‚