2021年05月07日 实分析笔记
欧耀彬 教二2405
定义于局部紧的Hausdorff空间 的全体Borel集组成的 -代数 上的测度 ,称为 上的Borel测度.
事实上,Riesz表示定理中所定义的测度 即为一个Borel测度.
Borel集 称为外正则的,若 是正测度,且 满足
Borel集 称为内正则的,若 是正测度,且 满足
测度 称为正则的,若对于任意Borel集 , 既是外正则的,又是内正则的.
即,Borel集 的大小在测度 的意义下,既可以从外部逼近,又可以从内部逼近.
注:Riesz表示定理中,对所有集合(不限于Borel集)构造了外正则性,但只对开集和有限测度的集合构造了内正则性.
对于开集 ,
取 紧,,则
对于满足 的集合 ,
拓扑空间中的集合 被称为 -紧的,若 是紧集的可数并.
例如, 不是紧集,但是 -紧的,因为
若 ,且 ,则称 有 -有限测度.
在Riesz表示定理中所有紧集的测度都是有限的,因此Riesz表示定理的 -紧集有 -有限测度.
定理2.17. 是局部紧、-紧的Hausdorff空间,若 由Riesz表示定理给出,则
(a) 若 ,则对于任意 ,存在闭集 和开集 ,满足
注意到,在Riesz表示定理证明的步骤V中,只针对 ,即 中大小有限的集合. 且 是紧集,而不是闭集.
(b) 是正则的Borel测度.
(c) 若 ,则存在 集 , 集 ,满足
其中, 集是可数个闭集的并, 集是可数个开集的交.
证明定理2.17(a).
证:
第一部分:先证明存在开集 ,使得
是 -紧的,不妨设 ,其中 是紧集.
由于 ,则 .
再由Riesz表示定理证明的步骤V知,存在开集 ,使得
令 ,则
第二部分:再证明存在闭集 ,使得
对于任意 ,由证明的第一部分知,存在开集 ,且
定义闭集 ,则由 可知 ,且
则
综上,
证明定理2.17(b).
证:只要证明Borel集 是内正则的.
情形一:若 ,则 .
由Riesz表示定理的证明步骤V知,成立.
情形二:若 ,则由 (a) 知,对于任意 ,存在闭集 ,使得
则 .
不妨设 ,其中 是紧集,则
其中, 是紧集,则 是 -紧的.
令 ,则
因此, 时, 渐升收敛于 ,即
证明定理2.17(c).
证:由 (a),取 ,存在闭集 和开集 ,满足
令 ,,则 为 集, 为 集.
且
因此,
定理2.18. 设 是局部紧的Hausdorff空间,它的每个开集都是 -紧的. 是 上任意的正Borel测度,且对于任意紧集 ,有 ,则 为正则的.
开集也包括 ,因此 也是 -紧的,即相对于定理2.17条件更强. 对于任意紧集 ,有 的条件在Riesz表示定理中也有.
证:
对于任意 ,令 .
因为对于任意紧集 ,有 .
对于任意 ,,则 是紧集,于是 .
所以, 是 上的正线性泛函.
由Riesz表示定理和 是 -紧的知,存在正则的Borel测度 ,满足
下面只需证明 ,即对于任意Borel集 ,有 .
(1)先证对于任意开集,有 .
注意到,对于 ,有
由于开集 是 -紧的,不妨令
其中, 是紧集.
对紧集 和开集 用Urysohn引理知,存在 ,使得
令
则 ,且对于任意 ,
由正可测函数列的单调收敛定理知,
其中,
(2)再证明对于任意Borel集 ,有 .
由定理2.17知,对于任意 ,存在闭集 和开集 ,满足 ,且 .
其中, 也是开集,于是也有 .
一方面,
另一方面,
注意到, 是任意的,因此 .