"!#%$ "!%&'()*+,.-
./0.12(3
457698;:=<>5
?@5BAC2DE:=<>8GF;H
IKJLNM7O9PRQTS=UWVYX[ZWV\M^]>X[Z^_^O`;acb3dRegfhb3ije@kmlRnob3prqts
R ⊂ X × X
u
X 6= ∅
vgwmx
kybz{)|m}~b3;b
a;b3|
w
s>zcqm3p>lf 9b3|tac{)tp>}
)
dRfkt{
w
ac{3m3
∀x ∈ X : xRx
|te7iTl
w
kt}ob
∀x, y ∈ X : xRy =⇒ yRx
zckmdRl>p=c{7cac}{)m
∀x, y, z ∈ X : xRy ∧ yRz =⇒ xRz
?@5BAC2DE:=<>8+H
LNMW>Q%MBEStMWBO9P`Yl>n~lRilRa
w
x
fd>)ns>clRikmlRnob3prqt}'k
x
fac{^fb3Rac{)tp>}
R ⊂ X × X
u
X 6= ∅
a;bdRegfbije@d> c}
x
k>
[x]
R
:= {y ∈ X : xRy}
¡'¢
DE5g£W¤¦¥B57C¦DE5%F.§©¨ª9b3|tac{)tp>}
v
nob3|«k
x
fa{fhb3Rac{)mpR}©¬H
bB¬
∀x ∈ X : [x]
R
6= ∅
®¬
S
x∈X
[x]
R
= X
p^¬
[x] ∩ [y] 6= ∅ =⇒ [x] = [y]
®¬
[x] 6= [y] =⇒ [x] ∩ [y] = ∅
?@5BAC2DE:=<>8+¯H
°2>`ZWS=J±`©L~ZWSmM^²WZWVY³W±´fd>)ns>clRiktl>nobpµqt}3k
x
fac{^fb3Rac{)tp>}
R
a;b3dRegfhb3ijedR c}
x
k[f|mde|µ¶
wyv
}~p=
v
nob3|b3 |
w
b
v
pµqt}·fdR)n~sRcl>i
w
lµq«kml>n~b3pµqt}¸
X/
R
:= {[x]
R
: x ∈ X}
¡'¢
DE5g£W¤¦¥B57C¦DE5%F.§¸¹b3|yb;bb3 c|
w
kyb
v
pµqt}o¬H
ºb>;bkml>n~b3pµqmbk
x
fac{^fhb3>a{)mpR}[a;bac}~lRzcc|
w
e7i»d> c}{)kmdRl
X
c|
w
b3n~bqtlR){jz{d>}obga;b
km{)d93pRd>acl}ac}l>zcc|
w
lz{7cdR c}~{)k¼e§9p>den}·a;b
v
n~b3|te½k
x
fac{^fhb3>ac{3mp>}o¬
¹b3|yb3cbKb c|
w
kyb
v
pµqt})a;bdRegfba;b,qtlR|
w·w
l>¾d¿b3|mb3;«}~l>a
w
egÀ
v
b3pµqt})lRn~lRilRa
wmx
f+k
x
fa{fhb3Rage7p=
I
°,J=M3V
IJLNM7O9PRMSyUWVYX[ZWV\M^]>X[Z^_^O`°2MW>MBM½MB¸StMWBO9P`
,8
¢
8;C¦DE8
¥B8>8c¤
8 !"^£8 #:=<¿D
¢%$
8&^5
$
8&'
:)5
•
clÀ;ac}~prqmb
v
}l>kma
v
a;bz©b3|mdRp>de)(Rac}~l
*K{3dRfhb3¿b3i
e
dR c}
x
k¦zkm{)|
w
ep=acb
z©b3|mdRp>dRe+(Rac}~l
¨
d> c}{)kmdRl
w
e7i
clÀ;ac}~qtl>ije
kmlRnob3prqts
∼
fªa;b|
w
sRzcWqm3pe@|mz{)|
x
l ∼ k ⇐⇒ lkk
¹b
w
lRi
v
b3R;b
v
n~b3|yb«b c|
w
kyb
v
pµqt}Bd¿b¿f}l>kybhf|tdRe7|
wmv
}~l\zckm{)|
w
lYk
x
fa{)n~lR©l
¹[ c}
x
k
}~n{)kyb3dR{^f«e
w
{"d> }
x
kf|mdRe7|
wyv
}~p=
v
nob3|jb3 c|
w
kyb
v
pµqt}
-,
v
{3km{ac}l½km{3d>k
x
>ac}~b3ije
zckm{3|
w
e7p=k
x
fa{)n~lRoe7p=
uKw
{
v
b3>;
v
nob|ms0b3 c|
w
kmb
v
prqt}i{)Rl>ije
w
kmb
vBw
{^fhb3
qmb
v
{
v
}~lRkmcacl
v
a;bz9b|md>pRdRe+(>a}~l
•
f'l
vBw
{)k¼e@|tf'{) {cal
*K{3dRfhb3>ije
dR c}
x
k"f|mdRe7|
wyv
}~p=f'l
vBw
{)k
x
f
df}o3d>b3aBep=
uw
d>a
f'l
vBw
{3k
x
f
u
vBwyx
ktlY|yf«e7d>a;b3pRd>{)al'zcktd>lRd\fb«zcca
vgw
eacbz9b3|td>pRdRe+(>ac}l/.
|tf
x
q
z{pRd¿
w
l
v
}
v
{)a}~l>p
¨
w
l>e
acz
cn~b
A(0, 0)
u
B(1, 1)
u
C(1, 2)
u
D(2, 3)
f'l
vBw
{)k¼e
−→
AB 6=
−→
CD
u
z{)i}i{´Rl
f|tz
x
©kmdRs>cal
w
e7p=fhl
vBw
{)k
x
f
|m
w
b
v
}~l0|yb3iTl3
−→
AB =
−→
CD = [1, 1]
¨
d> c}{)kmdRlf'l
vBw
{)k
x
f
df}o3d>b3aBep=´fzckt{^fb3d¿b3ije+kmlRnob3prqts3fhbfhl
vgw
{)kte
|yf
kmlRnob3prqt}
u
qtl>tn~}ibqm
w
b
v
}~lh|yb3iTl'f|tz
x
okmdRs>cacl
¨+
w
lµqktl>nobpµqt}7z{^f«e7>|td>l
fhl
vBw
{)k¼e
−→
AB
{)kyb3d
−→
CD
|mKdRl'|t{) ;«f.ktl>nobpµqt}
u
acb3n~lR¿«f}~s>p¾c{
w
lrq·|mb3iTlµq
v
n~b3|te
k
x
fac{^fhb3>ac{3mp>}7})dYzca
vBw
f}~cdRl>ac}~bktl>n~b3pµqt}|y«ac}~lY{Kkt{)d>k
x
>a}~l>a}ob
ºb3R;
v
nob3|ts½b3 |
w
b
v
pµqt}¾fd>3n~s>l>i
w
lrqktl>nobpµqt}Ya;b3degfb3i
e
f'l
vBw
{)kmlRi
|¼fh{) {7caBei
.
ac}~l0kt{) c} a;bi
k
x
Rac}~pe
u
f
vBwyx
k¼e7i
zcca
v
p>}~lf'l
vBw
{3kqtlR|
w
d¿b3pRd>lRzc}~{)aBe
¨.b>acl
u
Rli½bqm
w
l>a
|yb3i
v
}l>ktcacl
v
}[©c3{)m§10
w
l|ybilf|mz
x
okmd>sRcacl¿¬
•
º
{3ac|
w
km
v
pµqmbdR c}~{3km@n~}p>d> @p>b7
v
{f}
w
e7p=
¹b7
x
>ije
u
>l@e7|tz{)agWqtlRije
d> c}{)kmlRi
n~}p>d>
a;b
w
ckmb3n~aBe7p=
}f}l>ije
u
p>{%{)d¶
a;b3pRd¿b2rc{7;b3})z{3iac{3Re7Yf}~lYn}~pRd> Beacb
w
ckmb3n~al"3ǤEac}l>c{^f}obk
v3x
f%{|te;9b3i
c{
v
|t}o3
v
}g¨+b3p9b¿fb
,
}~lRkmzc}54c|
v
}l>){6287
kte
w
iTl
w
e
v
b
w
l>{3kml
w
e7pRd>a;b93/.
qtl>|
w
w
b3i
z{7;b3acb
b
v
|9qt{)ib
w
e7p>dRa;b
v
{)a|
w
kt
v
prqmbTdR c}~{3kmn}~p>dR a;b
w
ckybn~aBe7p=
}[clÀ;ac}~prqmb
c{7;b¿fb3a}ob
u
iT{)Rl>ac}~b}[{clrqti{^fhb3ac}~b
{))kybac}~pRd>{)aclR){f
N
¬
¨
}n~{7p>dRe7ac}l
v
b3k
w
l>drqmb:4c|
v
}i
N
× N
lRÀ;ac}Wqtl>i
e
kmlRnob3prqts3
(m
1
, n
1
) ∼ (m
2
, n
2
)
⇐⇒
m
1
+ n
2
= n
1
+ m
2
;
v
bd>Wqtl"|t}~s
u
>lTqtlR|
w½w
{.kmlRnob3prqmb%k
x
fa{fhb3Rac{)mpR} f
N
¹[ c}
x
k}n~{)kmb3d>{^f«e
fd>)ns>clRi
w
lrq
v
nob|te@b3 |
w
kmb
v
prqt}·a;b3de7fhb3ije@dR c}~{3kml>i
n~}~pRd>
p>b7
v
{3f}
w
e7p=
N/∼ ≡ Z
I
°,J=M3V
IJLNM7O9PRMSyUWVYX[ZWV\M^]>X[Z^_^O`°2MW>MBM½MB¸StMWBO9P`
¹[clRÀcac}~WqtlRije
w
l>kmb3d½d>}obg9b3ac}~b@f»a;b|mdRe7i
ac{^f«ei
d> c}{)kmdRl
-,
v
{)kt{"n~}p>d> cb
p¿b7
v
{^f}
w
bqtlR|
w
nob@a;b3|
v
n~b3|yb3 c|
w
kyb
v
pµqt}
u
a;bn~l>e
d>clÀ;ac}~{^fhb3½{;b¿fhb3ac}l
}·ia{)>lRac}~l
v
nob|b3 c|
w
kyb
v
pµqt}'§EpRdRe7n~}·dR c}~{3k
x
f
¬
[(m
1
, n
1
)] + [(m
2
, n
2
)] := [(m
1
+ m
2
, n
1
+ n
2
)]
[(m
1
, n
1
)] · [(m
2
, n
2
)] := [(m
1
m
2
+ n
1
n
2
, m
1
n
2
+ m
2
n
1
)]
zckmdep>dRe7i
u
cdR}ob7©b3ac}ob«z{zckmb¿fhlrq2|
w
kt{)ac}l
w
{¾qtc\d>a;baclhc{7;b¿fhb3ac}~l'}giac{3>l¶
ac}~l f
N
º
{)nlµqtaclTzBe
w
b3ac}l
u¦vBwyx
ktl½z{f}acac{
|m}sTf
w
e7i
iT{)iTl>acpR}~lz{qmb^f}
w
{c
p>dRe
z{^f«e7>|td>lTcd>}~b79bac}obTd¿b3nl>¿{7"f«e7 {3kmz;b3k¼e
(m
1
, n
1
)
d
v
n~b3|teb3 c|
w
kmb
v
prqt}
[(m
1
, n
1
)]
}Y|¼eiTl
w
kte7p>dRac}~lz;bkte"dcktc)}l>){
dR c}~{)kt
;
v
b3dRWqtl|m}s
u
>lac}l
Ykm{) cnl>i
w
l>a+acb3dRegfhb"|m}~s@X;`Jm²^M3L~Jm]>X[Z^_^O`EQ
^²>`EM
M3X;`EM0ZVY³3ZWS+SyJSyJm²WJX
M3X;rUWV
{^f
x
z{)zckmb^fa{)mpR}Kz{)|
w
b¿f}~lRac}obcdR}ob7©b:4Gzkmd>lR c}~lRBb0a;b3|
w
s>zc7¶
qm3p>{ c}~lRkmdRl>ije+f}~lzcb3kte+d
v
n~b3|te.b3 c|
w
kyb
v
pµqt}
[(m
1
, n
1
)]
u
acz
(m
1
, n
1
)
u
(m
0
1
, n
0
1
)
{)kyb3d0f}l0z;b3kte
d
v
nob3|¼e
b3 c|
w
kyb
v
pµqt}
[(m
2
, n
2
)]
u
acz
(m
2
, n
2
)
u
(m
0
2
, n
0
2
)
,
v
{)km{T|y{)aldRl|m{) ;fªktl>n~b3pµqt}
uw
{|tzl©ac}{)acl|yk
x
fac{3mp>}¸
m
1
+ n
0
1
= n
1
+ m
0
1
m
2
+ n
0
2
= n
2
+ m
0
2
º
{)ktdRe7|
w
bqm3pdz{f«e7R|mdRe7p=.k
x
fac{)mpR}Y|
w
b3kyb3i
e"|m}s
c{^f}~lRm
u
Rl|mzlWoac}~{)al
|yk
x
fac{)tp>}¸
[(m
1
, n
1
)] + [(m
2
, n
2
)] = [(m
0
1
, n
0
1
)] + [(m
0
2
, n
0
2
)]
[(m
1
, n
1
)] · [(m
2
, n
2
)] = [(m
0
1
, n
0
1
)] · [(m
0
2
, n
0
2
)]
p>den}·>l
[(m
1
+ m
2
, n
1
+ n
2
)] = [(m
0
1
+ m
0
2
, n
0
1
+ n
0
2
)]
[(m
1
m
2
+ n
1
n
2
, m
1
n
2
+ m
2
n
1
)] = [(m
0
1
m
0
2
+ n
0
1
n
0
2
, m
0
1
n
0
2
+ m
0
2
n
0
1
)]
w
dRa
>lz;b3k¼e
(m
1
+ m
2
, n
1
+ n
2
) ∼ (m
0
1
+ m
0
2
, n
0
1
+ n
0
2
)
(m
1
m
2
+ n
1
n
2
, m
1
n
2
+ m
2
n
1
) ∼ (m
0
1
m
0
2
+ n
0
1
n
0
2
, m
0
1
n
0
2
+ m
0
2
n
0
1
)
I
°,J=M3V
IJLNM7O9PRMSyUWVYX[ZWV\M^]>X[Z^_^O`°2MW>MBM½MB¸StMWBO9P`
•
º
{3ac|
w
km
v
pµqmbdR c}~{3km@n~}p>d>
f«e7iT}~l>ktaBep=
}l>p=
Z
∗
:= Z \ {0}
¨
d> }~{)ktd>l
Z
× Z
∗
clÀ;ac}~qtl>ije
ktl>n~b3pµqts
(m
1
, n
1
) ∼ (m
2
, n
2
)
⇐⇒
m
1
n
2
= m
2
n
1
b
kmlRnob3prqmb"qtlR|
w
k
x
fac{^fb>ac{)tp>}~
f
Z
lµq
v
n~b3|te
b3 c|
w
kyb
v
pµqt}
w
{
n~}p>d> Be
f«e7i}l>kmal
¹b
w
lRi
dR c}
x
k«}n~{)kmb3d>{^f«e
Z
∼≡ Q
{7;b¿fb3a}~l} iTac{)Rl>ac}lf
w
b
v
w
fh{)ktd>{)aBe7i
d> }~{)ktd>l"n}~p>dR *f«e7i}l>kmaBe7p=
clRÀcac}~WqtlRije
qmb
v
{c
[(m
1
, n
1
)] + [(m
2
, n
2
)] := [(m
1
n
2
+ m
2
n
1
, n
1
n
2
)]
[(m
1
, n
1
)] · [(m
2
, n
2
)] := [(m
1
m
2
, n
1
n
2
)]
lRÀcac}~prqtl
w
l|m
c{) cktd>l z{)|
w
b¿f}~{)al
uw
d>a
a}~l d>b3n~lR¿j{7½f«e7 {3km
kmlRzckmlRd>lRa¶
w
b3a
wmx
fd
v
n~b3|b3 c|
w
kmb
v
prqt}
2{^f|mdRl>p=cal
{)d>acb3p>dRl>ac}~b
[(m, n)] ≡
m
n
[(m
1
, n
1
)] + [(m
2
, n
2
)] ≡
m
1
n
1
+
m
2
n
2
=
m
1
n
2
+m
2
n
1
n
1
n
2
[(m
1
, n
1
)] · [(m
2
, n
2
)] ≡
m
1
n
1
·
m
2
n
2
=
m
1
m
2
n
1
n
2