13度量空间地可分性与完备性

1、1.3度量空间的可分性与完备性在实数空间R中，有理数处处稠密，且全体有理数是可列的， 我们称此性质为实数空间 R 的可分性.同时，实数空间 R还具有完备性，即 R中任何基本列必收敛于某实数.现在我们 将这些概念推广到一般度量空间.1.3.1 度量空间的可分性定义1.3.1设X是度量空间，A,B X ,如果B中任意点x B的任何邻域O(x,)都含有 A的点，则称A在B中稠密.若A B ,通常称A是B的稠密子集.注1 : A在B中稠密并不意味着有 A B .例如有理数在无理数中稠密；有理数也在实数中稠密.无理数在有理数中是稠密的，无理数在实数中也是稠密的，说明任何两个不相等的实数之间必有无限多个有

2、理数也有无限多个无理数.定理1.3.1设(X,d)是度量空间，下列命题等价：(1) A在B中稠密；(2) x B , XnA,使得 limd(Xn，x) 0；n(3) B A (其中A aIJa , A为A的闭包，A为A的导集(聚点集)；(4)任取 0,有B °(x，).即由以A中每一点为中心为半径的开球组成的集合 覆盖B .证明按照稠密、闭包及聚点等相关定义易得.定理1.3.2 稠密集的传递性 设X是度量空间，A,B,C X,若A在B中稠密，B在C中稠密，则A在C中稠密.证明 由定理1.1知B A , C B,而B是包含B的最小闭集，所以 有C A,即A在C中稠密.口注2：利用维尔

3、特拉斯定理可证得定理(Weierstrass多项式逼近定理)闭区间a,b上的每一个连续函数都可以表示成某一多项式序列的一致收敛极限.(1)多项式函数集 Pa,b在连续函数空间Ca,b中稠密.参考其它资料可知：(2)连续函数空间Ca,b在有界可测函数集 Ba,b中稠密.(3)有界可测函数集 Ba,b在p次哥可积函数空间Lpa,b中稠密(1 p ).利用稠密集的传递性 定理1.3.2可得：(4)连续函数空间Ca,b在p次哥可积函数空间Lpa,b中稠密(1 p ).因此有 Pa,b Ca,b Ba,b Lpa,b.定义1.3.2 设X是度量空间，A X ,如果存在点列4 A,且4在A中稠密，则 称A

4、是可分点集(或称可析点集).当X本身是可分点集时，称 X是可分的度量空间.Rn的一个可列稠密注3: X是可分的度量空间是指在X中存在一个稠密的可列子集例1.3.1欧氏空间Rn是可分的.坐标为有理数的点组成的子集构成子集.证明 设Qn (ri,r2,|,rn)|ri Q,i 1,2, |,n为Rn中的有理数点集，显然Qn是可数集，下 证Qn在Rn中稠密.对于Rn中任意一点x (x,X2,|,Xn),寻找Qn中的点列rj,其中rk(,；,“，：)，使得rkx(k ) .由于有理数在实数中稠密，所以对于每一个实数x(i 1,2,“1,n),存在有理数列rjx(k ).于是得到Qn中的点列rj ,其中

5、rk (r；, r2k,|,由，k 1,2,1”.)知，KiN ,当kKi时，有i 1,2,|,n现证 rkx(k ) .0 ,由 r；x (k1 k.1r x | 一， .nM K maxK1,K2,Kn,当k K时，对于i1,2,|,n ,都有 |rkd (rk, x)|2PO a, b在Ca,b中稠密，而POa,b是可列集.证明 显然Ba,b是可列集. x(t) 表示成一致收敛的多项式的极限，即Ca,b,由 Weierstrass 多项式逼近定理知，x(t)可0 ,存在(实系数)多项式p (t),使得n,k| r xi即rkx(k ),从而知Qn在Rn中稠密.口例1.3.2连续函数空间C

6、a,b是可分的.具有有理系数的多项式的全体d(x,p) max|x(t) p(t)| 2另外，由有理数在实数中的稠密性可知存在有理数多项式p0(t) P0a,b,使得d(p , Po)max | p (t) p0(t) | 一a t b2因此，d(x,po) d(x, p ) d(p ,po),即 po(t) O(x,),在 Ca,b中任意点 x(t)的任意邻域必有Poa,b中的点,按照定义知 Poa,b在Ca,b中稠密.口例1.3.3 p次哥可积函数空间Lpa,b是可分的.证明 由于POa,b在Ca,b中稠密，又知Ca,b在Lpa,b中稠密，便可知可数集POa,b在Lpa,b中稠密.口例1.

7、3.4 p次哥可和的数列空间1P是可分的.证明 取 Eo (r1,r2,|,rn,0,|,0,|)|riQ,n N,显然 E。等价于 jQn ,可知 E。可数，下面证Eo在lp中稠密.x (x1,x2,| ,xn,|) Ip ,有 |x |p,因此1又因Q在R中稠密，对每个x(1 i|p于是得p|Xi |n N 12N，(iN|xi 1r |pri |p1|Xii |曾1令 X0(ri,r2,加rN,0,|“,0,|)E。，则Nd (x),x)( | Xi1因此Eo在1P中稠密.口(X,d0)是不可分的.例1.3.5 设X 0,1,则离散度量空间证明 假设(X,do)是可分的，则必有可列子集

8、Xn X在X中稠密.又知X不是可列集,所以存在X*_*. .*.1*O(x , ) x d°(x,x ) 一 x2即O(X*,)中不含Xn中的点，与%在X中稠密相矛盾.口思考题：离散度量空间(X, d0)可分的充要条件为 X是可列集.注意：十进制小数转可转化为二进制数：乘 2取整法，即乘以2取整，顺序排列，例如(0.625)10=(0.101)20.625 2=1.25取 1; 0.25 2=0.50 取 0; 0.5 2=1.00 取 1.二进制小数可转化为十进制小数，小数点后第一位为1则加上0.5(即1/2),第二位为1则n 1加上0.25(1/4),第二位为1则加上0.125(

9、1/8)以此类推.即(0.x1x2 xn)2 (二x )10，例如i 1 2'1 121 d(x,y) d(x,x0) d(x0,y) 3 3 3矛盾，因此l不可分.口1.3.2度量空间的完备性实数空间R中任何基本列(Cauchy歹U)必收敛.即基本列和收敛列在R中是等价的，现在将这些概念推广到一般的度量空间.定义1.3.3 基本列设4是度量空间 X中的一个点列，若对任意0 ,存在N ,当m,n N时，有d(xm,xn)则称*是X中的一个基本列(或Cauchy列).定理1.3.3 (基本列的性质)设(X,d)是度量空间，则(1)如果点列4收敛，则4是基本列；(2)如果点列4是基本列，则

10、4有界；(3)若基本列含有一收敛子列，则该基本列收敛，且收敛到该子列的极限点.证明(1)设4 X , x X ,且X x .则 0 , N N ,当 n N 时，d(x0,x), 2从而n , m N时，d(xn,xm) d(xn,x) d ( x,。) 一 一 . 2 2即得%是基本列.(2)设xn为一基本列，则对 1 ,存在 N ,当n N时，有d(xN 1,xJ1 ,记M maxd(x,xN 1),d(x2,xN ),d(xN,xN i),1 1,那么对任意的 m,n ,均有 d(xn,xm) d(xn,xN 1) 1) M M 2M , 即4有界.(3)设X为一基本列，且*廉是xn的收

11、敛子列，xnkx(k).于是，0, Ni N,当 m,n N1 时，d(xn,xm) - ; N2 N ,当 k N2 时，d(%k,x) 3 .取 N maxN1,Nz,则 当n N , k N时，nk k N ,从而有d(xn,x) d(xn,xnk) d(xnk, x) 一 一 2 2 故 xnx(n ) . 注4：上述定理1.3.3表明收敛列一定是基本列(Cauchy列)，那么基本列是收敛列吗？例1.3.7 设X (0,1), x,y X ,定义d(x, y) x y ,那么度量空间(X,d)的点列1心是X的基本列，却不是 X的收敛列.n 11证明对于任意的0,存在N N ,使得N ，

12、那么对于m Na及n Nb,其中a,b N ,有7/、11a bd(Xn，Xm) Xn Xm N b 1 N a 1 (N a 1)(N b 1) maxa, ba b1(Na 1)(N b 1) Na Nb N，1 即得%是基本列.显然lim 0 X ,故4不是X的收敛列.n n 1 1或者利用 是R上的基本列，可知 0, NN,当n,mN时有 n 1 .于是可知xn 也是X上的基本列.口n 1 m 1n 1如果一个空间中的基本列都收敛，那么在此空间中不必找出序列的极限，就可以判断它是否收敛，哪一类度量空间具有此良好性质呢？是完备的度量空间.定义1.3.4 完备性如果度量空间X中的任何基本列

13、都在X中收敛，则称X是完备的度量空间例1.3.8n维欧氏空间Rn是完备的度量空间.证明 由Rn中的点列收敛对应于点的各坐标收敛，以及 R的完备性易得.口例1.3.9连续函数空间Ca, b是完备的度量空间.(距离的定义：d(f,g) max|f(t) g(t)|)t 1a ,b 证明 设xn是Ca,b中的基本列，即任给 0,存在N,当m,n N时，d(Xm,Xn)即tmaaxXm xn故对所有的t a,b, Xm(t) Xn(t) I ,由一致收敛的 Cauchy准则，知存在连续函数x(t),使101f (t) g(t)dt,那么(X,d1)不是Xn(t)在a,b上一致收敛于 x(t),即 d(

14、Xm,x)0(n)，且 x Ca,b.因此 Ca,b完备.口例 1.3.10 设 X C0,1, f(t),g(t) X,定义 U(f,g)完备的度量空间.(注意到例1.3.9结论(X,d)完备)证明设0.1fn(t)n(t )1 0 t 一2111 - t 22 nfn(t) C0,1的图形如图1.3.1 所示.显然 fn(t) C0,1 , n1,2,3,"| .因为d1(fm, fn)是下面右图中的三角形面积，所以 0 , N 1 ,当m,n N时，有11-2 F1 I fn(t) f (t) | dt211 1|1 f (t) |dt ,显然上式右边-2 -n的三个积分均非负

15、，因此 d1(fn,f)0时,每个积分均趋于零.推得f (t)0 t0,；1 t(g,1一一一 1 1 1dl( fm, fn )2 n m图1.3.1fn(t) C0,1图像及有关积分示意图于是 fn是X的基本列.下面证 fn在X中不收敛.若存在 f (t)d1(fn,f)0(n).11由于 d1(fn,f)0|fn(t) f(t)|dt 0 | f(t)|dt可见f(t)不连续，故fn在X中不收敛，即C0,1在距离d1下不完备.口表1.3.1常用空间的可分性与完备性度量空间距离可分性 完备性n维欧氏空间(Rn,d)X可数离散度量空间(X,d0)X不可数连续函数空间Ca,b有界数列空间lp次

16、哥可和的数列空间lpp次哥可积函数空间(Lpa,b,d)d(x,y)d0 (x, y)d(f,g)d1(f,g)d(x,y)dp(x,y)n2(x y)i 1ba f(x)sup| xi 1|xi 1d(f,g) (a,bjf(t)g(t)|g(x) dx1g(t) |p dt由于有理数系数的多项式函数集P0a,b是可列的，以及P0a,b在Pa,b、Ca,b、Ba,b以及Lpa,b中稠密，可知闭区间a,b上多项式函数集 Pa,b、连续函数集Ca,b、有界可测 函数集Ba,b、p次哥可积函数集 Lpa,b均是可分的.前面的例子说明n维欧氏空间Rn以及p 次哥可和的数列空间1P也是可分空间，而有界

17、数列空间 l和不可数集X对应的离散度量空间 (X,d0)是不可分的.从上面的例子及证明可知，n维欧氏空间Rn是完备的度量空间，但是按照欧氏距离X (0,1)却不是完备的；连续函数空间Ca,b是完备的度量空间，但是在积分定义的距离1d1(f ,g)o| f(t) g(t)|dt下，C0,1却不元备由于离散度重空间中的任何一个基本列只是同一个元素的无限重复组成的点列，所以它是完备的.我们还可以证明p次哥可和的数列空间lp是完备的度量空间，p次塞可积函数空间Lpa,b(p 1)是完备的度量空间，有界数列空间的完备性.通常所涉及到的空间可分性与完备性如表1.3.3所示.在度量空间中也有类似于表示实数完

18、备性的区间套定理，就是下述的闭球套定理.定理1.3.4 (闭球套定理)设(*刀)是完备的度量空间，Bn O(xn，n)是一套闭球:如果球的半径B1B2|Bnn 0(n),那么存在唯一的点IF证明 (1)球心组成的点列xn为X的基本列.当m n时，有xmBmBn ( 6%，n),可得0,取N ,当n N时，使得d ( xm , xn ) n -,于是当m,n N时，有(2.4)d ( xm , xn )n ,所以入为X的基本列.(2)x的存在性.由于(X,d)是完备的度量空间，所以存在点x X ,使得lim xn x .令(2.4) n式中的m ,可得d(xxjn即知 x Bn, n 1,2,3

19、,(|,因此 x(3) x的唯一性.设还存在y X ,满足y 0Bn ,那么对于任意的 n N ,有x,y B，从而 d(x,y) d(x,xn) d(xn,y)2 n 0 (n )，于注4:完备度量空间的另一种刻画:设(X,d)是一度量空间，那么X是完备的当且仅当对于X中的任何一套闭球：B1B2| Bn|其中Bn 0(4, n),当半径n。)，必存在唯一的点x大家知道lim(1 1)n e,可见有理数空间是不完备的，但添加一些点以后得到的实数空 n n间是完备的，而完备的实数空间有着许多有理数空间不可比拟的好的性质与广泛的应用.对于一般的度量空间也是一样，完备性在许多方面起着重要作用.那么是

20、否对于任一不完备的度量空间都可以添加一些点使之成为完备的度量空间呢？下面的结论给出了肯定的回答.定义1.3.5等距映射设(X,d) , (Y,)是度量空间，如果存在映射T : X Y ,使得x1,x2 X ,有d(x1,x2)(Txi,Tm),则称T是X到丫上的等距映射，X与丫是等距空间(或等距同构空间).注5:从距离的角度看两个等距的度量空间，至多是两个空间里的属性不同，是同一空间的两个不同模型.另外度量空间中的元素没有运算，与T ,使之在(Y,)中同样成立.因此把等距同构的(X,d)相关的数学命题，通过等距映射 (X,d)和(Y,)可不加区别而看成同一空间.定义1.3.6 完备化空间设X是一度量空间，Y是一完备的度量空间，如果 Y中含有与X等距同构且在Y中稠密的子集Y',则称Y是X的一个完备化空间.图1. 3.2度量空间X的完备化示意图定理1.3.5 (完备化空间的存在与唯一性)对于每一个度量空间X ,必存在一个完备化的度量空间Y ,并且在等距同构意义下Y是唯一确定的.例 1.3.11 设 x, y R (,),定义距离 d(x, y) |arctanx arct