1、外侧度:
- 测度的背景:仅有连续函数和积分的古典理论并不足以解决数学分析的许多问题;由于黎曼积分在理论上具局限性,故需要将原有的积分定义进行改造;对于闭区间的正值连续函数,其积分就是平面曲边梯形的面积;而不可积函数这样的面积就不存在;所以我们需要将面积这一概念进行推广,使得更多的函数通过新的度量达到类似面积这样性质;
的开集度量:
中,开矩形
的面积:
;
中,开长方体
的体积:
;
- ……
中,开集/开长方体
的体积:
;
- 外侧度的背景:对于一般的点集,我们无法使用类似黎曼积分的分析方法(对
分成
份,以
个长方形的面积之和代替积分;这里可以引申为分割的长方体之和代替体积);为此这里采用外部挤压的办法,用矩形/正方形去覆盖点集,通过计算这些矩形的面积总和得出原点集的“面积”(明显这些矩形的面积值比原点集的“面积”值要大);由此我们通过外侧度来推出测度的概念;
-覆盖:已知点集
,
为
中的可数个开矩体,且
,则
为
的一个
-覆盖;
- 勒贝格(Lebesgue)外侧度/外侧度
/
:
,其中
,
为开矩体(或称
为
的
-覆盖);
- 外侧度的性质和定理:
- 非负性:
;
;
- 单调性:
;
- 次可加性:
;
- 平移不变性:
,
,若记
,则
;
2、可测集
- 可测集和不可测集的构建背景:我们总可以找到互不相交的
,有
,即外侧度不满足可数可加性;事实上,总有一些点集是不存在测度的,这些点集构成的集合便叫做不可测集;反过来说,具有可加性的点集集合就是可测集;
- 可测集和不可测集的判断方法:
- 采用内外侧度的方法:集合的外侧度是包住集合的矩体的体积和的下确界,而集合的内测度就是将集合挖去矩体后剩下部分的体积和的上确界(包含在集合中闭集测度的上确界),当内外侧度相等(
)时,集合就为可测集;但这样的界定方式无法推广到一般的抽象背景上去,且从可加性角度看问题有重大缺陷,因为不能由内测度有可加性推出外侧度有可加性;
- 以可测集证可测集:若
为可测集,但我们并不知晓可测集的定义,而且
也是可测集;之后验证在任意的开矩体
上,总有
;再借此证明下面的可测集定义;
- 勒贝格可测集/
-可测集
:当
时,若
点集
,都有
(卡拉西奥多里(Carathéodory)条件,其等价于
),则称
为勒贝格可测集,
为试验集;可测集的全体集合称为可测集类;
就为勒贝格测度
;
- 可测集的性质和定理:
- 常见的可测集:
,矩体
(满足
),开集,闭集,零测集,;
-
为可测集
为可测集;
-
为可测集;
-
为可测集
为可测集(即可测集有限次取交或并运算后的集合仍为可测集);
-
可测集无限次取交或并运算后的集合仍为可测集;
-
可数可加性/
-可加性:若可测集
互不相交,
;
-
若有单调递增可测集列
,则
;
-
若有单调递减可测集列
,且
,则
;(反例是:
)
-
已知可测集列
,
存在则
可测;若
,则
;
-
已知
,则
集(可数个开集的交)
,且有
;