完备度量空间

完备度量空间或者 完备空间是具有下述性质的空间：空间中的任何 柯西序列都收敛在该 空间之内。以有限维空间来说，向量的 范数相当于 向量的模的长度。但是在有限维欧式空间中还有一个很重要的概念—向量的夹角，特别是两个向量的正交。 内积空间是特殊的 线性赋范空间，在这类空间中可以引入正交的概念以及投影的概念，从而在内积空间中建立起相应的几何学。用内积导出的范数来定义距离， Banach空间就成为了 希尔伯特空间。  [1]  

中文名

完备度量空间

外文名

complete metric space

又    名

完备空间

性    质

空间任何 柯西序列都收敛在该 空间

应用学科

数学

相关术语

希尔伯特空间

目录

1. 1 直观理解
2. 2 完备化
3. ▪ 定义
4. ▪ 构造

1. ▪ 性质
2. 3 相关定理
3. 4 例子
4. 5 相关概念

1. 6 拓扑完备空间
2. 7 替代和概括

直观理解

编辑

在数学及其相关领域中，一个对象具有 完备性，即它不需要添加任何其他元素，这个对象也可称为 完备的或 完全的。更精确地，可以从多个不同的角度来描述这个定义，同时可以引入 完备化这个概念。但是在不同的领域中，“完备”也有不同的含义，特别是在某些领域中，“完备化”的过程并不称为“完备化”，另有其他的表述，请参考 代数闭域、 紧化(compactification)或 哥德尔不完备定理。

直观上讲，一个空间 完备就是指“没有孔”且“不缺皮”，两者都是某种“不缺点”。没有孔是指内部不缺点，不缺皮是指边界上不缺点。从这一点上讲，一个空间 完备同一个 集合的 闭包是类似的。这一类似还体现在以下定理中：完备空间的闭子集是完备的。 [1]  

完备化

编辑

定义

对任一度量空间 M，我们可以构造相应的完备度量空间 M'（或者表示为

   

），使得原度量空间成为新的完备度量空间的稠密子空间。 M'具备以下普适性质：若 N为任一完备度量空间， f为任一从 M到 N的一致连续函数，则存在唯一的从 M'到 N的一致连续函数 f'使得该函数为 f的扩展。新构造的完备度量空间 M'在 等距同构意义下由该性质所唯一决定，称为 M的 完备化空间。  [2]  

以上定义是基于 M是 M'的稠密子空间的概念。我们还可以将 完备化空间定义为包含 M的最小完备度量空间。可以证明，这样定义的完备化空间存在，唯一（在等距同构意义下），且与上述定义等价。

对于交换环及于其上的 模，同样可以定义相对于一个 理想的完备性及完备化。详见条目完备化 ( 环论)。

构造

类似于从有理数域出发定义无理数的方法，我们可以通过 柯西序列给原空间添加元素使其完备。

 

对 M中的任意两个柯西序列 x=( x n)和 y=( y n)，我们可以定义它们间的距离： d( x, y) = lim nd( x n, y n)（实数域完备所以该极限存在）。按此方式定义的度量还只是伪度量，这是因为不同的柯西序列均可收敛到0。但我们可以象很多情况中所做的一样（比如从 L到

   

），将新的度量空间定义为所有柯西序列的集合上的 等价类的集合，其中等价类是基于距离为0的 关系（易于验证该关系是 等价关系）。这样，令 ξx= { y是 M上的柯西序列：

   

， M'={ ξx：x ∈ M}，原空间 M就以 xξx的映射方式 嵌入到新的完备度量空间 M'中。易于验证， M等距同构于 M'的稠密子空间。

康托法构造实数是该完备化方法的一个特例：实数域是有理数域作为以通常的差的绝对值为距离的度量空间的完备化空间。

性质

康托尔的 实数建构是上述构造的特例；此时实数集可表为有理数集对绝对值的完备化。倘若在有理数集上另取其它的绝对值，得到的完备空间则为 p进数。

若将上述流程施于 赋范向量空间，可得到一个 巴拿赫空间，原空间是其中的稠密子空间。若施于一个 内积空间，得到的则是 希尔伯特空间，原空间依然是其稠密子空间。

相关定理

编辑

• 任一 紧致度量空间都是完备的。实际上，一个度量空间是紧致的当且仅当该空间是完备且完全有界的。
• 完备空间的任一子空间是完备的当且仅当它是一个闭子集。
• 若 X为一集合， M是一个完备度量空间，则所有从 X映射到 M的 有界函数 f的集合B( X, M)是一个完备度量空间，其中集合B( X, M)中的距离定义为：

 

。

• 若 X为一拓扑空间， M是一个完备度量空间，则所有从 X映射到 M的 连续有界函数 f的集合C b( X, M)是B( X, M)（按上一条目的定义）中的闭子集，因而也是完备的。
• 贝尔纲定理：任一完备度量空间为一 贝尔空间。就是说，该空间的可数个无处稠密子集的并集无 内点。

例子

编辑

（1） 有理数空间不是完备的，因为

   

的有限位小数表示是一个 柯西序列，但是其极限

   

不在有理数空间内。  [3]  

（2） 实数空间是完备的

（3） 开区间(0,1)不是完备的。序列(1/2, 1/3, 1/4, 1/5, ...)是柯西序列但其不收敛于(0, 1)中任何的点。

（4）令 S为任一集合， S为 S中的所有序列。如下定义 S上任意两个序列( xn)和( yn)的距离：如果存在某个最小的N，使

   

，那么定义距离为1/N；否则（所有的对应项都相等）距离为0。按此方式定义的度量空间是完备的。该空间 同胚于 离散空间 S的可数个副本的 积。

相关概念

编辑

完备与闭：前面讲，完备类似于闭，那么，“完备”与“闭”的区别在何处呢？它们的区别在于，完备是空间或集合的性质，而闭是 子集的性质。通常我们说某个集合是 闭集或 开集，实际上是指该集合是 R或某个拓扑空间的闭子集或开子集。例如，开区间(0, 1)是全集(0, 1)或

   

的闭子集，因为(0, 1)在这两个全集中的导集是其自身。但(0, 1)是 R的开子集。闭子集可以用收敛序列定义，因为收敛序列的极限点总是在全集中的，极限点在子集中与否决定该子集是否为闭子集。与此相对，完备性的定义中没有全集的概念，这也是为什么在其定义中必须用柯西序列而不能用收敛序列，因为在收敛序列的定义中必有极限点，若该极限点不在度量空间中，则收敛序列中的点到该极限点距离是未定义的。

拓扑完备空间

编辑

注意完备性是度量的属性，而不是拓扑的属性，这意味着完整的度量空间可以与非完整的度量空间同构。实数由实数给出，它们是完整的，但是与开放间隔（0,1）是同构的，其不完整。

在 拓扑中，考虑到完全符合条件的空格，空间至少存在一个导致给定拓扑的完整度量。完全可容纳的空间可以表征为可以写成一些完整度量空间的数量众多的开放子集的交集的空间。由于Baire类定理的结论纯粹是拓扑的，它也适用于这些空间。

完全可容纳的空间通常称为拓扑完整。然而，后一个术语是有些任意的，因为度量不是可以谈论完整性的拓扑空间中最通用的结构（参见替代和概括部分）。实际上，一些作者使用拓扑完整的术语来形容更广泛的拓扑空间，这是完全可以统一的空间。

与可分离完整度量空间同构的拓扑空间称为 波兰空间。

替代和概括

编辑

由于 柯西序列也可以在一般拓扑组中定义，依赖度量结构来定义完整性和构建空间完成的替代方法是使用组结构。这通常在拓扑向量空间的内容中看到，但是仅需要存在连续的“减法”操作。

也可以通过柯西网或柯西滤波器来取代柯西序列的完整性定义。如果每个柯西网（或等同于每个柯西过滤器）在X中都有一个限制，那么X称为完整的。柯西网适用的最普遍的情况是柯西空间。