完备距离空间

度量空间(X, d)称作是完备的，如果X中的每一Cauchy列收敛于X中的点。这里给出有关完备性的基本的定理。

对完备度量空间，下面的定理1是基本的定理。它给出了一个定义在度量空间的稠密子集上的连续映射可以连续拓张到整个全空间的充分条件。

下面的定理2也是基本的。它断言任何不完备的度量空间总是可以在等距的意义下被视作一个完备度量空间的稠密子集。

另外两个完备度量空间的基本定理——压缩映射原理、Baire纲定理，已经分别在Functions of several variables和Baire 纲定理几种形式的等价性作了介绍。

下面将给出这两个定理的证明。值得指出的是，证明的思路均来自Walter Rudin的Principles of Mathematical Analysis的一些课后习题。

定理1

证明

我们需要证明\tilde f的存在性和唯一性。先看唯一性，比较容易看出。

首先，X稠于\tilde X，可推出\tilde f(X)稠于\tilde f(\tilde X)：对\tilde f(\tilde X)中一点\tilde f(p)，存在X中点列\{p_n\}，p_n\to p，由\tilde f连续性，\tilde f(p_n)\to\tilde f(p)，这表明\tilde f(p)\in\tilde f(\tilde X)是\tilde f(X)中一点列\{\tilde f(p_n)\}的极限，故\tilde f(X)稠于\tilde f(\tilde X)。

如果映射g:\tilde X\to Y满足在X上g(x)=\tilde f(x)，那么可以证明g=\tilde f：对p\in\tilde X，X中点列\{p_n\}满足p_n\to p，那么\tilde f(p)=\lim \tilde f(p_n)=\lim g(p_n)=g(p)，故g=\tilde f。

接下来看存在性。

对任一p\in\tilde X和任一正整数n，令V_n(p)=\{q\in X\mid d(p,q)<1/n\}，下面证明\bigcap_{n=1}^\infty \overline{f(V_n(p))}包含唯一一个点，记为\tilde f(p)，即为所需的f的连续延拓。首先需要一些引理。

在Numerical sequences and series中，定理7第二点给出了“当E_n为紧集”的情形，这里E_n变为了有界闭集。如果X=\mathbb R^n，那么紧集和有界闭集等价，那就不需要这个引理了，但X为一般的完备度量空间时则不然。下面给出证明。

引理1的证明：构造点列\{p_n\}，其中p_n\in E_n，m\geqslant n时由于E_m\subset E_n，有p_m\in E_n，可以看出这个点列是Cauchy列，这是因为\operatorname{diam}\{p_k\}_{k=n}^\infty\leqslant\operatorname{diam}E_n\to0，而X是完备的度量空间，所以\{p_n\}收敛至X中一点p，可以证明\bigcap_{n=1}^\infty E_n=\{p\}。由于E_n是闭集，p作为其极限点当然属于E_n，故p\in\bigcap_{n=1}^\infty E_n。若p^\prime \in\bigcap_{n=1}^\infty E_n，则d(p,p^\prime )\leqslant d(p,p_n)+d(p_n,p)\leqslant 2\operatorname{diam}E_n\to0，所以p=p^\prime，引理1得证。

证明是显然的。

由于X稠于\tilde X，当然有\overline{f(V_n(p))}非空；f是一致连续的，得出\overline{f(V_n(p))}是有界的闭集；由\lim\operatorname{diam}V_n(p)=0及引理2，\lim\operatorname{diam}\overline{f(V_n(p))}=\lim\operatorname{diam} f(V_n(p))=0；又显然有\overline{f(V_{n+1}(p))}\subset \overline{f(V_n(p))}；于是引理1所需的条件全部满足，故可定义\tilde f(p)=\bigcap_{n=1}^\infty\overline{f(V_n(p))}。当p\in X时，显然有\tilde f(p)=f(p)。

由于f:X\to Y是一致连续的映射，故对任给的\varepsilon>0，存在\delta>0，当p,q\in X且d(p,q)<\delta时有d_Y(f(p),f(q))<\varepsilon/3，下面证明，对于此\delta，当p,q\in\tilde X，d(p,q)<\delta时，就有d_Y(\tilde f(p),\tilde f(q))<\varepsilon。取\{p_n\}满足p_n\in V_n(p)，那么\lim p_n=p且\lim f(p_n)=\tilde f(p)；类似地可以取\{q_n\}。这样，存在正整数N，使得
\begin{gathered}
2d(p_N,p)+d(p,q)<\delta,\quad d_Y(\tilde f(p)-\tilde f(p_N))<\frac\varepsilon3;\\
2d(q_N,q)+d(p,q)<\delta,\quad d_Y(\tilde f(q)-\tilde f(q_N))<\frac\varepsilon3.
\end{gathered}

这样
d(p_N,q_N)\leqslant d(p_N,p)+d(p,q)+d(q,q_N)<\delta,

同时
\begin{aligned}
d_Y(\tilde f(p),\tilde f(q))&\leqslant d_Y(\tilde f(p),\tilde f(p_N))+d_Y(\tilde f(p_N),\tilde f(q_N))+d_Y(\tilde f(q_N),\tilde f(q))\\
&<\frac\varepsilon3+\frac\varepsilon3+\frac\varepsilon3=\varepsilon.
\end{aligned}

这就证明了\tilde f在\tilde X上一致连续，故它是f在\tilde X上的连续延拓。

另证

下面的引理3是显然的。

X稠于\tilde X，对p\in \tilde X，有收敛于p的X中的点列\{p_n\}，则\{f(p_n)\}是Y中的Cauchy列，而Y完备，故收敛于Y中的一点，设收敛于\tilde f_1；我们证明这个收敛的结果不依赖于\{p_n\}的选取，设同样地选取了\{q_n\}，而\{f(q_n)\}收敛于\tilde f_2，要证\tilde f_1=\tilde f_2。把\{p_n\}与\{q_n\}交错排列，记得到的新点列为\{r_n\}，即：p_1,q_1,p_2,q_2,\dots，则r_n\in X，r_n\to p，同样地\{f(r_n)\}应收敛于某极限\tilde f_3，注意到\{f(p_n)\},\{f(q_n)\}都是\{f(r_n)\}的子列，所以必有\tilde f_1=\tilde f_2=\tilde f_3，这就证明了极限唯一确定。于是可以定义映射\tilde f:\tilde X\to Y，p\mapsto\tilde f_1，可证这就是所需的连续延拓：当p\in X时，显然有\tilde f(p)=f(p)；对于\tilde f的一致连续性，与原证明的最后一段是一样的。

定理2

证明

类似于从\mathbb Q构建\mathbb R，不完备的\mathbb Q经过完备化得到了完备的\mathbb R，这个过程一个经典的做法是Cantor的利用Cauchy列的方法，这也是完备化方法最早的引进，这个思路可以用于启发此定理的证明。

引理4的证明：对任何m,n均有d(p_n,q_n)\leqslant d(p_n,p_m)+d(p_m,q_m)+d(q_m,q_n)，于是可推出|d(p_n,q_n)-d(p_m,q_m)|\leqslant d(p_n,p_m)+d(q_n,q_m)，进而可知\{d(p_n,q_n)\}是Cauchy列，而\mathbb R完备，故必收敛。

回到定理2，对X中的两个Cauchy列\{p_n\},\{q_n\}，称它们等价，如果d(p_n,q_n)\to0，那么这是一个等价关系：自反性和对称性显然，对于传递性，若\{p_n\},\{q_n\}等价、\{q_n\},\{r_n\}等价，则在d(p_n,r_n)\leqslant d(p_n,q_n)+d(q_n,r_n)两边取极限即知传递性也成立，所以这个关系确是等价关系。

令\tilde X为该等价关系得到的所有等价类的集合。若P\in\tilde X，Q\in\tilde X，\{p_n\}\subset P，\{q_n\}\subset Q，定义
\tilde{d}(P,Q)=\lim_{n\to\infty}d(p_n,q_n),

由引理4，这个极限是存在的。可以证明\tilde{d}(P,Q)跟\{p_n\}.\{q_n\}的选取无关：若\{p^\prime _n\}\subset P，那么d(p_n,p_n^\prime )\to0，由|d(p_n,q_n)-d(p_n^\prime ,q_n)|\leqslant d(p_n,p_n^\prime )知\lim d(p_n,q_n)=\lim d(p_n^\prime ,q_n)。这表明\tilde{d}(P,Q)是良好地定义的，进而不难看出，\tilde{d}是\tilde X上的距离函数。

下面证明：度量空间\tilde X是完备的。

取\tilde X中的Cauchy列\{P_n\}，P_n取其中的Cauchy列\{p_{nk}\}_{k=1}^\infty。对任给的\varepsilon>0，存在N，当m,n>N时，
\tilde{d}(P_m,P_n)=\lim_{k\to\infty}d(p_{mk},p_{nk})<\frac\varepsilon3.

对n\in\mathbb N^\ast，存在N(n)\in\mathbb N^\ast，当k,l\geqslant N(n)时，有d(p_{nk},p_{nl})<\varepsilon/3。对X中的点列\{p_{n,N(n)}\}，先证它是X中的Cauchy列。当m,n>N时，由于\tilde{d}(P_m,P_n)<\varepsilon/3，必存在N_1，当k>N_1时，d(p_{mk},p_{nk})<\varepsilon/3，这样当k>\max\{N(m),N(n),N_1\}时，
\begin{aligned}
d(p_{m,N(m)},p_{n,N(n)})&\leqslant d(p_{m,N(m)},p_{mk})+d(p_{mk},p_{nk})+d(p_{nk},p_{n,N(n)})\\
&<\frac\varepsilon3+\frac\varepsilon3+\frac\varepsilon3=\varepsilon.
\end{aligned}

这就证明了\{p_{n,N(n)}\}确实是Cauchy列，设它所在的\tilde X中的等价类为P，下面证明
\tilde{d}(P_n,P)=\lim_{k\to\infty}d(p_{nk},p_{k,N(k)})\to0,\quad n\to\infty.

这就证明了\tilde X的完备性。事实上，当n>N时，令k>\max\{N,N(n)\}，那么
\begin{aligned}
d(p_{nk},p_{k,N(k)})&\leqslant d(p_{nk},p_{n,N(n)})+d(p_{n,N(n)},p_{k,N(k)})\\
&<\frac\varepsilon3+\frac\varepsilon3<\varepsilon.
\end{aligned}

这就证明了\tilde{d}(P_n,P)\to0，\tilde X完备。

对每一p\in X，所有项都为p的点列是Cauchy列，令P_p为包含这一Cauchy列的\tilde X中的元素，那么显然对任何p,q\in X有\tilde{d}(P_p,P_q)=d(p,q)，这说明映射\varphi:X\to\tilde X，p\mapsto P_p是等距的。

再证明\varphi(X)稠于\tilde X。对P\in \tilde X，取其中的Cauchy列\{p_n\}，可以证明\varphi(p_n)是\varphi(X)中收敛于P的点列，即
\tilde{d}(\varphi(p_n),P)=\lim_{k\to\infty}d(p_k,p_n)\to0,\quad n\to\infty.

\{p_n\}是Cauchy列，则对任给\varepsilon>0，存在N_2，当n,k>N_2时有d(p_k,p_n)<\varepsilon，令k\to\infty可以轻易看出上式成立。

此外，当X本身就完备时，不难推出\varphi(X)=\tilde X，这只需\tilde X\subset\varphi(X)：任意P\in \tilde X，其中的Cauchy列\{p_n\}有极限p\in X，那么\lim d(p_k,p)=0，这恰说明\{p_n\}也在\varphi(p)中，即P=\varphi(p)。

最后是唯一性。设\varphi(X)=\tilde X_0，则\tilde X_0稠于\tilde X，同样地等距映射\sigma:X\to\hat X使\sigma(X)=\hat X_0稠于\hat X，那么显然存在\tilde X_0到\hat X_0的等距映射\tau。现在：\tilde X_0是\tilde X的稠密子集，\hat X为完备度量空间，\tau:\tilde X_0\to\hat X是一致连续的映射，那么，由定理1，\tau存在唯一的\tilde X上的连续拓张，仍记为\tau:\tilde X\to\hat X，反过来也可以有一致连续映射\rho:\hat X\to\tilde X。考虑\tau\circ\rho与\rho\circ\tau，它们都是一致连续函数，而在各自定义域内的一个稠密子集内均为恒等映射，所以由定理1得知它们都是恒等映射，这说明\tau是1-1的。至于\tau是等距的这一点，可以通过取\tilde X_0中的点列而不难得出。

另证

固定一点a\in X，对每一点p\in X定义函数f_p(x)=d(x,p)-d(x,a)\, (x\in X)，可以证明：

1. |f_p(x)|\leqslant d(a,p)，即此函数有界，这是显然的；

2. f_p(x)连续：
   \begin{aligned}
   |f_p(x_1)-f_p(x_2)|&=|d(x_1,p)-d(x_1,a)-d(x_2,p)+d(x_2,a)|\\
   &\leqslant|d(x_1,p)-d(x_2,p)|+|d(x_1,a)-d(x_2,a)|\\
   &\leqslant2d(x_1,x_2).
   \end{aligned}

   这两点表明f_p\in\mathcal{C}(X)；

3. 对\mathcal C(X)上的函数赋予上确界范数：|f|=\sup_{x\in X}|f(x)|，则对任意的p,q\in X，d_f(f_p,f_q)=|f_p-f_q|=d(p,q)：
   |f_p(x)-f_q(x)|=|d(x,p)-d(x,a)-d(x,q)+d(x,a)|\leqslant d(p,q),

   当x=p或x=q时，等号成立。

若定义\varphi(p)=f_p，我们得到\varphi:X\to\varphi(X)是一个等距映射。

在Sequences and series of functions的定理8中已给出\mathcal C(X)的这种距离使其成为一个完备的度量空间，由于\tilde X=\overline{\varphi(X)}是\mathcal C(X)中的闭子集，故它是完备的，这说明：X与一个完备度量空间\tilde X的稠密子集等距。

唯一性同上。