Banach空间中的.ppt

第十章 Banach空间中的基本定理 第四节 纲定理和一致有界定理 1 问题 2 基本概念 3 Baire的纲定理 证明思路: 如果X是第一纲的集,运用闭球套性质,可作出X中的Cauchy列,该Cauchy列在X中不收敛.这与X的完备性矛盾. 4 一致有界定理或共鸣定理 5 应用 由三点不等式 由此可知 是 中柯西点列。因为 是 到 上等距映射，令 则 是 中柯西点列，令 ，则 ，又由（4） 但上式右边当 足够大时，可以小于事先给定的任意正数 ，所以 因而 是完备度量空间。 （4）证明 的唯一性 如果 是另一个完备度量空间，而且 与 中稠密子集 等 距同构。 作 到 上映射 如下：对任何 ，由 在 中稠密，存在 中 点列 ，使 ，但由于 与 等距同构， 也与 等距同构，因 此 与 等距同构，设 为 到 上的等距同构映射，由 ，易知 是 中柯西点列，由 的完备性，存在 使 。 令 首先，这样定义的 与 无关，即若另有 ， 并且 ，则 事实上， 所以 下证 是 到 上等距映射。对任何 ，由于 在 中稠密，所以在 中存在点列 ，使 ，同前证明，可知 为 中柯西 点列，故有 ，使 ，易知 ，即 是映 到 上的 映射。又对任何 ，有 中点列 和 ，使 ， 所以 这证明了 是一个等距映射，所以 与 等距同构。证毕。 如果我们把两个等距同构的度量空间不加以区别，视为同一，那么定理1可以改 述如下： 定理1’ 设 是度量空间，那么存在唯一的完备度量空间 使 为 的稠密子集。 * * 我们曾指出直线上有理数全体 作为 的子空间不是完备的度量空间，但是我们可以将 “扩大”成完备的度量空间 ，即在 中加入“无理数”，使之成为新的度量空间 ，并且 在 中稠密。下面我们要说明每一个不完备的度量空间都可以加以“扩大”，即成为某个完备度量空间的稠密子空间，为此，首先介绍几个概念。 定义1 设 是两个度量空间，如果存在 到 上的保距映射 ，即 ，则称 和 等距同构，此时 称为 到 上的等距同构映射。 在泛函分析中往往把两个等距同构的度量空间不加区别而视为同一的。 定理1 （度量空间的完备化定理） 设 是度量空间，那么 一定存在一完备度量空间， 使 与 的某个稠密子空间 等距同构，并且 在等距同构意义下是唯一的，即若