2.3 距离空间可分性与完备性.pptVIP

距离空间的可分性 ?有理数在实数集中的稠密性 ;已知：在实直线上， 存在一个处处稠密的可数子集Q, 且成立完备性定理（即柯西收敛原理)。 问题：在一般的距离空间中，是否存在一个处处稠密 的可数子集？完备性定理是否总成立？ ; 一、距离空间的可分性;例1 有理数集在R中处处稠密.;例4 [a,b]上的有界可测函数集合B[a,b]在Lp[a,b](p?1)中处处稠密. ;例5 [a,b]上的连续函数集合C[a,b]按Lp[a,b]中的距离在Lp[a,b]中处处稠密.;2. 距离空间的可分性;例4 C[a,b] 是可分的.（多项式集合P在C[ a,b]中处处稠密, 因而有理系数多项式集合P0在P?C[ a,b]中处处稠密可数）; ?p0(t)?S(x,?)?P0 按Lp[a,b]中距离在Lp[a,b]中稠密; 而P0是可数集，因而Lp[a,b] 可分的。;例6 l p(p?1)与c 都是可分的. （有理点集A={x=(x1,…,xn,0,…)|xi?Q}在lp (p?1)和c中都处处稠密）; 注：定义在任何一个势为?(即不可数)非空集合上的离散距离空间一定是不可分的。(上例中的A也是不可分的。) ; 二、距离空间的完备性;例1 R按通常距离?(x,y)=|x-y|完备. (R上每个基本列都收敛) 例2 坐标平面上的有限点集X 按通常的距离定义是完备的距离空间 证: 因为X中的基本列只能是“常驻点列”，即其中元素列出有： x1,x2,…,xr,xk,…xk,…,xn?xk, 因此X是完备的 ;例3 离散距离空间是完备的距离空间. 证：因为离散距离空间中的基本列的元素都相同，因而收敛。;例5 Rn 按欧氏距离构成的欧氏空间是完备的. ;例6 空间Lp[a,b]、lp、 l? (or m)、c 均为完备的距离空间。;例7 有理数集Q按距离?(x,y)=|x-y|是距离空间, 但不完备. 事实上，在有理数集Q中，有理数列{(1+1/n)n}收敛, 因而是基本列, 但其极限为e?Q，故Q不完备.;例9 C[0,1]按距离 构成的距离空间;如果存在x(t) 使?1(xm,x)?0 (m??), 由于;例10 C[a,b]按距离 构成的距离;（勒贝格有界收敛定理）; 定理1 (完备距离空间的性质) 设X是完备距离空间, 1){xn}是基本列?{xn}是收敛点列??x?X, 使xn?x 2) ?F?X, F是X的闭子空间?F是X的完备子空间 证：1）“充分性” 设{xn}?X, x?X，xn?x ??? 0, ?N0, 当nN时, ?(xn,x)?/2 ?当nN, mN时, ?(xn,xm)??(xn,x)+?(x,xm) ? ?{xn}是基本列 “必要性” 设{xn} ?X是基本列, X完备?{xn}?X是收敛点列 （完备性定义） 2）“必要性” 设{xn}?F? X是基本列，F是X的闭子空间. X完备，{xn}是基本列? ?x?X, 使xn?x (n??) F闭? x?F ′=F?{xn}在F中收敛?F完备 “充分性” 设F完备. ?{xn}?F，xn?x ?{xn}?F是基本列， F完备?x?F ?F是闭的。;; 定义5 （稀疏集与第二纲集）设X是距离空间 1）若X中任一个球都含有某一个球，使后者不含A的点，则称A为X中的稀疏集（疏朗集）。 2）若A=?An，每个An都在X内稀疏，则称A是在X内的第一纲集, 而X内的非第一纲集的集合称为第二纲集. 注：1°在稀疏集定义中，“任意球”可以是开球或闭球. 2°在R中，有理数集是第一纲集，而无理数集是第二纲集。 ;定理3 设X是距离空间，A是稀疏集?A不在X的任意球中稠密。;注：1）闭球套定理是完备距离空间中的重要定理之一；刻划了距离空间的完备性；是实数中的康托区间套定理的推广。 ; 完备性可以使空间具有很好的性质和广泛的应用，对于不完备的距离空间，它在应用上将会造成很多困难。;定义7 （完备化空间）设(X, ?X) 是距离空间, (Y, ?Y)是一个完备的距离空间，Y1?Y, 如果(1