度量空间上的绝对连续函数.pdf

度量空间上的绝对连续函数 胡昊宇 严再立 前言 在实变函数论中，闭区间上的绝对连续实函数无疑占据着十分重要的地位。 这一类函数有着连续、几乎处处可微、导函数勒贝格可积、有界变差等重要性质， 因而推广绝对连续函数的概念，并研究推广后的函数的性质是一项有意义的工 作。 Jakub Duda[5]给出了从闭区间 到一般度量空间 的绝对连续函数的 概念，Jan Maly[3] 给出了从 的开子集 到 的 绝对连续函数的概念， Donatella Bongiorno[4] 给出了从 的开子集 到 的 绝对连续函数的概念。 本文上半部分是拟对一般的度量空间 和 ，给出从 到 的绝对连续函数的概念，并证明了当 ， 时，本概念与 绝 对连续的意义是不同的；而后引进绝对嵌入的概念，重点研究了它与绝对连续的 关系。下半部分是对紧度量空间 ，定义了绝对连续函数空间 ，并给 出了一族范数，使其成为 代数，最后还计算了它的谱。 第一章 绝对连续函数和绝对嵌入 1.1 定义：绝对连续函数. 和 为度量空间，固定 ，令 ， 是 一 个 映 射 ， 是 的 子 集 ， 是 一 个 简 写 记 号 ， 为 . 是绝对连续函数即 ， ， ， 是 中两两不相交的开球，只要满足 ，就有 . 注： 1) Lipschitz 连续函数是绝对连续的. 2) 绝对连续函数是一致连续的. 1.2 在这一节中我们比较Mal 的 －绝对连续和 1.1 中定义的绝对连续 I．定义[3，1]： 为 －绝对连续 ，如果 ， ，使得 ， ，，以及 ，只要 ，及 ， ， 那 么 就 有 ， 其 中 。 II．可以举出例子说明当 是 －绝对连续时不一定绝对连续. 这表明这两个定 义不是完全一样. 例 子 ： 是 － 绝 对 连 续 而 不 是 绝 对 连 续 . 定 义 证明 ：先证明 不是绝对连续的 . ， ，满足 ，令 ，取 中的子集 ，满足 ，其中 表示球 的半径. 我们会有： 由绝对连续的定义知 不是绝对连续的. 再证明 是 －绝对连续的. 我们明显有这样的三个事实： 是 中的