精选 13度量空间的可分性与完备性

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

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

3、上定理(Weierstrass多项式逼近定理的每一个连续函数都可以表示成某一多项式序列的一致收敛极限.(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，如果存在点列xnA，且Xn在A中稠密,则称A是可分点集(或称可析点集).当X本身

4、是可分点集时，称X是可分的度量空间.注3: X是可分的度量空间是指在X中存在一个稠密的可列子集.例1.3.1 欧氏空间Rn是可分的.坐标为有理数的点组成的子集构成Rn的一个可列稠密子集.显然Qn是可数集，下证明 设Qn (1,2丄，rn)|ri Q,i 1,2,L , n为Rn中的有理数点集，证Qn在Rn中稠密.对于rkx(k数列rikRn中任意一点x (x,x2,L ,xn)，寻找Qn中的点列k，其中rk ).由于有理数在实数中稠密，所以对于每一个实数x(k ).于是得到0中的点列rk，其中(1 ,2 ,L ,rn),x (i(rik,r2k,L ,rnk)，使得1,2,L ,n )，存在有

5、理kk 1,2, L .现证0，由 rikXi (k)知,KiKi时，有1,2,L,n取 K maxKi,K2,L ,Kn，当 k K 时，对于 i1,2, L , n ,都有I k irx I石，因此d(rk,x) J I rik x即rkx(k )，从而知Qn在Rn中稠密.例1.3.2 连续函数空间Ca,b是可分的.2I2 JI具有有理系数的多项式的全体Ra,b在Ca,b中稠密，而F0a,b是可列集. 证明 显然P0a,b是可列集.x(t)表示成一致收敛的多项式的极限，即由 Weierstrass 多项式逼近定理知，x(t)可C a, b,0，存在(实系数)多项式p (t)，使得d(x,

6、p )max | x(t)a t b另外，由有理数在实数中的稠密性可知存在有理数多项式p(t)i 2p0(t)P0a,b，使得d(p,p0)maxi p(t)P0(t)| -2因此，d(x,p0)d(x ,p) d(p,p0)，即 p0(t) O(x,)，在 Ca,b中任意点 x(t)的任意邻域内必有Ra,b中的点，按照定义知 Poa,b在Ca,b中稠密.例1.3.3 P次幕可积函数空间 Lpa, b是可分的.证明 由于poa,b在Ca,b中稠密，又知Ca,b在Lpa,b中稠密，便可知可数集F0a,b在Lpa,b中稠密.例1.3.4P次幕可和的数列空间lp是可分的.证明 取Eo (1,2丄，r

7、n,0,L ,0,L ) |ri Q,n N，显然E。等价于 UQ，可知E。可数, n 1F面证Eo在lp中稠密.x (X1,X2,L ,Xn 丄)l p，有 I 和p ，因此i 10, N N，当 n N 时,又因Q在R中稠密，对每个x(1 i|p于是得|Xi|pn N 1)，存在r2N，(iQ，使得1,2,3,L ,N)N|xi 1r|p令 xo(ri,r2,L ,rN,0,L ,0,L ) Eo，则Nd (x0,x) ( |Xii 11|Xii |pr1p丄T)-p因此Eo在lp中稠密.例1.3.5 设X 0,1，则离散度量空间(X,d0)是不可分的.证明 假设(X,d0)是可分的，则必

8、有可列子集xnX在X中稠密.又知X不是可列集,1所以存在X* X , X* Xn.取 -，则有-2即O(x*,)中不含Xn中的点，与 Xi在X中稠密相矛盾.思考题：离散度量空间(X,d0)可分的充要条件为XO(x , )xd0(x,x )是可列集.注意：十进制小数转可转化为二进制数：乘2取整法，即乘以2取整，顺序排列，例如(0.625) 10=(0.101) 20.6252=1.25 取 1; 0.252=0.50 取 0; 0.52=1.00 取 1.二进制小数可转化为十进制小数，小数点后第一位为1则加上0.5(即1/2)，第二位为11则加上0.125(1/8)以此类推.即(0.X1X2L

9、Xn)2 (斗X)10，例i 1 2则加上0.25(1/4)第三位为(0.101) 2=(21)10(0.625)10 .因此0,1与子集x(X1,X2,L例 1.3.6有界数列空间I,Xn,L )|Xn 0或1对等，由0,1不可数知A不可列.是不可分的.l X (X ,X2,L , Xn,L )=( X ) | X为有界数列，对于 d(x,y) sup |Xi yi |.i 1证明(x) , y (y) l，距离定义为d(x,y) 1 .考虑 I 中的子集 A x (X1,x2,L ,Xn,L )|xn或1,则当x, yA, x y时，有因为0,1 中每一个实数可用二进制表示，所以A与0,1

10、一一对应,故A不可列.假设I可分，即存在一个可列稠密子集 A0，以A0中每一点为心，以1为半径作开球，所3A的不同的有这样的开球覆盖I，也覆盖A .因A)可列，而A不可列，则必有某开球内含有 点，设x与y是这样的点，此开球中心为 x0，于是1 1 21 d(x,y) d(x,xo) d(Xo,y)-333矛盾，因此I不可分.132度量空间的完备性实数空间R中任何基本列(Cauchy列)必收敛即基本列和收敛列在R中是等价的，现在将这些概念推广到一般的度量空间.定义1.3.3 基本列设Xn是度量空间X中的一个点列，若对任意0,存在N，当m,n N时，有d(Xm,Xn)则称Xn是X中的一个基本列(或

11、Cauchy 列).定理1.3.3(基本列的性质)设(X,d)是度量空间，则(1)如果点列Xn收敛，则Xn是基本列；如果点列Xn是基本列，则Xn有界； 若基本列含有一收敛子列，则该基本列收敛，且收敛到该子列的极限点.N，当 n N 时，d(Xn,x)证明(1)设xn X , X X，且 X,X .则 从而n , m N时，d(Xn,Xm) d(Xn, X) d( X, Xm )即得xJ是基本列.(2)设Xn为一基本列，则对1，存在N ,时，有d(XN1,Xn)1，记M maxd(X1,XN 1),d(X2,XN 1)丄,d(xN,XN 1),1 1，那么对任意的m,n ,均有d(Xn,Xm)

12、d(Xn,XN1)d(Xm,XN1)2M ,即Xn有界.当m,n设Xn为一基本列，且Xj是Xn的收敛子列,XnkX(k ).于是,nk0,N1 N ,N1 时，dXXm)- ； N2 N，当 k N2 时,d(Xnk,X)-.取 NmaxN1,N2，则,k N时，nk k N，从而有d(Xn,X)d(Xn,Xnk) d(Xnk,X)- 2故 Xnx(n ) .注4:上述定理1.3.3表明收敛列一定是基本列 (Cauchy列)，那么基本列是收敛列吗?例1.3.7 设X (0,1), X, y X，定义d(X,y) |x y，那么度量空间(X,d)的点列Xn 是X的基本列，却不是n 1X的收敛列.

13、证明对于任意的0,存在1使得N -，那么对于m N a及n N b，其中a,b N ，有d(Xn，Xm)|Xn Xm |maxa,b(N a 1)(N b 1)11N a 1a bNa Nb(N a 1)(N b 1)1IN，即得X.是基本列显然lim n n0 X，故Xn不是X的收敛列.或者利用X. 丄是 n 1上的基本列，可知 0 , N N，当n,m N时有1 1n 1 m 1如果一个空间中的基本列都收敛，那么在此空间中不必找出序列的极限，就可以判断它是.于是可知 Xn丄也是X上的基本列.n 1否收敛，哪一类度量空间具有此良好性质呢？是完备的度量空间.定义1.3.4 完备性如果度量空间X

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

15、,b完备.例 1.3.10 设 X C0,1, f(t),g(t) X，定义 d1(f,g)J f (t) g(t) dt，那么(XdJ 不是完备的度量空间.(注意到例1.3.9结论(X,d)完备)证明设fn(t)n(t1)12121212fn(t) C0,1的图形如图 1.3.1所示.显然fn(t)中的三角形面积，所以图 1.3.1于是fn是X的基本列.C0,1,0 ,有1,2,3,L .因为di(fm，fn)是下面右图fn (t) C0,1图像及有关积分示意图F面证 fn在X中不收敛.若存在f (t)使得111|12 -f (t) | dt ,显然上式右边1由于 d1(fn,f)0|fn(

16、t)d1(fn,f)0(n).1 12 -1 1 fn(t) f (t) | dt2的三个积分均非负，因此di(fn,f) 0时,每个积分均趋于零.推得f (t)0 t 0,41 t (11可见f(t)不连续，故 fn在X中不收敛，即C0,1在距离d1下不完备.口表1.3.1 常用空间的可分性与完备性度量空间距离可分性完备性n维欧氏空间(Rn,d)d(x,y)J1(xy)2VV离散度量空间(X,d0)X可数do (x, y)0当xy时VVX不可数1当xy时XV连续函数空间Ca,bd(f,g)mm唧f(t)g( t)|VVd1(f,g)bJf(x)g(x)|dxVX有界数列空间1d(X,y)su

17、p lxy lXVP次幕可和的数列空间lpdp (x,y)lxi 11 币 yi lpVVd(f,g)( a,bl f(t)p次幕可积函数空间(lP a,b,d)1g(t) |p dtf由于有理数系数的多项式函数集F0a,b是可列的，以及 F0a,b在 Pa,b、Ca,b、Ba,b以及Lpa,b中稠密，可知闭区间a,b上多项式函数集 Pa,b、连续函数集Ca,b、有界可测函数集Ba,b、P次幕可积函数集Lp a,b均是可分的.前面的例子说明 次幕可和的数列空间lp也是可分空间，而有界数列空间 I和不可数集 (X,d0)是不可分的.从上面的例子及证明可知，n维欧氏空间 Rn是完备的度量空间，X

18、(0,1)却不是完备的；连续函数空间n维欧氏空间Rn以及pX对应的离散度量空间但是按照欧氏距离 Ca,b是完备的度量空间，但是在积分定义的距离dfg) Jf(t) g(t)dt下，C0,1 却不完备由于离散度量空间中的任何一个基本列只是同 一个元素的无限重复组成的点列，所以它是完备的.我们还可以证明P次幕可和的数列空间lp是完备的度量空间，p次幕可积函数空间Lpa,b(p 1)是完备的度量空间，有界数列空间的完备性.通常所涉及到的空间可分性与完备性如表1.3.3所示.在度量空间中也有类似于表示实数完备性的区间套定理，就是下述的闭球套定理.定理1.3.4 (闭球套定理)设(X,d)是完备的度量空

19、间，Bn O(xn, n)是一套闭球:B1B2LBnL .如果球的半径n 0(n)，那么存在唯一的点证明 (1)球心组成的点列X I Bn .n 1Xn为X的基本列.当m n时，有0,取N，当n N时，使得丁 曰 aIz , 于是当m,n N时，有XmBmBn (O (X. , n)，可得(2.4)d(Xm,Xn)d(Xm,Xn)所以 xJ为X的基本列.n(2) X的存在性.由于(X,d)是完备的度量空间，所以存在点X X，使得lim xn x .令(2.4)式中的m ，可得d(X,Xjn即知 X Bn, n 1,2,3,L，因此 x | B.n 1x的唯一性.设还存在y X，满足y I Bn

20、，那么对于任意的n N，有x,y Bn ,n 1从而 d(x,y) d(x,Xn) d(xn,y)2 n 0 (n )，于是 x y 口注4:完备度量空间的另一种刻画：设(X,d)是一度量空间，那么X是完备的当且仅当对于X中的任何一套闭球：B1B2L Bn L，其中Bn 0(Xn, n)，当半径n 0(n)，必存在唯一的点X | B.1大家知道lim(1 -)n e,可见有理数空间是不完备的，但添加一些点以后得到的实数空间n n是完备的，而完备的实数空间有着许多有理数空间不可比拟的好的性质与广泛的应用.对于一般的度量空间也是一样，完备性在许多方面起着重要作用.那么是否对于任一不完备的度量空间都可以添加一些点使之成为完备的度量空间呢？下面的结论给出了肯定的回答.定义1.3.5等距映射设(X,d) , (Y,)是度量空间，如果存在映射T:X Y，使得x1,x2 X，有 d(X1,X2)(Tx,Tx