Loading [MathJax]/jax/output/HTML-CSS/jax.js

度量空间以及由此引出的一些概念

目录

1 度量空间

定义 X是一个集,它的元素叫做点,如果 X的任意两点 pq联系于一个实数d(p,q),叫做从pq 距离他们满足条件:

  1. 如果pq,那么 d(p,q)>0;d(p,p)=0;
  2. d(p,q)=d(p,p);
  3. 对于任意 rX, d(p,q)d(p,r)+d(r,q);

就称X是一个 度量空间

从定义可知,度量空间中有距离的概念。有距离才有度量,就像在Viterbi译码过程中,有欧氏距离或者汉明距离的定义,才会有幸存路径度量的概念。在度量空间中,距离函数的定义非常重要。最常见的度量空间是欧式空间Rk,特别是 R1(实数轴)和 R2(复平面)。在Rk中,距离定义为 d(x,y)=|xy|,x,yRk

2 由度量空间引出的一些定义

度量空间中有一些非常重要的概念。这些概念互相关联为度量空间中的分析奠定了基础,特别是以下几个概念的引出更是环环相扣(以下提到的点和集都是度量空间 X中的点和集):

  1. p的邻域 Nr(p)指的是满足条件 d(p,q)<r的一切点q所成的集。 r叫做Nr(p)的半径。
  2. p叫做集E的极限点,如果 p的每个邻域都有一点 qEqp
  3. 如果 pEp不是 E的极限点,则pE的孤立点。
  4. E是闭集,如果 E的每个极限点都是E的点.
  5. p叫做E的内点,如果存在p的一个邻域N,有NE
  6. E是开集,如果 E的所有点都是E的内点。
  7. {p|pX,E}构成E的余集Ec.
  8. E叫做完全的,如果E是闭集,并且E的每个点都是E的极限点。
  9. E叫做有界的,如果有一个实数M和一个点qX,使得一切pE都满足d(p,q)<M
  10. E叫做在X中稠密,如果X的每个点或是E的极限点,或是E的点。

显然,在R1中,邻域就是开区间;在R2中,邻域就是圆的内部(不包含圆的边)。这里特别要强调的极限点的定义,根据极限点的定义,极限点有可能不是E的点。比如,在R2中,对于集合|z<1|,满足z=1的那些点都是|z<1|的极限点,但是这些点却不是|z<1|的点。另外一个例子{1n|n=1,2,}有一个极限点0,但是0却不是这个集合中的点。所以,对于集合拥有极限点和集合包含极限点是两个概念。

3 与开集闭集有关的定理及其证明

在Rudin的教材中,从度量空间以及刚才引出的那些定义出发,还有几个定理,如下:

定理 邻域必是开集

证明 :假设有一邻域 E=Nr(p),令 qE中的任意一点,于是有一正实数 h使得 d(p,q)=rh 对于一切 d(q,s)<h 的点 s,我们有 d(p,s)d(p,q)+d(q,s)<rh+h=r 所以sE。 因此, qE的内点。

这个证明相当简洁,在证明过程中,两次用到邻域概念,一次用到开集概念。巩固了对开集和邻域定义的理解。

定理 如果p是集E的一个极限点,那么p的每个邻域都含有E的无限多个点。

证明 :假设 p的某个邻域N只含有 E 的有限多个极限点, 令 q1,,qnNE 中这有限个异于 p 的点。 又令 r=min1mnd(p,qm) 显然有 r>0。那么邻域 Nr(p)中不能再含有E的点q并且qp。所以 p不是 E的极限点,矛盾。

定理 有限的点集没有极限点

定理 E是开集,当且仅当它的余集是闭集。

证明 :首先假设 Ec是闭集,我们证明E是开集。假设xE,所以xEc。另外x也不可能是Ec的极限点(因为我们假设Ec是闭集,闭集所有的极限点都是该集合的点。)。于是x有一个邻域N,使得NE=,即:NE。所以xE的内点,所以E是开集。

反过来,假设E是开集,我们证明Ec是闭集。假设xEc的一个极限点,那么x的每个邻域都含有Ec的点,所以x不是E的内点。因为E是开集,所以xEcEc是闭集。

这个定理的证明过程紧扣开集,闭集,极限点和内点的定义

定理{Eα}是若干(有限个或无限多个)集Eα的一个组,那么(αEα)c=α(Ecα)

证明 :令 A=(αEα)c, B=α(Ecα),若xA,则x(αEα),对于任意的α,有xEα,从而α,xEcα,所以xEcα,即 AB.

反过来,如果xB,那么对于每个αxEcα。也即对于每个αxE。因此 xαEα。即x(αEα)c,于是BA

定理 (a) 任意一组开集{Gα}的并 αGα是开集。 (b) 任意一组闭集{Fα}的交 αFα是闭集。(c) 任意一组有限个开集 G1,,Gn的交 ni=1Gi是开集。(d) 任意一组有限个闭集 F1,,Fn的并 ni=1Fi是闭集。

证明 :令G=αGα。如果xG,就有某个α,使得 xGα。从开集的定义出发(如果集合中所有的点都是内点,则该集合为开集),我们知道 xGα的内点,从而x也是G的内点。由于x的任意性,所以G是开集。 这样我们就证明了定理的(a)。

接下来我们证明(b): Fa是闭集,闭集的余集是开集,意味着 Fca是开集,根据(a),我们有 αFcα是开集。我们还知道 {Eα}是若干(有限个或无限多个)集Eα的一个组,那么(αEα)c=α(Ecα) 。 所以 (α)c是开集。开集的余集是闭集,意味着 αFα是闭集。

4 闭包及相关定理

今天还不是很累,觉得应该可以把闭包和相关的定理给学习完毕。

闭包X是度量空间,如果 EXE表示 EX中所有极限点组成的集,那么,把¯E=EE叫做 E的闭包。

解读:E中的点不一定属于EE中的点是EX中的极限点,根据极限点的定义,我们知道E的极限点不一定属于E。从而,E中的点也不一定属于EE的闭包ˉE包含的点有属于E的点,也有不属于E的点。ˉE中属于E的那些点,或者是E的极限点,或者是E的孤立点。总之EˉE,但是ˉE不一定等于E

定理X是度量空间,而EX,那么 (a) ˉE ;(b) E=ˉE当前仅当E闭;(c) 如果闭集FXEF,那么ˉEF。 由(a)和(c),ˉEX中包含E的最小闭子集。

证明 如果pXpˉE,根据闭包的定义,p既不是E的点,也不是E的极限点。因此,p有某个邻域与E不交。所以ˉE的余集是开集,因此ˉE是闭集。

证明(b):如果E=ˉE,(a)表明E闭。如果E闭,那么E的极限点是E的点,那么EE。所以ˉE=E

证明(c):如果F闭,且FX,则FF。根据闭集定义,F的所有极限点都属于F,即FF,因此EF,于是ˉEF

由(a)和(c),我们知道 ˉEX中包含E的最小闭子集。具体为,根据(c),由于F的任意性,ˉE属于F。根据定义ˉE=EE,我们知道EˉE。可以说,除了闭包ˉE外,任何包含E的闭集,都至少包含了闭包ˉE。这样说或许有些不严密,但是是一个理解过程。

解读 上面这个定理告诉我们,闭包是包含该集合的最小闭集。上述定理也提出了一种从一个集合构建包含该集合最小闭集的步骤。

定理E是一个非空实数集,上有界,令y=supE,那么yˉE。特别的,如果E闭,那么,yE

证明 如果yE,那么yˉE。接下来我们考虑yE的情形,对于每个h>0,存在xE,使得yh<x<y。因为如果这样的h不存在的话,yh就是E的上界了。所以yE的极限点。

解读 这是根据极限点的定义来的。(点p叫做集E的极限点,如果点p的每个邻域都含有一点qEqp)。鉴于h的任意性和x的任意性,在y的任意邻域内,总有一点属于E,所以y符合极限点的定义,故yE的极限点。这个定理告诉我们:一个集合的上确界属于这个集合的闭包。几乎不假思索我们可以知道,一个集合的下确界也属于这个集合的闭包。

定义X是度量空间,设EYX,我们说EX的开子集,就是说给每个pE配备一个正数r,使得d(p,q)<rqX 能保证qEpE的内点。特别的,如果能给每个pE配备一个r>0, 当d(p,q)<rqY时,就有qE,我们就说E关于Y是开的。一个集合可以关于Y是开的,然而却不是X的开子集。

比如开区间(a,b)R1R2。显然,对于每个p(a,b),配备一个正数r,使得d(p,q)<rqR2,但是我们不能保证qE。因此(a,b)不是R2的开子集。但是对于每个p(a,b),配备一个整数r,使得d(p,q)<rqY。即(a,b)关于Y是开的。关于"一个集合可以关于Y是开的,然而却不是X的开子集。" 有如下定理:

定理YX, Y的子集E关于Y是开的,当且仅当X有某个开子集G,使E=YG

证明E关于Y是开集。那么对于每个pE,有正数rp使得条件d(p,q)<rpqY保证qE。令Vp是一切合于d(p,q)<rpqX的集,并定义G=pEVpGX的开子集。因为一切pE都有pVp,显然EGY。根据Vp的构造过程,对于每个pE,我们有VpYE,从而GYE。这样E=GY

反过来,如果GX的一个开集,而E=GY,那么每个pE有一个邻域VpG。于是VpYE,所以E关于Y是开集。