柯西序列、完备度量空间

                     

贡献者： addis; 零穹; Giacomo

　　 也就是说，柯西序列要求随着项数趋于无穷，该项之后的所有项之间的距离趋于零。

　　 注意这里的 “存在极限” 要求极限点在所讨论的度量空间中，所以即使是同一个序列，在不同的空间中也可能收敛或发散。例如（式 1 ）一个有理数的数列在实数空间中可能会收敛到一个无理数，但在有理数空间中则不收敛。

　　 证明留做习题。

　　 证明：由度量空间中的三角不等式，我们有

由于序列 $\left\{x_i\right\}$ 为柯西序列，故 $\mathrm{\forall }\epsilon >0$，$\mathrm{\exists }N$，当 $n,m>N$ 时，就有 $d(x_n,x_m)<\epsilon$。这意味着若令 $y_i=d(x_i,y)$，则 $\left\{y_i\right\}$ 为柯西序列。又 $d(x_i,y)\in \mathbb{R}$，所以 $y_i$ 为实数域上的柯西序列。对实数域上的柯西序列，有柯西收敛原理，即实数域上的柯西序列恒有有限极限存在。所以 $\left\{y_i\right\}$ 极限存在。若令此极限为 $d(x,y)$，即 则 $\mathrm{\forall }\epsilon >0$，$\mathrm{\exists }N$，当 $n>N$ 时，就有 注意 $y$ 任意，令 $y=x_n$，就有 即对 $x$ 加入 $X$ 后构成的度量空间 $X^{\prime }$，在 $X^{\prime }$ 中 $x$ 是序列 $\left\{x_i\right\}$ 的极限。

　　 注意一些教材中对 “收敛” 的定义更为严格，即只把上述定义中 $x\in X$ 的情况称为收敛。在这种定义下，一些柯西数列既不收敛也不发散（定理 2 中 $x\notin X$ 的情况）。

　　 实数域 $\mathbb{R}$ 上的柯西序列必定是收敛的，这使我们可以通过判断数列是否为柯西序列从而判断该序列是否收敛。但如果我们从 $\mathbb{R}$ 中把收敛的那点挖走，那么这个柯西序列在这个集合中就不收敛。所以柯西序列是否收敛取决于它所属于的集合。

1. 度量空间的完备性

　　 在定理 2 中我们介绍了一种方法，可以给不完备度量空间 $X$ 不断加入新的元素。如果我们不断重复这一过程，就可以在 $X$ 的基础上得到一个最小的完备空间，叫做 $A$ 的完备化空间（complete metric space）。

　　 “完备” 可以形象理解为空间中没有 “漏洞”。有限维空间都是完备的。可数维空间都是不完备的。例如有理数集和多项式组成的空间就是不完备的（柯西序列的极限可以是 ${\mathrm{e}}^x$，但是 ${\mathrm{e}}^x$ 并不属于该空间）。