2-3 实变函数之测度论

2-3 实变函数之测度论

1.外测度

1. 定义：设$E$为$R^n$中任一点集，对于每一列覆盖$E$的开区间${\bigcup }_{i=1}^{\infty }{I}_i\subset E$,作出它的体积总和$\mu ={\sum }_{i=1}^{\infty }|I_i|(\mu 可以等于+\infty ，不同的区间一般有不同的\mu )$,所有这一切$\mu$组成一个有下界的数集，它的下确界（完全由E确定）称为E的勒贝格外测度，简称L外测度或外测度，记为$m^{\ast }E,$即
   $m^{\ast }E=\underset{E\subset {\sum }_{i=1}^{\infty }{I}_i}{\inf }|I_i|$.
2. 定理
   (1). $m^{\ast }E\ge 0,当E为空集时，则m^{\ast }E=0$
   (2). $设A\subset B,则m^{\ast }A\le m^{\ast }B$(单调性)
   (3). $m^{\ast }({\bigcup }_{i=1}^{\infty }{A}_i)\le {\sum }_{i=1}^{\infty }{m}_i^{\ast }$(次可数可加性)
3. 两个例子
   (1). 空间中可数点集外测度为0；
   proof：取$I_i=(r_i-\frac{ϵ}{2^{i+1}},r_i-\frac{ϵ}{2^{i+1}})$即可。
   (2). 平面中直线的外测度为0.
   proof：直线可由可数个区间长度为$ϵ$的开区间覆盖，而每个开区间的测度为0，由次可数可加性性可得。
   注：a. cantor三分集外测度为0；
   b. 有理数集的外测度为0；

2.可测集

(1). 定义

设$E是R^n$中的点集，如果对任意点集T都有：
$m^{\ast }T=m^{\ast }(T\bigcap E)+m^{\ast }(T\bigcap E^c)$
则称E是可测的，此时E的外测度即为E的测度。

(2). 定理

$I.集合E可测的充要条件是对于任意A\subset E,B\subset E总有$
$m^{\ast }(A\bigcup )B=m^{\ast }A+m^{\ast }B$.
$II.S可测的充要条件是S^c可测$.
$III.若S_1,S_2均可测，则S_1\bigcup S_2也可测，并且当S_1\bigcap S_2\ne \varnothing 时，对于任意集合T总有$
$m^{\ast }(T\bigcap (S_1\bigcup S_2))=m^{\ast }(T\bigcap S_1)+m^{\ast }(T\bigcap S_2)$.
$IV.若S_1,S_2均可测，则S_1\bigcap S_2也可测.$
$V.若S_1,S_2均可测，则S_1-S_2也可测.$
V I . 设 { S i } 是 一 列 互 不 相 交 的 可 测 集 ， 则 ⋃ i = i ∞ S i 也 是 可 测 集 ， 且 VI.设\{S_i\}是一列互不相交的可测集，则\bigcup_{i=i}^{\infty}S_i也是可测集，且 VI.设{Si​}是一列互不相交的可测集，则⋃i=i∞​Si​也是可测集，且
$m({\bigcup }_{i=i}^{\infty }{S}_i={\sum }_{i=1}^{\infty }m{S}_i$
V I I . 设 { S i } 是 一 列 可 测 集 ， 则 ⋂ i = i ∞ S i 也 是 可 测 集 VII.设\{S_i\}是一列可测集，则\bigcap_{i=i}^{\infty}S_i也是可测集 VII.设{Si​}是一列可测集，则⋂i=i∞​Si​也是可测集

3.可测集类

定理1.
（1）. 凡外测度为0之集皆可测，称为零测度集。
（2）.零测度集之任何子集仍为零测度集。
（3）. 有限个或可数个零测度集之和仍为零测度集。
定理2：$区间I（无论开闭）都是可测集和，且m^{\ast }I=|I|$.
定理3：凡开集闭集皆可测。
定理4：凡博雷尔集皆$L$可测.
$注1：设\Omega 是R^n中某些集合组成的集合类如果R^n\in \Omega ,并且\Omega$对于可数并及做差运算（由德摩根公式是对可数交及取余运算）是封闭的，则称$\Omega 为R^n上的一个\sigma 代数。$
$注2：设\sum 是R^n中某些集合组成的集族，称R^n上包含\sum 的\sigma$代数为由$\sum 生成的\sigma 代数。$