距离空间的可分性与完备性.ppt

机动 目录 上页 下页 返回 结束 第*页 距离空间的可分性 ?有理数在实数集中的稠密性 第三节 距离空间的可分性与完备性 距离空间的完备性 ?实数的完备性 一般距离空间的完备化 已知：在实直线上， 存在一个处处稠密的可数子集Q, 且成立完备性定理（即柯西收敛原理)。 问题：在一般的距离空间中，是否存在一个处处稠密 的可数子集？完备性定理是否总成立？ 一、距离空间的可分性 1.距离空间中的稠密子集 注: 1) B在A中稠密? ?x?A,?? 0, S(x,? )内含有B中的点 ? ?x?A, 有x?B 或x?B′?A?B 2) B在X中稠密 ? ?x?X,?? 0, S(x,? )内含有B中的点 ? ?x?X, 有x?B或x?B′ ? X?B ?B =X 定义1（稠密性) 设X是距离空间，A?X, B?X. (1) B在A中稠密, 若对于?x?A, ?{xn} ? B, 使xn?x (n??) (2) B在X中处处稠密 (或B是X的一个稠密子集), 若对于 ?x?X, ?{xn}? B, 使xn?x (n??). 例1 有理数集在R中处处稠密. 例2 Rn中的有理点集在Rn中稠密可数. 例3 多项式集合P在C[a,b]?Lp[a,b]中处处稠密. (魏尔斯特拉斯一致逼近定理: ?x(t)?C[a,b], ?{pn(t)}?P,使pn(t)?x(t)(n??), 即pn(t)按C[a,b]中的距离收敛于x(t).) 例4 [a,b]上的有界可测函数集合B[a,b]在Lp[a,b](p?1)中处处稠密. 证: ?x(t)?Lp[a,b], 定义函数列 ?xn(t) (n=1,2,…)是[a,b]上的有界可测函数, 且有 x(t)?Lp[a,b] ? ?x(t)?p?L1[a,b]???0, ??0, 使当E0?E=[a,b], m(E0)?时, 有 ??N,当nN时, m(E(?x?n))? ?xn?x(n??) ? B[a,b]在Lp[a,b]中稠密 (L积分的绝对连续性) 例5 [a,b]上的连续函数集合C[a,b]按Lp[a,b]中的距离在Lp[a,b]中处处稠密. 证: 由上例知B[a,b]在Lp[a,b]中稠密, 只要证明按Lp[a,b]中的距离C[a,b]在B[a,b] 中稠密即可. ?x(t)?B[a,b], ?x(t)??K. ??? 0, ??=(?/2K)p, ?y(t)?C[a,b]使得 m(E(x(t)?y(t)))? (由鲁金定理) 不妨设?y(t)?? K, E0=E(x(t) ? y(t)) ??(x,y) ? ?C[a,b]在B[a,b]?Lp[a,b]中稠密. 2. 距离空间的可分性 定义2 (可分距离空间) 设X是距离空间. X是可分距离空间, 若X中存在一个处处稠密且可数的子集. 注: 1) A?X是可分集?存在稠密点列{xn}?A 2) X不可分?X中没有任何处处稠密的可数子集。 X是可分距离空间?存在稠密点列{xn}?X 例1 R是可分的. (有理数集在R中处处稠密、可数) 例3 多项式集合P是可分的.（有理系数多项式集合P0在多项式集合P中可数稠密） 例2 Rn是可分的. ( Rn中的有理点集在Rn中稠密可数) 例4 C[a,b] 是可分的.（多项式集合P在C[ a,b]中处处稠密, 因而有理系数多项式集合P0在P?C[ a,b]中处处稠密可数） 证：1) 设x(t)?C[a,b], 由魏尔斯特拉斯一致逼近定理, ??0, ?p(t)?P ?C[a,b],使? (x,p)=max|x(t)-p(t)|?/2 ?多项式集合P在C[a,b]上稠密; 有理系数多项式集合P0在多项式集合P中稠密 ???0, ?p0(t)?P0? P, 使? (p,p0)=max|p(t)-p0(t)|?/2 ??? 0, ?p0(t)?P0? P ?C[a,b], 使 ? (x,p0)=max|x(t)-p0(t)| ?max|x(t)-p(t)|+max|p(t)-p0(t)| ? ?p0(t)?S(x,?)?P0按C[a,b]中距离在C[a,b]中稠密; 而P0?C[a,b]是可数集，因而C[a,b] 可分的。 ?p0(t)?S(x,?)?P0 按