度量空间的完备化的.pptVIP

第五节 度量空间的完备化 教学目标 1.掌握等距同构和等距同构映射的定义 2.了解度量空间的完备化定理 教学重点和难点 如何把一个不完备的度量空间加以“扩大”，即成为某个完备 度量空间的稠密子空间。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 我们曾指出直线上有理数全体 作为 的子空间不是完备的度量空间，但是我们可以将 “扩大”成完备的度量空间 ，即在 中加入“无理数”，使之成为新的度量空间 ，并且 在 中稠密。下面我们要说明每一个不完备的度量空间都可以加以“扩大”，即成为某个完备度量空间的稠密子空间，为此，首先介绍几个概念。 定义1 设 是两个度量空间，如果存在 到 上的保距映射 ，即 ，则称 和 等距同构，此时 称为 到 上的等距同构映射。 在泛函分析中往往把两个等距同构的度量空间不加区别而视为同一的。 定理1 （度量空间的完备化定理） 设 是度量空间，那么 一定存在一完备度量空间， 使 与 的某个稠密子空间 等距同构，并且 在等距同构意义下是唯一的，即若 也是一完备的 度量空间，且 与 的某个稠密子空间等距同构，则 与 等距同构。 证明 我们分成四步来证明 （1）构造 教学过程 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 令 为 中柯西点列 全体，对 中任意两个元素， ，如果 （1） 则称 与 相等，记为 ，或 。对 中任意两点 及 ，定义 （2） 我们首先指出上式右端极限存在。事实上，由三点不等式 ，所以 类似也有 由此得到 （3) 由于 和 是 中柯西点列，所以 是 中柯西点列，因此（2） 中极限存在。 Evaluation onl