4.1.
( 8 %) ± 1 )
. $
)
.
& 1.
X, ρ , * ) X )
ρ: X×X → R+, * ) (x, y) 1 ) X ρ(x, y)
, * ( x, y, z X):
1)ρ(x, y) = 0 x = y ± ;
2)ρ(x, y) = ρ(y, x) ± %;
3)ρ(x, z) ≤ ρ(x, y) + ρ(y, z) ± %.
, ! * !
) ρ ± , ρ(x, y) ±
) x y.
$ 1. , 1 )
) ρ(x, x) = 0,
|
. |
0 ), |
|
|
|
X, ρ |
! « » |
) |
x y, |
* ρ(x, y) = 0, |
|
1 X, %-) X/
.
*. 1. R, ρ , ρ(x, y) = x-y .
2.Rn, ρ , ρ(x, y) = ((x1-y1)2+(x2-y2)2+¼ +(xn-yn)2)1/2
x= (x1, x2,¼ , xn) y = (y1, y2,¼ , yn).
3.C, ρ , C ± ) -
|
%, |
|
|
[0, 1], |
|
|
1 |
|
|
|
|
ρ(f, g) = |
fgdx f, g C. |
|
|
|
|
0 |
|
|
|
|
4. |
X, ρ |
|
|
) X |
|
ρ:
0, x = y
ρ(x, y) =
1, x ¹ y.
5. $ X ± ) % A.
r(u, v) ) u, vÎX ,
u v A. . ,
A = {a, b, c}, u = bbaccab, v = abcca, r(u, v) = 5. $
X, r ,
). 9 )
. $ 2. $),
1)±3) . 0 1
- X, r , )
.
$ 3. $
,
) .
[10].
" , X, r , r: X´ X ® R,
1) %
4) r(y, z) £ r(x, y) + r(x, z).
;, 4) 1. $),
1) 4)
) r. $ y = z 4) 1) 2r(x, y)³ r(y, y) = 0, . .
r(x, y)³ 0. 5 x = z 4) 1) r(y, x) £ r(x, y)
x, yÎX, 2).
( , p- ) )
.
& 2. X, r
%, 3)
5) r(x, z) £ max(r(x, y), r(y, z)).
r ) X, * 5),
%.
*6. $ p ± % rQ * . # ) a ) a=pkb, k ± ,
b p. 0
a p- n(a)=1/pk. + Q
* p-# r(x, y)=n(x±y). $ 4. , p- Q
.
. !
|
|
|
X, r . |
) |
Ur(x0) = {xÎX: |
r(x, x0)< r}, |
r> 0, |
|
|
. |
|
X, r |
x0 |
r. |
, |
! ,
. Vr(x0).
.
1. $ % X, ρ 2 #4 :
(1) ρ ±%;
(2) # % X %.
;
(3) . X #, *
.
! , ". (1) (2). $ X, r ±
. %
x, y, z X. + ,
). ) 1 : r(x, y), r(x, z) r(y, z). ) )
, r(x, z) ! )
. + 5) ,
r(x, y) r(y, z) r(x, z). (, ! « »
) « ».
(2)(3). $ ! Ur(x0) Us(y0), r£ s,
* z. $), Ur(x0)ÍUs(y0). - r(x0, z)< r r(y0, z)< s, r(x0, y0)< s 2) 5). $)
, |
|
! xÎUr(x0)\Us(y0). 9 , |
|
r(x, x0)< r, r(x, y0)³ s³ r. |
+ , |
|
x0, |
y0 x, r(x, |
y0) ! , |
) (2). |
|
|
(3) (1). $ ) (3), |
x, y, zÎX |
|
|
5). 9 |
, |
|
r(x, z)> r(x, y) r(x, z)> r(y, z). $) r(x, z) = r. 6 Ur(x) Ur(z)
* y, 1 ) . .
ρ(x, z)< r, ).
$ 5. ) (3) 1
!. 0 ), 1 ) )
!: ; , .
.. p-
p- , p-
.
* . 4. [4].
)
.
& 3. ) f: X, ρ → Y, σ
x0 X,
ε> 0 * δ> 0, ρ(x, x0)< δ σ(f(x), f(x0))< ε
x X. , ) f
X, .
) f: X, ρ → Y, σ ,
ε> 0 δ> 0, ρ(x, y)< δ
σ(f(x), f(y))< ε x, y X.
;, ) . & 4. $ (xn) xn
|
X, |
ρ |
* 4 x0, |
ρ(xn, x0) → 0 |
|
n → ∞. $ 1 |
x0 |
(xn).
' ,
) (
- ?).
$ . 6. 0 ), ) f: X → Y
x0 X,
* x0 (xn) X
(f(xn)) f(x0) Y.
$)
, 2
! 1 . 0
) ).
7. , 2
)
) .
) )?
8. , X, ρ )
σ(x, y) = min(ρ(x, y), 1) x, y X,
X, σ , )
)
X, ρ . 0 ).
9.$ , ) f: X, ρ → Y, σ
, f±1(U)
) U Y ) X.
10.0 ), ) A
X ,
* xn A ) )
A.
$ % f: X, ρ → R
X R . )
Z(f) = {x X: f(x) = 0} %- ' f. %-
X -)
%,
X. 0 -) %-
. , -) X
). ,
.
2. :# %
X, ρ %- X.
! , ". $ )
A X. ( X % d
) A * : d(x) = inf{ρ(x, a): a A}. 0 ),
% d: X → R A = Z(d). ( % ε> 0 x, y X,
ρ(x, y)< δ = ε. 3) z X. $ ) z,
d(x) ≤ ρ(x, y) + ρ(y, z). 5 ,
) z, d(x) ≤ ρ(x, y) + d(y). 5,
|
|
|
|
|
|
ρ |
|
d(y) ≤ ρ(x, y) + d(x). |
4, d(x)-d(y) ≤ ρ(x, y)< ε. |
9 |
, , % d. |
., A = Z(d). ;, A Z(d). $ |
d(x) = 0. |
4 * |
|
an A, |
ρ(an, x)< 1/2n. (, |
(an) → x n → ∞. $ A , |
x A ) 8. 4 , Z(d) A.
A
. 1
$ 11. 0 ),
* ) A B
X * % f: X → [0, 1], A = Z(f) B = Z(1±f). +
. % %#. (, !
( . [8]).
) [9].
, ) * ) . .
4.2. ' (
. *, -),
) [1±3, 8±15]. 0
,
) $. 4. 5.
& 1.
X, τ , τ ± ) ) ) X,
* * :
(1), X τ;
(2)2 ) τ
) τ;
(3)) τ ) τ.
(1)±(3) ,
) τ X. ) U τ
, X\U
X, t .
t
.
) !
( . ) 6 . 4.1). $
, ) #, )
).
& 2.
) X ) B(X) )
[ ], * * :
i)AÍ[A] AÍX;
ii)[[A]]=[A];
iii)[AÈB]=[A]È[B];
iv)[Æ]=Æ.
1. - 1 2
2.
! , ". $
X, t 1. ( B(X) [
] * . 0 AÎB(X) )
[A]=Ç{BÍX: AÍB B X, t }. (I)
) [A] A
X, t . '
i)±iv) 2.
, X, [ ]
2. ) BÍX ,
[B] = B. X * : t={AÍX: X\A }. (II)
. , ) tÍB(X)
(1)±(3) 1.
. ) * , ) X
) ( ) (I) (II) . 0 AÍX
:
AÎt (I) [X\A]=X\A (II) AÎt.
$ . 1.
3.
2. 0
).
3. 0 ) A
X *
: [A]=X\(X\A)o, Ao=X\[X\A], AoÍ A, Aoo=Ao, AoÍ [Ao]o, [[A]o]Í [A], [Ao]=[[Ao]o], [[A]o]o=[A]o, [[A]\Ao]=[A]\Ao82. 0 ).
4. 7 1. + ,
) A X *
X ) 14
). $), * )
14 ):
A=(-1, 0)È(0, 1)È([5, 10]ÇQ)È{15}. |
|
. 1. |
$ |
|
|
|
* 1
. * :
, , , , ,
, ), , !
. .
,
,
:
T0- É T1- É % É
ÉÉ É
ÉÉ ! . & 3. + X :
T0- ( ,
5. .. # 1935 ),
x y ) U X,
) * : xÎU, yÏU yÎU, xÏU; T1- , x y
) X, ) * x ) * y;
* ' ( T2- ),
x y *
) U V X, xÎU yÎV;
( T3- ),
T1- x ) *
) B *
) U V X, xÎU BÍV;
82 ) [A]\Ao A. ),
(AÇB)o=AoÇBo ) A, B .
* ( , T3,5- ),
T1- x ) *
) B X * % f: X → R, f(x) = 1 f(B) = {0};
% ( T4- ),
T1- *
) A B * *
) U V X, A U B V;
. %, T1-
* ) A B
* % |
f: X → R, A = Z(f) |
B = Z(1±f). |
|
(, ), |
) * |
), %# 1
1 ). ) %
% ! . :
?
( ., , [8, . 157]) ),
( T1 ) )
* )
A B * % f: X → [0, 1],
A Z(f) B Z(1±f).
$ 5. 0 ), 3
) (
! ). -
9- .
X
) σ ), ,
) X 2 ) σ. $ 6. ,
T1- ,
-) .
& 4. + X
, )
. - X
), 2
X, ) ±
