完备空间

贡献者： JierPeter; addis

1. 柯西列

　　 度量空间是定义了 “距离” 的空间，因此可以讨论点与点之间的远近。微积分的基础是极限的概念；直观来说，如果一个数列 $\{a_n\}$ 在 $n$ 趋于正无穷时有极限 $a_0$，意思就是说 $a_n$ 随着 $n$ 的增大，越来越靠近 $a_0$。因此，表达式 $\lim\limits_{n\rightarrow\infty}a_n=a_0$ 可以表述为 “不管我们要求的接近程度 $\epsilon$ 有多小（同时大于零），总能找到足够大的正整数 $N$，使得只要 $n>N$，那么 $a_n$ 到 $a_0$ 的距离就小于 $\epsilon$”；或者用数学符号，更紧凑一点，写为：$\forall\epsilon>0$，$\exists N\in\mathbb{Z}^+$，使得 $\forall n>N$，有 $|a_n-a_0|<\epsilon$。

　　 什么情况下，一个数列 $\{a_n\}$ 存在这样的极限 $a_0$ 呢？这样的数列被称作柯西数列，定义如下。

　　 这样的数列就是可以有极限的数列。

　　 以上定义中，我们只讨论了 “距离” 这一性质，因此这些定义都可以推广到任意有距离概念的集合中，也就是度量空间中。

　　 柯西点列、柯西数列也可以简称/统称为柯西列。

　　 一个柯西列只能收敛到一个点上。

　　 证明是很简单的。反设柯西列 $\{a_n\}$ 有两个收敛点 $x_0$ 和 $y_0$，那么找出这两个点的距离 $L=d(x_0, y_0)$，由收敛点的定义，存在正整数 $N$ 使得 $\forall n>N$，使得 $d(a_n, x_0)< L/2$ 和 $d(a_n, y_0)< L/2$。这样的 $a_n$ 不可能存在，因为它到 $x_0$ 和 $y_0$ 两点的距离之和小于 $x_0$ 和 $y_0$ 两点之间的距离了。这就产生了矛盾，说明设定不成立，也就是说柯西列不可能有两个收敛点。

2. 完备空间

　　 在度量空间文章中我们发现，有理数集 $\mathbb{Q}$ 上的柯西列不一定存在极限；而实数集 $\mathbb{R}$ 上的柯西列一定存在极限。也就是说，在这个度量下，$\mathbb{R}$ 可以看成 $\mathbb{Q}$ 中添加了所有收敛点构成的集合。

　　 像 $\mathbb{R}$ 这样包含了自身所有柯西列的收敛点的集合，被称为完备集（Complete Set）。包含了自身所有柯西列的收敛点的度量空间，被称为完备（度量）空间（Complete Metric Space）。

　　 考虑到一个柯西列唯一对应一个收敛点，我们也可以把柯西列本身看成一个点。那么，一个不完备的度量空间 $\mathcal{M}$，也可以通过把所有柯西列作为一个点添加到这个空间里来得到一个完备的空间。如果一个柯西列在 $\mathcal{M}$ 中已经有收敛点了，那么添加这个柯西列相当于添加了已经存在的收敛点，也就是什么都没添加；如果一个柯西列在 $\mathcal{M}$ 中没有收敛点，那就把这个柯西列本身当作一个点添加进去。

　　 注意，柯西列本身是 $\mathcal{M}$ 的一个子集，它不是 $\mathcal{M}$ 中的一个点。我们把柯西列等价于其收敛点后，就可以把它看成点来添加进 $\mathcal{M}$ 中了。添加缺失的收敛点以得到完备空间的过程，叫做度量空间的完备化。

　　 对于这些新添加的点，它的度量应该是什么呢？

　　 可以看到，新的点和其它点的度量是用数列极限定义的。感兴趣的读者可以自行验证，对于柯西点列，这样的极限一定存在。