测度

最新推荐文章于 2020-12-23 19:26:31 发布

东风吹柳

最新推荐文章于 2020-12-23 19:26:31 发布

阅读量4.9k

点赞数 3

分类专栏：分析基础文章标签：测度论

本文链接：https://blog.csdn.net/A_Pointer/article/details/88582550

版权

分析基础专栏收录该内容

7 篇文章 4 订阅

订阅专栏

长度公理：

设有实数直线上的一些点集所构成的集类 $\mu$ ，若对每一个 $E \in \mu$ ，都对应一个实数 $m(E)$ ，使得：

(1) $m(E) \geqslant 0$ ；

(2) 如果 $E_{i} \in \mu ,i=1,2,\cdot \cdot \cdot ,n.$ ， $E_{i}\cap E_{j} = \varnothing, \forall i \neq j$ ，那么 $m(E_{1}\cup E_{2}\cup\cdot \cdot \cdot \cup E_{n}) = \sum_{k=1}^{n}m(E_{k})$ ；

(3) $m([0,1])=1.$

但是，该公理思考：[a,b]区间上所有有理数点集A的长度是多少？[a,b]区间上所有无理数点集B的长度又是多少？

因为A是可数个点的并集，而在这个公理下，可以求的是有限多个点集的长度；同样，B是无限多个点的并集，也无法求。

测度是长度概念的推广，为的是解决无限多个点集的并集的长度。于是，将长度公理里的(2)改成“可数可加性”(即当集合是可数个集合之并时，可以像(2)中那样直接加)。于是得到

Lebesgue测度公理：设实数直线上的点集所构成的集类 $\mu$ ，若对每一个 $E \in \mu$ ，都对应一个实数 $m(E)$ ，使得：

(1) $m(E) \geqslant 0$ ；

(2) 如果 $E_{i}\in \mu,i=1,2,\cdot \cdot \cdot$ ， $E_{i}\cap E_{j} = \varnothing, \forall i \neq j$ ，那么 $m(\sum_{k=1}^{\infty}E_{k}) = \sum_{k=1}^{\infty}m(E_{k})$ ；

(3) $m([a,b])=b-a.$

【这里不把“有限可加”改成“无限可加”，而改成“可数可加（或者可列可加）”的原因：

还考虑[a,b]区间上所有有理数点集A的长度是多少？[a,b]区间上所有无理数点集B的长度又是多少？

在Lebesgue测度公理下， $m(A) = 0$ 。而 $m([0,1])=m(A\cup B)=m(A)+m(B)$ ，所以 $m(B)=1$ .

如果“无限可加”，则会有 $m(A) = 0$ ， $m(B) = 0$ .这与 $m([0,1])=1$ 矛盾。】

Lebesgue测度：Lebesgue测度公理中 $m(\cdot )$ 就是测度。具体定义见《集论初步》。

【关于测度存在下的集类 $\mu$ 的代数结构探索，由 $m(\sum_{k=1}^{\infty}E_{k}) = \sum_{k=1}^{\infty}m(E_{k})$ 出发：

(1) $m:E\rightarrow R^{*}\cup \left\{ 0\right\}$ ，即 $\sum_{k=1}^{\infty}E_{k} \in E$ ，因此 $\mu$ 满足“可数和封闭”（蕴含满足“有限和封闭”）。

(2) $\forall A ,B \in \mu(C:=A-B)$ ，此时 $B \cap C=\varnothing$ ，即 $A=B+C$ 为直和分解。这时，我们常常希望的是 $C\in \mu$ 。

综上所述，测度往往定义在一个环上。

】

L外测度：设 $E$ 为 $R^{n}$ 中任一点集，对于每一列覆盖 $E$ 的开区间（ $\bigcup_{i=1}^{\infty}I_{i,j}\supset E$ ），作出它们的体积总和 $\mu_{j} = \sum_{i=1}^{\infty}|I_{i,j}|$ （ $\mu_{j}$ 可以等于 $+\infty$ ，不同的区间列一般有不同的 $\mu$ ，即就是 $\mu_{i}$ 与 $\mu_{j}$ 不等），所有这一切的 $\mu$ 组成一个下方有界的数集，它的下确界（完全由 $E$ 决定）称为 $E$ 的Lebesgue外测度，简称L外测度或者外测度，记作：

$m^{*}E=\inf_{E \subset \bigcup_{i=1}^{\infty}I_{i,j}}\sum_{i=1}^{\infty}|I_{i,j}|$

【L外测度其实类似与数分里的达布大和，L测度也是极限问题，故当然可以用夹逼定理；

另一方面，研究外测度的本质原因是：任何集合的外测度都存在。】

定理：(1) $m^{*}E\geqslant 0$ ， $E = \varnothing \rightarrow m^{*}E= 0$ ；

(2) $A \subset B \rightarrow m^{*}A \leqslant m^{*}B$ ；

(3) $m^{*}(\bigcup_{i=1}^{\infty}A_{i})\leqslant \sum_{i=1}^{\infty}m^{*}A_{i}$ .（即使 $A_{i} \cap A_{j} = \varnothing,\forall i \neq j$ ，也不一定取到等号）

【用外测度定义里的覆盖很显然得到上述结论】

可测性判定定义：设 $E$ 为 $R^{n}$ 中的点集，如果对任一点集 $T$ 都有：

$m^{*}T=m^{*}(T\cap E)+m^{*}(T\cap E^{c})$

则称 $E$ 是可测的，此时 $E$ 的外测度就是 $E$ 的测度，记作 $mE$ . $L$ 可测集全体记作 $\mu$ 。

【1 测度是定义在一个环上的函数 $m:X\rightarrow R^{*}\cup\left \{ 0 \right \}$ ， $X \in \mu$ ， $\mu$ 是一个环。因此，可测性的本质为 $E$ 是否属于 $\mu$ 。

2 在实变中，研究对象是 $\forall E \in R^{n}$ ，很显然，测度往往定义在一个 $\delta$ 代数上。若外测度满足“可数可加性”，则外测度满足：有限交、并、取余集封闭，有限可加性。有：

$\forall T,E \in \mu [(T\cap E \in \mu)\wedge (T\cap E^{c} \in \mu)]$

又 $T=(T\cap E) \cup (T\cap E^{c} )$ ， $(T\cap E) \cap (T\cap E^{c} )=\varnothing$ . 故： $m^{*}T=m^{*}(T\cap E)+m^{*}(T\cap E^{c})$ 。

另一方面， $\exists T \in \mu,m^{*}T\neq m^{*}(T\cap E)+m^{*}(T\cap E^{c})$ ，则 $E \notin \mu$ ，当然不可测。

】

定理：任意多个可测集合的交（或者并）仍可测。（蕴含：可测集的补集也可测，可测集的差仍然可测）

【通过集合间运算很容易验证】

可测集类：凡Borel集都是L可测集。（蕴含：(1)区间都是可测的，其测度等于区间长度；(2)凡开集、闭集皆可测）

【 $\delta$ 代数（集一种类）的成员称为Borel集（ $\delta$ 代数定义见《集论初步》）】

定理： $\forall E [(E=G_{\delta}-M)\vee (E=F_{\delta}+ M)$ ，

其中， $E$ 为L可测集， $G_{\delta} = \bigcap _{i=1}^{\infty}G_{i}$ ， $F_{\delta} = \bigcup _{i=1}^{\infty}F_{i}$ ， $G_{i}$ 为开集， $F_{i}$ 为闭集。 $L$ 零测度集 $M$ 。

【此定理说明：任何可测集可以被 $G_{\delta}$ 外部向里方向逼近，可以被 $F_{\delta}$ 内部向外逼近。 $m(G_{\delta}-E) =0$ ， $m(E-F_{\delta}) =0$ 】

东风吹柳

关注

3
点赞
踩
11

收藏

觉得还不错? 一键收藏
打赏
0
评论
测度

长度公理：设有实数直线上的一些点集所构成的集类，若对每一个，都对应一个实数，使得：(1)；(2) 如果，，那么；(3)但是，该公理思考：[a,b]区间上所有有理数点集A的长度是多少？[a,b]区间上所有无理数点集B的长度又是多少？因为A是可数个点的并集，而在这个公理下，可以求的是有限多个点集的长度；同样，B是无限多个点的并集，也无法求。测度是长度概念的推广，为的...
复制链接

扫一扫