测度论与概率论基础学习笔记5——2.3测度的扩张和测度空间的完备化

---

note:这部分内容比较偏证明，对我来说有些难度，也好久没更新。今日暂且一记，以后有更深刻的理解之后再来补充。2021.3.16

---

一、测度的扩张
定义：扩张
设$\mu$和$\tau$分别是集合系$\mathcal{A}$和$\mathcal{B}$上的测度，且$\mathcal{A}\subset \mathcal{B}$，若对每个$A\in \mathcal{A}$都有：
$$\mu (A)=\tau (A)$$
则称$\tau$为$\mu$在$\mathcal{B}$上的扩张。当然，我们也希望这个扩张是唯一的。

• 通过反例可以说明：按照前几节的方式：如果通过生成外测度，且将外测度限制在$\sigma$域上，是无法将原测度扩张的。必须另寻他法。

在讨论扩张的做法之前，需要以下命题作为工具：
命题1.1
设$\mathcal{F}$是一个$\pi$系，如果$\sigma (\mathcal{F})$（$\mathcal{F}$生成的$\sigma$域）上的测度$\mu ,v$满足：

• 对任意$A\in \mathcal{F}$有$\mu (A)=v(A)$
• 若 { A n } \{A_n\} {An​}是全集X的一个划分，且$\mu$在这个划分集合中是有界的

那么对任何$A\in \sigma (\mathcal{F})$：有$\mu (A)=v(A)$。
该命题的意思是，满足第一个条件，且测度在划分集合中是有界的，那么在生成的$\sigma$域里两个测度仍是相等的。

定理1.2测度扩张定理
对半环$\mathcal{Q}$上的测度$\mu$,存在$\sigma (\mathcal{Q})$上的测度$\tau$使得
$$\tau (A)=\mu (A),\forall A\in \mathcal{Q}$$
若还满足命题1.1的第二条，则测度$\tau$是唯一的。

推论1.3
设$\mathcal{Q}$是一半环且$X\in \mathcal{Q}$,对$\mathcal{Q}$上的有限测度$\mu$，存在$\sigma (\mathcal{Q})$上的唯一测度$\tau$使$$\tau (A)=\mu (A),\forall A\in \mathcal{Q}$$成立。

证明略，但证明的过程，就是通过$\mu$产生的外测度$\tau$扩张到了比$\sigma (\mathcal{Q})$范围更大的一个$\sigma$域${\mathcal{F}}_{\tau }$上。可以证明，作为$\sigma (\mathcal{Q})$上的测度$\tau$和作为${\mathcal{F}}_{\tau }$上的测度$\tau$的差别很小。

此外，关于Lebesgue-Stieljes可测集、Lebesgue可测集的重要概念，我用图片暂记。可以参见参考1；参考2

二、测度空间的完备化
任何零测集的子集还属于这个测度空间，这是测度空间完备化的定义。类似于泛函分析中的距离空间和赋范空间，任何测度空间也能够完备化。方式如下：
对任意测度空间$(X,\mathcal{F},\mu )$，若令
F ′ = { A ∪ N : A ∈ F , ∃ N ⊂ B ∈ F 使 得 μ ( B ) = 0 } \mathscr F' = \{A\cup N:A\in \mathscr F,\exists N\subset B\in \mathscr F使得\mu(B)=0\} F′={A∪N:A∈F,∃N⊂B∈F使得μ(B)=0}
并令：
${\mu }^{\prime }(A\cup N)=\mu (A)$
则$(X,{\mathcal{F}}^{\prime },{\mu }^{\prime })$就是一个完备的测度空间。