blickwinkle
2023/04/12阅读:31主题:默认主题
几何测度论 (Federer) 笔记 03
Caratheodory's construction lv.2
定义 (Borel partition): 为 集合 的一个 Borel partition, 若 为一族可数互不相交 Borel 集, 且 .
定理 2.10.8. 设 为可分度量空间 上由所有 Borel 子集上的函数 通过 Caratheodory's construction 得到的测度, 且 满足
更进一步地, 若 均为 的 Borel partition, 且
证明: 由假设知 , 对任意 Borel 集 . 由于任意 Borel 集均 可测, 从而
Q.E.D.
推论: , 有 .
对于函数 及取值 , 记 .
定理 2.10.10. 设 为可分度量空间, 为拓扑空间 上的测度, 函数 , 且对任意 为 的 Borel 子集, 均 可测. 若
对任意 Borel 集 .
证明: 选取 的 Borel partition 列: , 使得 的任意成员都是 中一些成员的并集, 且
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.
作者介绍