正在进行安全检测...
发布时间:2023-11-20 14:01:42
1.3度量空间的可分性与完备性在实数空间R中,有理数处处稠密,且全体有理数是可列的,我们称此性质为实数空间R的可分性.同时,实数空间R还具有完备性,即R中任何基本列必收敛于某实数.现在我们将这些概念推广到一般度量空间.1.3.1度量空间的可分性定义1.3.1设X是度量空间,A,BX,如果B中任意点xB的任何邻域O(x,都含有A的点,则称A在B中稠密.若AB,通常称A是B的稠密子集.注1:A在B中稠密并不意味着有AB.例如有理数在无理数中稠密;有理数也在实数中稠密.无理数在有理数中是稠密的,无理数在实数中也是稠密的,说明任何两个不相等的实数之间必有无限多个有理数也有无限多个无理数.定理1.3.1设(X,d是度量空间,下列命题等价:(1A在B中稠密;(2xB,{xn}A,使得limd(xn,x0;>>>>>n(3B>>>>>A(其中A>>>>>AA>>>>,A为A的闭包,A为A的导集(聚点集);(4任取0,有B覆盖B.证明按照稠密、闭包及聚点等相关定义易得.定理1.3.2稠密集的传递性设X是度量空间,A,B,CX,若A在B中稠密,B在C中稠密,则A在C中稠密.证明由定理1.1>>>>>知B>>>>>A,C