完备度量空间 · aiwiki.page

完备度量空间是指每个柯西序列都在空间内有极限的度量空间。柯西条件表示，序列中足够靠后的项彼此可以任意接近，而无须预先假定极限存在。完备性保证这种空间内部的逼近过程确实会收敛。它是数学分析中的一个基本条件，在存在性证明和函数空间的构造中尤为重要。(math.hws.edu)

定义与基本含义

设 $(X,d)$ 为度量空间。如果 $X$ 中的序列 $(x_n)$ 满足

\forall\varepsilon>0\;\exists N\in\mathbb N\; \forall m,n\ge N,\qquad d(x_m,x_n)<\varepsilon,

则称其为柯西序列。如果每个这样的序列都收敛到某个 $x\in X$ ，即

\lim_{n\to\infty}d(x_n,x)=0,

则称该空间是完备的。

由三角不等式可知，每个收敛序列都是柯西序列；完备性则保证反过来也成立。完备性并不意味着每个序列都收敛，而只是说每个柯西序列都收敛。因此，完备性区分了两个问题：序列各项是否彼此趋近，以及空间是否包含它们的极限点。(math.hws.edu)

例子与反例

实数集 $\mathbb R$ 配备度量 $d(x,y)=|x-y|$ 后构成完备度量空间。有限维欧几里得空间 $\mathbb R^n$ 在欧几里得距离下也完备：柯西序列的各坐标序列都是柯西序列，它们的实数极限共同组成原序列的极限。出于同样的原因，复数集在通常的模长度量下也是完备的。(math.hws.edu)

有理数集 $\mathbb Q$ 在通常的距离下并不完备。逐步逼近 $\sqrt2$ 的有理数可以构成柯西序列，但该序列没有有理数极限。同样， $(0,1)$ 在通常的距离下也不完备：序列 $x_n=1/(n+1)$ 趋近于不属于该区间的端点 $0$ 。这些例子说明，缺少极限点可以导致空间不完备。(math.rice.edu)

完备性不一定依赖数值坐标。任何集合配备离散度量——不同点之间的距离为 $1$ ——后都是完备的，因为其中每个柯西序列从某一项起都保持不变。在泛函分析中，巴拿赫空间是指在度量 $d(x,y)=\|x-y\|$ 下完备的赋范向量空间。希尔伯特空间则在其内积诱导的范数下完备。(math.rice.edu)

子空间与紧性

完备度量空间的闭集在限制到该集合上的度量下也是完备的。事实上，其中的柯西序列在母空间中收敛，而闭性保证这些极限仍在该子集内。反过来，度量空间的任何完备子空间都是闭的，即使母空间本身不完备也是如此。因此，在完备的母空间中，子空间的闭性与完备性等价。若没有母空间完备这一前提，仅有闭性并不足以保证完备性。(mathematik.uni-muenchen.de)

完备性比紧性弱。每个紧度量空间都是完备的，但 $\mathbb R$ 完备却不紧。两者之间的精确关系是

\text{紧}\quad\Longleftrightarrow\quad \text{完备且全有界}.

对于任意 $\varepsilon>0$ ，全有界空间都可以用有限个半径为 $\varepsilon$ 的开球覆盖。这一条件保证每个序列都有柯西子序列；完备性进而保证该子序列收敛。在一般度量空间中，普通的有界性不足以替代全有界性。(people.math.sc.edu)

对度量的依赖

完备性并非仅由拓扑学意义上的结构决定。实数直线与 $(0,1)$ 同胚，但在各自通常的度量下，前者完备，后者不完备。同胚保持拓扑结构，却不一定保持柯西序列。(mathresearch.utsa.edu)

作为一个具体例子，在 $(0,1)$ 上定义

h(x)=\log\frac{x}{1-x},\qquad \rho(x,y)=|h(x)-h(y)|.

这是由上述原理推导出的例子： $h$ 将 $((0,1),\rho)$ 等距映射到 $\mathbb R$ 上，因此 $\rho$ 是完备度量，同时诱导出该区间通常的拓扑。存在某个与拓扑相容的完备度量，这一性质称为完全可度量化；它不同于某个指定度量的完备性。(math.rice.edu)

完备化

每个度量空间都存在度量完备化：可以将它保距嵌入一个完备空间，并使其像成为该空间的稠密集。在保持所嵌入的原空间不变的等距同构意义下，完备化是唯一的。特别地， $\mathbb Q$ 在通常度量下的完备化就是 $\mathbb R$ 。(math.rice.edu)

一种标准构造使用柯西序列的等价类。当 $d(x_n,y_n)\to0$ 时，两个序列 $(x_n)$ 和 $(y_n)$ 代表同一个点。它们的等价类之间的距离为

\widehat d([x_n],[y_n]) =\lim_{n\to\infty}d(x_n,y_n).

原空间中的点由常值序列表示。这一构造恰好补入完备性所需的极限点，而不改变原有的距离。(math.hws.edu)

基本定理与函数空间

巴拿赫不动点定理指出，非空完备度量空间上的压缩映射具有唯一的不动点。其压缩条件为 $d(Tx,Ty)\le qd(x,y)$ ，其中 $q$ 是满足 $0\le q<1$ 的常数。完备性不可或缺：在 $(0,1)$ 上， $T(x)=x/2$ 是压缩映射，但它唯一可能的不动点位于该空间之外。(math.rice.edu)

贝尔纲定理指出，完备度量空间中可数个稠密开集的交仍然稠密。这提供了一种超越序列收敛的结构性工具。(math.rice.edu)

对于紧度量空间 $K$ ，由实值连续函数组成的空间 $C(K,\mathbb R)$ 在度量

d_\infty(f,g)=\sup_{x\in K}|f(x)-g(x)|

下是完备的。

这一度量下的柯西序列具有一致极限，而一致收敛保持连续性。因此，完备性也保证函数逼近的极限仍属于所考虑的函数空间。(jirka.org)