测度论与概率论基础学习笔记4——2.2外测度

测度论果然十分高深啊…越学越觉得自己水平有限，只能做一些肤浅的理解。
由于比较stupid，本节的证明我都没有学(doge，希望几年之后武功长进之时能回来看看。

引言
外测度的基本想法是用一些形状良好的，已经定义了类似测度概念（称为类测度）的集合去尽可能“小”的覆盖其他集合，然后用这些集合的”类测度“的和作为被覆盖集合的外测度。（参考知乎-外测度）
比如我们在小学都做过这种“数格子”的题：

要测量一个不规则图形的面积，可以用小方格的面积之和来测量。外测度与此有异曲同工之妙。

定义：外测度
这个定义是外测度的抽象定义，其并不严格。
由$X$的所有子集组成的集合系$\mathcal{F}$到$[0,+\infty )$的函数$\tau$称为$X$上的外测度，若其满足：

1. $\tau (\varphi )=0$
2. 单调性：任何$A\subset B\subset X$有$\tau (A)\le \tau (B)$
3. 半可列可加性：对$\mathcal{F}$中的任意集合列 { A n } \{A_n\} {An​}满足$\tau ({\cup }_{n=1}^{\infty }{A}_n)\le {\sum }_{n=1}^{\infty }\tau (A_n)$

按照引论中的说法，我们可以构造如下一个外测度，使之满足上面的几个性质：
设$\mathcal{E}$是一个集合系且包含空集，若其上的非负集函数$\mu$满足$\mu (\varphi )=0$，对每个$A\in \mathcal{F}$令
τ ( A ) = inf ⁡ { ∑ n = 1 ∞ μ ( B n ) : B n ∈ E , A ⊂ ∪ n = 1 ∞ B n } \tau(A)=\inf\{ \sum_{n=1}^\infty \mu(B_n):B_n\in \mathscr E,A\subset \cup_{n=1}^\infty B_n\} τ(A)=inf{n=1∑∞​μ(Bn​):Bn​∈E,A⊂∪n=1∞​Bn​}
则$\tau$是一个外测度，称为由$\mu$生成的外测度.
  \space  
我们希望一个集合的测度应该等于把该集合分成任意多（至少是可数）个不相交集合的测度的和，因此照如下定义可测集：
设$\tau$是$X$上的一个外测度，把满足：
$$\tau (D)=\tau (D\cap A)+\tau (D\cap A^c),\forall D\in \mathcal{F}$$
的子集A称为$\tau$可测集，把由全体$\tau$可测集组成的集合系记为${\mathcal{F}}_{\tau }$。

定理：Caratheodory定理
若$\tau$是外测度，则${\mathcal{F}}_{\tau }$是$\sigma$域，三元组$(X,{\mathcal{F}}_{\tau },\tau )$是完全测度空间（任意零测集的子集仍属于集合系的测度空间）。

因此，我们将半环上的测度测度扩张为sigma域的测度，就是利用了上面的知识，等学完测度扩张之后，再来补充。