13 度量空间的可分性与完备性
度量空间的完备化
度量空间的完备化度量空间是数学中的一个重要概念,它是指一个集合,其中定义了一个度量函数,用来衡量集合中元素之间的距离。
在度量空间中,我们可以讨论收敛性、连续性等概念。
然而,并不是所有的度量空间都是完备的,即存在一些序列在该空间中无法收敛。
为了解决这个问题,数学家们引入了完备化的概念,通过在原度量空间中添加一些额外的元素,使得原空间变得完备。
本文将介绍度量空间的完备化的概念、性质以及一些例子。
一、度量空间的完备化的定义在介绍度量空间的完备化之前,我们先来回顾一下度量空间的定义。
设X是一个非空集合,d是X上的一个度量函数,即对于任意的x, y, z∈X,满足以下条件:1. 非负性:d(x, y) ≥ 0,且当且仅当x = y时,d(x, y) = 0;2. 对称性:d(x, y) = d(y, x);3. 三角不等式:d(x, z) ≤ d(x, y) + d(y, z)。
那么,我们可以定义度量空间(X, d)为一个有序对,其中X是一个非空集合,d是X上的一个度量函数。
接下来,我们来定义度量空间的完备化。
设(X, d)是一个度量空间,我们称(X, d)的完备化为一个度量空间(Y, ρ),满足以下条件:1. Y是一个集合,且包含X;2. ρ是Y上的一个度量函数,且对于任意的x, y∈X,有ρ(x, y) = d(x, y);3. 对于任意的序列{x_n}⊆X,在度量空间(Y, ρ)中,如果序列{x_n}收敛,则它的极限也在Y中。
简单来说,度量空间的完备化就是在原度量空间中添加一些额外的元素,使得原空间中的所有收敛序列在完备化空间中也能收敛。
二、度量空间的完备化的性质度量空间的完备化具有一些重要的性质,下面我们来逐一介绍。
1. 完备性:度量空间的完备化是一个完备的度量空间。
也就是说,在完备化空间中,任意的Cauchy序列都是收敛的。
2. 唯一性:度量空间的完备化是唯一的,即对于给定的度量空间,它的完备化是唯一的。
度量空间完备的定义
度量空间完备的定义1.引言在数学中,特别是在拓扑学和实分析中,度量空间是一个非常重要的概念。
它提供了一个衡量空间中两点之间距离的方法,从而可以量化地描述空间的结构和性质。
完备的度量空间在数学和物理中有广泛的应用,例如在黎曼几何、调和分析、微分方程等领域。
理解度量空间的完备性是深入理解许多数学概念和技巧的关键。
2.度量空间的定义首先,我们需要了解什么是度量空间。
一个度量空间是一个有序对(X, d),其中 X 是一个集合,d 是 X 中的一种度量,也就是一个使得对于任意 x, y 属于 X 的函数 d(x, y) 非负、等于零当且仅当 x=y、以及 d(x, y)=d(y, x)(对称性)和 d(x, z) <= d(x, y) + d(y, z)(三角不等式)的函数。
在实数集上常用的欧几里得距离就是一种度量。
3.完备性的定义在度量空间中,完备性是一个重要的性质。
一个度量空间是完备的,如果它满足任何一个柯西序列(即,对于任意小的正数ε,存在一个正整数 N,使得对于所有的 n>N 和m>N,有d(xn, xm)<ε)都收敛于这个度量空间中的某个点。
简单来说,一个完备的度量空间意味着所有的柯西序列都有极限。
4.度量空间完备性的判定在实际应用中,我们需要判断一个给定的度量空间是否完备。
一个常用的方法是使用柯西序列的极限性质。
如果对于任意的柯西序列,都存在一个唯一的点x,使得该序列收敛于x,那么这个度量空间就是完备的。
此外,还可以通过其他一些性质来判断一个度量空间的完备性,例如闭性和完备性的等价性等。
5.完备度量空间的性质在数学分析中,我们常常用到一些性质来描述完备的度量空间。
这些性质包括:完备的度量空间是闭的;完备的度量空间是紧致的;完备的度量空间是连通的;完备的度量空间具有有限的可数稠密性等。
这些性质对于理解和应用度量空间的完备性非常有帮助。
6.完备度量空间的应用在许多数学分支和应用领域中,都涉及到度量空间的完备性。
度量空间与完备度量空间的基本性质
度量空间与完备度量空间的基本性质度量空间是数学中一种常见且重要的概念,它为我们研究空间中的距离和收敛性提供了数学工具。
在度量空间的基础上,还衍生出了完备度量空间这一概念,它具有更强的完备性质。
本文将介绍度量空间与完备度量空间的基本性质,并探讨它们在数学分析中的应用。
一、度量空间的基本性质度量空间是一种集合,其中每个元素都与其他元素之间存在一种(非负)距离关系。
设X为非空集合,d为X上的度量(距离)函数,若满足以下四个条件,即称(X,d)为一个度量空间:1. 非负性:对于任意x, y∈X,有d(x,y) ≥ 0,且当且仅当x = y时,有d(x,y) = 0;2. 同一性:对于任意x, y∈X,有d(x,y) = d(y,x);3. 对称性:对于任意x, y, z∈X,有d(x,y) + d(y,z) ≥ d(x,z)(三角不等式);4. 三角不等式:对于任意x, y∈X,有d(x,y) ≤ d(x,z) + d(z,y)。
基于以上性质,我们可以推导出诸多重要结论,例如嵌套定理、开覆盖定理等,这些定理在实际问题的分析和求解中具有重要应用。
二、完备度量空间的基本性质在度量空间的基础上,完备度量空间引入了“序列收敛性”的概念。
设(X,d)为一个度量空间,如果X中的任意柯西序列都在X中收敛,则称(X,d)为一个完备度量空间。
柯西序列是指对于任意ε > 0,存在自然数N,使得当m, n > N时,有d(xm, xn) < ε。
它反映了序列中元素之间逐渐趋近的特性。
若在柯西序列的度量空间中存在极限元素,即序列中的所有项无限接近该极限元素,则说明该度量空间是完备的。
完备度量空间的重要性质有:1. 完备度量空间是闭集:对于给定的完备度量空间(X,d),如果一个集合是某个闭集的子集,则该集合也是完备度量空间。
2. 内积空间和赋范空间是完备度量空间的特例:内积空间和赋范空间是更加特殊的度量空间,它们都是完备度量空间。
度量空间与完备性的概念
度量空间与完备性的概念在数学中,度量空间是一种常见的数学结构,它具有一种度量函数,用于测量集合中的元素之间的距离。
而完备性是度量空间中的一个重要性质,它表明该空间中任意柯西序列都收敛于该空间中的某个元素。
本文将介绍度量空间与完备性的概念,探讨其特性和应用。
一、度量空间的定义度量空间是一个集合X,其中带有一个度量函数d:X×X→R,满足以下条件:1. 非负性:对任意x,y∈X,都有d(x,y)≥0,且当且仅当x=y时,d(x,y)=0;2. 对称性:对任意x,y∈X,有d(x,y)=d(y,x);3. 三角不等式:对任意x,y,z∈X,有d(x,z)≤d(x,y)+d(y,z)。
二、完备性的定义在度量空间中,如果对于任何柯西序列{xn}⊆X,都存在一个元素x∈X,使得当n趋向于无穷时,d(x,xn)趋向于0,则称这个度量空间是完备的。
三、完备性的性质1. 完备性的等价定义:度量空间X是完备的,当且仅当每个柯西序列都收敛于该空间中的某个元素。
在度量空间中,柯西序列是指一个序列{xn},对任意ε>0,存在一个正整数N,当n,m>N时,有d(xn,xm)<ε。
2. 完备性的保持:完备性是度量空间的一个重要性质,而一个完备度量空间的闭子集也是完备的。
即如果度量空间X是完备的,Y是X的闭子集,则Y也是完备的。
3. 完备度量空间的例子:实数集R是一个完备的度量空间,而有理数集Q不是完备的度量空间。
四、完备性的应用1. 定义一致收敛:在函数分析中,完备性的概念常常用于定义一致收敛。
如果在度量空间X上有一列函数{fn},对于任意ε>0,存在一个正整数N,当n>N时,对所有的x∈X,都有d(f(x),fn(x))<ε,则称该列函数在X上一致收敛。
2. 构造完备空间:通过将某个度量空间中的柯西序列等价类引入,可以构造一个完备空间。
例如,利用有理数集Q上的柯西序列等价类,可以构造实数集R,而实数集就是一个完备空间。
度量空间的可分性与完备性
1.3 度量空间的可分性与完备性在实数空间R 中,有理数处处稠密,且全体有理数是可列的,我们称此性质为实数空间R 的可分性.同时,实数空间R 还具有完备性,即R 中任何基本列必收敛于某实数.现在我们将这些概念推广到一般度量空间.1.3.1 度量空间的可分性定义1.3.1 设X 是度量空间,,A B X ⊂,如果B 中任意点x B ∈的任何邻域(,)O x δ内都含有A 的点,则称A 在B 中稠密.若A B ⊂,通常称A 是B 的稠密子集.注1:A 在B 中稠密并不意味着有A B ⊂.例如有理数在无理数中稠密;有理数也在实数中稠密.无理数在有理数中是稠密的,无理数在实数中也是稠密的,说明任何两个不相等的实数之间必有无限多个有理数也有无限多个无理数.定理1.3.1 设(,)X d 是度量空间,下列命题等价: (1) A 在B 中稠密;(2) x B ∀∈,{}n x A ∃⊂,使得lim (,)0n n d x x →∞=;(3) B A ⊂(其中A A A '=U ,A 为A 的闭包,A '为A 的导集(聚点集));(4) 任取0δ>,有(,)x AB O x δ∈⊂U .即由以A 中每一点为中心δ为半径的开球组成的集合覆盖B .证明 按照稠密、闭包及聚点等相关定义易得.定理1.3.2 稠密集的传递性 设X 是度量空间,,,A B C X ⊂,若A 在B 中稠密,B 在C 中稠密,则A 在C 中稠密.证明 由定理1.1知B A ⊂,C B ⊂,而B 是包含B 的最小闭集,所以B B A ⊂⊂,于是有C A ⊂,即A 在C 中稠密.□注2:利用维尔特拉斯定理可证得{定理(Weierstrass 多项式逼近定理) 闭区间[,]a b 上的每一个连续函数都可以表示成某一多项式序列的一致收敛极限.}(1)多项式函数集[,]P a b 在连续函数空间[,]C a b 中稠密. 参考其它资料可知:(2)连续函数空间[,]C a b 在有界可测函数集[,]B a b 中稠密.(3)有界可测函数集[,]B a b 在p 次幂可积函数空间[,]p L a b 中稠密(1p ≤<+∞). 利用稠密集的传递性定理1.3.2可得:(4)连续函数空间[,]C a b 在p 次幂可积函数空间[,]p L a b 中稠密(1p ≤<+∞). 因此有[,][,][,][,]p P a b C a b B a b L a b ⊂⊂⊂.定义1.3.2 设X 是度量空间,A X ⊂,如果存在点列{}n x A ⊂,且{}n x 在A 中稠密,则称A 是可分点集(或称可析点集).当X 本身是可分点集时,称X 是可分的度量空间.注3:X 是可分的度量空间是指在X 中存在一个稠密的可列子集.例1.3.1 欧氏空间n R 是可分的.{坐标为有理数的点组成的子集构成n R 的一个可列稠密子集.}证明 设12{(,,,)|,1,2,,}n n i Q r r r r Q i n =∈=L L 为n R 中的有理数点集,显然n Q 是可数集,下证n Q 在n R 中稠密.对于n R 中任意一点12(,,,)n x x x x =L ,寻找n Q 中的点列{}k r ,其中12(,,,)k k k k n r r r r =L ,使得()k r x k →→∞.由于有理数在实数中稠密,所以对于每一个实数i x (1,2,,i n =L ),存在有理数列()k i i r x k →→∞.于是得到n Q 中的点列{}k r ,其中12(,,,)k k k k n r r r r =L ,1,2,.k =L现证()k r x k →→∞.0ε∀>,由()k i i r x k →→∞知,i K ∃∈N ,当i k K >时,有||ki i r x -<1,2,,i n =L取12max{,,,}n K K K K =L ,当k K >时,对于1,2,,i n =L ,都有||k i i r x -<,因此(,)k d r x ε=即()k r x k →→∞,从而知n Q 在n R 中稠密.□例1.3.2 连续函数空间[,]C a b 是可分的.{具有有理系数的多项式的全体[,]o P a b 在[,]C a b 中稠密,而[,]o P a b 是可列集.}证明 显然[,]o P a b 是可列集.()[,]x t C a b ∀∈,由Weierstrass 多项式逼近定理知,()x t 可表示成一致收敛的多项式的极限,即0ε∀>,存在(实系数)多项式()p t ε,使得(,)max |()()|2a t bd x p x t p t εεε≤≤=-<另外,由有理数在实数中的稠密性可知存在有理数多项式00()[,]p t P a b ∈,使得00(,)max |()()|2a t bd p p p t p t εεε≤≤=-<因此,00(,)(,)(,)d x p d x p d p p εεε≤+<,即0()(,)p t O x ε∈,在[,]C a b 中任意点()x t 的任意邻域内必有[,]o P a b 中的点,按照定义知[,]o P a b 在[,]C a b 中稠密.□例1.3.3 p 次幂可积函数空间[,]p L a b 是可分的.证明 由于[,]o P a b 在[,]C a b 中稠密,又知[,]C a b 在[,]p L a b 中稠密,便可知可数集[,]o P a b 在[,]p L a b 中稠密.□例1.3.4 p 次幂可和的数列空间p l 是可分的.证明 取12{(,,,,0,,0,)|,}o n i E r r r r Q n =∈∈L L L N ,显然o E 等价于1n n Q ∞=U ,可知o E 可数,下面证o E 在p l 中稠密.12(,,,,)pn x x x x l ∀=∈L L ,有1||p i i x ∞=<+∞∑,因此0ε∀>,N ∃∈N ,当n N >时,1||2p pin N x ε∞=+<∑又因Q 在R 中稠密,对每个i x (1i N ≤≤),存在i r Q ∈,使得||2p pi i x r Nε-<,(1,2,3,,)i N =L于是得1||2p Npiii x r ε=-<∑令0120(,,,,0,,0,)N x r r r E =∈L L L ,则11011(,)(||||)()22ppNppppi i iii i N d x x x r xεεε∞==+=-+<+=∑∑因此o E 在p l 中稠密.□例1.3.5 设[0,1]X =,则离散度量空间0(,)X d 是不可分的.证明 假设0(,)X d 是可分的,则必有可列子集{}n x X ⊂在X 中稠密.又知X 不是可列集,所以存在*x X ∈,*{}n x x ∉.取12δ=,则有 ***01(,)(,)2O x x d x x x δ⎧⎫=<=⎨⎬⎩⎭即*(,)O x δ中不含{}n x 中的点,与{}n x 在X 中稠密相矛盾.□思考题: 离散度量空间0(,)X d 可分的充要条件为X 是可列集.注意:十进制小数转可转化为二进制数:乘2取整法,即乘以2取整,顺序排列,例如 (0.625)10=(0.101)2 0.625⨯2=1.25取1;0.25⨯2=0.50取0;0.5⨯2=1.00取1.二进制小数可转化为十进制小数,小数点后第一位为1则加上0.5(即1/2),第二位为1则加上0.25(1/4),第三位为1则加上0.125(1/8)以此类推.即1221011(0.)()2nn i ii x x x x ==∑L ,例如 (0.101)2=1010111(101)(0.625)248=⨯+⨯+⨯=.因此[0,1]与子集12{(,,,,)0 1}n n A x x x x x ===L L 或对等,由[0,1]不可数知A 不可列.例1.3.6 有界数列空间l ∞是不可分的.12{(,,,,)=()| }n i l x x x x x x ∞==L L 为有界数列,对于()i x x =,()i y y =∈l ∞,距离定义为1(,)sup ||i i i d x y x y ≥=-.证明 考虑l ∞中的子集12{(,,,,)0 1}n n A x x x x x ===L L 或,则当,x y A ∈,x y ≠时,有(,)1d x y =.因为[0,1]中每一个实数可用二进制表示,所以A 与[0,1]一一对应,故A 不可列.假设l ∞可分,即存在一个可列稠密子集0A ,以0A 中每一点为心,以13为半径作开球,所有这样的开球覆盖l ∞,也覆盖A .因0A 可列,而A 不可列,则必有某开球内含有A 的不同的点,设x 与y 是这样的点,此开球中心为0x ,于是001121(,)(,)(,)333d x y d x x d x y =≤+<+=矛盾,因此l ∞不可分.□1.3.2 度量空间的完备性实数空间R 中任何基本列(Cauchy 列)必收敛.即基本列和收敛列在R 中是等价的,现在将这些概念推广到一般的度量空间.定义1.3.3 基本列设{}n x 是度量空间X 中的一个点列,若对任意0ε>,存在N ,当,m n N >时,有(,)m n d x x ε<则称{}n x 是X 中的一个基本列(或Cauchy 列). 定理1.3.3 (基本列的性质) 设(,)X d 是度量空间,则 (1) 如果点列{}n x 收敛,则{}n x 是基本列; (2) 如果点列{}n x 是基本列,则{}n x 有界;(3) 若基本列含有一收敛子列,则该基本列收敛,且收敛到该子列的极限点. 证明 (1) 设{}n x X ⊂,x X ∈,且n x x →.则0ε∀>,N N ∃∈,当n N >时,(,)2n d x x ε<,从而n ,m N >时,(,)(,)(,)22n m n m d x x d x x d x x εεε≤+<+=.即得{}n x 是基本列.(2) 设{}n x 为一基本列,则对1ε=,存在N ,当n N >时,有1(,)1N n d x x ε+<=,记11211max{(,),(,),,(,),1}1N N N N M d x x d x x d x x +++=+L ,那么对任意的,m n ,均有11(,)(,)(,)2n m n N m N d x x d x x d x x M M M ++≤+<+=,即{}n x 有界.(3) 设{}n x 为一基本列,且{}kn x 是{}n x 的收敛子列,().kn x x k →→∞于是,10,N ε∀>∃∈N ,当1,m n N >时,(,)2n m d x x ε<;2N ∃∈N ,当2k N >时,(,)2kn d x x ε<.取12max{,}N N N =,则当n N >,k N >时,k n k N ≥>,从而有(,)(,)(,)22k k n n n n d x x d x x d x x εεε≤+<+=,故()n x x n →→∞.□注4:上述定理1.3.3表明收敛列一定是基本列(Cauchy 列),那么基本列是收敛列吗? 例1.3.7 设(0,1)X =,,x y X ∀∈,定义(,)d x y x y =-,那么度量空间(,)X d 的点列1{}1n x n ⎧⎫=⎨⎬+⎩⎭是X 的基本列,却不是X 的收敛列.证明 对于任意的0ε>,存在N ∈N ,使得1N ε>,那么对于m N a =+及n N b =+,其中,a b ∈N ,有11(,)11(1)(1)n m n m a bd x x x x N b N a N a N b -=-=-=++++++++max{,}1(1)(1)a b a b N a N b Na Nb Nε+<<=<+++++,即得{}n x 是基本列.显然1lim 01n X n →∞=∉+,故{}n x 不是X 的收敛列.或者利用1{}{}1n x n =+是R 上的基本列,可知0ε∀>,N ∃∈N ,当,n m N >时有 1111n m ε-<++.于是可知1{}1n x n ⎧⎫=⎨⎬+⎩⎭也是X 上的基本列.□ 如果一个空间中的基本列都收敛,那么在此空间中不必找出序列的极限,就可以判断它是否收敛,哪一类度量空间具有此良好性质呢?是完备的度量空间.定义1.3.4 完备性如果度量空间X 中的任何基本列都在X 中收敛,则称X 是完备的度量空间. 例1.3.8 n 维欧氏空间n R 是完备的度量空间.证明 由n R 中的点列收敛对应于点的各坐标收敛,以及R 的完备性易得.□ 例1.3.9 连续函数空间[,]C a b 是完备的度量空间.(距离的定义:[,](,)max |()()|t a b d f g f t g t ∈=-)证明 设{}n x 是[,]C a b 中的基本列,即任给0ε>,存在N ,当,m n N >时,(,)m n d x x ε<即[,]max ()()m n t a b x t x t ε∈-<故对所有的[,]t a b ∈,()()m n x t x t ε-<,由一致收敛的Cauchy 准则,知存在连续函数()x t ,使{()}n x t 在[,]a b 上一致收敛于()x t ,即(,)0()m d x x n →→∞,且[,]x C a b ∈.因此[,]C a b 完备.□例1.3.10 设[0,1]X C =,(),()f t g t X ∈,定义110(,)|()()|d f g f t g t dt =-⎰,那么1(,)X d 不是完备的度量空间.(注意到例1.3.9结论(,)X d 完备)证明 设10 021111()() 222111 12n t f t n t t n t n ⎧≤<⎪⎪⎪=-≤<+⎨⎪⎪+≤≤⎪⎩()[0,1]n f t C ∈的图形如图1.3.1所示.显然()[0,1]n f t C ∈,1,2,3,n =L .因为1(,)m n d f f 是下面右图中的三角形面积,所以0ε∀>,1N ε∃>,当,m n N >时,有1111(,)2m n d f f n mε=-<,112m ma =+112n na =+|()()|m n S f t f t dx∆=-⎰图1.3.1 ()[0,1]n f t C ∈图像及有关积分示意图于是{}n f 是X 的基本列.下面证{}n f 在X 中不收敛.若存在()f t X ∈,使得1(,)0()n d f f n →→∞.由于1(,)n d f f 1|()()|n f t f t dt =-⎰111221112210|()||()()||1()|n nn f t dt f t f t dt f t dt ++=+-+-⎰⎰⎰,显然上式右边的三个积分均非负,因此1(,)0n d f f →时,每个积分均趋于零.推得1212[0,]0()(,1]1t f t t ∈⎧=⎨∈⎩ 可见()f t 不连续,故{}n f 在X 中不收敛,即[0,1]C 在距离1d下不完备.□表1.3.1 常用空间的可分性与完备性度量空间距离 可分性 完备性n 维欧氏空间(,)nR d(,)d x y √ √ 离散度量空间0(,)X dX 可数00 (,)1x y d x y x y =⎧=⎨≠⎩当时 当时√√X 不可数×√ 连续函数空间[,]C a b[,](,)max |()()|t a b d f g f t g t ∈=-√ √1(,)()()bad f g f x g x dx =-⎰√×有界数列空间l ∞1(,)sup ||i i i d x y x y ≥=-× √ p 次幂可和的数列空间p l 11(,)||pp p i i i d x y x y ∞=⎛⎫=- ⎪⎝⎭∑√√ p 次幂可积函数空间([,],)p L a b d1[,](,)(|()()|)ppa b d f g f t g t dt =-⎰√√由于有理数系数的多项式函数集0[,]P a b 是可列的,以及0[,]P a b 在[,]P a b 、[,]C a b 、[,]B a b 以及[,]p L a b 中稠密,可知闭区间[,]a b 上多项式函数集[,]P a b 、连续函数集[,]C a b 、有界可测函数集[,]B a b 、p 次幂可积函数集[,]p L a b 均是可分的.前面的例子说明n 维欧氏空间n R 以及p 次幂可和的数列空间p l 也是可分空间,而有界数列空间l ∞和不可数集X 对应的离散度量空间0(,)X d 是不可分的.从上面的例子及证明可知,n 维欧氏空间n R 是完备的度量空间,但是按照欧氏距离(0,1)X =却不是完备的;连续函数空间[,]C a b 是完备的度量空间,但是在积分定义的距离110(,)|()()|d f g f t g t dt =-⎰下,[0,1]C 却不完备.由于离散度量空间中的任何一个基本列只是同一个元素的无限重复组成的点列,所以它是完备的.我们还可以证明p 次幂可和的数列空间p l 是完备的度量空间,p 次幂可积函数空间[,](1)p L a b p ≥是完备的度量空间,有界数列空间的完备性.通常所涉及到的空间可分性与完备性如表1.3.3所示.在度量空间中也有类似于表示实数完备性的区间套定理,就是下述的闭球套定理. 定理1.3.4 (闭球套定理)设(,)X d 是完备的度量空间,(,)n n n B O x δ=是一套闭球:12n B B B ⊃⊃⊃⊃L L .如果球的半径0()n n δ→→∞,那么存在唯一的点1n n x B ∞=∈I .证明 (1)球心组成的点列{}n x 为X 的基本列.当m n >时,有m m n x B B ∈⊂((,)n n O x δ=),可得(,)m n n d x x δ≤. (2.4)0ε∀>,取N ,当n N >时,使得n δε<,于是当,m n N >时,有(,)m n n d x x δε≤<,所以{}n x 为X 的基本列.(2)x 的存在性.由于(,)X d 是完备的度量空间,所以存在点x X ∈,使得lim n n x x →∞=.令(2.4)式中的m →∞,可得(,)n n d x x δ≤即知n x B ∈,1,2,3,n =L ,因此1n n x B ∞=∈I .(3) x 的唯一性.设还存在y X ∈,满足1n n y B ∞=∈I ,那么对于任意的n ∈N ,有,n x y B ∈,从而(,)(,)(,)20n n n d x y d x x d x y δ≤+≤→()n →∞,于是x y =.□注4:完备度量空间的另一种刻画:设(,)X d 是一度量空间,那么X 是完备的当且仅当对于X 中的任何一套闭球:12n B B B ⊃⊃⊃⊃L L ,其中(,)n n n B O x δ=,当半径0()n n δ→→∞,必存在唯一的点1n n x B ∞=∈I .大家知道1lim(1)n n e n→∞+=,可见有理数空间是不完备的,但添加一些点以后得到的实数空间是完备的,而完备的实数空间有着许多有理数空间不可比拟的好的性质与广泛的应用.对于一般的度量空间也是一样,完备性在许多方面起着重要作用.那么是否对于任一不完备的度量空间都可以添加一些点使之成为完备的度量空间呢?下面的结论给出了肯定的回答.定义1.3.5 等距映射设(,)X d ,(,)Y ρ是度量空间,如果存在一一映射:T X Y →,使得12,x x X ∀∈,有1212(,)(,)d x x Tx Tx ρ=,则称T 是X 到Y 上的等距映射,X 与Y 是等距空间(或等距同构空间).注5:从距离的角度看两个等距的度量空间,至多是两个空间里的属性不同,是同一空间的两个不同模型.另外度量空间中的元素没有运算,与(,)X d 相关的数学命题,通过等距映射T ,使之在(,)Y ρ中同样成立.因此把等距同构的(,)X d 和(,)Y ρ可不加区别而看成同一空间.定义1.3.6 完备化空间设X 是一度量空间,Y 是一完备的度量空间,如果Y 中含有与X 等距同构且在Y 中稠密的子集Y',则称Y 是X 的一个完备化空间.图1.3.2 度量空间X 的完备化示意图定理1.3.5 (完备化空间的存在与唯一性)对于每一个度量空间X ,必存在一个完备化的度量空间Y ,并且在等距同构意义下Y 是唯一确定的.例1.3.11 设,(,)x y R ∈=-∞+∞,定义距离(,)|arctan arctan |d x y x y =-,试证(,)R d 不是完备的空间.证明 取点列{}n x R ⊂,其中n x n =,注意lim arctan 2n n x π→∞=,显然不存在一点x R ∈,使得(,)|arctan arctan |0()n n d x x x x n =-→→∞.所以点列{}n x 在R 中没有极限.由于lim arctan 2x x π→∞=,即0ε∀>,N ∃,当,m n N >时,有|arctan |22m πε-<,|arctan |22n πε-<,于是(,)|arctan arctan |n m n m d x x x x =-|arctan ||arctan |22n m x x ππε≤-+-<因此点列{}n x 是基本列,却不是收敛列.□(此文档部分内容来源于网络,如有侵权请告知删除,文档可自行编辑修改内容,供参考,感谢您的配合和支持)编辑版word。
13 度量空间的可分性与完备性
1、3 度量空间的可分性与完备性在实数空间R 中,有理数处处稠密,且全体有理数就是可列的,我们称此性质为实数空间R 的可分性.同时,实数空间R 还具有完备性,即R 中任何基本列必收敛于某实数.现在我们将这些概念推广到一般度量空间.1.3.1 度量空间的可分性定义 1.3.1 设X 就是度量空间,,A B X ⊂,如果B 中任意点x B ∈的任何邻域(,)O x δ内都含有A 的点,则称A 在B 中稠密.若A B ⊂,通常称A 就是B 的稠密子集.注1:A 在B 中稠密并不意味着有A B ⊂.例如有理数在无理数中稠密;有理数也在实数中稠密.无理数在有理数中就是稠密的,无理数在实数中也就是稠密的,说明任何两个不相等的实数之间必有无限多个有理数也有无限多个无理数.定理1.3.1 设(,)X d 就是度量空间,下列命题等价: (1) A 在B 中稠密;(2) x B ∀∈,{}n x A ∃⊂,使得lim (,)0n n d x x →∞=;(3) B A ⊂(其中A A A '=,A 为A 的闭包,A '为A 的导集(聚点集)); (4) 任取0δ>,有(,)x AB O x δ∈⊂.即由以A 中每一点为中心δ为半径的开球组成的集合覆盖B .证明 按照稠密、闭包及聚点等相关定义易得.定理1.3.2 稠密集的传递性 设X 就是度量空间,,,A B C X ⊂,若A 在B 中稠密,B 在C 中稠密,则A 在C 中稠密.证明 由定理1、1知B A ⊂,C B ⊂,而B 就是包含B 的最小闭集,所以B B A ⊂⊂,于就是有C A ⊂,即A 在C 中稠密.□注2:利用维尔特拉斯定理可证得{定理(Weierstrass 多项式逼近定理) 闭区间[,]a b 上的每一个连续函数都可以表示成某一多项式序列的一致收敛极限.}(1)多项式函数集[,]P a b 在连续函数空间[,]C a b 中稠密. 参考其它资料可知:(2)连续函数空间[,]C a b 在有界可测函数集[,]B a b 中稠密.(3)有界可测函数集[,]B a b 在p 次幂可积函数空间[,]p L a b 中稠密(1p ≤<+∞). 利用稠密集的传递性定理1.3.2可得:(4)连续函数空间[,]C a b 在p 次幂可积函数空间[,]p L a b 中稠密(1p ≤<+∞). 因此有[,][,][,][,]p P a b C a b B a b L a b ⊂⊂⊂.定义1.3.2 设X 就是度量空间,A X ⊂,如果存在点列{}n x A ⊂,且{}n x 在A 中稠密,则称A 就是可分点集(或称可析点集).当X 本身就是可分点集时,称X 就是可分的度量空间.注3:X 就是可分的度量空间就是指在X 中存在一个稠密的可列子集.例1.3.1 欧氏空间n R 就是可分的.{坐标为有理数的点组成的子集构成n R 的一个可列稠密子集.}证明 设12{(,,,)|,1,2,,}n n i Q r r r r Q i n =∈=为n R 中的有理数点集,显然n Q 就是可数集,下证n Q 在n R 中稠密.对于n R 中任意一点12(,,,)n x x x x =,寻找n Q 中的点列{}k r ,其中12(,,,)k k k k n r r r r =,使得()k r x k →→∞.由于有理数在实数中稠密,所以对于每一个实数i x (1,2,,i n =),存在有理数列()k i i r x k →→∞、于就是得到n Q 中的点列{}k r ,其中12(,,,)k k k k n r r r r =,1,2,.k =现证()k r x k →→∞.0ε∀>,由()k i i r x k →→∞知,i K ∃∈N ,当i k K >时,有||ki i r x -<1,2,,i n =取12max{,,,}n K K K K =,当k K >时,对于1,2,,i n =,都有||k i i r x -<因此(,)k d r x ε=即()k r x k →→∞,从而知n Q 在n R 中稠密.□例 1.3.2 连续函数空间[,]C a b 就是可分的.{具有有理系数的多项式的全体[,]o P a b 在[,]C a b 中稠密,而[,]o P a b 就是可列集.}证明 显然[,]o P a b 就是可列集.()[,]x t C a b ∀∈,由Weierstrass 多项式逼近定理知,()x t 可表示成一致收敛的多项式的极限,即0ε∀>,存在(实系数)多项式()p t ε,使得(,)max |()()|2a t bd x p x t p t εεε≤≤=-<另外,由有理数在实数中的稠密性可知存在有理数多项式00()[,]p t P a b ∈,使得00(,)max |()()|2a t bd p p p t p t εεε≤≤=-<因此,00(,)(,)(,)d x p d x p d p p εεε≤+<,即0()(,)p t O x ε∈,在[,]C a b 中任意点()x t 的任意邻域内必有[,]o P a b 中的点,按照定义知[,]o P a b 在[,]C a b 中稠密.□例1.3.3 p 次幂可积函数空间[,]p L a b 就是可分的.证明 由于[,]o P a b 在[,]C a b 中稠密,又知[,]C a b 在[,]p L a b 中稠密,便可知可数集[,]o P a b 在[,]p L a b 中稠密.□例1.3.4 p 次幂可与的数列空间p l 就是可分的.证明 取12{(,,,,0,,0,)|,}o n i E r r r r Q n =∈∈N ,显然o E 等价于1n n Q ∞=,可知o E 可数,下面证o E 在p l 中稠密.12(,,,,)p n x x x x l ∀=∈,有1||p i i x ∞=<+∞∑,因此0ε∀>,N ∃∈N ,当n N >时,1||2p pin N x ε∞=+<∑又因Q 在R 中稠密,对每个i x (1i N ≤≤),存在i r Q ∈,使得||2p pi i x r Nε-<,(1,2,3,,)i N =于就是得1||2p Npiii x r ε=-<∑令0120(,,,,0,,0,)N x r r r E =∈,则11011(,)(||||)()22ppNppppi i iii i N d x x x r xεεε∞==+=-+<+=∑∑因此o E 在p l 中稠密.□例1.3.5 设[0,1]X =,则离散度量空间0(,)X d 就是不可分的.证明 假设0(,)X d 就是可分的,则必有可列子集{}n x X ⊂在X 中稠密.又知X 不就是可列集,所以存在*x X ∈,*{}n x x ∉.取12δ=,则有 ***01(,)(,)2O x x d x x x δ⎧⎫=<=⎨⎬⎩⎭即*(,)O x δ中不含{}n x 中的点,与{}n x 在X 中稠密相矛盾.□思考题: 离散度量空间0(,)X d 可分的充要条件为X 就是可列集.注意:十进制小数转可转化为二进制数:乘2取整法,即乘以2取整,顺序排列,例如 (0、625)10=(0、101)2 0、625⨯2=1、25取1;0、25⨯2=0、50取0;0、5⨯2=1、00取1. 二进制小数可转化为十进制小数,小数点后第一位为1则加上0、5(即1/2),第二位为1则加上0、25(1/4),第三位为1则加上0、125(1/8)以此类推.即1221011(0.)()2nn i ii x x x x ==∑,例如 (0、101)2=1010111(101)(0.625)248=⨯+⨯+⨯=. 因此[0,1]与子集12{(,,,,)0 1}n n A x x x x x ===或对等,由[0,1]不可数知A 不可列.例1.3.6 有界数列空间l ∞就是不可分的.12{(,,,,)=()| }n i l x x x x x x ∞==为有界数列,对于()i x x =,()i y y =∈l ∞,距离定义为1(,)sup ||i i i d x y x y ≥=-.证明 考虑l ∞中的子集12{(,,,,)0 1}n n A x x x x x ===或,则当,x y A ∈,x y ≠时,有(,)1d x y =.因为[0,1]中每一个实数可用二进制表示,所以A 与[0,1]一一对应,故A 不可列.假设l ∞可分,即存在一个可列稠密子集0A ,以0A 中每一点为心,以13为半径作开球,所有这样的开球覆盖l ∞,也覆盖A .因0A 可列,而A 不可列,则必有某开球内含有A 的不同的点,设x 与y 就是这样的点,此开球中心为0x ,于就是001121(,)(,)(,)333d x y d x x d x y =≤+<+=矛盾,因此l ∞不可分.□1.3.2 度量空间的完备性实数空间R 中任何基本列(Cauchy 列)必收敛.即基本列与收敛列在R 中就是等价的,现在将这些概念推广到一般的度量空间.定义1.3.3 基本列设{}n x 就是度量空间X 中的一个点列,若对任意0ε>,存在N ,当,m n N >时,有(,)m n d x x ε<则称{}n x 就是X 中的一个基本列(或Cauchy 列).定理1.3.3 (基本列的性质) 设(,)X d 就是度量空间,则 (1) 如果点列{}n x 收敛,则{}n x 就是基本列; (2) 如果点列{}n x 就是基本列,则{}n x 有界;(3) 若基本列含有一收敛子列,则该基本列收敛,且收敛到该子列的极限点. 证明 (1) 设{}n x X ⊂,x X ∈,且n x x →.则0ε∀>,N N ∃∈,当n N >时,(,)2n d x x ε<,从而n ,m N >时,(,)(,)(,)22n m n m d x x d x x d x x εεε≤+<+=.即得{}n x 就是基本列.(2) 设{}n x 为一基本列,则对1ε=,存在N ,当n N >时,有1(,)1N n d x x ε+<=,记11211max{(,),(,),,(,),1}1N N N N M d x x d x x d x x +++=+,那么对任意的,m n ,均有11(,)(,)(,)2n m n N m N d x x d x x d x x M M M ++≤+<+=,即{}n x 有界.(3) 设{}n x 为一基本列,且{}kn x 就是{}n x 的收敛子列,().kn x x k →→∞于就是,10,N ε∀>∃∈N ,当1,m n N >时,(,)2n m d x x ε<;2N ∃∈N ,当2k N >时,(,)2kn d x x ε<.取12max{,}N N N =,则当n N >,k N >时,k n k N ≥>,从而有(,)(,)(,)22k k n n n n d x x d x x d x x εεε≤+<+=,故()n x x n →→∞.□注4:上述定理1.3.3表明收敛列一定就是基本列(Cauchy 列),那么基本列就是收敛列不? 例 1.3.7 设(0,1)X =,,x y X ∀∈,定义(,)d x y x y =-,那么度量空间(,)X d 的点列1{}1n x n ⎧⎫=⎨⎬+⎩⎭就是X 的基本列,却不就是X 的收敛列.证明 对于任意的0ε>,存在N ∈N ,使得1N ε>,那么对于m N a =+及n N b =+,其中,a b ∈N ,有11(,)11(1)(1)n m n m a bd x x x x N b N a N a N b -=-=-=++++++++ max{,}1(1)(1)a b a b N a N b Na Nb Nε+<<=<+++++,即得{}n x 就是基本列.显然1lim 01n X n →∞=∉+,故{}n x 不就是X 的收敛列.或者利用1{}{}1n x n =+就是R 上的基本列,可知0ε∀>,N ∃∈N ,当,n m N >时有 1111n m ε-<++.于就是可知1{}1n x n ⎧⎫=⎨⎬+⎩⎭也就是X 上的基本列.□ 如果一个空间中的基本列都收敛,那么在此空间中不必找出序列的极限,就可以判断它就是否收敛,哪一类度量空间具有此良好性质呢?就是完备的度量空间.定义1.3.4 完备性如果度量空间X 中的任何基本列都在X 中收敛,则称X 就是完备的度量空间. 例1.3.8 n 维欧氏空间n R 就是完备的度量空间.证明 由n R 中的点列收敛对应于点的各坐标收敛,以及R 的完备性易得.□ 例1.3.9 连续函数空间[,]C a b 就是完备的度量空间.(距离的定义:[,](,)max |()()|t a b d f g f t g t ∈=-)证明 设{}n x 就是[,]C a b 中的基本列,即任给0ε>,存在N ,当,m n N >时,(,)m n d x x ε<即[,]max ()()m n t a b x t x t ε∈-<故对所有的[,]t a b ∈,()()m n x t x t ε-<,由一致收敛的Cauchy 准则,知存在连续函数()x t ,使{()}n x t 在[,]a b 上一致收敛于()x t ,即(,)0()m d x x n →→∞,且[,]x C a b ∈、因此[,]C a b 完备.□例 1.3.10 设[0,1]X C =,(),()f t g t X ∈,定义110(,)|()()|d f g f t g t dt =-⎰,那么1(,)X d 不就是完备的度量空间.(注意到例1、3、9结论(,)X d 完备)证明 设10 021111()() 222111 12n t f t n t t n t n ⎧≤<⎪⎪⎪=-≤<+⎨⎪⎪+≤≤⎪⎩()[0,1]n f t C ∈的图形如图1.3.1所示.显然()[0,1]n f t C ∈,1,2,3,n =.因为1(,)m n d f f 就是下面右图中的三角形面积,所以0ε∀>,1N ε∃>,当,m n N >时,有1111(,)2m n d f f n mε=-<,112m ma =+112n na =+|()()|m n S f t f t dx∆=-⎰图1.3.1 ()[0,1]n f t C ∈图像及有关积分示意图于就是{}n f 就是X 的基本列.下面证{}n f 在X 中不收敛.若存在()f t X ∈,使得1(,)0()n d f f n →→∞.由于1(,)n d f f 10|()()|n f t f t dt =-⎰111221112210|()||()()||1()|n nn f t dt f t f t dt f t dt++=+-+-⎰⎰⎰,显然上式右边的三个积分均非负,因此1(,)0n d f f →时,每个积分均趋于零.推得1212[0,]0()(,1]1t f t t ∈⎧=⎨∈⎩ 可见()f t 不连续,故{}n f 在X 中不收敛,即[0,1]C 在距离1d 下不完备.□表1.3.1 常用空间的可分性与完备性度量空间距离 可分性 完备性n 维欧氏空间(,)nR d(,)d x y √ √ 离散度量空间0(,)X dX 可数 00 (,)1x y d x y x y =⎧=⎨≠⎩当时当时√√ X 不可数× √ 连续函数空间[,]C a b[,](,)max |()()|t a b d f g f t g t ∈=-√ √1(,)()()bad f g f x g x dx =-⎰√× 有界数列空间l ∞1(,)sup ||i i i d x y x y ≥=-× √ p 次幂可与的数列空间p l 11(,)||pp p i i i d x y x y ∞=⎛⎫=- ⎪⎝⎭∑√√ p 次幂可积函数空间([,],)p L a b d1[,](,)(|()()|)ppa b d f g f t g t dt =-⎰√√由于有理数系数的多项式函数集0[,]P a b 就是可列的,以及0[,]P a b 在[,]P a b 、[,]C a b 、[,]B a b 以及[,]p L a b 中稠密,可知闭区间[,]a b 上多项式函数集[,]P a b 、连续函数集[,]C a b 、有界可测函数集[,]B a b 、p 次幂可积函数集[,]p L a b 均就是可分的.前面的例子说明n 维欧氏空间n R 以及p 次幂可与的数列空间p l 也就是可分空间,而有界数列空间l ∞与不可数集X 对应的离散度量空间0(,)X d 就是不可分的.从上面的例子及证明可知,n 维欧氏空间n R 就是完备的度量空间,但就是按照欧氏距离(0,1)X =却不就是完备的;连续函数空间[,]C a b 就是完备的度量空间,但就是在积分定义的距离110(,)|()()|d f g f t g t dt =-⎰下,[0,1]C 却不完备.由于离散度量空间中的任何一个基本列只就是同一个元素的无限重复组成的点列,所以它就是完备的.我们还可以证明p 次幂可与的数列空间p l 就是完备的度量空间,p 次幂可积函数空间[,](1)p L a b p ≥就是完备的度量空间,有界数列空间的完备性.通常所涉及到的空间可分性与完备性如表1.3.3所示.在度量空间中也有类似于表示实数完备性的区间套定理,就就是下述的闭球套定理. 定理1.3.4 (闭球套定理)设(,)X d 就是完备的度量空间,(,)n n n B O x δ=就是一套闭球:12n B B B ⊃⊃⊃⊃.如果球的半径0()n n δ→→∞,那么存在唯一的点1n n x B ∞=∈.证明 (1)球心组成的点列{}n x 为X 的基本列.当m n >时,有m m n x B B ∈⊂((,)n n O x δ=),可得(,)m n n d x x δ≤. (2、4)0ε∀>,取N ,当n N >时,使得n δε<,于就是当,m n N >时,有(,)m n n d x x δε≤<,所以{}n x 为X 的基本列.(2)x 的存在性.由于(,)X d 就是完备的度量空间,所以存在点x X ∈,使得lim n n x x →∞=.令(2、4)式中的m →∞,可得(,)n n d x x δ≤即知n x B ∈,1,2,3,n =,因此1n n x B ∞=∈.(3) x 的唯一性.设还存在y X ∈,满足1n n y B ∞=∈,那么对于任意的n ∈N ,有,n x y B ∈,从而(,)(,)(,)20n n n d x y d x x d x y δ≤+≤→()n →∞,于就是x y =.□注4:完备度量空间的另一种刻画:设(,)X d 就是一度量空间,那么X 就是完备的当且仅当对于X 中的任何一套闭球:12n B B B ⊃⊃⊃⊃,其中(,)n n n B O x δ=,当半径0()n n δ→→∞,必存在唯一的点1n n x B ∞=∈.大家知道1lim(1)n n e n→∞+=,可见有理数空间就是不完备的,但添加一些点以后得到的实数空间就是完备的,而完备的实数空间有着许多有理数空间不可比拟的好的性质与广泛的应用.对于一般的度量空间也就是一样,完备性在许多方面起着重要作用.那么就是否对于任一不完备的度量空间都可以添加一些点使之成为完备的度量空间呢?下面的结论给出了肯定的回答.定义1.3.5 等距映射设(,)X d ,(,)Y ρ就是度量空间,如果存在一一映射:T X Y →,使得12,x x X ∀∈,有1212(,)(,)d x x Tx Tx ρ=,则称T 就是X 到Y 上的等距映射,X 与Y 就是等距空间(或等距同构空间).注5:从距离的角度瞧两个等距的度量空间,至多就是两个空间里的属性不同,就是同一空间的两个不同模型.另外度量空间中的元素没有运算,与(,)X d 相关的数学命题,通过等距映射T ,使之在(,)Y ρ中同样成立.因此把等距同构的(,)X d 与(,)Y ρ可不加区别而瞧成同一空间.定义1.3.6 完备化空间设X 就是一度量空间,Y 就是一完备的度量空间,如果Y 中含有与X 等距同构且在Y 中稠密的子集Y',则称Y 就是X 的一个完备化空间.图1.3.2 度量空间X 的完备化示意图定理1.3.5 (完备化空间的存在与唯一性)对于每一个度量空间X ,必存在一个完备化的度量空间Y ,并且在等距同构意义下Y 就是唯一确定的.例 1.3.11 设,(,)x y R ∈=-∞+∞,定义距离(,)|arctan arctan |d x y x y =-,试证(,)R d 不就是完备的空间.证明 取点列{}n x R ⊂,其中n x n =,注意lim arctan 2n n x π→∞=,显然不存在一点x R ∈,使得(,)|arctan arctan |0()n n d x x x x n =-→→∞.所以点列{}n x 在R 中没有极限.由于lim arctan 2x x π→∞=,即0ε∀>,N ∃,当,m n N >时,有|arctan |22m πε-<,|arctan |22n πε-<,于就是(,)|arctan arctan |n m n m d x x x x =-|arctan ||arctan |22n m x x ππε≤-+-<因此点列{}n x 就是基本列,却不就是收敛列.□。
13度量空间的可分性与完备性
1.3度量空间的可分性与完备性在实数空间R中,有理数处处稠密,且全体有理数是可列的,我们称此性质为实数空间R 的可分性•同时,实数空间R还具有完备性,即R中任何基本列必收敛于某实数•现在我们将这些概念推广到一般度量空间.1.3.1度量空间的可分性定义1.3.1 设X是度量空间,A,B X,如果B中任意点x B的任何邻域0(x,)内都含有A的点,则称A在B中稠密•若A B,通常称A是B的稠密子集•注1 : A在B中稠密并不意味着有 A B .例如有理数在无理数中稠密;有理数也在实数中稠密.无理数在有理数中是稠密的,无理数在实数中也是稠密的,说明任何两个不相等的实数之间必有无限多个有理数也有无限多个无理数.定理1.3.1 设(X,d)是度量空间,下列命题等价:(1)A在B中稠密;(2)x B,{xJ A,使得limd (人,x) 0 ;n(3) B A(其中A AU A , A为A的闭包,A为A的导集(聚点集));(4)任取0,有B U O(x,).即由以A中每一点为中心为半径的开球组成的集合x A覆盖B .证明按照稠密、闭包及聚点等相关定义易得.稠密集的传递性设X是度量空间,A,B,C X,若A在B中稠密,B在定理 1.3.2C中稠密,则A在C中稠密.证明由定理1.1知B A , C B,而B是包含B的最小闭集,所以 B B A,于是有C A,即A在C中稠密.口注2:利用维尔特拉斯定理可证得{定理(Weierstrass 多项式逼近定理)闭区间[a,b]上的每一个连续函数都可以表示成某一多项式序列的一致收敛极限. }(1) 多项式函数集P[a,b]在连续函数空间C[a,b]中稠密.参考其它资料可知:(2) 连续函数空间C[a, b]在有界可测函数集B[a,b]中稠密.(3) 有界可测函数集B[a,b]在p次幕可积函数空间L p[a,b]中稠密(1 p ).利用稠密集的传递性定理1.3.2可得:⑷连续函数空间C[a,b]在p次幕可积函数空间L p[a,b]中稠密(1 p ).因此有P[a,b] C[a,b] B[a,b] L p[a,b].定义1.3.2 设X是度量空间,A X,如果存在点列{x n} A,且{X n}在A中稠密,则称A是可分点集(或称可析点集).当X本身是可分点集时,称X是可分的度量空间.注3: X 是可分的度量空间是指在 X 中存在一个稠密的可列子集 .例1.3.1 欧氏空间R n 是可分的.{坐标为有理数的点组成的子集构成R n 的一个可列稠密子集.}证明 设Q n {( r ,r 2 L ,r n )|n Q,i 1,2,L , n }为R n 中的有理数点集,显然Q n 是可数集,下证Q n 在R n 中稠密.d (x,p ) max |x(t) p (t)| 2另外,由有理数在实数中的稠密性可知存在有理数多项式 p b (t) P 0[a,b],使得d(p , P o ) max | p (t) P o (t) | -a t b2因此,d(x, p o ) d (x, p ) d(p , p o ) ,即 p o (t) O(x,),在 C[a,b]中任意点 x(t)的任意邻域 内必有F 0[a,b]中的点,按照定义知P o [a,b]在C[a,b]中稠密.口例1.3.3p 次幕可积函数空间 L p [a, b]是可分的.证明 由于F 0[a,b]在C[a,b]中稠密,又知C[a,b]在L p [a,b]中稠密,便可知可数集F 0[a,b]在L p [a,b]中稠密.口例1.3.4 p 次幕可和的数列空间l p 是可分的.证明 取 E 。
度量空间的完备化定理
度量空间的完备化定理度量空间的完备化定理,听起来有点高大上,对吧?这个概念就像是一个人在拼图,拼图中缺少了几块,但我们知道,拼图的完整性是多么重要。
想象一下,你在玩一个拼图,突然发现有一块卡在沙发缝里了。
哎呀,心里那个急啊!完备化定理就是解决这种心急如焚的感觉的。
简单来说,它帮助我们在不完美的度量空间中找到缺失的部分,让我们能够安心地完成整个拼图。
什么是度量空间呢?这就像你有一个漂亮的花园,每一朵花都有自己的位置,彼此之间有一定的距离。
度量空间就帮我们定义了这些距离,比如说,花朵之间的间隔是多大。
可是,有时候这花园并不完整,有些花可能缺席,或者说那些花的位置不够优雅。
完备化的过程就是把这些缺失的花找回来,让整个花园焕然一新。
想象一下,你在一间图书馆里,书架上摆满了书,但你发现有几本书没有归位。
完备化就是把这些书找回来,放在正确的地方,让整个图书馆看起来完美无瑕。
这个过程很像我们生活中的许多事情。
比如说,你在聚会上缺少一个人,大家的热情稍微降低了。
完备化就像是把那个缺席的人找回来,聚会一下子热闹起来。
你可能会问,完备化定理有什么用呢?这玩意儿特别重要!就好比你在学校学的数学,很多时候你会发现自己在解决问题时,有时候会遇到一些“缺陷”的情况。
比如说,有些数是无理数,有些数又是无穷的。
完备化就像是给你提供了一把钥匙,打开了更高层次的数学大门,让你能解决更复杂的问题。
让我们再深入一点,完备化还有个特别的地方,就是它让我们能够用更简单的方式来理解复杂的概念。
就好比你在看一部悬疑电影,最后的揭晓让你恍若大梦初醒。
完备化就是帮助我们把所有的线索串联起来,让我们看到更完整的画面。
这种感觉就像是在黑暗中摸索,突然灯亮了,一切都变得清晰可见。
此外,完备化在实际应用中也有很大的帮助。
比如说,在计算机科学中,我们需要处理的数据常常是不完美的。
通过完备化,我们能够在不完整的数据中找到可靠的信息,像是从一堆垃圾中找到一颗闪闪发光的宝石。
在数学及其相关领域中的完备性
在数学及其相关领域中,一个对象具有完备性,即它不需要添加任何其他元素,这个对象也可称为完备的或完全的。
更精确地,可以从多个不同的角度来描述这个定义,同时可以引入完备化这个概念。
但是在不同的领域中,“完备”也有不同的含义,特别是在某些领域中,“完备化”的过程并不称为“完备化”,另有其他的表述,请参考代数闭域(algebraically closed field)、紧化(compactification)或哥德尔不完备定理。
一个度量空间或一致空间(uniform space)被称为“完备的”,如果其中的任何柯西列都收敛(converges),请参看完备空间。
在泛函分析(functional analysis)中, 一个拓扑向量空间(topological vector space)V的子集S 被称为是完全的,如果S的扩张(span)在V中是稠密的(dense)。
如果V是可分拓扑空间(separable topology space),那么也可以导出V中的任何向量都可以被写成S中元素的(有限或无限的)线性组合。
更特殊地,在希尔伯特空间(Hilbert space))中(或者略一般地,在线性内积空间(inner product space)中),一组标准正交基(orthonormal basis)就是一个完全而且正交的集合。
一个测度空间(measure space)是完全的,如果它的任何零测集(null set)的任何子集都是可测的。
请查看完全测度空间(complete measure)。
在统计学中,一个统计量(statistic)被称为完全的,如果它不允许存在0的无偏估计量(estimator)。
清查看完备统计量(complete statistic)。
在图论(graph theory)中,一个图被称为完全的(complete graph),如果这个图是无向图,并且任何两个顶点之间都恰有一条边连接。
在范畴论(category theory),一个范畴C被称为完备的,如果任何一个从小范畴到C的函子(functor)都有极限(limit)。
Rudin数学分析中的度量空间与完备性
Rudin数学分析中的度量空间与完备性度量空间是数学分析中的重要概念之一。
在Rudin的经典著作《数学分析原理》中,度量空间的概念以及完备性是其重要的内容之一。
本文将探讨Rudin数学分析中度量空间与完备性的相关理论。
I. 度量空间的概念度量空间是定义了度量的集合,其中度量是衡量距离的函数。
在Rudin的书中,度量空间的定义如下:设X是一个非空集合,如果存在一个函数d: X×X→R,满足以下条件:1. 对于任意的x,y∈X,d(x,y)≥0,并且当且仅当x=y时取等号;2. 对于任意的x,y∈X,d(x,y)=d(y,x)(对称性);3. 对于任意的x,y,z∈X,d(x,y)+d(y,z)≥d(x,z)(三角不等式);则称(X, d)为一个度量空间,其中d称为度量。
在Rudin的书中,度量空间的定义还包括了同时满足下面两个条件的性质:4. 对于任意的x,y∈X,如果d(x,y)=0,则x=y(分离性);5. 对于任意的x,y,z∈X,有d(x,z)≤d(x,y)+d(y,z)(广义三角不等式)。
II. 完备性的概念在度量空间中,完备性是一个重要的概念。
直观上讲,一个完备的度量空间中任意一个Cauchy序列都收敛于该度量空间中的某个点。
在Rudin的书中,给出了度量空间的完备性的定义:设X是一个度量空间,如果对于X中的任意一个Cauchy序列{xn},存在一个元素x∈X,使得当n趋向于无穷大时,有d(x,xn)趋向于零,那么称X是一个完备度量空间。
III. 度量空间与完备性的相关性质在Rudin的书中,给出了度量空间与完备性之间一些重要的性质和定理,如下所示:1. 空间的子空间:如果(X, d)是一个度量空间,A是X的一个子集,且令dA(x,y)=d(x,y),那么(A, dA)也是一个度量空间。
2. 合乘性:如果(X, d)是一个度量空间,对任意的正实数h,令dh(x,y)=hd(x,y),那么(X, dh)也是一个度量空间。
Rudin数学分析中的度量空间与完备性概念
Rudin数学分析中的度量空间与完备性概念度量空间是数学分析中一个重要的概念,它为我们提供了研究空间中元素之间距离和收敛性的工具。
在Rudin的《数学分析原理》一书中,度量空间和完备性是其中一个重要的主题。
本文将重点介绍Rudin 数学分析中的度量空间与完备性概念。
一、度量空间的定义与性质度量空间是指一个集合X及其上的一个度量d所构成的数学结构。
其中,度量d满足以下性质:1. 非负性:对于任意x, y∈X,有d(x, y)≥0,且当且仅当x=y时取等号。
2. 同一性:对于任意x, y∈X,有d(x, y)=d(y, x)。
3. 三角不等式:对于任意x, y, z∈X,有d(x, y)≤d(x, z)+d(z, y)。
基于度量空间的定义,我们可以得出一些重要的性质。
首先,度量空间中的元素是可比较的。
对于度量空间中的任意两个元素x和y,我们可以通过度量d(x, y)来比较它们之间的距离大小。
其次,度量空间中的元素可以进行加法和乘法运算。
通过定义度量d(x, y),我们可以将元素x和y进行相加、相减和数乘运算。
最后,度量空间也可以定义收敛性。
一个序列{xn}在度量空间X中收敛到元素x时,即lim(n→∞)d(xn, x)=0。
二、完备性的概念与定理完备性是度量空间理论中一个重要的概念,它描述了度量空间中序列的收敛性。
在Rudin的数学分析中,完备性可以通过序列的柯西性来定义。
柯西序列是指序列{xn}满足对于任意给定的正数ε,存在一个正整数N,当m, n>N时,有d(xm, xn)<ε。
也就是说,柯西序列中的元素随着序号的增加,它们之间的距离会越来越小。
在Rudin的《数学分析原理》一书中,他证明了一个重要的定理:度量空间X是完备的当且仅当它的每一个柯西序列都收敛于该空间中的某个元素。
这个定理为我们在分析度量空间的收敛性时提供了一个重要的判定条件。
三、例子与应用在Rudin的书中,他给出了许多具体的例子来帮助读者理解度量空间和完备性的概念。
完备性和基底的概念和应用
完备性和基底的概念和应用在数学领域中,完备性和基底是两个很重要的概念,它们在不同的领域中有着广泛的应用。
本文将从基本定义、应用案例以及相关问题等方面来探讨完备性和基底的概念和应用。
一、完备性完备性是指一个集合“足够大”,能够表示出其他所有的元素。
在数学领域中,我们通常使用完备性来描述一个度量空间的性质,也称为完备度量空间。
举个例子来说,对于实数集合R而言,我们可以定义距离函数d(x,y)=|x-y|,即x和y两数之差的绝对值。
如果对于任意的数列{xn},它在R中的每个收敛极限都可以在这个数列中找到一个子数列,使得这个子数列收敛于该极限,那么我们说R是一个完备的度量空间。
在实际应用中,完备性常常具备一定的实用性,例如在求解常微分方程时,我们可以将其视为求解一个度量空间,如果这个度量空间是完备的,那么我们就能在该度量空间中找到一个收敛的解,确保方程求解的唯一性。
二、基底基底是指在一个向量空间中,能够生成该向量空间的最小线性无关子集,即可以用该子集来表示向量空间中的任意向量。
例如,对于平面直角坐标系而言,我们可以选取{e1, e2}作为其基底向量,其中e1=(1,0)和e2=(0,1),那么空间中的任意向量都可以表示为其对e1和e2的线性组合。
在实际应用中,基底常常是求解问题的关键,例如在计算机科学领域中,我们可以使用基底来构建人工神经网络,实现对大规模数据的分类和预测。
基底还可以用来求解线性方程组、矩阵分解、最小二乘等问题。
三、完备性和基底的关系在某些情形下,完备性和基底是紧密相关的。
例如,线性空间中的基底通常是完备的,即任意向量都可以用基底向量的线性组合来表示。
但是在某些情况下,基底可能不完备,例如一个无限维向量空间,虽然可以有无穷多个线性无关的向量作为基底,但是其中可能存在无法表示为基底向量线性组合的向量。
在实际应用中,完备性和基底常常组合应用,例如在进行谱聚类时,谱聚类利用基底向量(即特征向量)来表示数据集合,并将它们映射到一个低维度的空间,以便进行聚类。
度量空间——精选推荐
设E 是集合,若映射:[0,)d E E R +×=+∞ 满足下述性质: M1:(,)0d x y x y =⇔= M2:(,)(,)d x y d y x = M3:(,)(,)(,)d x y d x z d z y ≤+则称映射d 是E 上的度量(metric),(,)d x y 称为点x ,y 间的距离(distance),(,)E d 称为度量空间(Metric space)[例1] 在实线R 上,映射(,)||x y x y →−是通常的度量 [例2] 设G 是一个(加法)交换群,映射:p G R + 满足:()00;()();()()()p x x p x p x p x y p x p y =⇔=−=+≤+则映射(,)()d x y p x y =−是G 上的度量 比如,12{(,,...,):}n n i R x x x x x R ==∈,1/1()(||),1nq q i i p x x q ==≥∑满足上述三个性质,因此1/1(,)()(||),1nq q i i i d x y p x y x y q ==−=−≥∑是n R 上的度量。
[例3] 离散度量:E 是一任意集合,(,)0;(,)1d x y if x y d x y if x y ===≠[距离空间的积]设{(,):1,2,...,}i i E d i n =是一簇度量空间,令积空间112(...)n i i n E E E E E ==×=×××,则(1)1/1(,)(,),1qnqq i i i i d x y d x y q =⎛⎞=≥⎜⎟⎝⎠∑(2)(,)sup (,)i i i i d x y d x y ∞= 均为积空间E 上的度量 [度量的等价性]设,d d ′是集合E 上的两个度量,如果存在常数12,0c c >使得1212(,)(,)(,),(,)()c d x y d x y c d x y x y E Ec d d c d ′≤≤∀∈×′≤≤则称,d d ′是等价的,记作d d ′∼[例4] 在积空间1n i i E E ==×中,不难验证:1/,1q q d d n d q ∞∞≤≤≥因此,{:[1,]}q d q ∈∞是E 上的一簇等价度量。
度量空间的完备化
度量空间的完备化度量空间是数学中重要的概念之一,它是一种能够度量元素之间距离的数学结构。
在实际问题中,我们常常需要考虑一些不完备的度量空间,即存在一些收敛序列却不收敛于该空间中的点。
为了解决这一问题,数学家们引入了完备化的概念,通过对不完备度量空间进行扩展,构造出一个完备的度量空间,使得原空间中的收敛序列在完备化空间中也能收敛。
本文将介绍度量空间的完备化的概念、构造方法以及完备化空间的性质。
一、度量空间的完备化概念在介绍度量空间的完备化之前,首先需要了解度量空间的定义。
度量空间是一个集合X和一个从X×X到非负实数集合R上的映射d组成的数学结构,满足以下性质:1. 非负性:对于任意的x, y∈X,有d(x, y) ≥ 0,且等号成立当且仅当x = y;2. 同一性:对于任意的x, y∈X,有d(x, y) = 0当且仅当x = y;3. 对称性:对于任意的x, y∈X,有d(x, y) = d(y, x);4. 三角不等式:对于任意的x, y, z∈X,有d(x, z) ≤ d(x, y) + d(y, z)。
若度量空间X中的每一个Cauchy序列都收敛于X中的某一点,则称X为完备度量空间。
而对于不完备的度量空间,我们可以通过构造一个完备的度量空间来扩展原空间,这个扩展的过程就是度量空间的完备化。
二、度量空间的完备化构造方法对于给定的度量空间X,我们可以通过以下步骤构造其完备化空间: 1. 构造Cauchy序列空间:首先定义一个等价关系∼,对于X中的两个序列{xn}和{yn},若它们的距离序列{d(xn, yn)}是Cauchy序列,则称{xn}∼{yn}。
将所有与X中元素等价的Cauchy序列构成一个集合,记为X*。
2. 定义等价类之间的距离:对于X*中的两个等价类[x]和[y],定义它们之间的距离为limn→∞d(xn, yn),其中{xn}∼[x],{yn}∼[y]。
3. 完备化空间的构造:以X*中的等价类为点集,以步骤2中定义的距离为度量,构造一个新的度量空间Y,称为X的完备化空间。
空间几何的完备性
空间几何的完备性空间几何学是一门研究空间形态、性质及其关系的学科,近几百年来发展迅速,尤其是在19世纪欧洲兴起的公理化几何学推动了空间几何的发展。
空间几何的完备性是其基础性质之一,本文将就此进行探讨。
一、什么是完备性?首先,我们需要了解什么是完备性。
在数学中,完备性是指一个公理系统是否足够完整,能够推导出该系统中的所有命题。
简单来说,就是这个系统是否“没有遗漏”。
通俗地说,我们可以将完备性理解为推导的连贯性及证明的坚实性,能够保证命题的正确性。
二、Euclid公理在数学史上,Euclid公理是最有名的公理系统之一,也是空间几何的基础。
Euclid公理由古希腊学者欧几里德在《几何原本》中提出,包含了空间几何学的基本概念和性质。
其公理包括:1. 两点之间可以画一条直线。
2. 一条有限直线可以延伸成为无限长直线。
3. 可以以线段为半径,以一个端点为圆心画一个圆。
4. 一切直角都相等。
5. 如果两条直线与第三条直线在同一侧成为内角,则这两条直线之和小于这个内角。
6. 通过一点可以有且只有一条与给定线段平行的直线。
这些公理在欧几里德的时代被视为真理,被广泛应用于日常生活和技术领域。
到了18世纪以后,欧几里德几何学被质疑,人们开始意识到其缺陷和局限。
三、非欧几里德几何学在欧几里德公理的基础上,德国数学家伯恩哈德•黎曼提出了曲面几何学的理论,在此基础上,非欧几何学得以产生。
非欧几何学是与欧几里德几何学不同的一种几何学,主要以三维为对象。
欧几里德几何学只考虑了平面上的图形和三角形,非欧几何学则在平面上构造了“圆盘模型”和“半平面模型”,有效地推广了欧几里德几何学。
非欧几何学与欧几里德几何学的区别在于其公理系统不同。
在非欧几何学根据选择的公理的不同可以产生不同的几何学,如双曲几何学和椭圆几何学等。
四、完备性的争议然而,完备性的争议从未停止。
在数理逻辑中,哥德尔不完全性定理表明了在任何一种公理系统中,必然存在无法判断其真伪的命题。
基础数学度量数论研究方向
基础数学度量数论研究方向数学是一门广泛应用于各个领域的学科,其中度量数论是数学中的一大分支,其主要研究内容是度量空间中各种数值属性的性质和规律。
度量空间是指一个集合及其上的度量函数,它主要研究点之间的距离和形状,包括欧几里德空间、离散空间、度量矩阵等。
度量数论通过对空间的距离和形状进行分析和研究,可以解决一些实际应用问题,如机器学习、统计分析、金融风险控制等领域。
度量数论研究的主要内容包括度量空间的基本性质、距离和相似性、连续性和收敛性、不等式和优化等。
其中,度量空间的基本性质是研究度量空间的完备性、紧性、可分性和连通性等;距离和相似性是研究点之间的距离关系和相似性的度量方法;连续性和收敛性是研究度量空间中的序列、极限和连续性等;不等式和优化是研究度量空间中的极小化和最大化等。
度量数论的应用范围非常广泛,其应用于机器学习领域可以研究数据间的相似性和距离,提高机器学习的精度和准确性;其应用于统计分析领域可以研究样本间的相似性,提高统计方法的稳定性和可靠性;其应用于金融风险控制领域可以研究资产之间的依存关系和风险度量,提高金融风险的管理和控制效益。
总之,度量数论是应用数学领域的重要分支,其研究内容和方法多样,其应用范围广泛,对于促进各领域的发展和进步有着至关重要
的作用。
对于学习和发展度量数论的青年学子来说,应不断拓展知识广度和深度,注重实践应用,将所学的数理知识广泛地应用与各领域之中。
第1章 度量空间
m d ( xm , xn ) d ( x0 , x1 ) (n>m) 1
d ( x, Tx ) d ( x, xm ) + d ( xm , Tx ) xm ) + d ( xm1, x ) 上面不等式右端当 d ( x, 时趋向于0,所以
m 下证唯一性。如果又有
,使
,即 。 d ( x, Tx ) = 0 ,则由条件(1),= Tx x
Sn = {x E : d 1
n
1.2.2 开集,闭集,邻域,聚点及有界集等 概念
定义1.2.4 设A为度量空间E的一个子集,若A中一切在E中收 敛的点列的极限仍属于A,则称A为E的一个闭子集,规定空 集 是闭子集。 闭子集A的余集 A E A = {x E : x A} 称为E的开子集。
① x+y=y+x ② (x+y)+z=x+(y+z) ③ E中存在唯一的元素(称它为零元素),使对 x E ,成立着
x + = x
④ 对于E中每一个元素x,存在唯一的元素 x* E 满足x + x* = 称 x*为x的负元素,记为-x; ⑵ 对任何 x E 即任何实(或复)数 a K,存在元素 v E 使v=ax,v称为a和x的数积。这个数积运算适合:
( )
(
x X
)
Tx = x
( )
1.4 度量空间的完备化
定义 1.4.1 设(X,d)与(W,p)都是度量空间,如果有X到W的 p(Tx, Ty) = d ( x, y), x, y X 满射T,满足 则称T为从(X,d)到(W,p)上的等距同构映射,并称(X,d)与 (W,p)为等距同构的独立空间,简称为X与W等距同构。
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
1.3 度量空间的可分性与完备性在实数空间R 中,有理数处处稠密,且全体有理数是可列的,我们称此性质为实数空间R 的可分性.同时,实数空间R 还具有完备性,即R 中任何基本列必收敛于某实数.现在我们将这些概念推广到一般度量空间.1.3.1 度量空间的可分性定义1.3.1 设X 是度量空间,,A B X ⊂,如果B 中任意点x B ∈的任何邻域(,)O x δ内都含有A 的点,则称A 在B 中稠密.若A B ⊂,通常称A 是B 的稠密子集.注1:A 在B 中稠密并不意味着有A B ⊂.例如有理数在无理数中稠密;有理数也在实数中稠密.无理数在有理数中是稠密的,无理数在实数中也是稠密的,说明任何两个不相等的实数之间必有无限多个有理数也有无限多个无理数.定理1.3.1 设(,)X d 是度量空间,下列命题等价: (1) A 在B 中稠密;(2) x B ∀∈,{}n x A ∃⊂,使得lim (,)0n n d x x →∞=;(3) B A ⊂(其中A A A '=U ,A 为A 的闭包,A '为A 的导集(聚点集));(4) 任取0δ>,有(,)x AB O x δ∈⊂U .即由以A 中每一点为中心δ为半径的开球组成的集合覆盖B .证明 按照稠密、闭包及聚点等相关定义易得.定理1.3.2 稠密集的传递性 设X 是度量空间,,,A B C X ⊂,若A 在B 中稠密,B 在C 中稠密,则A 在C 中稠密.证明 由定理1.1知B A ⊂,C B ⊂,而B 是包含B 的最小闭集,所以B B A ⊂⊂,于是有C A ⊂,即A 在C 中稠密.□注2:利用维尔特拉斯定理可证得{定理(Weierstrass 多项式逼近定理) 闭区间[,]a b 上的每一个连续函数都可以表示成某一多项式序列的一致收敛极限.}(1)多项式函数集[,]P a b 在连续函数空间[,]C a b 中稠密. 参考其它资料可知:(2)连续函数空间[,]C a b 在有界可测函数集[,]B a b 中稠密.(3)有界可测函数集[,]B a b 在p 次幂可积函数空间[,]p L a b 中稠密(1p ≤<+∞). 利用稠密集的传递性定理1.3.2可得:(4)连续函数空间[,]C a b 在p 次幂可积函数空间[,]p L a b 中稠密(1p ≤<+∞). 因此有[,][,][,][,]p P a b C a b B a b L a b ⊂⊂⊂.定义1.3.2 设X 是度量空间,A X ⊂,如果存在点列{}n x A ⊂,且{}n x 在A 中稠密,则称A 是可分点集(或称可析点集).当X 本身是可分点集时,称X 是可分的度量空间.注3:X 是可分的度量空间是指在X 中存在一个稠密的可列子集.例1.3.1 欧氏空间n R 是可分的.{坐标为有理数的点组成的子集构成n R 的一个可列稠密子集.}证明 设12{(,,,)|,1,2,,}n n i Q r r r r Q i n =∈=L L 为n R 中的有理数点集,显然n Q 是可数集,下证n Q 在n R 中稠密.对于n R 中任意一点12(,,,)n x x x x =L ,寻找n Q 中的点列{}k r ,其中12(,,,)k k k k n r r r r =L ,使得()k r x k →→∞.由于有理数在实数中稠密,所以对于每一个实数i x (1,2,,i n =L ),存在有理数列()k i i r x k →→∞.于是得到n Q 中的点列{}k r ,其中12(,,,)k k k k n r r r r =L ,1,2,.k =L现证()k r x k →→∞.0ε∀>,由()k i i r x k →→∞知,i K ∃∈N ,当i k K >时,有||ki i r x -<1,2,,i n =L取12max{,,,}n K K K K =L ,当k K >时,对于1,2,,i n =L ,都有||k i i r x -<,因此(,)k d r x ε=即()k r x k →→∞,从而知n Q 在n R 中稠密.□例1.3.2 连续函数空间[,]C a b 是可分的.{具有有理系数的多项式的全体[,]o P a b 在[,]C a b 中稠密,而[,]o P a b 是可列集.}证明 显然[,]o P a b 是可列集.()[,]x t C a b ∀∈,由Weierstrass 多项式逼近定理知,()x t 可表示成一致收敛的多项式的极限,即0ε∀>,存在(实系数)多项式()p t ε,使得(,)max |()()|2a t bd x p x t p t εεε≤≤=-<另外,由有理数在实数中的稠密性可知存在有理数多项式00()[,]p t P a b ∈,使得00(,)max |()()|2a t bd p p p t p t εεε≤≤=-<因此,00(,)(,)(,)d x p d x p d p p εεε≤+<,即0()(,)p t O x ε∈,在[,]C a b 中任意点()x t 的任意邻域内必有[,]o P a b 中的点,按照定义知[,]o P a b 在[,]C a b 中稠密.□例1.3.3 p 次幂可积函数空间[,]p L a b 是可分的.证明 由于[,]o P a b 在[,]C a b 中稠密,又知[,]C a b 在[,]p L a b 中稠密,便可知可数集[,]o P a b 在[,]p L a b 中稠密.□例1.3.4 p 次幂可和的数列空间p l 是可分的.证明 取12{(,,,,0,,0,)|,}o n i E r r r r Q n =∈∈L L L N ,显然o E 等价于1n n Q ∞=U ,可知o E 可数,下面证o E 在p l 中稠密.12(,,,,)pn x x x x l ∀=∈L L ,有1||p i i x ∞=<+∞∑,因此0ε∀>,N ∃∈N ,当n N >时,1||2p pin N x ε∞=+<∑又因Q 在R 中稠密,对每个i x (1i N ≤≤),存在i r Q ∈,使得||2p pi i x r Nε-<,(1,2,3,,)i N =L于是得1||2p Npiii x r ε=-<∑令0120(,,,,0,,0,)N x r r r E =∈L L L ,则11011(,)(||||)()22ppNppppi i iii i N d x x x r xεεε∞==+=-+<+=∑∑因此o E 在p l 中稠密.□例1.3.5 设[0,1]X =,则离散度量空间0(,)X d 是不可分的.证明 假设0(,)X d 是可分的,则必有可列子集{}n x X ⊂在X 中稠密.又知X 不是可列集,所以存在*x X ∈,*{}n x x ∉.取12δ=,则有 ***01(,)(,)2O x x d x x x δ⎧⎫=<=⎨⎬⎩⎭即*(,)O x δ中不含{}n x 中的点,与{}n x 在X 中稠密相矛盾.□思考题: 离散度量空间0(,)X d 可分的充要条件为X 是可列集.注意:十进制小数转可转化为二进制数:乘2取整法,即乘以2取整,顺序排列,例如 (0.625)10=(0.101)2 0.625⨯2=1.25取1;0.25⨯2=0.50取0;0.5⨯2=1.00取1.二进制小数可转化为十进制小数,小数点后第一位为1则加上0.5(即1/2),第二位为1则加上0.25(1/4),第三位为1则加上0.125(1/8)以此类推.即1221011(0.)()2nn i ii x x x x ==∑L ,例如(0.101)2=1010111(101)(0.625)248=⨯+⨯+⨯=.因此[0,1]与子集12{(,,,,)0 1}n n A x x x x x ===L L 或对等,由[0,1]不可数知A 不可列.例1.3.6 有界数列空间l ∞是不可分的.12{(,,,,)=()| }n i l x x x x x x ∞==L L 为有界数列,对于()i x x =,()i y y =∈l ∞,距离定义为1(,)sup ||i i i d x y x y ≥=-.证明 考虑l ∞中的子集12{(,,,,)0 1}n n A x x x x x ===L L 或,则当,x y A ∈,x y ≠时,有(,)1d x y =.因为[0,1]中每一个实数可用二进制表示,所以A 与[0,1]一一对应,故A 不可列.假设l ∞可分,即存在一个可列稠密子集0A ,以0A 中每一点为心,以13为半径作开球,所有这样的开球覆盖l ∞,也覆盖A .因0A 可列,而A 不可列,则必有某开球内含有A 的不同的点,设x 与y 是这样的点,此开球中心为0x ,于是001121(,)(,)(,)333d x y d x x d x y =≤+<+=矛盾,因此l ∞不可分.□1.3.2 度量空间的完备性实数空间R 中任何基本列(Cauchy 列)必收敛.即基本列和收敛列在R 中是等价的,现在将这些概念推广到一般的度量空间.定义1.3.3 基本列设{}n x 是度量空间X 中的一个点列,若对任意0ε>,存在N ,当,m n N >时,有(,)m n d x x ε<则称{}n x 是X 中的一个基本列(或Cauchy 列). 定理1.3.3 (基本列的性质) 设(,)X d 是度量空间,则 (1) 如果点列{}n x 收敛,则{}n x 是基本列; (2) 如果点列{}n x 是基本列,则{}n x 有界;(3) 若基本列含有一收敛子列,则该基本列收敛,且收敛到该子列的极限点. 证明 (1) 设{}n x X ⊂,x X ∈,且n x x →.则0ε∀>,N N ∃∈,当n N >时,(,)2n d x x ε<,从而n ,m N >时,(,)(,)(,)22n m n m d x x d x x d x x εεε≤+<+=.即得{}n x 是基本列.(2) 设{}n x 为一基本列,则对1ε=,存在N ,当n N >时,有1(,)1N n d x x ε+<=,记11211max{(,),(,),,(,),1}1N N N N M d x x d x x d x x +++=+L ,那么对任意的,m n ,均有11(,)(,)(,)2n m n N m N d x x d x x d x x M M M ++≤+<+=,即{}n x 有界.(3) 设{}n x 为一基本列,且{}kn x 是{}n x 的收敛子列,().kn x x k →→∞于是,10,N ε∀>∃∈N ,当1,m n N >时,(,)2n m d x x ε<;2N ∃∈N ,当2k N >时,(,)2kn d x x ε<.取12max{,}N N N =,则当n N >,k N >时,k n k N ≥>,从而有(,)(,)(,)22k k n n n n d x x d x x d x x εεε≤+<+=,故()n x x n →→∞.□注4:上述定理1.3.3表明收敛列一定是基本列(Cauchy 列),那么基本列是收敛列吗? 例1.3.7 设(0,1)X =,,x y X ∀∈,定义(,)d x y x y =-,那么度量空间(,)X d 的点列1{}1n x n ⎧⎫=⎨⎬+⎩⎭是X 的基本列,却不是X 的收敛列.证明 对于任意的0ε>,存在N ∈N ,使得1N ε>,那么对于m N a =+及n N b =+,其中,a b ∈N ,有11(,)11(1)(1)n m n m a bd x x x x N b N a N a N b -=-=-=++++++++max{,}1(1)(1)a b a b N a N b Na Nb Nε+<<=<+++++,即得{}n x 是基本列.显然1lim 01n X n →∞=∉+,故{}n x 不是X 的收敛列.或者利用1{}{}1n x n =+是R 上的基本列,可知0ε∀>,N ∃∈N ,当,n m N >时有 1111n m ε-<++.于是可知1{}1n x n ⎧⎫=⎨⎬+⎩⎭也是X 上的基本列.□ 如果一个空间中的基本列都收敛,那么在此空间中不必找出序列的极限,就可以判断它是否收敛,哪一类度量空间具有此良好性质呢?是完备的度量空间.定义1.3.4 完备性如果度量空间X 中的任何基本列都在X 中收敛,则称X 是完备的度量空间. 例1.3.8 n 维欧氏空间n R 是完备的度量空间.证明 由n R 中的点列收敛对应于点的各坐标收敛,以及R 的完备性易得.□ 例1.3.9 连续函数空间[,]C a b 是完备的度量空间.(距离的定义:[,](,)max |()()|t a b d f g f t g t ∈=-)证明 设{}n x 是[,]C a b 中的基本列,即任给0ε>,存在N ,当,m n N >时,(,)m n d x x ε<即[,]max ()()m n t a b x t x t ε∈-<故对所有的[,]t a b ∈,()()m n x t x t ε-<,由一致收敛的Cauchy 准则,知存在连续函数()x t ,使{()}n x t 在[,]a b 上一致收敛于()x t ,即(,)0()m d x x n →→∞,且[,]x C a b ∈.因此[,]C a b 完备.□例1.3.10 设[0,1]X C =,(),()f t g t X ∈,定义110(,)|()()|d f g f t g t dt =-⎰,那么1(,)X d 不是完备的度量空间.(注意到例1.3.9结论(,)X d 完备)证明 设10 021111()() 222111 12n t f t n t t n t n ⎧≤<⎪⎪⎪=-≤<+⎨⎪⎪+≤≤⎪⎩()[0,1]n f t C ∈的图形如图1.3.1所示.显然()[0,1]n f t C ∈,1,2,3,n =L .因为1(,)m n d f f 是下面右图中的三角形面积,所以0ε∀>,1N ε∃>,当,m n N >时,有1111(,)2m n d f f n mε=-<,112m ma =+112n na =+|()()|m n S f t f t dx∆=-⎰图1.3.1 ()[0,1]n f t C ∈图像及有关积分示意图于是{}n f 是X 的基本列.下面证{}n f 在X 中不收敛.若存在()f t X ∈,使得1(,)0()n d f f n →→∞.由于1(,)n d f f 1|()()|n f t f t dt =-⎰111221112210|()||()()||1()|n nn f t dt f t f t dt f t dt ++=+-+-⎰⎰⎰,显然上式右边的三个积分均非负,因此1(,)0n d f f →时,每个积分均趋于零.推得1212[0,]0()(,1]1t f t t ∈⎧=⎨∈⎩ 可见()f t 不连续,故{}n f 在X 中不收敛,即[0,1]C 在距离1d下不完备.□表1.3.1 常用空间的可分性与完备性度量空间距离 可分性完备性 n 维欧氏空间(,)nR d(,)d x y =√ √ 离散度量空间0(,)X dX 可数 00 (,)1x y d x y x y =⎧=⎨≠⎩当时 当时√√X 不可数× √ 连续函数空间[,]C a b[,](,)max |()()|t a b d f g f t g t ∈=-√ √1(,)()()bad f g f x g x dx =-⎰√× 有界数列空间l ∞1(,)sup ||i i i d x y x y ≥=-×√ p 次幂可和的数列空间p l 11(,)||pp p i i i d x y x y ∞=⎛⎫=- ⎪⎝⎭∑√√ p 次幂可积函数空间([,],)p L a b d1[,](,)(|()()|)ppa b d f g f t g t dt =-⎰√√由于有理数系数的多项式函数集0[,]P a b 是可列的,以及0[,]P a b 在[,]P a b 、[,]C a b 、[,]B a b以及[,]p L a b 中稠密,可知闭区间[,]a b 上多项式函数集[,]P a b 、连续函数集[,]C a b 、有界可测函数集[,]B a b 、p 次幂可积函数集[,]p L a b 均是可分的.前面的例子说明n 维欧氏空间n R 以及p 次幂可和的数列空间p l 也是可分空间,而有界数列空间l ∞和不可数集X 对应的离散度量空间0(,)X d 是不可分的.从上面的例子及证明可知,n 维欧氏空间n R 是完备的度量空间,但是按照欧氏距离(0,1)X =却不是完备的;连续函数空间[,]C a b 是完备的度量空间,但是在积分定义的距离110(,)|()()|d f g f t g t dt =-⎰下,[0,1]C 却不完备.由于离散度量空间中的任何一个基本列只是同一个元素的无限重复组成的点列,所以它是完备的.我们还可以证明p 次幂可和的数列空间p l 是完备的度量空间,p 次幂可积函数空间[,](1)p L a b p ≥是完备的度量空间,有界数列空间的完备性.通常所涉及到的空间可分性与完备性如表1.3.3所示.在度量空间中也有类似于表示实数完备性的区间套定理,就是下述的闭球套定理. 定理1.3.4 (闭球套定理)设(,)X d 是完备的度量空间,(,)n n n B O x δ=是一套闭球:12n B B B ⊃⊃⊃⊃L L .如果球的半径0()n n δ→→∞,那么存在唯一的点1n n x B ∞=∈I .证明 (1)球心组成的点列{}n x 为X 的基本列.当m n >时,有m m n x B B ∈⊂((,)n n O x δ=),可得(,)m n n d x x δ≤. (2.4)0ε∀>,取N ,当n N >时,使得n δε<,于是当,m n N >时,有(,)m n n d x x δε≤<,所以{}n x 为X 的基本列.(2)x 的存在性.由于(,)X d 是完备的度量空间,所以存在点x X ∈,使得lim n n x x →∞=.令(2.4)式中的m →∞,可得(,)n n d x x δ≤即知n x B ∈,1,2,3,n =L ,因此1n n x B ∞=∈I .(3) x 的唯一性.设还存在y X ∈,满足1n n y B ∞=∈I ,那么对于任意的n ∈N ,有,n x y B ∈,从而(,)(,)(,)20n n n d x y d x x d x y δ≤+≤→()n →∞,于是x y =.□注4:完备度量空间的另一种刻画:设(,)X d 是一度量空间,那么X 是完备的当且仅当对于X 中的任何一套闭球:12n B B B ⊃⊃⊃⊃L L ,其中(,)n n n B O x δ=,当半径0()n n δ→→∞,必存在唯一的点1n n x B ∞=∈I .大家知道1lim(1)n n e n→∞+=,可见有理数空间是不完备的,但添加一些点以后得到的实数空间是完备的,而完备的实数空间有着许多有理数空间不可比拟的好的性质与广泛的应用.对于一般的度量空间也是一样,完备性在许多方面起着重要作用.那么是否对于任一不完备的度量空间都可以添加一些点使之成为完备的度量空间呢?下面的结论给出了肯定的回答.定义1.3.5 等距映射设(,)X d ,(,)Y ρ是度量空间,如果存在一一映射:T X Y →,使得12,x x X ∀∈,有1212(,)(,)d x x Tx Tx ρ=,则称T 是X 到Y 上的等距映射,X 与Y 是等距空间(或等距同构空间).注5:从距离的角度看两个等距的度量空间,至多是两个空间里的属性不同,是同一空间的两个不同模型.另外度量空间中的元素没有运算,与(,)X d 相关的数学命题,通过等距映射T ,使之在(,)Y ρ中同样成立.因此把等距同构的(,)X d 和(,)Y ρ可不加区别而看成同一空间.定义1.3.6 完备化空间设X 是一度量空间,Y 是一完备的度量空间,如果Y 中含有与X 等距同构且在Y 中稠密的子集Y',则称Y 是X 的一个完备化空间.图1.3.2 度量空间X 的完备化示意图定理1.3.5 (完备化空间的存在与唯一性)对于每一个度量空间X ,必存在一个完备化的度量空间Y ,并且在等距同构意义下Y 是唯一确定的.例1.3.11 设,(,)x y R ∈=-∞+∞,定义距离(,)|arctan arctan |d x y x y =-,试证(,)R d 不是完备的空间.证明 取点列{}n x R ⊂,其中n x n =,注意lim arctan 2n n x π→∞=,显然不存在一点x R ∈,使得(,)|arctan arctan |0()n n d x x x x n =-→→∞.所以点列{}n x 在R 中没有极限.由于lim arctan 2x x π→∞=,即0ε∀>,N ∃,当,m n N >时,有|arctan |22m πε-<,|arctan |22n πε-<,于是(,)|arctan arctan |n m n m d x x x x =-|arctan ||arctan |22n m x x ππε≤-+-<因此点列{}n x 是基本列,却不是收敛列.□实用标准文案精彩文档。