Ü
Q [0, 1]
(R2, de)
A1 = {(x, y) " R2 : y d" x2}

1
Ü
"
A2 = [0, 1] × Q *" ({0} × [0, 1]) A3 = A2 *" {(1, )}
2
A1 A2 A3
Ai
Ai de
Ai
Ai
Ai
Ai

1 1
an = - , 0 bn = (-n, 0) cn = 0, n = 1, 2, . . . R2
n n
J = {x " R : 0 < x < 1} R

" " 1 " " 1
Z1 = {an} *" {n} × J Z2 = {cn} *" { } × J
n=1 n=1 n=1 n=1

" " 1 n "
"
Z3 = {an} *" ({0} × [0, 1]) *" {n} × [0, 1] Z4 = {bn} *" ({n} × R)
n=1 n=1 n=1 n=1
i = j Zi

Zj
Ü
Q
X1, X2, X3, X4
" 1
X1 = ([0, 1] × {0}) *" ({n} × [0, 1]) *" ({0} × [0, 1])
n=1
X2 = X1 *" {(-x, y) : (x, y) " X1}
Ü
X3 = X2 \ ({1} × Q)
Ü
X4 = X2 \ ({0} × Q)
i " {1, 2, 3, 4} Xi
X1 X2
(C[0, 1], dsup) [0, 1]
(R, de) dsup(f, g) = sup{|f(t) - g(t)| : t " [0, 1]}
"
A1, A2, . . . R A = Ai
i=1
Ü
Q ‚" [0, 1]
i " N q " [0, 1] Di,q = {f " C[0, 1] : f(q) " Ai}
(C[0, 1], dsup)
Ü
f : [0, 1] R f(Q) )" A = "
(C[0, 1], dsup)
 f : X Y
(X, TX) (Y, TY )
f : X Y
(X, dX) (Y, dY )
f : X Y
(X, TX) (Y, TY )
(X, d)
(X, TX)
f : X Y
(X, TX) (Y, TY ) (Y, TY )
(X, TX)
f, g : X Y
(X, TX) (Y, TY )