第二章 lebesgue测度

第二章 lebesgue测度

前言

积分的定义以及一个函数的可积性，是与相应的下方图形面积如何确定以及面积是否存在密切相关的。于是，如果我们想要建立能够应用与更大函数类的新的积分理论，自然希望把原有的面积概念进行推广，使得更多的点集能具有类似于面积性质的新的度量。

总之，我们希望对一般 $R^n$ 中的点集 $E$ 给予一种度量，它是长度、面积以及体积的概念的推广。如果记点集 $E$ 的这种度量为 $m(E)$ ，那么自然要求它具有某些常见的性质或者满足一定的条件。此时称 $m(E)$ 为 $E$ 的测度。

以 $R$ 为例，我们提出：

1. $m(E)\ge 0$ ;
2. $可合同的点集具有相同的测度$ ；
3. 令 $I=(a,b)$ ,则 $m(I)=b-a$ ;
4. 若 $E_1,E_2,...,E_k,...$ 是互不相交的点集，则 $m(\sum _{i=1}^{\infty }{E}_i)=\sum _{i=1}^{\infty }(E_i)$ ；

最后一条称为可数可加性，又称 $\sigma -$ 可加性。

2.1 点集的Lebesgue外测度

搬教材的话：大家知道，平面矩形的面积是长乘以宽。也就是说，取定一个标准单位——单位正方形，然后计算该矩形包含多少个正方形。但是，这种计算方法只对具有内点的点集有效。

为了对一般点集也能度量出某种“面积‘出来，我们放弃从点集内部扩张的方法，而按从其外部挤压的方法。

定义 2.1

设 $E\subset R^n$ ，若 { I k } \{I_k\} {Ik​} 是 $R^n$ 中的可数个开矩体，且有 $E\subset \bigcup _{k\ge 1}{I}_k$ ,则称 { I k } \{I_k\} {Ik​} 为 $E$ 的一个 $L-$覆盖 。

称 m ∗ ( E ) = i n f { ∑ k ≥ 1 ∣ I k ∣ ∣ { I k 为 E 的 L − 覆 盖 } } m^* (E)= inf\{\sum\limits_{k \geq 1}\vert I_k\vert \mid \{I_k 为 E 的L-覆盖\}\} m∗(E)=inf{k≥1∑​∣Ik​∣∣{Ik​为E的L−覆盖}} 为点集 $E$ 的 Lebesgue外测度，简称外测度 。

每一个L-覆盖都有体积和，取下确界就是外测度。

定理 2.1 （$R^n$ 中点集的外测度性质）

1. 非负性： $m^{\ast }(E)\ge 0$ ,$m^{\ast }(\varphi )=0$ ；
2. 单调性：若 $E_1\subset E_2$，则 $m^{\ast }(E_1)\le m^{\ast }(E_2)$ ；
3. 次可加性：$m^{\ast }(\bigcup _{k=1}^{\infty }{E}_k)\le \sum _{k=1}^{\infty }{m}^{\ast }(E_k)$ ；

推论 2.2

若 $E\subset R^n$ 为可数点集， 则 $m^{\ast }(E)=0$ .

单点的外测度为0，由次可加性，可数点集的外测度不大于单点集的外测度之和

定理 2.4

设 $E_1,E_2$ 是 $R^n$ 中的两个点集，若 $d(E_1,E_2)>0$ ，则 $m^{\ast }(E_1\cup E_2)=m^{\ast }(E_1)+m^{\ast }(E_2)$ .

定理 2.5 （平移不变性）

设 $E\subset R^n,x_0\in R^n$ .记 E + { x 0 } = { x + x 0 , x ∈ E } E+\{x_0\} = \{x+x_0,x \in E\} E+{x0​}={x+x0​,x∈E} ,则 m ∗ ( E + { x 0 } ) = m ∗ ( E ) m^*(E + \{x_0\}) = m^*(E) m∗(E+{x0​})=m∗(E) .

2.2 可测集与测度

前言

上一节指出外测度具有次可加性，集合函数 $m^{\ast }$ 还不是我们所希望的测度。实际上不可能给出在 $R^n$ 上的一切点集都有定义的测度，也就是说有些点集不存在测度或者不可测。于是我们的任务就是在Lebesgue外测度的基础上，在 $R^n$ 上诱导出一个可测集合类，在其上 $m^{\ast }$ 是一种期望的测度。

定义 2.2

设 $E\subset R^n$ ，若对任意的点集 $T\subset R^n$ ，有 $m^{\ast }(T)=m^{\ast }(T\cap E)+m^{\ast }(T\cap E^c)$ ，则称 E 为Lebesgue可测集（或 $m^{\ast }$ -可测集），简称为可测集，其中 $T$ 称为 试验集 ，可测集的全体称为可测集类，简记为 $\mathcal{M}$ 。

定理2.6（可测集的性质）

1. $\varphi \in \mathcal{M}$
2. 若 $E\in \mathcal{M}$ ,则 $E^c\in \mathcal{M}$
3. 若 $E_1\in \mathcal{M},E_2\in \mathcal{M},$ 则 $E_1\cap E_2,E_1\cup E_2,E_1\setminus E_2$ 均属于 $\mathcal{M}$ .（由此知，可测集任何有限次取交、并运算后所得的集皆为可测集。）
4. 若 $E_i \cap E_j = \phi $，则 $m^{\ast }(\bigcup _{i=1}^{\infty })E_i=\sum _{i=1}^{\infty }{m}^{\ast }(E_i)$ .即 $m^{\ast }$在 $\mathcal{M}$上满足可数可加性（或称 $\sigma$ - 可加性）

定理 2.7（递增可测集列的测度运算）

若有递增可测集列 $E_1\subset E_2\subset ...\subset E_k...$ ,则 $m(\underset{k\to \infty }{\lim }{E}_k)=\underset{k\to \infty }{\lim }m(E_k)$ .

推论 2.8（递减可测集列的测度运算）

若有递减可测集列 $E_1\supset E_2\supset ...\supset E_k\supset ...$ ,且 $m(E_1) < +\infty $ ,则 $m(\underset{k\to \infty }{\lim }{E}_k)=\underset{k\to \infty }{\lim }m(E_k)$ .

Fatou 引理

设 { E k } \{E_k\} {Ek​} 是可测集列，则 $m(\underset{\overline{k\to \infty }}{\lim }{E}_k)\le \underset{\overline{k\to \infty }}{\lim }m(E_k)$ , $m(\overline{\underset{k\to \infty }{\lim }}{E}_k)\ge \overline{\underset{k\to \infty }{\lim }}m(E_k)$ .

写这玩意儿太累了，有空再更。