l2空间的完备性_距离空间的可分性与完备性.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,当n>N时, m(E(?x?>n)) ?xn?x(n??) ? B[a,b]在Lp[a,b]中稠密 (L积分的绝对连续性) 例5 [a,b]上的连续函数集合C[a,b]按Lp[a,b]中的