▼ét sè tÝ♥❤ ❝❤✃t ❝ñ❛ ❤ä
CF
✈➭
CS
✲➳♥❤ ①➵ ♣❤ñ ❝♦♠♣❛❝
(1)
❚r➬♥ ❱➝♥ ➣♥
✭❛✮
✈➭ ◆❣✉②Ô♥ ❚❤Þ ▲➟
✭❜✮
❚ã♠ t➽t✳
❚r♦♥❣ ❜➭✐ ♥➭② ❝❤ó♥❣ t➠✐ tr×♥❤ ❜➭② ♠ét sè ♠è✐ ❧✐➟♥ ❤Ö ❣✐÷❛ ❤ä ❜➯♦ tå♥ ❜❛♦
➤ã♥❣ ❞✐ tr✉②Ò♥ ②Õ✉ ✭
❲❍❈P
✮ ✈➭ ❤ä
❈❋
✳ ❈❤ó♥❣ t➠✐ ❝ò♥❣ ❝❤ø♥❣ tá
❝s
✲➳♥❤ ①➵ ♣❤ñ ❝♦♠♣❛❝
tr➟♥
❦
✲❦❤➠♥❣ ❣✐❛♥ ❜➯♦ tå♥
❦
✲❧➢í✐ ❝♦♠♣❛❝✱ ➤Õ♠ ➤➢î❝✲❝♦♠♣❛❝✳
❑❤➳✐ ♥✐Ö♠ ✈Ò ❤ä
CF
❝➳❝ t❐♣ ❝♦♥ ❝ñ❛ ❦❤➠♥❣ ❣✐❛♥ t➠♣➠ ➤➢î❝ ➤➢❛ r❛ ❜ë✐ ❚✳ ▼✐③♦❦❛♠✐
tr♦♥❣ ❬✷❪ ✈➭ t✐Õ♣ tô❝ ➤➢î❝ ♥❣❤✐➟♥ ❝ø✉ tr♦♥❣ ❬✸❪✳ ❈➳❝ t➳❝ ❣✐➯ ➤➲ t×♠ ➤➢î❝ ♠ét sè ♠è✐ ❧✐➟♥
❤Ö ❣✐÷❛ ❤ä
CF, HCF
✈í✐ ❝➳❝ ❤ä ❦❤➳❝ ♥❤➢
HCP, CP
✱ ❤÷✉ ❤➵♥✲❝♦♠♣❛❝✱✳✳✳ ▼ét ❝➞✉ ❤á✐
➤➷t r❛ tù ♥❤✐➟♥✿ ❍ä
CF
❝ã ♠è✐ q✉❛♥ ❤Ö ❣× ✈í✐ ❤ä
W HCP
✈➭ ❤ä ❤÷✉ ❤➵♥ ➤Þ❛ ♣❤➢➡♥❣❄
❱í✐ ♥❤÷♥❣ ➤✐Ò✉ ❦✐Ö♥ ♥➭♦ t❤× t✃t ❝➯ ❝➳❝ ❤ä ♥ã✐ tr➟♥ ❧➭ t➢➡♥❣ ➤➢➡♥❣❄ P❤➬♥ ➤➬✉ ❝ñ❛ ❜➭✐
❜➳♦ ❝❤ó♥❣ t➠✐ t❐♣ tr✉♥❣ tr➯ ❧ê✐ ❝➞✉ ❤á✐ tr➟♥✳ ❚r♦♥❣ ❬✺❪ ❩✳ ▲✐ ➤➲ ❝❤Ø r❛✿ ❑❤➠♥❣ ❣✐❛♥ ❝ã
k
✲❧➢í✐ ❝♦♠♣❛❝✱ ❝♦♠♣❛❝✲➤Õ♠ ➤➢î❝ ❦❤✐ ✈➭ ❝❤Ø ❦❤✐ ♥ã ❧➭
cs
✲➯♥❤ ♣❤ñ ❝♦♠♣❛❝ ❝ñ❛ ❦❤➠♥❣
❣✐❛♥ ♠❡tr✐❝ ❝♦♠♣❛❝ ➤Þ❛ ♣❤➢➡♥❣✳ P❤➬♥ t✐Õ♣ t❤❡♦ ❝ñ❛ ❜➭✐ ❜➳♦ ♥➭② ❝❤ó♥❣ t➠✐ ➤➲ ❧➭♠
♠➵♥❤ ❤➡♥ ➤✐Ò✉ ❦✐Ö♥ ➤ñ✱ ❝ô t❤Ó ❝❤Ø r❛ r➺♥❣
cs
✲➯♥❤ ♣❤ñ ❝♦♠♣❛❝ ❤♦➷❝ ➯♥❤ ▲✐♥❞❡❧
¨o
♣ ♣❤ñ
❝♦♠♣❛❝ ❝ñ❛
k
✲❦❤➠♥❣ ❣✐❛♥ ❝ã
k
✲❧➢í✐ ❝♦♠♣❛❝✱ ➤Õ♠ ➤➢î❝✲❝♦♠♣❛❝ ❧➭ ❦❤➠♥❣ ❣✐❛♥ ❝ã
k
✲❧➢í✐
❝♦♠♣❛❝✱ ❝♦♠♣❛❝✲➤Õ♠ ➤➢î❝✳
1.
▼ë ➤➬✉
❚r♦♥❣ ❜➭✐ ❜➳♦ ♥➭② t✃t ❝➯ ❝➳❝ ❦❤➠♥❣ ❣✐❛♥ t➠♣➠ ➤Ò✉ ➤➢î❝ ❣✐➯ t❤✐Õt ❧➭
T1
✱ ❝❤Ý♥❤ q✉②
✈➭ ❝➳❝ ➳♥❤ ①➵ ❧➭ t♦➭♥ ➳♥❤ ❧✐➟♥ tô❝✳
➜Þ♥❤ ♥❣❤Ü❛ ✶✳✶✳
●✐➯ sö
X
❧➭ ❦❤➠♥❣ ❣✐❛♥ t➠♣➠ ✈➭
P
❧➭ ♠ét ♣❤ñ ❣å♠ ❝➳❝ t❐♣ ❝♦♥
♥➭♦ ➤ã ❝ñ❛
X
✳
✭❛✮
P
➤➢î❝ ❣ä✐ ❧➭
❧➢í✐
♥Õ✉ ✈í✐ ♠ä✐
x∈X
✈➭
U
❧➭ ❧➞♥ ❝❐♥ ❜✃t ❦ú ❝ñ❛
x
✱ tå♥ t➵✐
P∈ P
s❛♦ ❝❤♦
x∈P⊂U
❀
✭❜✮
P
➤➢î❝ ❣ä✐ ❧➭
k
✲
❧➢í✐
♥Õ✉ ✈í✐ ♠ä✐ t❐♣ ❝♦♥ ❝♦♠♣❛❝
K
✈➭ ✈í✐ ♠ä✐ ❧➞♥ ❝❐♥
U
❝ñ❛
K
tr♦♥❣
X
✱ tå♥ t➵✐ ❤ä ❝♦♥ ❤÷✉ ❤➵♥
F ⊂ P
s❛♦ ❝❤♦
K⊂ ∪F ⊂ U
✳
➜Þ♥❤ ♥❣❤Ü❛ ✶✳✷✳
●✐➯ sö
X
❧➭ ❦❤➠♥❣ ❣✐❛♥ t➠♣➠ ✈➭
P
❧➭ ❤ä ❝➳❝ t❐♣ ❝♦♥ ♥➭♦ ➤ã ❝ñ❛
X
✳
1
✲ ➜➢î❝ sù t➭✐ trî ❝ñ❛ ❈❤➢➡♥❣ tr×♥❤ ♥❣❤✐➟♥ ❝ø✉ ❝➡ ❜➯♥ tr♦♥❣ ❦❤♦❛ ❤ä❝ tù ♥❤✐➟♥✳ ◆♦✳ ✶✵✽✵✻
2
✲ ◆❤❐♥ ❜➭✐ ♥❣➭② ✷✽✴✻✴✷✵✵✼✳ ❙ö❛ ❝❤÷❛ ①♦♥❣ ♥❣➭② ✷✺✴✽✴✷✵✵✼✳
✭❛✮
P
➤➢î❝ ❣ä✐ ❧➭ ❤ä
➤Õ♠ ➤➢î❝✲❝♦♠♣❛❝
✭
❤÷✉ ❤➵♥✲❝♦♠♣❛❝
✮ ♥Õ✉ ✈í✐ ♠ä✐ t❐♣ ❝♦♠♣❛❝
K
❝ñ❛
X
t❤×
K
❝❤Ø ❝ã ❣✐❛♦ ✈í✐ ♥❤✐Ò✉ ♥❤✃t ❧➭ ➤Õ♠ ➤➢î❝ ✭❤÷✉ ❤➵♥✮ ♣❤➬♥ tö ❝ñ❛ ❤ä
P
✳
✭❜✮
P
❧➭ ❤ä
cs
✲➤Õ♠ ➤➢î❝
✭
❤÷✉ ❤➵♥
✮ ♥Õ✉ ✈í✐ ♠ä✐ ❞➲② ❤é✐ tô
A
✭❜❛♦ ❣å♠ ❝➯ ➤✐Ó♠
❤é✐ tô ❝ñ❛ ♥ã✮ t❤×
A
❝❤Ø ❝ã ❣✐❛♦ ✈í✐ ♥❤✐Ò✉ ♥❤✃t ❧➭ ➤Õ♠ ➤➢î❝ ♣❤➬♥ tö ❝ñ❛ ❤ä
P
✳
✭❝✮
P
➤➢î❝ ❣ä✐ ❧➭ ❤ä
CF
♥Õ✉ ✈í✐ ♠ä✐ t❐♣ ❝♦♠♣❛❝
K
❝ñ❛
X
t❤×
{K∩P:P∈ P}
❧➭
❤ä ❤÷✉ ❤➵♥✳
✭❞✮
P={Pα:α∈Λ}
➤➢î❝ ❣ä✐ ❧➭ ❤ä
HCF
♥Õ✉ ✈í✐ ♠ä✐ t❐♣ ❝♦♥
Γ⊂Λ
✈➭
Aα⊂Pα
✱
✈í✐ ♠ä✐
α∈Γ
t❤× ❤ä
{Aα:α∈Γ}
❧➭
CF
✳
➜Þ♥❤ ♥❣❤Ü❛ ✶✳✸✳
●✐➯ sö
X
❧➭ ❦❤➠♥❣ ❣✐❛♥ t➠♣➠ ✈➭
P={Pα:α∈Λ}
❧➭ ❤ä ❝➳❝ t❐♣
❝♦♥ ♥➭♦ ➤ã ❝ñ❛
X
✳
✭❛✮
P
➤➢î❝ ❣ä✐ ❧➭ ❤ä
❜➯♦ tå♥ ❜❛♦ ➤ã♥❣
✈➭ ✈✐Õt t➽t ❧➭
CP
♥Õ✉ ✈í✐ ♠ä✐ ❤ä ❝♦♥
I⊂Λ
t❛ ❝ã
[{Pα:α∈I}=[{Pα:α∈I}.
✭❜✮
P
➤➢î❝ ❣ä✐ ❧➭ ❤ä
❜➯♦ tå♥ ❜❛♦ ➤ã♥❣ ❞✐ tr✉②Ò♥
✈➭ ✈✐Õt t➽t ❧➭
HCP
♥Õ✉ ✈í✐ ♠ä✐
❤ä ❝♦♥
I⊂Λ
✈➭ ♠ä✐ t❐♣ ❝♦♥
Qα⊂Pα, α ∈I
✱ t❛ ❝ã
[{Qα:α∈I}=[{Qα:α∈I}.
✭❝✮
P
➤➢î❝ ❣ä✐ ❧➭ ❤ä
❜➯♦ tå♥ ❜❛♦ ➤ã♥❣ ❞✐ tr✉②Ò♥ ②Õ✉
✈➭ ✈✐Õt t➽t ❧➭
W HCP
♥Õ✉ ✈í✐
♠ä✐ ❤ä ❝♦♥
I⊂Λ
✈➭ ♠ä✐ ➤✐Ó♠
xα∈Pα, α ∈I
✱ t❛ ❝ã
[{xα:α∈I}=[{xα:α∈I}.
✭❞✮
P
➤➢î❝ ❣ä✐ ❧➭ ❤ä
➤Õ♠ ➤➢î❝
✭
❤÷✉ ❤➵♥
✮
➤Þ❛ ♣❤➢➡♥❣
♥Õ✉ ✈í✐ ♠ä✐ ➤✐Ó♠
x∈X
tå♥
t➵✐ ❧➞♥ ❝❐♥
Ux
❝ñ❛
x
s❛♦ ❝❤♦
Ux
❝ã ❣✐❛♦ ✈í✐ ♥❤✐Ò✉ ♥❤✃t ❧➭ ➤Õ♠ ➤➢î❝ ✭❤÷✉ ❤➵♥✮ ♣❤➬♥ tö
❝ñ❛ ❤ä
P
✳
✭❡✮
P
➤➢î❝ ❣ä✐ ❧➭ ❤ä
➤Õ♠ ➤➢î❝
✭
❤÷✉ ❤➵♥
✮
t❤❡♦ ➤✐Ó♠
♥Õ✉ ♠ç✐ ➤✐Ó♠
x∈X
t❤✉é❝
➤Õ♠ ➤➢î❝ ✭❤÷✉ ❤➵♥✮ ♣❤➬♥ tö✳
◆❤❐♥ ①Ðt ✶✳✹✳
❉Ô t❤✃② ❝➳❝ q✉❛♥ ❤Ö s❛✉✿ ❤÷✉ ❤➵♥✲❝♦♠♣❛❝ ✭➤Õ♠ ➤➢î❝✮
⇒cs
✲❤÷✉
❤➵♥ ✭➤Õ♠ ➤➢î❝✮
⇒
❤÷✉ ❤➵♥ ✭➤Õ♠ ➤➢î❝✮ t❤❡♦ ➤✐Ó♠✱
HCF ⇒CF
✱ ❝♦♠♣❛❝✲❤÷✉ ❤➵♥
⇒
CF
✱ ❤÷✉ ❤➵♥ ➤Þ❛ ♣❤➢➡♥❣
⇒HCP ⇒CP
✈➭
W HCP
✳
➜Þ♥❤ ♥❣❤Ü❛ ✶✳✺✳
●✐➯ sö
X
❧➭ ❦❤➠♥❣ ❣✐❛♥ t➠♣➠ ✈➭
P
❧➭ ♣❤ñ ❝➳❝ t❐♣ ❝♦♥ ♥➭♦ ➤ã ❝ñ❛
X
✳✭❛✮ ❚❛ ♥ã✐
X
➤➢î❝ ①➳❝ ➤Þ♥❤
❜ë✐
P
♥Õ✉
U⊂X
❧➭ ♠ë ✭t➢➡♥❣ ø♥❣✱ ➤ã♥❣✮ tr♦♥❣
X
❦❤✐ ✈➭ ❝❤Ø ❦❤✐
U∩P
❧➭ ♠ë ✭t➢➡♥❣ ø♥❣✱ ➤ã♥❣✮ tr♦♥❣
P
✈í✐ ♠ä✐
P∈ P
❀
✭❜✮
X
❧➭
❦❤➠♥❣ ❣✐❛♥ ❞➲②
♥Õ✉ ✈í✐ ♠ä✐
A⊂X
✱
A
➤ã♥❣ tr♦♥❣
X
❦❤✐ ✈➭ ❝❤Ø ❦❤✐
❦❤➠♥❣ ❝ã ❞➲② ♥➭♦ tr♦♥❣
A
❤é✐ tô ➤Õ♥ ➤✐Ó♠ ♥➺♠ ♥❣♦➭✐
A
✱ ♠ét ❝➳❝❤ t➢➡♥❣ ➤➢➡♥❣✱
X
➤➢î❝ ①➳❝ ➤Þ♥❤ ❜ë✐ ♣❤ñ ❣å♠ t✃t ❝➯ ❝➳❝ t❐♣ ❝♦♠♣❛❝ ♠❡tr✐❝❀
✭❝✮
X
❧➭
k
✲
❦❤➠♥❣ ❣✐❛♥
♥Õ✉
X
➤➢î❝ ①➳❝ ➤Þ♥❤ ❜ë✐ ♣❤ñ ❣å♠ t✃t ❝➯ ❝➳❝ t❐♣ ❝♦♠♣❛❝✳
➜Þ♥❤ ♥❣❤Ü❛ ✶✳✻✳
❈❤♦ ➳♥❤ ①➵
f:X→Y
✳
✭❛✮
f
➤➢î❝ ❣ä✐ ❧➭ ➳♥❤ ①➵
➤ã♥❣
♥Õ✉
f(A)
❧➭ t❐♣ ❝♦♥ ➤ã♥❣ tr♦♥❣
Y
✱ ✈í✐ ♠ä✐ t❐♣
A
➤ã♥❣ tr♦♥❣
X
❀
✭❜✮
f
➤➢î❝ ❣ä✐ ❧➭ ➳♥❤ ①➵
t❤➢➡♥❣
♥Õ✉
U
❧➭ t❐♣ ❝♦♥ ♠ë tr♦♥❣
Y
❦❤✐ ✈➭ ❝❤Ø ❦❤✐
f−1(U)
❧➭ t❐♣ ❝♦♥ ♠ë tr♦♥❣
X
❀
✭❝✮
f
➤➢î❝ ❣ä✐ ❧➭ ➳♥❤ ①➵
♣❤ñ ❝♦♠♣❛❝
✱ ♥Õ✉ ✈í✐ ♠ä✐ t❐♣ ❝♦♠♣❛❝
K
tr♦♥❣
Y
tå♥ t➵✐
t❐♣ ❝♦♠♣❛❝
L
tr♦♥❣
X
s❛♦ ❝❤♦
f(L) = K
❀
✭❞✮
f
➤➢î❝ ❣ä✐ ❧➭
s
✲
➳♥❤ ①➵
✱ ♥Õ✉
f−1(y)
❧➭ t❐♣ ❦❤➯ ❧✐ tr♦♥❣
X
✱ ✈í✐ ♠ä✐
y∈Y
❀
✭❡✮
f
➤➢î❝ ❣ä✐ ❧➭
cs
✲
➳♥❤ ①➵
✱ ♥Õ✉
f−1(K)
❧➭ t❐♣ ❝♦♥ ❦❤➯ ❧✐ tr♦♥❣
X
✈í✐ ♠ä✐ t❐♣
❝♦♠♣❛❝
K
tr♦♥❣
Y
❀
✭❢✮
f
➤➢î❝ ❣ä✐ ❧➭ ➳♥❤ ①➵
▲✐♥❞❡❧
¨o
♣
✱ ♥Õ✉
f−1(y)
❧➭ t❐♣ ▲✐♥❞❡❧
¨o
♣ tr♦♥❣
X
✱ ✈í✐ ♠ä✐
y∈Y
❀
✭❣✮
f
➤➢î❝ ❣ä✐ ❧➭ ➳♥❤ ①➵
▲✐♥❞❡❧
¨o
♣ ♠➵♥❤
✱ ♥Õ✉
f−1(L)
❧➭ t❐♣ ❝♦♥ ▲✐♥❞❡❧
¨o
♣ tr♦♥❣
X
✈í✐ ♠ä✐ t❐♣ ▲✐♥❞❡❧
¨o
♣
L
tr♦♥❣
Y
✳
◆❤❐♥ ①Ðt ✶✳✼✳
❉Ô t❤✃② r➺♥❣
cs
✲➳♥❤ ①➵
⇒s
✲➳♥❤ ①➵✱ ➳♥❤ ①➵ ▲✐♥❞❡❧
¨o
♣ ♠➵♥❤
⇒
➳♥❤ ①➵ ▲✐♥❞❡❧
¨o
♣✱ ➳♥❤ ①➵ ➤ã♥❣
⇒
➳♥❤ ①➵ t❤➢➡♥❣✱ ➳♥❤ ①➵ ➤ã♥❣ ①➳❝ ➤Þ♥❤ tr➟♥ ❦❤➠♥❣
❣✐❛♥ ♣❛r❛❝♦♠♣❛❝
⇒
➳♥❤ ①➵ ♣❤ñ ❝♦♠♣❛❝✳
2.
❤ä ❲❍❈P ✈➭ ❤ä ❈❋
❚r♦♥❣ ♠ô❝ ♥➭② ❝❤ó♥❣ t❛ ①Ðt ♠ét sè tÝ♥❤ ❝❤✃t ❝ñ❛ ❝➳❝ ❤ä
W HCP
✈➭ ❤ä
CF
❝ï♥❣
❝➳❝ ♠è✐ ❧✐➟♥ ❤Ö ❦❤➳❝✳
▼Ö♥❤ ➤Ò ✷✳✶✳
❈❤♦
X
❧➭
k
✲❦❤➠♥❣ ❣✐❛♥ ✈➭
P
❧➭ ❤ä ❈❋ ❝➳❝ t❐♣ ❝♦♥ ➤ã♥❣ ❝ñ❛
X
✳ ❑❤✐
➤ã ❝➳❝ ♠Ö♥❤ ➤Ò s❛✉ ❧➭ t➢➡♥❣ ➤➢➡♥❣✳
✭❛✮
P
❧➭ ❤ä ➤Õ♠ ➤➢î❝ ➤Þ❛ ♣❤➢➡♥❣ ✭❤÷✉ ❤➵♥ ➤Þ❛ ♣❤➢➡♥❣✮❀
✭❜✮
P
❧➭ ❤ä ➤Õ♠ ➤➢î❝✲❝♦♠♣❛❝ ✭❤÷✉ ❤➵♥✲❝♦♠♣❛❝✮❀
✭❝✮
P
❧➭ ❤ä
cs
✲➤Õ♠ ➤➢î❝ ✭
cs
✲❤÷✉ ❤➵♥✮❀
✭❞✮
P
❧➭ ❤ä ➤Õ♠ ➤➢î❝ t❤❡♦ ➤✐Ó♠ ✭❤÷✉ ❤➵♥ t❤❡♦ ➤✐Ó♠✮✳
❈❤ø♥❣ ♠✐♥❤✳
❛✮
⇒
❜✮✳ ❚❛ ❝❤Ø ❝➬♥ ❝❤ø♥❣ ♠✐♥❤ ❝❤♦ tr➢ê♥❣ ❤î♣ ➤Õ♠ ➤➢î❝✱ tr➢ê♥❣ ❤î♣
❤÷✉ ❤➵♥ ❝❤ø♥❣ ♠✐♥❤ t➢➡♥❣ tù✳ ●✐➯ sö
P
❧➭ ❤ä ➤Õ♠ ➤➢î❝ ➤Þ❛ ♣❤➢➡♥❣ ✈➭
K
❧➭ t❐♣
❝♦♠♣❛❝ ❜✃t ❦ú ❝ñ❛
X
✳ ❱í✐ ♠ç✐
x∈K
❞♦
P
❧➭ ❤ä ➤Õ♠ ➤➢î❝ ➤Þ❛ ♣❤➢➡♥❣ ♥➟♥ tå♥ t➵✐
❧➞♥ ❝❐♥ ♠ë
Ux
❝ñ❛
x
s❛♦ ❝❤♦
Ux
❝ã ❣✐❛♦ ✈í✐ ♥❤✐Ò✉ ♥❤✃t ❧➭ ➤Õ♠ ➤➢î❝ ♣❤➬♥ tö ❝ñ❛ ❤ä
P
✳ ❑❤✐ ➤ã ❤ä
{Ux:x∈K}
❧➭ ♣❤ñ ♠ë ❝ñ❛ t❐♣ ❝♦♠♣❛❝
K
♥➟♥ tå♥ t➵✐ ❤ä ❝♦♥ ❤÷✉ ❤➵♥
{Ux1, Ux2, . . . , Uxn}
❝ñ❛
{Ux:x∈K}
t❤♦➯ ♠➲♥
K⊂Sn
i=1 Uxi
✳ ❉♦ ♠ç✐
Uxi
❝ã ❣✐❛♦ ✈í✐
♥❤✐Ò✉ ♥❤✃t ❧➭ ➤Õ♠ ➤➢î❝ ♣❤➬♥ tö ❝ñ❛ ❤ä
P
✱ ✈í✐ ♠ä✐
i= 1,2, . . . , n
♥➟♥
K
❝❤Ø ❣✐❛♦ ✈í✐
♥❤✐Ò✉ ♥❤✃t ❧➭ ➤Õ♠ ➤➢î❝ ♣❤➬♥ tö ❝ñ❛ ❤ä
P
✳ ❱× ✈❐②
P
❧➭ ❤ä ❝♦♠♣❛❝✲➤Õ♠ ➤➢î❝✳
❜✮
⇒
❝✮
⇒
❞✮✳ ❍✐Ó♥ ♥❤✐➟♥✳
❞✮
⇒
❛✮✳ ●✐➯ sö
P
❧➭ ❤ä ➤Õ♠ ➤➢î❝ t❤❡♦ ➤✐Ó♠ ♠➭ ❦❤➠♥❣ ❧➭ ❤ä ➤Õ♠ ➤➢î❝ ➤Þ❛ ♣❤➢➡♥❣✳
❑❤✐ ➤ã tå♥ t➵✐
x∈X
s❛♦ ❝❤♦ ✈í✐ ♠ä✐ ❧➞♥ ❝❐♥
U
❝ñ❛
x
t❤×
U
❝ã ❣✐❛♦ ✈í✐ q✉➳ ➤Õ♠ ➤➢î❝
♣❤➬♥ tö ❝ñ❛ ❤ä
P
✳ ➜➷t
Px={P∈ P :x∈P}
✳ ❉♦
P
❧➭ ❤ä ➤Õ♠ ➤➢î❝ t❤❡♦ ➤✐Ó♠
♥➟♥
Px
❧➭ ❤ä ➤Õ♠ ➤➢î❝✳ ●ä✐
F=P\Px
✳ ❑❤✐ ➤ã
x /∈ ∪F
✈➭ ✈×
U
❝ã ❣✐❛♦ ✈í✐ q✉➳ ➤Õ♠
➤➢î❝ ♣❤➬♥ tö ❝ñ❛ ❤ä
P
♥➟♥
U∩ ∪F 6=∅
✳ ❉♦ ➤ã
x∈∪F\∪F
✳ ❱× ✈❐②
∪F
❦❤➠♥❣ ♣❤➯✐
❧➭ t❐♣ ➤ã♥❣✳ ❚õ ❣✐➯ t❤✐Õt
X
❧➭
k
✲❦❤➠♥❣ ❣✐❛♥ ♥➟♥ tå♥ t➵✐ t❐♣ ❝♦♠♣❛❝
K
tr♦♥❣
X
s❛♦
❝❤♦
K∩ ∪F
❦❤➠♥❣ ➤ã♥❣ tr♦♥❣
K
✳ ❱×
P
❧➭ ❤ä ❈❋ ✈➭
F ⊂ P
♥➟♥ t❛ ❝ã t❤Ó ❜✐Ó✉ ❞✐Ô♥
{K∩P:P∈ F} ={F1, F2, . . . , Fk}
✳ ❈❤♦ ♥➟♥
K∩ ∪F =F1∪F2∪. . . ∪Fk
✳ ▼➷t ❦❤➳❝ ✈í✐
♠ä✐
i= 1,2, . . . , n
t❤×
Fi=K∩Pi
✱ ✈í✐
Pi
♥➭♦ ➤ã t❤✉é❝
P
✳ ❱×
Pi
➤ã♥❣ tr♦♥❣
X
♥➟♥
Fi
➤ã♥❣ tr♦♥❣
X
✳ ❉♦ ✈❐②
K∩ ∪F
➤ã♥❣ tr♦♥❣
X
✳ ❚õ ➤✐Ò✉ ♥➭② s✉② r❛
K∩ ∪F
➤ã♥❣ tr♦♥❣
K
✳ ▼➞✉ t❤✉➱♥ ♥➭② ❝❤ø♥❣ tá
P
♣❤➯✐ ❧➭ ❤ä ➤Õ♠ ➤➢î❝ ➤Þ❛ ♣❤➢➡♥❣✳
❍Ö q✉➯ ✷✳✷✳
❈❤♦
X
❧➭
k
✲❦❤➠♥❣ ❣✐❛♥ ✈➭
P
❧➭ ❤ä ❝➳❝ t❐♣ ❝♦♥ ➤ã♥❣ ❝ñ❛
X
✳ ❑❤✐ ➤ã
P
❧➭ ❤ä ❤÷✉ ❤➵♥ ➤Þ❛ ♣❤➢➡♥❣ ❦❤✐ ✈➭ ❝❤Ø ❦❤✐
P
❧➭ ❤ä ❤÷✉ ❤➵♥✲❝♦♠♣❛❝✳
❈❤ø♥❣ ♠✐♥❤✳
●✐➯ sö
P
❧➭ ❤ä ❤÷✉ ❤➵♥ ➤Þ❛ ♣❤➢➡♥❣✱ t❤❡♦ ❝➳❝❤ ❝❤ø♥❣ ♠✐♥❤ tõ ❛✮
⇒
❜✮
tr♦♥❣ ▼Ö♥❤ ➤Ò ✷✳✶ t❛ s✉② r❛
P
❧➭ ❤ä ❤÷✉ ❤➵♥✲❝♦♠♣❛❝✳
❇➞② ❣✐ê ❣✐➯ sö
P
❧➭ ❤ä ❤÷✉ ❤➵♥✲❝♦♠♣❛❝✳ ❱× ♠ä✐ ❤ä ❤÷✉ ❤➵♥✲❝♦♠♣❛❝ ➤Ò✉ ❧➭ ❤ä
CF
♥➟♥ t❛ s✉② r❛
P
❧➭ ❤ä
CF
✳ ❱×
P
❧➭ ❤ä
CF
❝➳❝ t❐♣ ❝♦♥ ➤ã♥❣ ❝ñ❛
k
✲❦❤➠♥❣ ❣✐❛♥
X
✈➭
P
❧➭ ❤ä ❤÷✉ ❤➵♥✲❝♦♠♣❛❝✱ ♥➟♥ t❤❡♦ ▼Ö♥❤ ➤Ò ✷✳✶ t❛ s✉② r❛
P
❧➭ ❤ä ❤ä ❤÷✉ ❤➵♥ ➤Þ❛
♣❤➢➡♥❣✳
❇æ ➤Ò ✷✳✸✳
●✐➯ sö
P
❧➭ ❤ä ❝➳❝ t❐♣ ❝♦♥ ➤ã♥❣ ❝ñ❛ ❦❤➠♥❣ ❣✐❛♥ t➠♣➠
X
✳ ❑❤✐ ➤ã ❤❛✐
♠Ö♥❤ ➤Ò s❛✉ t➢➡♥❣ ➤➢➡♥❣
✭❛✮
P
❧➭ ❤ä ❤÷✉ ❤➵♥ ➤Þ❛ ♣❤➢➡♥❣❀
✭❜✮
P
❧➭ ❤ä
CP
✈➭ ❤÷✉ ❤➵♥ t❤❡♦ ➤✐Ó♠✳
❈❤ø♥❣ ♠✐♥❤✳
❛✮
⇒
❜✮✳ ❍✐Ó♥ ♥❤✐➟♥✳
❜✮
⇒
❛✮✳ ●✐➯ sö
P
❧➭ ❤ä
CP
✈➭ ❤÷✉ ❤➵♥ t❤❡♦ ➤✐Ó♠ ♥❤➢♥❣
P
❦❤➠♥❣ ♣❤➯✐ ❧➭ ❤ä ❤÷✉
❤➵♥ ➤Þ❛ ♣❤➢➡♥❣✳ ❑❤✐ ➤ã tå♥ t➵✐
x∈X
s❛♦ ❝❤♦ ✈í✐ ♠ä✐ ❧➞♥ ❝❐♥
U
❝ñ❛
x
➤Ò✉ ❝ã ❣✐❛♦ ✈í✐
✈➠ ❤➵♥ ♣❤➬♥ tö ❝ñ❛ ❤ä
P
✳ ➜➷t
Px={P∈ P :x∈P}
✳ ❉♦
P
❧➭ ❤ä ❤÷✉ ❤➵♥ t❤❡♦ ➤✐Ó♠
♥➟♥
Px
❧➭ ❤ä ❤÷✉ ❤➵♥✳ ●ä✐
F=P\Px
✳ ❑❤✐ ➤ã
x /∈ ∪F
✈➭ ✈×
U
❝ã ❣✐❛♦ ✈í✐ ✈➠ ❤➵♥ ♣❤➬♥
tö ❝ñ❛ ❤ä
P
♥➟♥
U∩ ∪F 6=∅
✳ ❉♦ ➤ã
x∈∪F\∪F
✳ ❱× ✈❐②
∪F
❦❤➠♥❣ ♣❤➯✐ ❧➭ t❐♣ ➤ã♥❣✳
▼➷t ❦❤➳❝ tõ ❣✐➯ t❤✐Õt
P
❧➭ ❤ä
CP
❝➳❝ t❐♣ ➤ã♥❣ ✈➭
F ⊂ P
♥➟♥
SP∈F P=SP∈F P
✳ ◆❤➢
✈❐②
∪F
❧➭ t❐♣ ➤ã♥❣✳ ➜✐Ò✉ ♥➭② ♠➞✉ t❤✉➱♥ ✈í✐ ❧❐♣ ❧✉❐♥ ♥ã✐ tr➟♥✳ ❉♦ ➤ã
P
❧➭ ❤ä ❤÷✉
❤➵♥ ➤Þ❛ ♣❤➢➡♥❣✳
❇æ ➤Ò ✷✳✹✳
✭❬✻❪✮
●✐➯ sö
P
❧➭ ❤ä ❝➳❝ t❐♣ ❝♦♥ ➤ã♥❣ ❝ñ❛ ❦❤➠♥❣ ❣✐❛♥ ❞➲②
X
✳ ❑❤✐ ➤ã
P
❧➭ ❤ä ❲❍❈P ❦❤✐ ✈➭ ❝❤Ø ❦❤✐
P
❧➭ ❤ä ❍❈P✳
❇æ ➤Ò ✷✳✺✳
✭❬✸❪✮
●✐➯ sö
P
❧➭ ❤ä ❝➳❝ t❐♣ ❝♦♥ ➤ã♥❣ ❝ñ❛
k
✲❦❤➠♥❣ ❣✐❛♥
X
✳ ❑❤✐ ➤ã
P
❧➭
❤ä ❍❈P ✈➭ ❝❤Ø ❦❤✐
P
❧➭ ❤ä ❍❈❋✳
▼Ö♥❤ ➤Ò ✷✳✻✳
●✐➯ sö
P
❧➭ ❤ä ❝➳❝ t❐♣ ❝♦♥ ➤ã♥❣ ❝ñ❛ ❦❤➠♥❣ ❣✐❛♥ ❞➲②
X
✳ ❑❤✐ ➤ã ❝➳❝
♠Ö♥❤ ➤Ò s❛✉ ❧➭ t➢➡♥❣ ➤➢➡♥❣
✭❛✮
P
❧➭ ❤ä ❤÷✉ ❤➵♥ ➤Þ❛ ♣❤➢➡♥❣❀
✭❜✮
P
❧➭ ❤ä ❍❈P ✈➭ ❤÷✉ ❤➵♥ t❤❡♦ ➤✐Ó♠❀
✭❝✮
P
❧➭ ❤ä ❈P ✈➭ ❤÷✉ ❤➵♥ t❤❡♦ ➤✐Ó♠❀
✭❞✮
P
❧➭ ❤ä ❲❍❈P ✈➭ ❤÷✉ ❤➵♥ t❤❡♦ ➤✐Ó♠❀
✭❡✮
P
❧➭ ❤ä ❍❈❋ ✈➭ ❤÷✉ ❤➵♥ t❤❡♦ ➤✐Ó♠❀
✭❢✮
P
❧➭ ❤ä ❈❋ ✈➭ ❤÷✉ ❤➵♥ t❤❡♦ ➤✐Ó♠❀
✭❣✮
P
❧➭ ❤ä ❤÷✉ ❤➵♥✲❝♦♠♣❛❝✳
❈❤ø♥❣ ♠✐♥❤✳
❛✮
⇒
❜✮
⇒
❝✮✳ ❍✐Ó♥ ♥❤✐➟♥✳
❝✮
⇒
❛✮✳ ❙✉② trù❝ t✐Õ♣ tõ ❇æ ➤Ò ✷✳✸✳
❜✮
⇔
❞✮✳ ❙✉② trù❝ t✐Õ♣ tõ ❇æ ➤Ò ✷✳✹✳
❜✮
⇔
❡✮✳ ❙✉② trù❝ t✐Õ♣ tõ ❇æ ➤Ò ✷✳✺ ✈➭ ♥❤❐♥ ①Ðt r➺♥❣ ♠ä✐ ❦❤➠♥❣ ❣✐❛♥ ❞➲② ❧➭
k
✲❦❤➠♥❣
❣✐❛♥✳
❡✮
⇒
❢✮✳ ❍✐Ó♥ ♥❤✐➟♥✳
❢✮
⇒
❛✮✳ ❙✉② trù❝ t✐Õ♣ tõ ▼Ö♥❤ ➤Ò ✷✳✶ ✈➭ ♥❤❐♥ ①Ðt r➺♥❣ ♠ä✐ ❦❤➠♥❣ ❣✐❛♥ ❞➲② ❧➭
k
✲❦❤➠♥❣ ❣✐❛♥✳
❣✮
⇔
❛✮✳ ❙✉② trù❝ t✐Õ♣ tõ ❇æ ➤Ò ✷✳✷ ✈➭ ♥❤❐♥ ①Ðt r➺♥❣ ♠ä✐ ❦❤➠♥❣ ❣✐❛♥ ❞➲② ❧➭
k
✲❦❤➠♥❣
❣✐❛♥✳
◆❤❐♥ ①Ðt ✷✳✼✳
●✐➯ sö
P
❧➭ ❤ä ❤÷✉ ❤➵♥ t❤❡♦ ➤✐Ó♠ ❝➳❝ t❐♣ ❝♦♥ ➤ã♥❣ ❝ñ❛ ❦❤➠♥❣
❣✐❛♥ ❞➲②
X
✳ ❑❤✐ ➤ã ❝➳❝ ❦❤➳✐ ♥✐Ö♠
CP
✱
W HCP
✱
HCP
✱
HCF
✱
CF
✱ ❤÷✉ ❤➵♥ ➤Þ❛ ♣❤➢➡♥❣✱
❝♦♠♣❛❝✲❤÷✉ ❤➵♥ tr➟♥
P
❧➭ t➢➡♥❣ ➤➢➡♥❣✳
▼Ö♥❤ ➤Ò ✷✳✽✳
❈❤♦
P
❧➭ ❤ä ❲❍❈P ❝➳❝ t❐♣ ❝♦♥ ❝ñ❛ ❦❤➠♥❣ ❣✐❛♥ t➠♣➠
X
✳ ❑❤✐ ➤ã ❝➳❝
♠Ö♥❤ ➤Ò s❛✉ ❧➭ t➢➡♥❣ ➤➢➡♥❣
✭❛✮
P
❧➭
k
✲❧➢í✐❀
✭❜✮
P
❧➭ ❧➢í✐✳
❈❤ø♥❣ ♠✐♥❤✳
❛✮
⇒
❜✮✳ ❍✐Ó♥ ♥❤✐➟♥✳
❜✮
⇒
❛✮✳ ●✐➯ sö
P
❧➭ ❧➢í✐✱
K
❧➭ t❐♣ ❝♦♠♣❛❝ ❜✃t ❦ú tr♦♥❣
X
✈➭
U
❧➭ ❧➞♥ ❝❐♥ t✉ú ý
❝ñ❛
K
✳ ➜➷t
P′={P∈ P :P⊂U}
✳ ❉♦
P
❧➭ ❧➢í✐ ♥➟♥ ✈í✐ ♠ç✐
x∈K
tå♥ t➵✐
P∈ P
s❛♦ ❝❤♦
x∈P⊂U
✳ ❙✉② r❛
P∈ P′
✳ ❱×
x
❧✃② ❜✃t ❦ú t❤✉é❝
K
♥➟♥ t❛ s✉② r❛
K⊂ ∪P′
✱
♥❣❤Ü❛ ❧➭
P′
♣❤ñ
K
✳ ❚❛ sÏ ❝❤Ø r❛ r➺♥❣ tå♥ t➵✐ ❤ä ❝♦♥ ❤÷✉ ❤➵♥ ❝ñ❛
P′
♣❤ñ
K
✳ ●✐➯ sö
♥❣➢î❝ ❧➵✐✱ ♠ä✐ ❤ä ❝♦♥ ❤÷✉ ❤➵♥ ❝ñ❛
P′
➤Ò✉ ❦❤➠♥❣ ♣❤ñ
K
✳ ▲✃②
P0∈ P′
✳ ❉♦
{P0}
❦❤➠♥❣
♣❤ñ
K
♥➟♥ tå♥ t➵✐
x1∈K\P0
✳ ▼➭
P′
♣❤ñ
K
♥➟♥ tå♥ t➵✐
P1∈ P′
s❛♦ ❝❤♦
x1∈P1
✳ ❉♦
{P0, P1}
❦❤➠♥❣ ♣❤ñ
K
♥➟♥ tå♥ t➵✐
x2∈K\(P0∪P1)
✳ ❈ø ❧❐♣ ❧✉❐♥ t➢➡♥❣ tù t❛ t❤✉ ➤➢î❝