- 1、本文档共28页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
距离空间的可分性 ?有理数在实数集中的稠密性 专题七 距离空间的可分性与完备性 距离空间的完备性 ?实数的完备性 一般距离空间的完备化 已知:在实直线上, 存在一个处处稠密的可数子集Q, 且成立完备性定理(即柯西收敛原理)。 问题:在一般的距离空间中,是否存在一个处处稠密 的可数子集?完备性定理是否总成立? 一、距离空间的可分性 1.距离空间中的稠密子集 定义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)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 有理数集在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 ???, ?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 按Lp[a,b]中距离在Lp[a,b]中
文档评论(0)