泛函分析基础1-度量空间和赋范线性空间5：度量空间的完备化

我们曾指出直线上有理数全体 $\mathbf{Q}$ 作为 $\mathbf{R}$ 的子空间不是完备的度量空间，但是我们可以将 ${\mathrm{Q}}^u$ 扩大"成完备的度量空间 $\mathbf{R},$即 在 $\mathbf{Q}$ 中 加入"无理数"，使之成为新的度量空间 $\mathbf{R},$ 并且 $\mathbf{Q}$ 在 $\mathbf{R}$ 中稠密.下面我们要说明每一个不完备的度量空间都可以加以"扩大"，即成为某个完备度量空间的稠密子空间，为此，首先介绍几个概念

定义

设 $(X,d),(\tilde{X},\tilde{d})$ 是两个度量空间，如果存在 $X$ 到 $\tilde{X}$ 上 的保距映射 $T,$ 即$\tilde{d}(Tx,Ty)=d(x,y),$ 则称 $(X,d)$ 和$(\tilde{X},\tilde{d})$ 等 距同构，此时 $T$ 称为 $X$ 到$\tilde{X}$ 上 的等距同构映射。

在泛函分析中往往把两个等距同构的度量空间不加区别而视为同一的

定理1（度量空间的完备化定理）

设 $X=(X,d)$是度量空间，那么一定存在一完备度量空间 $\tilde{X}=(\tilde{X},\tilde{d}),$ 使 $X$ 与$\tilde{X}$ 的 某个稠密子空间 $W$ 等 距同构，并且 $\tilde{X}$ 在等距同构意义下是唯一的，即若 $(\hat{X},\hat{d})$ 也是一完备度量空间，且 $X$ 与 $\hat{X}$ 的 某个稠密子空间等距同构，则 $(\tilde{X},\tilde{d})$ 与$(\hat{X},\hat{d})$ 等 距同构

证明
我们分成四步来证明.
(1)
构造 $\tilde{X}=(\tilde{X},\tilde{d}).$
令 $\ddot{X}$ 为 $X$ 中柯西点列 x ^ = { x n } \hat { x } = \left\{ x _ { n } \right\} x^={ xn​} 全体，对 $\tilde{X}$中任意两个元素 x ~ = ∣ x n ∣ , y ^ = { y n } , \tilde { x } = \left| x _ { n } \right| , \hat { y } = \left\{ y _ { n } \right\} , x~=∣xn​∣,y^​={ yn​},如果

$$\underset{n\to \infty }{\lim }d\left(x_n,y_n\right)=0,(1)$$

则称 $\tilde{x}$ 与 $\bar{y}$ 相等，记为$\tilde{x}=\tilde{y},$ 或$\left|x_n\right|=\left|y_n\right|.$ 对$\tilde{X}$ 中任意两点 $\hat{x}=\left|x_n\right|$ 及 y ^ = { y n } , \hat { y } = \left\{ y _ { n } \right\} , y^​={ yn​}, 定义

$$\tilde{d}(\tilde{x},\tilde{y})=\underset{n\to \infty }{\lim }d\left(x_n,y_n\right).(2)$$

我们首先指出上式右端极限存在.事实上，由三点不等式

$$d\left(x_n,y_n\right)⩽d\left(x_n,x_m\right)+d\left(x_m,y_m\right)+d\left(y_n,y_n\right),$$

所以

$$d\left(x_n,y_n\right)-d\left(x_m,y_n\right)⩽d\left(x_n,x_m\right)+d\left(y_n,y_m\right).$$

类似也有

$$d\left(x_m,y_m\right)-d\left(x_n,y_n\right)⩽d\left(x_n,x_m\right)+d\left(y_n,y_m\right).$$

由此得到

∣ d ( x m , y m ) − d ( x n , y n ) ∣ ⩽ d ( x n , x m ) + d ( y n , y m ) . ( 3 ) \left| d \left( x _ { m } , y _ { m } \right) - d \left( x _ { n } , y _ { n } \right) \right| \leqslant d \left( x _ { n } , x _ { m } \right) + d \left( y _ { n } , y _ { m } \right) .\quad\quad(3)