实变函数与泛函分析基础第三版标准答案.pdfVIP

实变函数与泛函分析基础第三版答案 ———————————————————————————————— 作者： ———————————————————————————————— 日期： 泛函分析 习题解答 1、设 为一度量空间，令 ，问 的闭包是否等于 。 解答：在一般度量空间中不成立 ，例如：取 的度量子空间 ，则 中的开球 的的闭包是 ，而 2、设 是区间 上无限次可微函数全体，定义 ，证明： 按 构成度量空间。 证明：（1）显然 且 有 ，特别当 时有 有 。 （2）由函数 在 上单调增加，从而对 有 即三角不等式成立 。 3、设 是度量空间 中的闭集，证明必有一列开集 包含 ，而且 。 证明：设 为度量空间 中的闭集，作集： ， 为开集，从 而只要证 ； 可实上，由于任意正整数 ，有 ，故： 。 另一方面，对任意的 ，有 ， 令 有 。所以 （因 为闭集）。这就是说， 综上所证有： 。 4、设 为度量空间 上的距离，证明 也是 上的距离。 证明：首先由 为度量空间 上的距离且 ，因此显然有 且 的充要条件是 ，而 的充要条件是 ，因此 的 充要条件是 。其次由函数 在 上单调增加有 即三角不等式成立。所以 也是 上的距离。 5、证明点列 按题2中距离收敛于 的充要条件为 的各阶导数在 上一致收敛于 的各阶导数。 证明：由题2距离的定义： 则有： 若 上述距离收敛于 ，则 。所以对任何非负整数 有： 。由此对任何非负实数 有 。 从而对任何非负整数 ， 的各阶导数 在 上一致收敛于 的各阶导数 。 反之：若对每个 ， 的各阶导数 在 上一致收敛于 的各阶导数 ，则对每个 有 ，则 有： 从而对任意的非负实数 有： 。又由于 从而； ，于是 有： 。从而取 时 于是 有 。从而点列 按题2中距离收敛于 。