度量空间的完备化.docVIP

由三点不等式 % m , z n ≤ d ( z m , xm + d ( xm , xn + d ( xn , z n ≤ 1 + 1 + d ( xm , xn % % % % % % % % d (z % m n ?1 % % } 由此可知 { z m是W 中柯西点列。因为 T 是 X 到 W 上等距映射，令 zm = T z m % % 则{ zm } X 中柯西点列，令 x = { z }，则 x ∈ X，又由（4） 是 m n →∞ % % % % % % 1 % % 1 d ( x n , x ≤ d ( x n , z n + d ( z n , x + d ( z n , x = + lim d ( zn , zm n n m →∞ % % 但上式右边当 n 足够大时，可以小于事先给定的任意正数 ε ，所以lim d ( x n , x = 0 因而 X 是完备度量空间。 （4）证明 X 的唯一性 $ $ 如果( X , d 是另一个完备度量空间，而且 X 与 ( X , d 中稠密子集 等 距同构。 作 X 到 X 上映射 如下：对任何 ，由 W 在 X 中稠密，存在 W 中 $ $ $ 点列 x n ，使lim x n = x ，但由于 W 与 X 等距同构， 也与 X 等距同构，因 W { } T $ x∈ X n →∞ W ，易知 $ $ W 等距同构，设? 为 W 到W 上的等距同构映射，由lim x n = x n →∞ $ $ % % {? ( xn } 是 中柯西点列，由 的完备性，存在 x ∈ X 使 lim ? ( x n = x 。 此 W与 X X n →∞ $ % 令Tx= x 首先，这样定义的 $ 并且lim $ n = x ，则 y n →∞ $ $ y y T 与{ x } 无关，即若另有{ $ } ，n ∈W , n = 1, 2,3,L n n $ lim ? ( x n = lim ? $ n y n →∞ n →∞ ( 事实上， $ $ $ $ y $ $ $ d (lim ? ( x n , lim ? ( $ n = lim d (? ( x n , ? ( $ n = lim d ( x n , $ n = d ( x, x = 0 y y n →∞ n →∞ 所以 $ lim ? ( x n = lim ? $ n y n →∞ n →∞ % 下证 是X 到 X 上等距映射。对任何 x ∈ X ，由于 在 X 中稠密，所以在 % % 中存在点列 x ，使 lim x = x ，同前证明，可知 ?1 % 为 中柯西 % ( n →∞ n →∞ W T { } n W n →∞ n 点列，故有 $ x∈ X n →∞ $ $ , $ ∈ X ，有 W 中点列 x n 映射。又对任何 x y 所以 n →∞ $ % ，使 lim ? ?1 ( x n = x ，易知T $ y { } 和 { $ }，使lim x n $ % x = x ，即 T 是映 X n →∞ n {? ( xn } X 到 X 上的 n →∞ $ = x, lim $ n，= $ y y $ $ y $ $ $ $ y d ( x, $ = lim d ( x n , yn = lim d (? ( x n , ? ( $ n = d (T x, T $ y n →∞ 这证明了 T 是一个等距映射，所以 X 与 X 等距同构。证毕。 如果我们把两个等距同构的度量空间不加以区别，视为同一，那么定理1可以改 述如下： 定理1’ 设 X = ( X , d 是度量空间， 定理 是度量空间，那么存在唯一的完备度量空间 X = ( X , d 的稠密子集。 使 X 为 X 的稠密子集。