2

2.1

1.5

-
1.3 1.5

:::::::::::::::

2.1.1

¶ [0, 1]

[0, 1] (0, 1]
a
X= b
b X = [0, 1] X = (0, 1]
f :X →R f ( )f f
/ /
x1 , x 2 , · · · X (xn ) (Bolzano-Weierstrass 1, 12 , 13 , · · ·
xn1 = xn2 = ) (xn )
··· = c xn1 , xn2 ,· · · → c ∈ X.
A X A c ∈ X. {1, 12 , 13 , · · · }
———
S S∞ 1
X= α Uα , (Heine-Borel ) n=1 ( n , 1)
Uα U α1 , · · · , U αk Uα1 ,· · ·,Uαk .
S Sk
X = ki=1 Uαi . X= i=1 Vαi .
T
F 1 ⊃ F2 ⊃ · · · k Fk 6= ∅ (Cantor )
T T
k Fk 6= ∅. = ∅.
1
k (0, k ]
 2.1

[0, 1]

- Haine-Borel

Heine-Borel
2

2.1.1.
(X, T ) A⊂X
S
(1) U = {Uα } A⊂ α Uα , U A .
(2) U U
(3) U Uα U .
(4) U V V ⊂U V U .
(5) U V V ∈V U ∈U V ⊂U
V U .
♣

2.1.2.
(X, T )
(1) X U = {Uα } U
S
{Uα1 , Uα2 , · · · , Uαk } X = ki=1 Uαi X .
(2) X x1 , x 2 · · · ∈ X xn1 , x n2 , · · · → x0 ∈ X
X .
(3) X S X .
(4) A⊂X (A, Tsubspace ) / /
A X / /
♣

2 1906 Fréchet Bolzano-Weierstrass

Arzela-scoli Peano
Alexandrov Urysohn 1929 bicompactness

quasi-compact compact Hausdorff

3

65
 2.1

2.1.3.
S
X A X A⊂ α Uα
Sk
U = {Uα }, U α1 , · · · , U αk ∈ U A⊂ j=1 Uαj .
♠

2.1.4.
(1) Rn

⇐⇒ ⇐⇒ ⇐⇒ .

(2) (X, Tcofinite )

X :
S
X⊂ α Uα . α1 . U α1 X \Aα1
U
X :
1.3.2 x1 , x 2 , · · ·

X
S⊂X X U U∩S 6= ∅ S ′ = X.
(3) X = (N, Tdiscrete ) × (N, Ttrivial ).
X :
Un = {n} × N. {Un }n∈N X
X
xn = (n, 1) {xn }
X
S 6= ∅ S ′ 6= ∅ (m0 , n0 ) ∈ S
n1 6= n0 (m0 , n1 ) ∈ {(m0 , n0 )}′ ⊂ S ′

2.1.5. =⇒
X X , X .
♠

X S⊂X S S S ′ = ∅ ⊂ S.
a∈S a 6∈ S ′ , Ua ⊂ X S ∩ Ua = {a}. {S c , Ua | a ∈ S}

66
 2.1

X . a1 , · · · , a k ∈ S
[
k
X = Sc ∪ ( Uai ).
i=1

[
k
S =S∩X =( Uai ) ∩ S = {a1 , · · · , ak }
i=1

X S⊂X . {x1 , x2 , · · · } ⊂ S
i 6= j xi 6= xj . xn1 , xn2 , · · · → x0 ∈ X.

x0 ∈ {xn1 , xn2 , · · · }′ ⊂ {x1 , x2 , · · · }′ ⊂ S ′ .

S ′ 6= ∅. □

S T
X = α Uα ,
Uα ⇔ ∅= α Fα ,
Fα ⇔ {Fα1 ,· · ·, Fαk }
S T Tk
=⇒ ∃Uαi , X = ki=1 Uαi . =⇒ ∃Fαi , ∅ = ki=1 Fαi . i=1 Fαi 6= ∅ morespace
T
=⇒ α Fα 6= ∅.

2.1.6.
X

[ ] F = {Fα }

Fα1 ∩ · · · ∩ Fαk 6= ∅,

∩α Fα 6= ∅.
♠

2.1.7.
X
X ⊃ F1 ⊃ F2 ⊃ · · ·
T∞
n=1 Fn 6= ∅.
♥

67
 2.1

2.1.8.
B (X, T ) X X U ⊂B

X U ⊂B X U X

X U X
x ∈ X, Ux ∈ U Ux ∈ B

x ∈ Ux ⊂ U x .
Sn
{Ux } X U x1 , · · · , U xm X = i=1 Uxi .
Sn
U x1 , · · · , U xn ∈ U X= i=1 U
xi , X □

2.1.9. Alexander
S (X, T ) . X X U ⊂S

2.3

2.1.2

2.1.10.
f :X→Y
(1) A⊂X f (A) Y
(2) A⊂X f (A) Y
♠

(1) A . f (A) V = {Vα } U = {f −1 (Vα )}

Sk −1 (V
A A α1 , · · · , α k A⊂ i=1 f αi ).
Sk
f (A) ⊂ i=1 Vαi , f (A)
(2) f (A) y1 , y 2 , · · · A x1 , x 2 , · · · f (xi ) = yi .
A xn1 , xn2 , · · · → x0 ∈ A. f
yn1 , yn2 , · · · → f (x0 ) ∈ f (A). f (A) □

68
 2.1

2.1.11. X = (N, Tdiscrete ) × (N, Ttrivial ) .

π1 : (N, Tdiscrete ) × (N, Ttrivial ) → (N, Tdiscrete )

(N, Tdiscrete )
A′ = ∅
R

2.1.12.
f :X→R A⊂X X f (A)
R a1 , a 2 ∈ A f (a1 ) ≤ f (x) ≤ f (a2 ) x∈A
♥

2.1.13
/ /
♥

RPn Klein

2.1.14.
X, Y f :X→Y Y B f −1 (B)
X , f
♣

2.1.15.

(0, 1) [0, 1]
[0, 1] R
A [0, 1]
A ⊂ [0, 1] A

69
 2.1

2.1.16.
A X
(1) X A
(2) X A
(3) X A
♠

(1) U A , U ∪{Ac } X , U1 , · · · , U m , A c .

A ⊂ U1 ∪ · · · ∪ Um ,

{U1 , · · · , Um } U
(2) A x1 , x 2 , · · · X xnk → x0 ∈ X.
A x0 ∈ A.
(3) S A X S ′ 6= ∅. S ′ ⊂ A′ ⊂ A, A
S′ 6= ∅. □

¶ Hausdorff

(X, Ttrivial )
X ∅

2.1.17. Hausdorff
(X, T ) x1 6= x2 ∈ X, U 1 3 x1 U 2 3 x2
U1 ∩ U2 = ∅ X Hausdorff
♣

Hausdorff

2.1.18
Hausdorff
♠

Hausdorff

2.1.19. Hausdorff
(1) (X, T )
(a) X
(b) T′⊂T, (X, T ′ )
(c) (X, Ttrivial )
(2) (X, T ) Hausdorff ,
(a) X
(b) T′⊃T, (X, T ′ ) Hausdorff .
(c) (X, Tdiscrete ) Hausdorff .
♠

70
 2.1

(1)(a) (1)(b) (1)(c) (2)(b) (2)(c)

(2)(a): A⊂X , x0 ∈ X \ A. Hausdorff
y ∈ A, U y 3 x0 Vy 3 y Uy ∩ Vy = ∅. A ⊂ ∪y∈A Vy ,
y1 , · · · , y m A ⊂ V y1 ∪ · · · ∪ V y m .

Uy1 ∩ · · · ∩ Uym ⊂ X \ (Vy1 ∪ · · · ∪ Vym ) ⊂ X \ A,

X \A A □
Hausdorff Hausdorff

2.1.20.
X Y Hausdorff . f :X →Y

2.1.21.
X Y Hausdorff . f :X→Y
♥

Hausdorff

2.1.22. Hausdorff
T X Hausdorff T1 T2 X
T1 ⫋ T ⫋ T2 (X, T1 ) Hausdorff (X, T2 )
♠

Hausdorff

Hausdorff

71