泛函分析 01.05 距离空间-完备性

$\color{blue}{\S 1.4 完备的距离空间}$

$\color{blue}{1.4.1 Cauchy 列}$

$在全体有理数组成的距离空间中, Cauchy 列不一定收敛.$
$在全体实数组成的距离空间中, Cauchy 列一定收敛.$
$Cauchy 列一定收敛, 反映了实数空间的完备性.$
$我们将把这个性质“类比”地推广到一般的距离空间.$
$一个点列\lbrace x_n \rbrace 是否收敛, 除了点列自身的构造性质以外,$
$和空间的结构有很大关系.$

$例1.4.1 设X = (0, 1] 赋以实数空间通常的距离.\lbrace \dfrac{1}{n} \rbrace 是X = (0, 1]中的$
$Cauchy列, 但是它在 X = (0, 1]中不收敛, 因为 0 \overline \in X.$
$注：上例表明, 空间中的Cauchy 列可能不收敛.$
$问题在于这个空间存在“缺陷”，或者说距离空间中有一些“缝隙”.$
$在例1.4.1中，问题产生于空间X = (0, 1]“缺陷”0点.$
$如果我们加上这个点, 则\lbrace \dfrac{1}{n} \rbrace收敛.$
$可以证明, 在新的“更大的”空间X_1 = (0, 1] \cup \lbrace 0 \rbrace 中每个Cauchy 列都收敛.$
$在实数空间, 点列收敛的充要条件是:这个点列是Cauchy列.$
$类似于实数空间, 在距离空间, 我们也引进Cauchy列、完备性这些概念.$

$定义1.4.2 设(X, d)是一个距离空间, \lbrace x_n \rbrace _{n=1}^{\infty} \subset (X, d).$
$若对于任意的\varepsilon > 0, 存在正整数N, 当m, n \geq N 时, 有$
$\qquad d(x_n, x_m) < \varepsilon \quad (1.4.1)$
$称 \lbrace x_n \rbrace 是一个 Cauchy 列.$

$命题1.4.3 设\lbrace x_n \rbrace 是距离空间 (X, d)中的Cauchy 列, 则集合$
$\lbrace x_1, x_2, \cdots \rbrace 是有界的.$
$根据 Cauchy 列的定义证明, 和数学分析的证明相似.$
$证明: 由Cauchy 列的定义,$
$对于\varepsilon = 1, 存在N, 当n, m > N时, 有 d(x_n, x_m) < 1. 令$
$\beta = \max \lbrace d(x_1, x_2), d(x_1, x_3), \cdots, d(x_1, x_{N+1}) \rbrace,$
$结合三角不等式, 对于任何的正整数n,$
$\qquad d(x_1, x_n) < \beta + 1$
$即: 集合 \lbrace x_1, x_2, \cdots \rbrace \subset B(x_1, \beta + 1),$
$根据有界集的定义, 命题成立.$

$命题1.4.4 收敛的点列一定是 Cauchy 列.$
$分析: 用收敛列和Cauchy的定义证明, 与数学分析的证明相似.$
$证明: 设\lim \limits_{n \to \infty} x_n = x_0, 则对于 \forall \varepsilon > 0, \exists N,当n, m > N时, 有$
$\qquad d(x_n, x_0) < \dfrac{\varepsilon}{2}, d(x_m, x_0) < \dfrac{\varepsilon}{2}$
$根据距离的三角不等式, 有$
$d(x_n, x_m) \leq d(x_n, x_0) + d(x_m, x_0) < \varepsilon, (n, m > N)$
$因此 \lbrace x_n \rbrace 是一个Cauchy 列.$

$\color{blue}{1.4.2 完备的距离空间}$

$收敛的点列一定是Cauchy列,$
$但是在一般的距离空间中, Cauchy 列不一定收敛.$
$具有“所有Cauchy列都收敛”这一性质的距离空间是非常重要的距离空间,$
$这就是完备空间:$

$定义1.4.5 若距离空间(X, d)中的任意Cauchy列都收敛,$
$则称距离空间X是完备的.$
$注：完备性是十分重要的，有了完备性，极限运算(微积分)才能很好的进行.$
$在一个完备的距离空间, 要判断点列是否收敛, 仅需判断它是否是Cauchy列.$

$例1.4.6 设 \mathbb{Q} 为全体有理数组成的集合, 赋以通常的距离$
$成为一个距离空间, 但是它不完备.$
$例如:以\pi 的前n位数字组成的数列 \lbrace 3, 3.1, 3.14, 3.141, 3.1415, \cdots \rbrace$
$是一个Cauchy列, 但是它在\mathbb{Q}中不收敛, 因为\pi不是有理数.$
$注:由Cauchy 列的定义, 我们看到:$
$一点列是否为Cauchy列由这个点列自身的结构决定,但它是否收敛$
$却取决于点列以外的信息,即空间是否完备.$
$在例1.4.6中, 由于无理数的“缺失”，点列不收敛.$

$命题1.4.7 完备空间的任意一个闭子空间也是完备的.$
$证明：设X是完备的，子空间X_1 \subset X, 且X_1是闭的.$
$要证明X_1是完备的.根据完备空间的定义, 只需证明X_1中$
$的任意Cauchy列都在X_1中收敛.$
$设\lbrace x_n \rbrace _{n=1}^{\infty} \subset X_1, 是任意一个Cauchy列.$
$由于X是完备的, 因而\lbrace x_n \rbrace 收敛到x, x \in X.$
$由X_1闭, 根据定理，X_1中收敛点列的极限x属于X_1，所以X_1是完备的.$

$定理1.4.8 列紧的空间一定是完备的.$
$分析: 设\lbrace x_n \rbrace 是列紧空间 X 中的任一 Cauchy 列,$
$我们要证明该Cauchy列收敛.$
$由空间的列紧性, 首先找到它的一个收敛的子列,再结合它本身是Cauchy列,$
$证明这个Cauchy列在空间中收敛.$
$证明：设\lbrace x_n \rbrace 是列紧空间X中的任一 Cauchy 列,$
$由Cauchy 列的定义, \forall \varepsilon > 0, \exists N, 当n, m > N 时,$
$\qquad d(x_n, x_m) < \varepsilon$
$由X是列紧的, 可知存在 \lbrace x_n \rbrace 的收敛子列 \lbrace x_{n_k} \rbrace 及 x_0 \in X,$
$\qquad x_{n_k} \to x_0 (k \to \infty)$
$(下面证明x_0也是x_n在空间X中的极限)$
$令K = N, 当 k > K 时, 有 n_k \geq k > K = N, 于是$
$\qquad d(x_n, x_{n_k}) < \varepsilon (n > N)$
$令k \to \infty, 由于d连续, 我们有$
$\qquad d(x_n, x_0) \leq \varepsilon (n > N),$
$即x_n \to x_0, x_0 \in X, 这证明了X完备,$
$注：从证明中看出, 一个Cauchy 列 \lbrace x_n \rbrace, 只要它有一个子列收敛到 x_0,$
$则x_n \to x_0 (n \to \infty)$

$命题1.4.9 设X是一个距离空间，\lbrace x_n \rbrace 是X中的Cauchy 列, 如果$
$\lbrace x_n \rbrace 有一个子列\lbrace x_{n_k} \rbrace 收敛到x_0,则\lbrace x_n \rbrace 也收敛到x_0(n \to \infty)$

$\color{blue}{1.4.3 完备与不完备距离空间的例}$

$例1.4.10 距离空间\mathbb{R}^n是完备的.$

$例1.4.11 C[a, b]是完备的.$
$分析: 设\lbrace x_n \rbrace _{n=1}^{\infty} 是C[a, b]中的任一 Cauchy 列.$
$要做到以下三点:$
$(1) 找出 x(t) (即 \lbrace x_n \rbrace 的极限);$
$(2) 证明 x(t) \in C[a, b];$
$(3) 证明 x_n(t) \to x(t)(n \to \infty)(按C[a, b]空间中的距离收敛)$
$证明(i) 由\lbrace x_n(t) \rbrace 是C[a, b]中的Cauchy列,可知$
$对于 \forall \varepsilon > 0, \exists N, 当n, m \geq N 时,$
$\qquad d(x_n, x_m) < \varepsilon$
$即: \quad \max \limits_{a \leq t \leq b} | x_n(t) - x_m(t)| < \varepsilon$
$所以 \forall t \in [a, b], | x_n(t) - x_m(t)| < \varepsilon (n, m \geq N)$
$即 \lbrace x_n(t) \rbrace 是 \mathbb{R}中的一个Cauchy数列,$
$由于\mathbb{R}的完备性, 所以存在x(t), 使得 x_n(t) \to x(t) (n \to \infty).$
$(ii)下面证明x(t) \in C[a, b]$
$当n, m \geq N 时,$
$\qquad |x_n(t) - x_m(t) | < \varepsilon, \forall t \in [a, b] \quad (1.4.2)$
$对于固定的t, 令m \to \infty, 有$
$\qquad |x_n(t) - x(t)| \leq \varepsilon (n \geq N), \forall t \in [a, b] \quad (1.4.3)$
$即 x_n(t)一致收敛到x(t), \therefore x(t)连续, 即x(t) \in C[a, b].$
$(iii)且 n \geq N时$
$\qquad |x_n(t) - x(t)| \leq \varepsilon , \forall t \in [a, b],$
$所以 \quad \max \limits_{a \leq t \leq b} |x_n(t) - x(t)| \leq \varepsilon,$
$即d(x_n, x) \leq \varepsilon, (n \geq N), 所以\lim \limits_{n \to \infty} x_n = x.$

$例1.4.12 l^{\infty}是完备的.$
$分析: 设\lbrace x_n \rbrace 是 l^{\infty} 中的任一个 Cauchy 列,$
$其中x_n = \lbrace \xi_k^{(n)} \rbrace _{k=1}^{\infty}. 只需证明三点:$
$(1) 找出x(即(\lbrace x_n \rbrace 的极限);$
$(2) x \in l^{\infty};$
$(3) x_n \to x (n \to \infty) (按 l^{\infty} 空间中的距离收敛)$
$证明: 设 \lbrace x_n \rbrace 是 l^{\infty} 中的任意一个Cauchy 列,$
$其中 x_n = \lbrace \xi_k^{(n)} \rbrace _{k=1}^{\infty}.$
$由 Cauchy 列的定义, \forall \varepsilon > 0, \exists N, 当 n, m \geq N 时,$
$\qquad d(x_n, x_m) < \varepsilon$
$即 \sup_k | \xi_k^{(n)} - \xi_k^{(m)} | < \varepsilon$
$对任意的k, |\xi_k^{(n)} - \xi_k^{(m)}| < \varepsilon (n, m \geq N).$
$即\lbrace \xi_k^{(n)} \rbrace_{k=1}^{\infty} 是 \mathbb{R} 中的 Cauchy 列.$
$由\mathbb{R}的完备性, 存在 \xi_k, 使得 \lim \limits_{n \to \infty} \xi_k^{(n)} = \xi_k.$
$令 x = \lbrace \xi_k \rbrace, 下面验证 x \in l^{\infty} 及 x_n \to x (n \to \infty)$
$(按 l^{\infty} 距离收敛).$
$由于n, m \geq N时, |\xi_k^{(n)} - \xi_k^{(m)}| < \varepsilon, 令 m \to \infty, 有$
$\qquad |\xi_k^{(n)} - \xi_k| \leq \varepsilon (n \geq N) \quad (1.4.4)$
$由(1.4.4)式知, 对 \forall k,$
$\qquad |\xi_k| \leq |\xi_k^{(N)} - \xi_k| + | \xi_k^{(N)}| \leq \varepsilon + |\xi_k^{(N)}|$
$由于 x_N = \lbrace \xi_1^{(N)}, \xi_2^{(N)}, \cdots, \xi_k^{(N)}, \cdots \rbrace 有界,$
$所以\lbrace \xi_k \rbrace 是有界数列, \lbrace \xi_k \rbrace \in l^{\infty}, 且 n \geq N 时,$
$对\forall k, 有$
$\qquad |\xi_k^{(n)} - \xi_k| \leq \varepsilon,$
$即$
$\qquad d(x_n, x) = \sup _k |\xi_k^{(n)} - \xi_k| \leq \varepsilon (n \geq N),$
$所以 x_n \to x = \lbrace \xi_k \rbrace. 故 l^{\infty} 完备.$

$例1.4.13 在距离空间C[0, T]中, P[0, T]记定义在[0, T]上的全体多项式.显然$
$P[0, T] \subsetneqq C[0, T], 且P[0, T] 是 C[0, T]一个子空间.$
$距离空间C[0, T]是完备的, 但是P[0, T]在C[0, T]中不完备.$
$事实上, \lbrace 1, 1 + t, 1 + t + \dfrac{1}{2!} t^2, 1+t+\dfrac{1}{2!}t^2 + \dfrac{1}{3!}t^3, \cdots \rbrace$
$在C[0, T]中收敛到e^t(一致收敛, 因为区间是有限的),$
$但e^t \overline \in P[0, T], 即P[0, T]不是C[0, T]中的闭集.$
$由定理1.4.4, 知$
$\lbrace 1, 1 + t, 1+t+\dfrac{1}{2!}t^2, 1 + t + \dfrac{1}{2!}t^2 + \dfrac{1}{3!}t^3, \cdots \rbrace$
$是一个 Cauchy 列, 但是它的极限不在子空间P[0, T]中, 所以P[0, T]在距离$
$\qquad d(p_1, p_2) = \max \limits_{0 \leq t \leq T} |p_1(t) - p_2(t)|$
$下不完备(其中p_1(t), p_2(t) \in P[0, T])$

$例1.4.14 设X是全体在[0, 1]上定义的连续函数, 在X上定义距离$
$\qquad d(x, y) = \int_0^1 |x(t) - y(t)| dt \quad (1.4.5)$
$X 是一个距离空间, 但不完备.$
$下面我们构造一个这个空间中的 Cauchy 列, 但它在这个$
$空间中不收敛. 考虑连续函数列\lbrace x_n(t) \rbrace (n > 2):$
$\qquad x_n(t) = \left \lbrace \begin{array}{l} 0, \quad 0 \leq t \leq \dfrac{1}{2} - \dfrac{1}{n}, \\ 1, \quad \dfrac{1}{2} \leq t \leq 1, \\ 直线连接, \quad 其它. \end{array} \right.$

$\lbrace x_n \rbrace 是X中的 Cauchy 列, 事实上$
$\qquad d(x_n, x_m) = \int_0^1 |x_m(t) - x_n(t)| dt$
$\qquad = \dfrac{1}{2}|\dfrac{1}{n} - \dfrac{1}{m}| \to 0 (m,n \to \infty)$
$若X完备, 则存在X中的连续函数y(t),使得$
$\qquad d(x_n, y) \to 0, (n \to \infty)$
$考虑$
$\qquad x(t) = \left \lbrace \begin{array}{l} 0, 0 \leq t < \dfrac{1}{2}, \\ 1, \dfrac{1}{2} < t \leq 1, \\ \dfrac{1}{2}, t = \dfrac{1}{2}. \end{array} \right.$
$由三角不等式$
$\qquad \int_0^1 |x(t) - y(t)| dt$
$\qquad \leq \int_0^1 |x(t) - x_n(t)| dt + \int_0^1 |x_n(t) - y(t)| dt$
$\qquad = \dfrac{1}{2}\dfrac{1}{n} + d(x_n, y) \to 0$
$因此$
$\qquad \int_0^1 |x(t) - y(t)| dt = 0$
$即x(t)几乎处处等于y(t),$
$因为x(t)和y(t)在[0, \dfrac{1}{2}) \cup (\dfrac{1}{2}, 1]上连续,$
$两个连续函数几乎处处相等,就是点点相等.于是$
$在[0, \dfrac{1}{2})上y(t) = x(t) = 0, 在(\dfrac{1}{2}, 1]上y(t) = x(t) = 1,$
$则y(t)在t = \dfrac{1}{2}点不连续(左右极限不相等), 与y(t)连续矛盾.$
$注1: x(t)实际上是\lbrace x_n \rbrace 在以上距离意义下的极限, 但$
$x(t) 不是连续函数, 说明空间X是不完备的.$
$注2: 在这个例子里, X是由定义在[0, 1]上的全体连续函数组成的空间,$
$同时C[0, 1]也是由定义在[0, 1]上的全体连续函数组成的空间,$
$但是空间中定义的距离不一样, 空间X不完备,而C[0, 1]空间完备.$
$注3.运用上述例子, 同样可以证明在[a, b]上的全体连续函数组成的集合上$
$赋以距离$
$\qquad d(x, y) = \lbrace \int_a^b |x(t) - y(t)|^2 dt \rbrace^{\frac{1}{2}} \quad (1.4.6)$
$形成的空间, 也是不完备的.$

$\color{blue}{1.4.4 距离空间的完备化}$

$从前面例子我们看到确实存在许多不完备的距离空间,$
$但是我们可以将它们完备化.$
$事实上, 任何一个距离空间都可以完备化.这是本节要证明的重要结论.$
$为便于理解, 先给出一些直观的解释.$
$设(X, d)是完备距离空间, (X_0, d) \subset (X, d)是一个子空间.$
$(1)如果X_0在(X, d)中是闭的, 则(X_0, d)是完备的.$
$(2)如果X_0不是闭集, 我们知道\overline{X_0}在(X, d)中是闭的,$
$且是包含X_0的最小闭集.$
$因此(\overline{X_0}, d)是完备的, 且X_0在(\overline{X_0}, d)中稠.$
$通俗地说：从(X_0, d)到(\overline{X_0}, d)的过程, 我们填满了原来在(X_0, d)$
$中存在的“缝隙”, 使之成为一个完备空间.$
$例子: 有理数全体组成的空间\mathbb{Q}是不完备的, 即:存在有理数组成的 Cauchy$
$列,它收敛的极限不是有理数.$
$而实数\mathbb{R}是一个完备的距离空间.$
$方法: 可以“做闭包”, 把\mathbb{Q}扩展为完备的实数空间\mathbb{R}.$
$或者说把\mathbb{Q}嵌入到另一个完备空间\mathbb{R}中.$
$这意味着:$
$(i)\mathbb{Q}中元素的距离不变(等距离嵌入);$
$(ii)\mathbb{Q} \subset \mathbb{R}, \mathbb{Q}在\mathbb{R}中稠;$
$(iii)\mathbb{R}是\mathbb{Q}的完备化空间.$
$一般的距离空间(X, d), 如果X不完备, 我们可以使用类似的方法, 把X嵌入到$
$一个完备的距离空间中, 或者说把X扩充进一些元素,使之完备.$
$加进去的“点”就是X闭包中不属于X的那些点.这是我们下面要证明的$
$距离完备化定理的基本含义.$
$最大的困难在于如何用X的元素来刻画新加进去的点,这些点原来是没有的.$

$定理1.4.15 任何距离空间(X, d), 都存在一个完备的距离空间(\widetilde X, \widetilde d),$
$使得(X, d)和(\widetilde X, \widetilde d)的一个稠子空间等距,且在等距的意义下, 这样的$
$空间(\widetilde X, \widetilde d)是唯一的.称(\widetilde X, \widetilde d)为(X, d)的完备化空间.$
$分析:证明分四步:$
$(1) 先构造空间\widetilde X 和距离 \widetilde d.$
$(2) 证明(X, d)与(\widetilde X, \widetilde d)中的一个稠子空间等距.$
$(3)(\widetilde X, \widetilde d)完备, 这个空间\widetilde X就是我们需要的空间.$
$(4)在等距的意义下, 完备化空间的唯一性.$

$证明(1)构造距离空间(\widetilde X, \widetilde d).$
$(i)(构造集合 \widetilde X)$
$把(X, d)中的 Cauchy 列全体表示为 \widetilde X.$
$如果两个 Cauchy 列 \widetilde x = \lbrace x_n \rbrace , \widetilde y = \lbrace y_n \rbrace, 满足$
$\qquad \lim \limits_{n \to \infty} d(x_n, y_n) = 0,$
$则称它们为\widetilde X 中的同一元素, 即 \widetilde x = \widetilde y.$
$(ii) (定义距离)$
$对任何\widetilde x = \lbrace x_n \rbrace, \widetilde y = \lbrace y_n \rbrace \in \widetilde X 定义$
$\qquad \widetilde d(\widetilde x, \widetilde y) = \lim \limits_{n \to \infty} d(x_n, y_n) \quad (1.4.7)$
$(iii)(验证距离的合理性)$
$由于\lbrace x_n \rbrace, \lbrace y_n \rbrace 是X 中的 Cauchy 列,$
$对于\forall \varepsilon > 0, \exists N, 当m, n > N时,$
$\qquad d(x_n, x_m) < \dfrac{\varepsilon}{2}, 且 d(y_n, y_m) < \dfrac{\varepsilon}{2}$
$于是, 由三角不等式$
$|d(x_n, y_n) - d(x_m, y_m)| \leq d(x_n, y_m) + d(y_n, y_m) < \varepsilon$
$可得\lbrace d(x_n, y_n) \rbrace 是实数空间\mathbb{R}中的一个Cauchy数列,$
$于是\lbrace d(x_n, y_n) \rbrace 收敛.这说明\widetilde d(\widetilde x, \widetilde y)有意义.$
$(iv)证明\widetilde d 与 \widetilde x, \widetilde y 的选择无关.$
$如果\widetilde x = \lbrace x_n \rbrace = \lbrace x_n^{\prime} \rbrace, \widetilde y = \lbrace y_n \rbrace = \lbrace y_n^{\prime} \rbrace.$
$\lbrace x_n^{\prime} \rbrace, \lbrace y_n^{\prime} \rbrace 都是X中的 Cauchy 列, 则$
$d(x, y) = \lim \limits_{n \to \infty} d(x_n, y_n) = \lim \limits_{n \to \infty}d(x_n^{\prime}, y_n^{\prime})$
$事实上, 因为$
$|d(x_n, y_n) - d(x_n^{\prime}, y_n^{\prime}) | \leq d(x_n, x_n^{\prime}) + d(y_n, y_n^{\prime}) \to 0 (n \to \infty)$
$所以 d(x_n, y_n) - d(x_n^{\prime}, y_n^{\prime}) \to 0 (n \to \infty), 即$
$\quad \lim \limits_{n \to \infty} d(x_n, y_n) = \lim \limits_{n \to \infty} d(x_n^{\prime}, y_n^{\prime})$
$即\widetilde X 中定义的\widetilde d 与 \widetilde x, \widetilde y 相对应的Cauchy 列的选择无关.$
$容易验证 \widetilde d 是 \widetilde X 中的距离.$
$(2)(X, d) 与(\widetilde X, \widetilde d)中的一个稠子空间等距.$
$(i) (构造稠子空间, 等距映射)$
$设\widetilde{X_0}是全体由X中元素作成的常驻列\lbrace x \rbrace.$
$显然\widetilde{X_0} \subset \widetilde X, \widetilde{X_0}是\widetilde X 的一个子空间.$
$令 T: (X, d) \to (\widetilde X, \widetilde d), x \in X, Tx = (x, x, \cdots).$
$(ii)(验证等距映射)$
$显然 Tx = \widetilde X .$
$任何 x, y \in X, \widetilde x = (x, x, \cdots), \widetilde y = (y, y, \cdots),$
$\qquad \widetilde d(\widetilde x, \widetilde y) = \lim \limits_{n \to \infty} d(x, y) = d(x, y)$
$即T: X \to \widetilde{X_0} 是等距映射.$
$(iii)(证明TX = \widetilde{X_0} 在 \widetilde X 中稠)$
$对\forall \widetilde x = \lbrace x_n \rbrace \in \widetilde X,$
$令\widetilde{x_k} = (x_k, x_k, \cdots, x_k, \cdots)(由\widetilde x = \lbrace x_n \rbrace 产生).$
$显然 \widetilde{x_k} \in \widetilde{X_0}. 现证 \widetilde{x_k} \to \widetilde x(k \to \infty).$
$\forall \varepsilon > 0, 因为\lbrace x_n \rbrace \in \widetilde X 是X中的Cauchy 列, 所以$
$存在N, 当k, n \geq N时, d(x_n, x_k) < \varepsilon$
$即$
$\widetilde d(\widetilde x, \widetilde x_k) = \lim \limits_{n \to \infty} d(x_n, x_k) \leq \varepsilon (k \geq N) \quad (1.4.8)$
$所以(\widetilde X_0, \widetilde d)在(\widetilde X, \widetilde d)中稠.即TX在\widetilde X中稠.$
$(3)(\widetilde X, \widetilde d)完备.$
$(i) 设\lbrace \widetilde x_n \rbrace_{n=1}^{\infty} 是\widetilde X 中的 Cauchy 列.$
$因为\widetilde X_0在 \widetilde X 中稠, 所以对于每一个\widetilde x_n, 存在一个$
$\widetilde y_n = \lbrace y_n, y_n, y_n, \cdots \rbrace \in \widetilde X_0, 使得$
$\qquad \widetilde d(\widetilde x_n, \widetilde y_n) < \dfrac{1}{n}(n = 1, 2, \cdots) \quad (1.4.9)$
$(ii) 令\widetilde y = (y_1, y_2, \cdots),$
$由于 \lbrace \widetilde x_n \rbrace 是\widetilde X 中的 Cauchy 列,$
$d(y_n, y_m) = d(\widetilde y_n, \widetilde y_m)$
$\qquad \leq d(\widetilde y_n, \widetilde x_n) + d(\widetilde x_n, \widetilde x_m) + d(\widetilde x_m, \widetilde y_m)$
$\qquad < \dfrac{1}{n} + d(\widetilde x_n, \widetilde x_m) + \dfrac{1}{m} \to 0(n, m \to \infty)$
$所以\widetilde y 是(X, d)中的一个Cauchy 列, 即 \widetilde y \in \widetilde X, 并且$
$\qquad \lim \limits_{n \to \infty} \widetilde d(\widetilde y_n, \widetilde y) = 0$
$(iii) 我们有$
$\widetilde d(\widetilde x_n, \widetilde y) \leq \widetilde d(\widetilde x_n, \widetilde y_n) + \widetilde d(\widetilde y_n, \widetilde y) \quad (1.4.10)$
$\qquad \leq \dfrac{1}{n} + \widetilde d(\widetilde y_n, \widetilde y) \to 0 (n \to \infty) \quad (1.4.11)$
$即 \widetilde x_n \to \widetilde y, 所以 \widetilde X 是完备的.$
$(4)唯一性(在等距的意义下)$
$假若存在\widetilde Y 也是X的完备化, 则存在 \widetilde Y 的稠密子空间$
$\widetilde Y_0 与 X 等距. 因此\widetilde X_0 与 \widetilde Y_0 等距, 设它们之间的等距映射为\varphi.$
$任取\widetilde x \in \widetilde X, 存在\widetilde x_n \in \widetilde X_0, 使得$
$\qquad \widetilde x_n \to \widetilde x(n \to \infty)$
$设\widetilde y_n = \varphi(\widetilde x_n), \widetilde y_n 是\widetilde Y 中的收敛点列,$
$即存在 \widetilde y \in \widetilde Y, 使得$
$\qquad \widetilde y_n \to \widetilde y (n \to \infty)$
$定义 \widetilde x \to \widetilde y (\widetilde x \in \widetilde X), 这是从\widetilde X 到 \widetilde Y的等距映射,$
$即在等距的意义下, 完备化是唯一的.$
$注1：证明过程中可结合有理数的完备化(有理数如何“完备成”实数)这一具体$
$背景, 将上述的每一步与有理数完备化的每一步骤相对照理解.$
$例如:\pi, \sqrt{2}对应的 Cauchy 数列的“代表元”可以是$
$\qquad \lbrace 3, 3.1, 3.14, 3.141, 3.1415, \cdots \rbrace \quad (1.4.12)$
$\qquad \lbrace 1, 1.4, 1.41, 1.414, 1.4142, \cdots \rbrace \quad (1.4.13)$
$(\widetilde X, \widetilde d)就是由这样的一些 Cauchy 列组成的(\widetilde X 实际上就是全体实数)$
$距离定义的方式:$
$d(\lbrace 3, 3.1, 3.14, 3.141, \cdots \rbrace \lbrace1, 1.4, 1.41, 1.414, \cdots \rbrace)$
$是数列$
$\lbrace 3-1, 3.1-1.4, 3.14-1.41, 3.141-1.414, \cdots \rbrace$
$的极限，等于\pi - \sqrt{2}.$
$\lbrace 3, 3, \cdots \rbrace, \lbrace 3.1, 3.1, \cdots \rbrace, \lbrace 3.14, 3.14, \cdots \rbrace, \cdots$
$\lbrace 1, 1, \cdots \rbrace, \lbrace 1.4, 1.4, \cdots \rbrace, \lbrace 1.41, 1.41, \cdots \rbrace, \cdots$
$是(\widetilde X_0, \widetilde d) 中与其相关的常值 Cauchy 列(\widetilde X_0实际上就是全体有理数)$
$注2：从形式上看, 完备化的距离空间\widetilde X 是个全新的空间,$
$但应注意完备化的距离空间\widetilde X 包含了一个稠子空间 \widetilde X_0,$
$与原来的空间(X, d)等距同构.$
$也就是说X嵌入到\widetilde X中, 作为它的一个稠子集.$

$注3：完备化以后的空间是原来空间的一种“闭扩张”,不能仅仅理解为是一$
$一个由“Cauchy列”组成的一个十分抽象的新空间.$
$设X是一个不完备的距离空间, X_1是一个完备的距离空,如果满足:$
$X \subset X_1,$
$X 在 X_1中稠密,$
$那么X_1是X的完备化空间.$
$例如实数空间就是有理数空间的完备化空间.$
$L^2空间(平方可积函数空间)就是全体连续函数在距离$
$\qquad d(x, y) = \lbrace \int_a^b |x(t) - y(t)| ^2 \rbrace ^{\frac{1}{2}}$
$下的完备化空间.$
$注4：距离空间完备化后，空间中的Cauchy列都收敛.$
$从另一个角度说, 空间X被适度地扩大为\widetilde X.$
$原来的“缝隙”已经被全部填满.这点是十分重要的.$
$以后我们会看到, 这使得一些在原空间X中无解的问题$
$(例如微分方程), 在新的扩大了的空间\widetilde X中就可以有“较弱”$
$意义下的解.这也是完备化的意义所在.$