❇❐ ●■⑩ ❉Ö❈
❚❘×❮◆● ❸■ ❍➴❈ ◗❯❨ ◆❍❒◆
✯✯✯✯✯✯✯✯✯
❍⑨ ❉❯❨ ◆●❍➒❆
❚➷P➷ ❚❍×❒◆●
✣➮■ ❰■ ▼❐❚ ⑩◆❍ ❳❸
❚■➎❯ ▲❯❾◆ ❚➷P➷ ❸■ ❙➮
◗✉② ◆❤ì♥✱ t❤→♥❣ ♥➠♠ ✷✵✶✵
❇❐ ●■⑩ ❉Ö❈
❚❘×❮◆● ❸■ ❍➴❈ ◗❯❨ ◆❍❒◆
✯✯✯✯✯✯✯✯✯
❍⑨ ❉❯❨ ◆●❍➒❆
❚➷P➷ ❚❍×❒◆●
✣➮■ ❰■ ▼❐❚ ⑩◆❍ ❳❸
❈❆ ❍➴❈ ❚❖⑩◆ ❑❍➶ ✶✶
❈❤✉②➯♥ ♥❣➔♥❤✿
✣↕✐ ❧þ t❤✉②➳t
❚■➎❯ ▲❯❾◆ ❚➷P➷ ❸■ ❙➮
◆❣÷í✐ ❤÷î♥❣ ❞➝♥ ❦❤♦❛ ❤å
P●❙✳❚❙ ◆●❯❨➍◆ ❙❯
◗✉② ◆❤ì♥✱ t❤→♥❣ ♥➠♠ ✷✵✶✵
▼Ö❈ ▲Ö❈
r❛♥❣ ♣❤ö ❜➻❛
▼ö❝ ❧ö❝
▲í✐ ♠ð ✤➛✉
❈→❝ ❦❤→✐ ♥✐➺♠ t➼♥❤ ❤➜t ❝õ❛ tæ♣æ t❤÷ì♥❣
❇➔✐ t➟♣
➔✐ ❧✐➺✉ t❤❛♠ ❦❤↔♦
▲❮■ ▼Ð
æ♣æ ✤↕✐ ❧➔ ♠ët ë ♠æ♥ t♦→♥ ❤å ♠î✐ ♠➫ ❝ü❝ ❦ý q✉❛♥ trå♥❣✱ ♥❣÷í✐
t❛ ❞ò♥❣ ❝æ♥❣ ❝ö ✤↕✐ ✤➸ ♥❣❤✐➯♥ ❝ù✉ ❝➜✉ tró❝ ❝→❝ ❦❤æ♥❣ ❣✐❛♥ tæ♣æ ❈â ♥❤✐➲✉
➳t q✉↔ t❤ó ✈à ♥❤÷ ❞ò♥❣ æ♥❣ ❝ö tæ♣æ ✤↕✐ ✤➸ ❤ù♥❣ ♠✐♥❤ ✤à♥❤ ❧þ ✤✐➸♠ ❜➜t
✤ë♥❣ ❇r♦✉❡r✱ ✤à♥❤ ❧þ ❝ì ❜↔♥ ❝õ❛ ✤↕✐ sè✱ ✤➦❝ ❜✐➺t ➳t q✉↔ ♥ê✐ t✐➳♥❣ ♥❤➜t ✤â ❧➔
❣✐↔ t❤✐➳t P♦✐♥❝❛r➨✱✳✳
r♦♥❣ ❦❤✉æ♥ ❦❤ê t✐➸✉ ❧✉➟♥ ➳t t❤ó❝ ë ♠æ♥✱ tæ✐ ①✐♥ tr➻♥❤ ❜➔ ♠ët ➜♥
✤➲ ❧✐➯♥ q✉❛♥ ✤➳♥ tæ♣æ t❤÷ì♥❣ ✤è✐ î✐ ♠ët →♥❤ ①↕✱ t✐➸✉ ❧✉➟♥ ❣ç♠ ♥ë✐ ❞✉♥❣
❝ò♥❣ î✐ ♣❤➛♥ ♠ð ✤➛✉✱ ➳t ❧✉➟♥ t➔✐ ❧✐➺✉ t❤❛♠ ❦❤↔♦✿
✶✳ ❑❤æ♥❣ ❣✐❛ tæ♣æ t❤÷ì♥❣ ✤è✐ î✐ ♠ët →♥❤ ①↕✳
✷✳ ⑩♣ ❞ö♥❣ ❤ù♥❣ ♠✐♥❤ ❤❛✐ ❦❤æ♥❣ ❣✐❛♥
CP1
S2
✤ç♥❣ ♣❤æ✐✳
▼➦❝ ❞ò ❜↔♥ t❤➙♥ ✤➣ r➜t ❝è ❣➢♥❣ tr♦♥❣ ❤å t➟♣✱ ♥❣❤✐➯♥ ❝ù✉ ✤÷ñ ❤÷î♥❣
❞➝♥ ♥❤✐➺t t➻♥❤ ❝õ❛ t❤➛ ❣✐→♦ ❤÷î♥❣ ❞➝♥✱ ♥❤÷♥❣ ❞♦ ♥➠♥❣ ❧ü❝ ❝õ❛ ❜↔♥ t❤➙♥
t❤í✐ ❣✐❛♥ ❝á♥ ❤↕♥ ❤➳ ♥➯♥ t✐➸✉ ❧✉➟♥ ❦❤â tr→♥❤ ❦❤ä✐ ♥❤ú♥❣ t❤✐➳✉ sât✳ æ✐ r➜t
♠♦♥❣ ♥❤➟♥ ✤÷ñ ❣â♣ þ ❝õ❛ q✉þ t❤➛ ❝æ →❝ ❜↕♥ ✤➸ t✐➸✉ ❧✉➟♥ ✤÷ñ ❤♦➔♥
t❤✐➺♥ ❤ì♥✳
❈✉è✐ ❝ò♥❣ tæ✐ ①✐♥ ❤➙♥ t❤➔♥❤ ❝↔♠ ì♥ P●❙✳❚❙ ◆❣✉②➵♥ ❙✉♠ ♥❣÷í✐ ✤➣ t➟♥
t➻♥❤ ❣✐↔♥❣ ❞↕ ❣✐ó♣ ✤ï✱ ❝ò♥❣ t➟♣ t❤➸ ❧î♣ ❝❛♦ ❤å t♦→♥ ❦❤♦→ ✶✶ t↕♦ ✤✐➲✉ ❦✐➺
❤♦ tæ✐ ❤♦➔♥ t❤➔♥❤ t✐➸✉ ❧✉➟♥ ♥➔
æ♣æ t❤÷ì♥❣ ✤è✐ ✈î✐ ♠ët →♥❤ ①↕ r❛♥❣
❈⑩ ❑❍⑩■ ◆■➏▼ ❚➑◆❍ ❈❍❻ ❈Õ❆ ❚➷P➷ ❚❍×❒◆●
✣à♥❤ ♥❣❤➽❛ ✶✳✶✳
❈❤♦
X
❧➔ ❦❤æ♥❣ ❣✐❛♥ tæ♣æ
Y
❧➔ t➟♣ ❤ñ♣ ❦❤→❝ ré♥❣✱ →♥❤ ①↕
f:X Y
❧➔ t♦➔♥ →♥❤ ❧✐➯♥ tö❝✱ ❣å✐
f={UY, f1(U)
♠ð tr♦♥❣
X}
❦❤✐ ✤â
f
❧➔ tæ♣æ tr➯♥
Y
❣å✐ ❧➔ tæ♣æ t❤÷ì♥❣ ✤è✐ î✐
f
❚❤➟t ②✿
Ø = f1(Ø)
♠ð tr♦♥❣
X
Ø
f
f1(Y) = X
♠ð
Y
f
U1, U2
f, f1(U1U2) = f1(U1)f1(U2)
✲♠ð
U1U2
f
{Ui, i I}
ff1(Ui)
♠ð
iI
f1S
iI
Ui=S
iI
f1(Ui)
❧➔
♠ð✱ s✉② r❛
S
iI
Ui
f
✣✐➲✉ ♥➔ ❤ù♥❣ tä
f
❧➔ tæ♣æ tr➯♥
Y
❱➼ ❞ö ✶✳✷✳
❑❤æ♥❣ ❣✐❛♥ ①↕ ↔♥❤ t❤ü❝
RPn={
❈→❝ ❦❤æ♥❣ ❣✐❛♥ ❝♦♥ ❤✐➲✉ ❝õ❛
Rn+1.}
❳➨t ♣❤➨♣ ❤✐➳✉
p:Rn+1\{0} RPn, p(x) = [x] = αx, α R
❧➔ t♦➔♥ →♥❤✱
♥➯♥ t❛ ❝â
RPn
❧➔ ❦❤æ♥❣ ❣✐❛♥ tæ♣æ î✐ tæ♣æ t❤÷ì♥❣ ✤è✐ î✐ →♥❤ ①↕
p
❑❤æ♥❣ ❣✐❛♥ ①↕ ↔♥❤ ♣❤ù❝
RPn={
❈→❝ ❦❤æ♥❣ ❣✐❛♥ ❝♦♥ ❤✐➲✉ ❝õ❛
Cn+1.}
❚÷ì♥❣ tü✱ ①➨t ♣❤➨♣ ❤✐➳✉
q:Cn+1\{0} CPn, q(x) = [x] = {αx, α R}
❧➔
t♦➔♥ →♥❤ t❛ ❝ô♥❣ ❝â
CPn
❧➔ ❦❤æ♥❣ ❣✐❛♥ î✐ tæ♣æ t❤÷ì♥❣ ✤è✐ î✐
q
❈❤♦
X
❧➔ ❦❤æ♥❣ ❣✐❛♥ tæ♣æ
❧➔ q✉❛♥ ❤➺ t÷ì♥❣ ✤÷ì♥❣ tr➯♥
X
✤➦t
Y=
X
❧➔ t➟♣ t❤÷ì♥❣ ❣ç♠ t➜t ❝↔ ❝→❝ ❧î♣ t÷ì♥❣ ✤÷ì♥❣ ❝õ❛
xX
❦❤✐ ✤â
Y
❧➔
❦❤æ♥❣ ❣✐❛♥ tæ♣æ î✐ tæ♣æ t❤÷ì♥❣ ✤è✐ î✐ ♣❤➨♣ ❤✐➳✉
p:X Y
✣à♥❤ ❧þ ✶✳✸✳
❈❤♦
X, Z
❧➔ ❛✐ ❦❤æ♥❣ ❣✐❛♥ tæ♣æ
Y
❧➔ t➟♣ ❤ñ♣✱
f:X Y
❧➔ t♦➔♥ ➜✉✱ ❣✐↔ r➡♥❣
Y
❧➔ ❦❤æ♥❣ ❣✐❛♥ tæ♣æ ✈î✐ tæ♣æ t❤÷ì♥❣ ✤è✐ ✈î✐
f
❦❤✐ ✤â
→♥❤ ①↕
g:Y Z
❧✐➯♥ tö❝ ❦❤✐ ✈➔ ❝❤➾ ❦❤✐
gf:X Z
❧✐➯♥ tö❝✳