第七章距离空间、赋范线性空间
  .1
证明距离空间
x
x
x
 
*
fi
设
,
n
n
xx
0
*)*
*,
(
£
£
r
xx
  
*)*
(
*,
r
所以
X
中的收敛列
nx
n
x
(  **
)
fi
¥fi
,则
xx
xx
*)*,
(
*)
,
(
+
r
r
n
n
x
x
0
* 
*.*
=
=
,即
{
}
的极限是唯一的
.
fi
(   0
n
¥fi
)
课后答案网 www.khdaw.com
试证距离空间
 
  .2
的任一子列收敛于
x
fi
设
n
xx
(
,
r
n
x
*)
( *
fi
n
¥fi
 0
,故
n
{
x
x
{ 
X
x
* 
˛
 }
收敛于
X
 
中的序列
x
.* 
x
x
}
{
{)
的任一子列,依条件,
是,
n
x
  
(
*)
,
r
fi
 0
,所以
n
x
fi
.*
x
x
}
}
n
k
n
k
n
k
x
反之,设
x
}
*
{
的任一子列收敛于
n
0
>
e
,使对任意的自然数
则必存在
0
x
*)
,
e
‡
r
,于是可选取
n
0
x
x
        
          
(
r
x
}
{
不收敛于
显然
‡
.*
*)
x
x
x
e
{
(
,
n
n
0
k
n
k
n
{
x
,如果
N
}
不收敛于
Nn
>
,都存在
x
}
使
{
x
*
,使
}
的一个子列
n
k
,
此与假设矛盾,故
{
x
n
}
收敛于
x
.*
课后答案网 www.khdaw.com
)
+
r
)1(
wz
,(
y
x
X
wz
  .3
是距离空间
、、、设
zx
zy
yx
(
),
|  )i(
|),
)
(
,
(
r
£
r
-
r
zx
wy
yx
),
(
| )ii(
|)
,
,
(
)
(
r
r
r
£
-
zx
yx
zy
),
(
  )i(
)
,
),
(
(
r
r
r
+
£
由
得
zx
zy
yx
     
(
),
       
(
(
),
)
,
r
r
r
-
£
zy
xy
zx
),
)
(
(
),
,
(
r
r
r
+
£
再由
得
zy
zx
yx
       
     
(
),
(
(
),
)
,
)2(
-
r
r
r
£
zx
zy
yx
)2()1(
),
(
(
|
|),
(
,
)
r
£
r
-
r
结合
、
即得:
zx
zy
yx
yx
  )ii(
,
),
)
),
(
(
)
,
(
(
(
r
r
+
r
£
+
r
r
£
由
yx
wz
wy
zx
)3(
(
(
(
,(
),
)
)
)
       
,
     
,
r
r
r
-
£
+
r
xy
wy
zx
wz
)
)
),
(
(
(
,(
,
,
 )
r
r
r
r
+
+
£
再由
得
zx
wy
yx
wz
       
      
(
(
(
,(
,
)
)
),
,
)
-
r
+
r
r
£
r
zx
yx
wy
,
|)
)4()3(
),
|
(
(
(
,
-
r
r
r
£
结合
、
即得:
中的任意四个点,证明
:
wy
,
)
+
r
(
zw
),
得
r
wz
,(
 )
)4(
)
+
课后答案网 www.khdaw.com
距离吗?
.
.
y
z
,2
 
(
n
的距离
x
(
-
y
)
-
是定义在实数集合上的
y
2)
2
不是定义在实数集合上
yx
)
,
(
  .4
=
r
x
yx
(
)
,
(
=
r
x
),(
r
不能对所有的
满足、、
因为
yz
zx
yx
)
,(
(
),
)
,
r
+
r
£
r
y
z
x
0
2
1
4
=
=
>
=
,
时,
,
比如取
X
y
x
 
{}
 }
  .5
{ 
是距离空间
、
中的基本列,证明
设
n
n
y
x
.
,
 )
(
a =
r
收敛
n
n
x
(
)
,
r
¥fi
fi
依条件:
y
          
(
,
)
      
fi
¥fi
r
n
m
x
x
,
(
|
(
|
,
-
a
a
=
r
再由
n
m
m
n
x
y
          
(
          
    
(
,
,
r
£
n
Cauchy
{
}
.
a
数列,故收敛
即知
是
上式就不成立
mn
,(  0
mn
,(  0
y
)
-
r
x
)
+
r
n
m
|)
m
)
m
)
)
y
y
n
m
x
y
|
n
n
课后答案网 www.khdaw.com
  .6
试证距离空间
 X
 
中的任一集合
 
A
 
的闭包是闭集。
设
 
Ax
'
,则对任意
˛
 
e
>
0
,存在
 
x
˛
xA
, 
e
e
„
x
 
且
r
(
xx
,
e
)
<
e
2
,因为
 
x
e
˛
A
 ,
如果
 
x
ˇ
A
e
,则必
 
x
e
˛
A
'
,
于是有
 
Ax
'
˛
,使
 
x
'
„
x
e
 
且
 
r
(
xx
,'
,
r
(
xx
,
e
)),
所以
故
 
'
„
Ax
'
xx
x
x
 
,
(
 
 
r
且
A
A
   
'
 
˛
即,
)'
<
e
,因
A
  ,
 
>
e
A
 
 
所以
)
<
min(
e
2
是任意的,
e
 0
是闭集
.
课后答案网 www.khdaw.com
|
|
(
r
(
r
e
,则
  .7
X
设
是距离空间,
G
X
x
Ax
{
,
=
˛
F
x
X
Ax
{
,
=
˛
Gx
 )i(
 
(
r
˛
=
设
0
d
2
)
xBy
(
˛
)
r
时,
(
e
Ay
,(
)
<
+
-
e
e
,
0
0
e
0
<
1
2
 )ii(
设
x
0
˛
0
,试证:
e
X
,
A
>
}
)
e
<
是开集,
}
)
£
e
Ax
,
)
<
0
e
d
,令
是闭集。
£
r
xy
,(
)
+
r
(
Ax
)
0
,
0
-=
e
e
,则当
0
  .
所以
xB
(
0
0
F
'
,则存在
x
n
,
d
2
˛
)
G
G
 
 
.
,故
是开集
xF
,
n
fi
x
,
0
对每个
n
,取
x
n
'
˛
A
,满足
r
(
x
,
x
n
)'
n
+<
e
,则
r
(
Ax
0
,
)
£
r
(
令
n
¥fi
即得
,
xx
0
(
r
n
,
)
+
r
(
x
,
x
n
)'
<
r
(
xx
0
,
n
Ax
0
)
£
e
,故
˛
F
0
,所以
F
n
x
1
n
)
e
++
1
n
是闭集
.
课后答案网 www.khdaw.com
  .8
设
r
(
yx
,
)
是距离空间
X
上的距离,则
也定义了
X
上元素间的距离
.
(~  
r
yx
,
)
=
r
+
yx
,
)
(
yx
,
(
r
)
1
yx
,
)
x
y
由定义显然有:
(~   
i)
r
‡
 
iii)
,,设
(~  
r
yx
,
=
)
yx
,
(
  
r
-=
1
(~   
0
r
,且
Xz
˛
,则
yx
(
,
)
r
yx
(
,
1
r
+
zx
),
)
r
+
)
(~   
yx
,
r
yz
,(
 )
ii)
r
(~   
r
)
=
xy
,
)
1
zx
)
,
1
+
r
(
+
r
yz
,(
)
-£
1
1
0)
=
yx
,
)
x
(
r
y
     
=
zx
 
)
,
£
+
1
yx
(
,
r
+
yz
,(
)
r
zx
yz
,
)
(
,(
r
r
+
(~
,(~
yz
r
r
zx
),
+
)
)
)
=
1
£
+
r
1
+
所以
1
+
(
r
zx
yz
,(
,
(
)
r
zx
yz
(
),
,(
)
r
zx
yz
(
),
,(
r
r
+
),(~
X
r
也定义了
上的距离
=
+
+
1
)
.
课后答案网 www.khdaw.com
  .9
试证任一离散空间必是
完备的
.
设
 
X
r
(
yx
,
)
 
是离散空间,
y
x
0
 
当
     
x
y
 
1
当
X
x
N
Nmn
 
 }
 
 
 
,
{
,使当
是
中任一基本列,则存在
n
xx
x
x
Nmn
,
(
1
 
   .0)
(
)
,
 
,
r
r
<
‡
时,
,从而当
=
n
n
m
Nn
x
x
x
.
 
 
 
‡
fi
即当
,故
时,
N
=
„
x
n
=
n
N
=
‡
 
时
m
课后答案网 www.khdaw.com