几何测度论 (Federer) 笔记 03

Caratheodory's construction lv.2

定义 (Borel partition): 为 集合 的一个 Borel partition, 若 为一族可数互不相交 Borel 集, 且 .

定理 2.10.8. 设 为可分度量空间 上由所有 Borel 子集上的函数 通过 Caratheodory's construction 得到的测度, 且 满足

对任意 为一族可数 Borel 集, 且 若 为 中任意 Borel 子集, 则

更进一步地, 若 均为 的 Borel partition, 且

则

证明: 由假设知 , 对任意 Borel 集 . 由于任意 Borel 集均 可测, 从而

对任意 的 Borel partition . 进一步地, 若 的 Borel partition 的成员的直径趋向于 , 则

Q.E.D.

推论: , 有 .

对于函数 及取值 , 记 .

定理 2.10.10. 设 为可分度量空间, 为拓扑空间 上的测度, 函数 , 且对任意 为 的 Borel 子集, 均 可测. 若

且 为 上的由所有 Borel 子集上的函数 通过 Caratheodory's construction 得到的测度, 则

对任意 Borel 集 .

证明: 选取 的 Borel partition 列: , 使得 的任意成员都是 中一些成员的并集, 且

令 为 的特征函数, 注意到

则对任意 , 由定理 2.10.8. 有

Q.E.D.

推论 2.10.11. 若 为完备可分空间, 为度量空间, 为 Lipschitz 映射, , 为 的 Borel 子集, 则

证明: 注意到

Q.E.D.

推论 2.10.12. 若 为度量空间, 则对任意连通子集 , 有 .

证明: 我们不妨设 . 由于 完备可分, 我们可以选取 Borel 集 使得 , 且 . 固定 , 定义 ,

则由定理 2.10.11. 有

由于 , 而 . Q.E.D.

定理 2.10.13. 设 为度量空间, 为连续映射, 设 , 且 , 令 . 则

进一步地, 若 为自反 Banach 空间, 则 在 上绝对连续当且仅当 , 且

若上述定理中不假设 连续, 则结论可改为:

其中

以及

定理 2.10.15. 设 为整数, 为 中 Borel 集,

则 ,

进一步地, 时等号成立, 即

证明: 类似于定理 2.10.10. 的证明, 选取 Borel partitions , 有

则由 Minkowski 不等式,

时上述不等号变为等号. Q.E.D.