b

blickwinkle

V1

2023/04/10阅读:23主题:默认主题

几何测度论 (Federer) 笔记 02

Caratheodory's construction

为度量空间, 的子集族, 给定函数 满足

可构造出一个相关的测度. 固定 , 对任意 , 定义

可见 , 若 . 从而存在

均为 上的测度. 由 Caratheodory's criterion 可知任意 的开子集均 可测 (但对 并不一定成立).

定理 (Caratheodory's criterion): 为度量空间 上的测度, 则 上的所有开子集均 可测的充要条件是

如果 中的元素均为 Borel 集, 则任意 的子集均包含于一个与其 测度相同的 Borel 集中, 因此 是一个 Borel 正则测度.

如上构造的测度 称为 result of Caratheodory's construction from on , 称为 size approximating measure.

如上构造的 一般并不是 的延拓.

①.

其中 为非负整数,

上的 Lebesgue 测度.

(1). 全体非空子集, 则由此构造得到的测度 称为 上的 Hausdorff 测度, 记作 . 等于 上的计数测度. 若 , 则 , .

(2). 中的所有闭球, 则由此构造得到的测度 称为 上的 球测度, 记作 . 显然有 .

②. , 为正整数, 对任意 ,

中全体非空子集. 由此通过 Caratheodory's construction 得到的测度记作 .

③. , 为正整数, , 对任意 ,

其中 所有正交投影组成的空间.

(1). 中全体 Borel 子集. 由此通过 Caratheodory's construction 得到的测度称为 上的 Gross 测度, 记作 .

(2). 中全体开凸子集. 由此通过 Caratheodory's construction 得到的测度称为 上的 Caratheodory 测度, 记作 . 时, , 从而 .

④. , 记 上的 不变 (体积 1) 测度. 当 时, 记正常数 满足:

对任意 上的简单 向量 ( 个向量的外积). 事实上

. 对 , 定义 .

现在设 , 为正整数, , . 对任意 Suslin 集 , 取 上的函数 , 使得

并令

(1). 上全体 Borel 子集. 由 上的 通过 Caratheodory's construction 得到的测度称为 上的 维指数 integralgeometric 测度, 记作 .

(2). 上全体开凸子集. 由 上的 通过 Caratheodory's construction 得到的测度记作 .

.

称为 Gillespie 测度.

时, 上述所有测度都与 相等.


吐槽一句, 这些花体的字母实在太难辨识了。。下面列出按顺序排列的花体字母做对照用:

分类:

数学

标签:

数学

作者介绍

b
blickwinkle
V1