17 5 1
17 5 1
17 5 1
/0"/*
!"# $%&$'($) *+,-),(
!"#" $%&'()*()%
# p, m, sn $%&'()*%'( +,'-+,.*- (17.28)/ (17.29) 0% (17.30) 1-2,3&,*-', (*% &-3,$*,
$%&'()*%' 4*$-) 56%'% (Rn , p), (Rn , m), (Rn , sn ) 76-.*-', %8$%&'() 9%2(*9('*%'/
-$- $%&'()*%' 9%3)&('# :;+&%'(3(6#
!"#$%
<'3%2(3/ n√= 2/ x = (0, 0) y = (1, 1) -*,3,'+- p(x, y) = 2/ m(x, y) = 1/
sn (x, y) = 2 4*7'# =%$%) )( 17 5> $%&'() %8$%&'%* ?(+4$%&'(@A 9%2(*9('#
<&% .-39-3/ B%' r > 0 (>(3
!". /010()0)02
!"+" $%&'()*()%
# R2 56%'(39%)( <)*(& $%&'(2(3% C;'% xy = 1 B(H%'14*5 (*% y = 0 942'7+7
)%+(8$%.%3 )-H-*, ()( -*& )5$%9('# S%' ()( )5$% +,3,'+,69,' 0% -'-*-',39-)(
76-)*,) +,T,'- %8(&&('# :;+&%'(3(6#
!"#$ &% ?U437> F#O# )7**-3,*-'-)A
!"#" $%&%'(%(%) !"
($/0 @ A+-()E +%,5 56&)-)/$' #$/ #$-).$&$') ).$* 1-+' N′ *6&-);)'$ +%,5 #$/
56&)($/0 B1-+;,4,;-+ N 5+C+-,(,/0
K$&($ A = (n + n1 ) : n ∈ N 56&)4$'$ (6.6')-$&0 :)/ n $%$'
1 1
(n + ), (n + 1 + ) ⊂ A′
n n+1
+%,5*,/ =)
[ 1 1
′
A = (n + ), (n + 1 + )
n n+1
n∈N
!"#" $%&%'(%(%) !"
#$%& ' ()*#+, )-./ /01+*+%$2 3$% 3$*+4$1$2+ +4$5 6*)2 A′ 501*+7+2$ )-./ 3$%
/01+#$%& 86*)7.9.7*) A /):)*.#.%&
A = (n + n1 ) : n ∈ N /01+9$2#+ n = 1 )*.2.%9) (n + n1 ) = 2 ∈ N 6*;%& '
>& ?$% 1+5%$/ ;<)7#)/$ 962*; (+% /01+2$2 9.2.%*. 6*#;=;2; @A95+%$2$<&
!"#$%
X, ρ) 1+5%$/ ;<)7.2#) A = {x1 , x2 , . . . , xn } 962*; 3$% )*5/01+ 6*9;2& ?;
/01+2$2 -):., $-$2#+/$ 26/5) -$B5*+%$ )%)9.2#)/$ ;<)/*./*)%.2 9;:%+1;1;#;%C
n!
r!(n − 1)!
F& ?$% (X, ρ) 1+5%$/ ;<)7.2#) (+% A )*5 /01+9$ $-$2 ρ(A) = ρ(Ā) 6*#;=;2;
@A95+%$2$<&
!"#$%
x, y ∈ Ā $9+ xn → x D+ yn → y 6*)G)/ 3$-$1#+ xn ), (yn ) ⊂ A #$<$*+%$
9+-$*+3$*$%& ρ(xn , yn ) → ρ(x, y) #$%& ?;%)#)2, (17.50) ;7)%.2G)
ρ(A) ≤ ρ(Ā)
= sup{ρ(x, y) : x, y ∈ Ā}
= sup{ρ(xn , yn ) : (xn ), (yn ) ⊂ A}
≤ sup{ρ(a, b) : a, b ∈ A}
≤ ρ(A)
-./)%H 7)2$ ρ(A) ≤ ρ(Ā) ≤ ρ(A) 6*;% /$ 3; ρ(A) = ρ(Ā) 6*1)9. #+1+/5$%&