柯西序列完备度量空间

Prerequisite　度量空间中的概念

　　给定某个度量空间 $X$ 中的序列 $ \left\{x_i \right\} $，当满足以下条件时，他就叫做柯西序列（Cauchy sequence）．

　　对任意 $\varepsilon > 0$，存在 $N$，当 $m, n \geqslant N$ 时就满足 $d(u_m, u_n) < \varepsilon$．

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

　　本书把度量空间中的序列称为收敛的（convergent）当且仅当它是柯西序列．如果序列不收敛，那它就是发散的（divergent）．

　　如果度量空间 $X$ 中的序列存在极限（def. 5 ），则它是一个柯西序列．

　　证明留做习题．

　　度量空间 $X$ 中的柯西序列 $ \left\{x_n \right\} $ 若在 $X$ 中不存在极限．则可以定义一个新的元素 $x \notin X$，并定义它和任意 $y\in X$ 的距离为

\begin{equation} d(x, y) = \lim_{n\to\infty} d(x_n, y) \end{equation}

（可以证明该极限存在）把 $x$ 添加进 $X$ 后，构成新的度量空间 $X'$．在 $X'$ 中 $x$ 是序列 $ \left\{x_i \right\} $ 的极限．

未完成：证明

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

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

度量空间的完备性

　　如果度量空间 $X$ 中任意柯西序列都收敛到 $x\in X$（即存在极限），那么该赋范空间就是完备（complete）的．

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

　　完备的赋范空间常称为巴拿赫空间（Banach space）．其中，完备的内积空间特别称作希尔伯特空间（Hilbert space）．

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