数学渣的测度论笔记

Lesson 1：Chp1 集合与测度

1.1集合运算与集类

1.集合

符号

$\Omega$：一个非空集合（空间）
$\omega$：$\Omega$ 中元素点
A：$\Omega$ 中元素的集合（子集）
B^c ：余集$\Rightarrow \Omega \backslash B$

包含：$A\subset B:\omega \in A\Rightarrow \omega \in B$
集合相等：$A=B:A\subset B,B\subset A$

集合运算

并：$A\cup B:\omega \in A或\omega \in B$
交：$A\cap B:\omega \in A且\omega \in B$ $(A\cap B常记为AB)$
$A+B:A\cap B=\varnothing 时,A\cap B记为A+B$

差：$A\backslash B:\omega \in A且\omega \notin B$ $(A\backslash B=A\cap B^c)$
$A-B:B\subset A时,A\backslash B记为A-B$

对称差：$A△B:(A\backslash B)\cup (B\backslash A)$

2.集类: { A i , i ∈ I } \{A_i ,i\in I\} {Ai​,i∈I}

相关性质

(可列个集合）
⋃ i ∈ I A i = { ω ∣   ∃ i ∈ I , s . t . ω ∈ A i } \bigcup_{i\in I} A_i = \{\omega|\ \exist i \in I,s.t.\omega \in A_i \} ⋃i∈I​Ai​={ω∣ ∃i∈I,s.t.ω∈Ai​}
⋂ i ∈ I A i = { ω ∣   ∀ i ∈ I , ω ∈ A i } \bigcap_{i\in I} A_i = \{\omega|\ \forall i \in I,\omega \in A_i \} ⋂i∈I​Ai​={ω∣ ∀i∈I,ω∈Ai​}

$({\bigcup }_{i\in I}{A}_i)\cap B={\bigcup }_{i\in I}(A_i\cap B)$
(满足相应交换律、结合律、de Morgan公式）

上下限集

lim ⁡ n → ∞ ‾ A n = lim sup ⁡ n → ∞ A n = ⋂ n = 1 ∞ ⋃ k = n ∞ A k = { ω ∣ ∀ n , ∃ k ≥ n , ω ∈ A k } = { ω ∣ ω 属 于 { A n } 中 无 穷 多 个 } \overline{\lim_{n\to\infty}}A_n= \limsup_{n\to\infty}A_n =\bigcap_{n = 1}^\infty \bigcup_{k = n}^\infty A_k\\ =\{\omega|\forall n,\exist k\ge n,\omega\in A_k\}\\ =\{\omega|\omega 属于\{A_n\}中无穷多个\} n→∞lim​​An​=n→∞limsup​An​=n=1⋂∞​k=n⋃∞​Ak​={ω∣∀n,∃k≥n,ω∈Ak​}={ω∣ω属于{An​}中无穷多个}

lim ⁡ ‾ n → ∞ A n = lim inf ⁡ n → ∞ A n = ⋃ n = 1 ∞ ⋂ k = n ∞ A k = { ω ∣ ∃ n , ∀ k ≥ n , ω ∈ A k } = { ω ∣ ω 不 属 于 { A n } 中 有 限 多 个 } \underline{\lim}_{n\to \infty}A_n=\liminf_{n\to\infty}A_n =\bigcup_{n = 1}^\infty \bigcap_{k = n}^\infty A_k\\ =\{\omega|\exist n,\forall k\ge n,\omega\in A_k\}\\ =\{\omega|\omega 不属于\{A_n\}中有限多个\} lim​n→∞​An​=n→∞liminf​An​=n=1⋃∞​k=n⋂∞​Ak​={ω∣∃n,∀k≥n,ω∈Ak​}={ω∣ω不属于{An​}中有限多个}
关系：${\overline{\lim }}_{n\to \infty }{A}_n\supset {\underline{\lim }}_{n\to \infty }{A}_n$
（为理解文字描述：$如\omega \in A_1,A_3,A_5,...,则\omega \in {\overline{\lim }}_{n\to \infty }{A}_n,\omega \notin {\underline{\lim }}_{n\to \infty }{A}_n$）

例：
$A_n=\{\begin{array}{ll}B,& \text{n为偶数 }\\ C,& \text{n为奇数 }\end{array}，则{\overline{\lim }}_{n\to \infty }{A}_n=B\cup C,{\underline{\lim }}_{n\to \infty }{A}_n=B\cap C$
（看到一种类比，上限集类比于最小公倍数，下限集类比于最大公约数，感觉意会了，有更好的理解望大家不吝赐教）

极限： 若${\overline{\lim }}_{n\to \infty }{A}_n={\underline{\lim }}_{n\to \infty }{A}_n$,则称极限集存在，记为${\lim }_{n\to \infty }{A}_n$

Lesson 2: Chp1

构造集类

设 $\mathcal{C}$ 为一非空集类
有限交封闭： 若$A,B\in \mathcal{C}\Rightarrow A\cap B\in \mathcal{C}$，则称 $\mathcal{C}$ 对有限交封闭（从而${\cap }_{i=1}^n{A}_i\in \mathcal{C}$）
${\mathcal{C}}_{\cap f}:$用有限交运算封闭 $\mathcal{C}$ 所得的集类
$${\mathcal{C}}_{\cap f}=\left\{A|A=\bigcap _{i=1}^n{A}_i,A_i\in \mathcal{C},i=1,...,n,n\ge 1\right\}$$

可列交封闭： 若$A_n\in \mathcal{C},n\ge 1\Rightarrow {\bigcap }_n^{\infty }{A}_n\in \mathcal{C}$，则称 $\mathcal{C}$ 对可列交封闭
（类似可定义有限并封闭、可列并封闭）

${\mathcal{C}}_{\delta }:$用可列交运算封闭 $\mathcal{C}$ 所得的集类
${\mathcal{C}}_{\cup f}:$有限并运算封闭…
${\mathcal{C}}_{\sigma }:$可列并运算封闭…
${\mathcal{C}}_{\Sigma f}:$有限不交并…
${\mathcal{C}}_{\Sigma \sigma }:$可列不交并…

联系

命题1.1.7 (由集合的交和并的分配律可得）：

1. ${\mathcal{C}}_{\cup f,\cap f}={\mathcal{C}}_{\cap f,\cup f}$
2. 若$\mathcal{C}$对有限交封闭，则${\mathcal{C}}_{\cup f},{\mathcal{C}}_{\sigma },{\mathcal{C}}_{\Sigma f},{\mathcal{C}}_{\Sigma \sigma }$对有限交封闭
3. 若$\mathcal{C}$对有限并封闭，则${\mathcal{C}}_{\cap f},{\mathcal{C}}_{\delta }$

集类分类

下用集合运算的封闭性划分不同类型的集类
定义1.1.8

1. 集类 $\mathcal{C}$ 对有限交封闭，则称 $\mathcal{C}$ 为 $\pi$类；
2. 半环：$\varnothing \in \mathcal{C}$，对有限交封闭$(A,B\in \mathcal{C}\Rightarrow A\cap B\in \mathcal{C})$，且$A\backslash B\in {\mathcal{C}}_{\Sigma f}$：即$\exists A_i\in \mathcal{C},i=1,...,n,s.t.A\backslash B={\sum }_{i=1}^n{A}_i$
   
   （将2.中A取为 $\Omega$ ,可扩展到3.）
3. 半(集)代数，半域：$\mathcal{C}$ 是半环且 $\Omega \in \mathcal{C}$
   即 $\{\begin{array}{l}①\varnothing ,\Omega \in \mathcal{C};\\ ②对有限交封闭;\\ ③\forall A\in \mathcal{C},\exists A_i\in \mathcal{C},i=1,...,n,s.t.A^c={\sum }_{i=1}^n{A}_i\\ {③}^{\prime }\forall A,B\in \mathcal{C},B\subset A,则A\backslash B={\sum }_{i=1}^n{A}_i,A_i\in \mathcal{C}\\ {③}^{\prime \prime }\forall A,B\in \mathcal{C},B\subset A,则A=B+{\sum }_{i=1}^n{A}_i,A_i\in \mathcal{C}\end{array}$
4. (集)代数，域：$\varnothing ,\Omega \in \mathcal{C}$,对有限交、补封闭（或有限并 /差 /对称差、补封闭）
   
   (此时交、差、并、补封闭，极限不一定封闭）
5. $\sigma$代数，$\sigma$域：$\varnothing ,\Omega \in \mathcal{C}$,对可列交、补封闭（或可列并、补封闭）
   此时:
   $$\begin{gathered} \overline{\underset{n\to \infty }{\lim }}{A}_n=\bigcap _{n=1}^{\infty }\bigcup _{k=n}^{\infty }{A}_k\in \mathcal{C} \\ {\underline{\lim }}_{n\to \infty }{A}_n=\bigcup _{n=1}^{\infty }\bigcap _{k=n}^{\infty }{A}_k\in \mathcal{C} \end{gathered}$$
   (特殊类)
6. 单调类：对单调序列的极限封闭（即$\{\begin{array}{l}{A}_n\in \mathcal{C},A_n\uparrow ,{\bigcup }_{n=1}^{\infty }{A}_n\in \mathcal{C}\\ A_n\in \mathcal{C},A_n\downarrow ,{\bigcap }_{n=1}^{\infty }{A}_n\in \mathcal{C}\end{array}$)
7. $\lambda$类：$(Ⅰ)\{\begin{array}{l}①对补封闭;\\ ②A,B\in \mathcal{C},A\cap B=\varnothing \Rightarrow A\cup B\in \mathcal{C}(不交的并封闭);\\ ③A_n\in \mathcal{C},A_n\uparrow ,{\bigcup }_{n=1}^{\infty }{A}_n\in \mathcal{C}(单调上升序列的极限封闭).\end{array}$
   $\Updownarrow (Ⅱ)\{\begin{array}{l}{①}^{\prime }\Omega \in \mathcal{C};\\ {②}^{\prime }A,B\in \mathcal{C},B\subset A\Rightarrow A\backslash B\in \mathcal{C}(真差并封闭);\\ ③A_n\in \mathcal{C},A_n\uparrow ,{\bigcup }_{n=1}^{\infty }{A}_n\in \mathcal{C}(单调上升序列的极限封闭).\end{array}$
   （为什么要分$\lambda$类？）

1.2 单调类定理

相关定义

$\mathcal{P}(\Omega ):\Omega$ 的所有子集组成的集类
$\sigma (\mathcal{C}):$ 给定集类$\mathcal{C}$，一定存在一个最小的 $\sigma$ 域包含 $\mathcal{C}$ ，称为 $\mathcal{C}$ 生成的 $\sigma$ 域，记为$\sigma (\mathcal{C})$
$\Rightarrow$ 存在 $\mathcal{C}$ 生成的单调类$m(\mathcal{C})$，$\lambda$类$\lambda (\mathcal{C})$，$\sigma$代数$\sigma (\mathcal{C})$
且恒有$m(\mathcal{C})\subset \lambda (\mathcal{C})\subset \sigma (\mathcal{C})$ (条件越多，需要的其中的集合更多)
证：
记$\mathcal{X}$为包含 $\mathcal{C}$ 的 $\sigma$域的全体，则$\mathcal{X}$非空（至少$\mathcal{P}(\Omega )\in \mathcal{X}$)
令$\mathcal{G}={\bigcap }_{\mathcal{B}\in \mathcal{X}}\mathcal{B}$，则$\mathcal{C}\subset \mathcal{G}$,可证$\mathcal{G}=\sigma (\mathcal{C})$.

思考 （整理后即为定理1.2.3）
（1）若 $\mathcal{C}$ 是代数，且为单调类（单增），设可列 { A n } ∈ C \{A_n\}\in \mathcal{C} {An​}∈C，是否有 ${\bigcup }_{n=1}^{\infty }{A}_n\in \mathcal{C}$?（即 是否对可列并封闭？）
（ $\mathcal{C}$为 代数 + 单调类 $\Rightarrow$ $\mathcal{C}$为 $\sigma$代数 ? ）

证 令$B_n={\bigcup }_{k=1}^n{A}_k$，
则$B_n\uparrow ,B_n\in \mathcal{C}$且 ${\bigcup }_{n=1}^{\infty }{B}_n={\bigcup }_{n=1}^{\infty }{A}_n\in \mathcal{C}$. 即此时 $\mathcal{C}$ 为 $\sigma$ 代数.

（2）$\mathcal{C}$为 $\pi$类 + $\lambda$类$⟺$$\mathcal{C}$为 $\sigma$代数 ？
证 $\Leftarrow :$ 若 $\mathcal{C}$ 为 $\sigma$代数，则 $\mathcal{C}$ 必为 $\pi$ 类/ $\lambda$ 类
$\Rightarrow :$ 对非空集类$\mathcal{C},\exists A\in \mathcal{C}.$ 由 $\lambda$ 类性质①，$A^c\in \mathcal{C},\Omega \in \mathcal{C}$；由 $\pi$ 类性质，$A\cap A^c=\varnothing \in \mathcal{C}$.
下证 $\mathcal{C}对可列交封闭$：
取 { A n } ∈ C \{A_n\}\in \mathcal{C} {An​}∈C，令$B_n={\bigcup }_{k=1}^n{A}_k$，则有$B_n\uparrow .$ 由 $\lambda$ 类性质③，${\bigcup }_{n=1}^{\infty }{A}_n={\bigcup }_{n=1}^{\infty }{B}_n\in \mathcal{C}\Rightarrow ({\bigcup }_{n=1}^{\infty }{A}_n{)}^c={\bigcap }_{n=1}^{\infty }{A}_n^c\in \mathcal{C}$.

单调类定理

定理1.2.1
设 $\mathcal{C}$ 为一集类
（1）若 $\mathcal{C}$ 为代数，则 $m(\mathcal{C})=\sigma (\mathcal{C}).$
（2）若 $\mathcal{C}$ 为 $\pi$ 类，则 $\lambda (\mathcal{C})=\sigma (\mathcal{C}).$
证（1）：
① $m(\mathcal{C})\subset \sigma (\mathcal{C})$ 恒成立
② 下证 $\sigma (\mathcal{C})\subset m(\mathcal{C})$：
由思考(1) 可知，若$m(\mathcal{C})$是代数，则$m(\mathcal{C})$为 $\sigma$ 代数，即可成立$\sigma (\mathcal{C})\subset m(\mathcal{C})$； 由此，下证$m(\mathcal{C})$是代数：
（即证 $\forall A\in m(\mathcal{C}),A^c\in m(\mathcal{C}),A\cup B\in m(\mathcal{C}),\forall B\in m(\mathcal{C})$）
构造 M : = { A ∈ m ( C ) ∣ A c ∈ m ( C ) , A ∪ B ∈ m ( C ) , ∀ B ∈ m ( C ) } \mathcal{M}:=\left\{A\in m(\mathcal{C})|A^c\in m(\mathcal{C}),A\cup B\in m(\mathcal{C}),\forall B\in m(\mathcal{C})\right\} M:={A∈m(C)∣Ac∈m(C),A∪B∈m(C),∀B∈m(C)}
(    ⟺    M = { A ∣ A ∈ m ( C ) , A c ∈ m ( C ) , A ∪ B ∈ m ( C ) , ∀ B ∈ m ( C ) ) \color{blue}(\iff\mathcal{M}=\{A|A\in m(\mathcal{C}),A^c\in m(\mathcal{C}),A\cup B\in m(\mathcal{C}),\forall B\in m(\mathcal{C})) (⟺M={A∣A∈m(C),Ac∈m(C),A∪B∈m(C),∀B∈m(C))
首先有$\mathcal{M}\subset m(\mathcal{C})$，是否有$m(\mathcal{C})\subset \mathcal{M}?$ 即$\{\begin{array}{l}(1.1)\mathcal{C}\subset \mathcal{M}\\ (1.2)\mathcal{M}是单调类\end{array}$
(由 $\mathcal{C}$ 是代数可知，有限并封闭不一定成立，即无法证明$\mathcal{M}$是代数）

1. (1.1)’ 构造 M 1 : = { A ∈ m ( C ) ∣ A c ∈ m ( C ) , A ∪ B ∈ m ( C ) , ∀ B ∈ C } \mathcal{M}_1:=\left\{A\in m(\mathcal{C})|A^c\in m(\mathcal{C}),A\cup B\in m(\mathcal{C}),\forall B\in \mathcal{C}\right\} M1​:={A∈m(C)∣Ac∈m(C),A∪B∈m(C),∀B∈C}，则有$\mathcal{C}\subset {\mathcal{M}}_1$
   (    ⟺    M 1 = { A ∣ A ∈ m ( C ) , A c ∈ m ( C ) , A ∪ B ∈ m ( C ) , ∀ B ∈ C ) \color{blue}(\iff\mathcal{M}_1=\{A|A\in m(\mathcal{C}),A^c\in m(\mathcal{C}),A\cup B\in m(\mathcal{C}),\forall B\in \mathcal{C}) (⟺M1​={A∣A∈m(C),Ac∈m(C),A∪B∈m(C),∀B∈C)

2. (1.2)’ 取 { A n } ∈ M 1 , A n ↑ \{A_n\}\in \mathcal{M}_1,A_n\uparrow {An​}∈M1​,An​↑，则$A_n^c\in m(\mathcal{C}),A_n\cup B\in m(\mathcal{C}),\forall B\in \mathcal{C}$
   由$(\bigcup A_n{)}^c=\bigcap A_n^c\in m(\mathcal{C}),(\bigcup A_n)\cup B=\bigcup (A_n\cup B)\in m(\mathcal{C}),\forall B\in \mathcal{C}$，可知$\bigcup A_n\in {\mathcal{M}}_1$；因此 ${\mathcal{M}}_1$ 是单调类
   由(1.1)’, (1.2)’ 知 $m(\mathcal{C})\subset {\mathcal{M}}_1$，因此$m(\mathcal{C})={\mathcal{M}}_1$；由${\mathcal{M}}_1$性质可知 $m(\mathcal{C})$ 对补封闭。

3. (1.1)’’ 构造 M 2 : = { A ∈ m ( C ) ∣ A ∪ B ∈ m ( C ) , ∀ B ∈ m ( C ) } \mathcal{M}_2:=\left\{A\in m(\mathcal{C})|A\cup B\in m(\mathcal{C}),\forall B\in m(\mathcal{C})\right\} M2​:={A∈m(C)∣A∪B∈m(C),∀B∈m(C)}
   (    ⟺    M 2 = { A ∣ A ∈ m ( C ) , A ∪ B ∈ m ( C ) , ∀ B ∈ m ( C ) } \color{blue}(\iff\mathcal{M}_2=\{A|A\in m(\mathcal{C}),A\cup B\in m(\mathcal{C}),\forall B\in m(\mathcal{C})\} (⟺M2​={A∣A∈m(C),A∪B∈m(C),∀B∈m(C)}
   任取$A\in \mathcal{C}\subset m(\mathcal{C})={\mathcal{M}}_1，$由${\mathcal{M}}_1$的性质可知，$A\cup B\in m(\mathcal{C}),\forall B\in m(\mathcal{C})$，即$A\in {\mathcal{M}}_2\Rightarrow \mathcal{C}\subset {\mathcal{M}}_2$

4. (1.2)’'类似可证${\mathcal{M}}_2$是单调类
   同理有$m(\mathcal{C})={\mathcal{M}}_2$；由${\mathcal{M}}_1$性质可知 $m(\mathcal{C})$ 对有限并封闭。

$\Rightarrow m(\mathcal{C})={\mathcal{M}}_1={\mathcal{M}}_2$

由1-4可知，$m(\mathcal{C})$ 是代数。#

证（2）： （同上证明）
① $\lambda (\mathcal{C})\subset \sigma (\mathcal{C})$ 恒成立
② 下证 $\sigma (\mathcal{C})\subset \lambda (\mathcal{C})$：
由思考(2)可知，若 $\lambda (\mathcal{C})$ 是 $\pi$ 类，则 $\lambda (\mathcal{C})$ 是 $\sigma$ 域，此时成立$\sigma (\mathcal{C})\subset \lambda (\mathcal{C})$；由此下证 $\lambda (\mathcal{C})$ 对有限交封闭：
（即证$\forall A,B\in \lambda (\mathcal{C})$，成立$A\cap B\in \lambda (\mathcal{C})$）
构造 G : = { A ∈ λ ( C ) ∣ A ∩ B ∈ λ ( C ) , ∀ B ∈ λ ( C ) } \mathcal{G}:=\{A\in\lambda(\mathcal{C})|A\cap B\in \lambda(\mathcal{C}),\forall B\in\lambda(\mathcal{C})\} G:={A∈λ(C)∣A∩B∈λ(C),∀B∈λ(C)}
(    ⟺    G = { A ∣ A ∈ λ ( C ) , A ∩ B ∈ λ ( C ) , ∀ B ∈ λ ( C ) ) \color{blue}(\iff\mathcal{G}=\{A|A\in\lambda(\mathcal{C}),A\cap B\in \lambda(\mathcal{C}),\forall B\in\lambda(\mathcal{C})) (⟺G={A∣A∈λ(C),A∩B∈λ(C),∀B∈λ(C))
首先有 $\mathcal{G}\subset \lambda (\mathcal{C})$，是否有$\lambda (\mathcal{C})\subset \mathcal{G}?\{\begin{array}{l}(2.1)\mathcal{C}\subset \mathcal{G}\\ (2.2)\mathcal{G}是\lambda 类\end{array}$
（$\lambda$ 类不保证有限交封闭）

1. (2.1) '构造 G 1 : = { A ∈ λ ( C ) ∣ A ∩ B ∈ λ ( C ) , ∀ B ∈ C } \mathcal{G}_1:=\{A\in\lambda(\mathcal{C})|A\cap B\in \lambda(\mathcal{C}),\forall B\in\mathcal{C}\} G1​:={A∈λ(C)∣A∩B∈λ(C),∀B∈C}
   (    ⟺    G 1 = { A ∣ A ∈ λ ( C ) , A ∩ B ∈ λ ( C ) , ∀ B ∈ C } ) \color{blue}(\iff\mathcal{G}_1=\{A|A\in\lambda(\mathcal{C}),A\cap B\in \lambda(\mathcal{C}),\forall B\in\mathcal{C}\}) (⟺G1​={A∣A∈λ(C),A∩B∈λ(C),∀B∈C})
   任取 $A\in \mathcal{C}$，由 $\mathcal{C}$ 是 $\pi$ 类可知 $A\cap B\in \mathcal{C}\subset \lambda (\mathcal{C}),\forall B\in \mathcal{C}$，即$A\in {\mathcal{G}}_1\Rightarrow \mathcal{C}\subset {\mathcal{G}}_1$
2. (2.2) '①任取$A\in {\mathcal{G}}_1$，要证$A^c\in {\mathcal{G}}_1$，即$A^c\in \lambda (\mathcal{C}),A^c\cap B\in \lambda (\mathcal{C}),\forall B\in \mathcal{C}$.
   由$\lambda (\mathcal{C})$性质知$A^c\in \lambda (\mathcal{C})$，同理对$\forall B\in \mathcal{C}\subset \lambda (\mathcal{C})$，有$B^c\in \lambda (\mathcal{C}),(A^c\cap B{)}^c=A\cup B^c=(A\cap B)\cup B^c\in \lambda (\mathcal{C})$$（不交的并封闭）$，得证。
   ($A=A\cap \Omega =(A\cap B)\cup (A\cap B^c)$)
   ②任取$A_1,A_2\in {\mathcal{G}}_1,且A_1\cap A_2=\varnothing$. 要证$A_1\cup A_2\in {\mathcal{G}}_1$，即$A_1\cup A_2\in \lambda (\mathcal{C}),(A_1\cup A_2)\cap B\in \lambda (\mathcal{C}),\forall B\in \mathcal{C}$.
   由$\lambda (\mathcal{C})$对不交并封闭知，$A_1\cup A_2\in \lambda (\mathcal{C})$；又$\forall B\in \mathcal{C}:(A_1\cap B)\cap (A_2\cap B)=\varnothing ,(A_1\cup A_2)\cap B=(A_1\cap B)\cup (A_2\cap B)\in \lambda (\mathcal{C})（不交的并封闭）.$得证。
   ③任取 { A n } ∈ G 1 , 且 A n ↑ \{A_n\}\in\mathcal{G}_1,且A_n\uparrow {An​}∈G1​,且An​↑，要证 ${\bigcup }_n{A}_n\in {\mathcal{G}}_1$，即 ${\bigcup }_n{A}_n\in \lambda (\mathcal{C}),({\bigcup }_n{A}_n)\cap B\in \lambda (\mathcal{C}),\forall B\in \mathcal{C}.$
   由$\lambda (\mathcal{C})$性质知 ${\bigcup }_n{A}_n\in \lambda (\mathcal{C}),({\bigcup }_n{A}_n)\cap B={\bigcup }_n(A_n\cap B)\in \lambda (\mathcal{C})（不降序列的极限封闭）,\forall B\in \mathcal{C}$，得证。

由1-2知，${\mathcal{G}}_1=\lambda (\mathcal{C})$.
3. (2.1) 任取$A\in \mathcal{C},则A\in \lambda (\mathcal{C}),且\forall B\in \lambda (\mathcal{C})={\mathcal{G}}_1:A\cap B\in \lambda (\mathcal{C})\Rightarrow A\in \mathcal{G}$
4. (2.2) 同(2.2)'可证 $\mathcal{G}$ 是$\lambda$类。
由3-4知，$\mathcal{G}=\lambda (\mathcal{C})$.
$\Rightarrow \lambda (\mathcal{C})=\mathcal{G}={\mathcal{G}}_1$
因此 $\lambda (\mathcal{C})$ 对有限交封闭。#

定理1.2.1称为单调类定理

有推论如下：
定理1.2.2
设 $\mathcal{C},\mathcal{F}$ 为两个集类，且$\mathcal{C}\subset \mathcal{F}$:
（1）若 $\mathcal{C}$ 为代数，且 $\mathcal{F}$ 为单调类，则 $\sigma (\mathcal{C})\subset \mathcal{F};$
（2）若 $\mathcal{C}$ 为 $\pi$ 类，且 $\mathcal{F}$ 为 $\lambda$ 类，则 $\sigma (\mathcal{C})\subset \mathcal{F};$

由定理1.2.1的证明可知，（即“思考”整理后的定理）
定理1.2.3
设 $\mathcal{C}$ 为一集类：
（1）$m(\mathcal{C})=\sigma (\mathcal{C})⟺m(\mathcal{C})为一个代数$
$⟺A\in \mathcal{C}\Rightarrow A^c\in m(\mathcal{C});A,B\in \mathcal{C}\Rightarrow A\cap B\in m(\mathcal{C})$
$⟺A\in \mathcal{C}\Rightarrow A^c\in m(\mathcal{C});A,B\in \mathcal{C}\Rightarrow A\cup B\in m(\mathcal{C})$

（2）$\lambda (\mathcal{C})=\sigma (\mathcal{C})⟺\lambda (\mathcal{C})为一个\pi 类$
$⟺A,B\in \mathcal{C}\Rightarrow A\cap B\in \lambda (\mathcal{C})$
$⟺A,B\in \mathcal{C}\Rightarrow A\cup B\in \lambda (\mathcal{C})$

上述定理在实际中运用较少，而如下推论常在实例中运用：
定理1.2.5
设 $\mathcal{C}$ 为一集类，若满足下列条件之一，则有$m(\mathcal{C})=\sigma (\mathcal{C}):$
（1）$A,B\in \mathcal{C}\Rightarrow A\cap B\in \mathcal{C};A\in \mathcal{C}\Rightarrow A^c\in {\mathcal{C}}_{\delta }$
（2）$A,B\in \mathcal{C}\Rightarrow A\cup B\in \mathcal{C};A\in \mathcal{C}\Rightarrow A^c\in {\mathcal{C}}_{\sigma }$
证：若 $\mathcal{C}$ 对有限交封闭，则 ${\mathcal{C}}_{\delta }\subset m(\mathcal{C})$；若 $\mathcal{C}$ 对有限并封闭，则 ${\mathcal{C}}_{\sigma }\subset m(\mathcal{C})$.

Lesson 4：Chp1

1.3 测度与非负集函数

相关定义

可测空间 ：设 $\mathcal{F}$ 为 $\Omega$ 上的一 $\sigma$ 代数，则（$\Omega ,\mathcal{F}$）为一可测空间
$\mathcal{F}$可测集 ：（$\Omega ,\mathcal{F}$）中元素即称 $\mathcal{F}$ 可测集
可分的/可数可分的： $\exists \mathcal{F}$ 的可数子类 $\mathcal{C}$，$s.t.\mathcal{F}=\sigma (\mathcal{C})$
可分可测空间：若 $\mathcal{F}$ 可分，则（$\Omega ,\mathcal{F}$）为一可分可测空间

测度

定义1.3.1
设（$\Omega ,\mathcal{F}$）为一可测空间，$\mu :\mathcal{F}\mapsto {\mathbb{R}}_{+}$，若满足
① $\mu (\varnothing )=0$
② 可数可加性/ $\sigma$可加性： { A n } ∈ F , A n ∩ A m = ∅ , n ≠ m ⇒ μ ( ∑ n = 1 ∞ A n ) = ∑ n = 1 ∞ μ ( A n ) \{A_n\}\in\mathcal{F},A_n\cap A_m = \empty,n\not=m\Rightarrow\mu(\sum_{n=1}^\infty A_n) = \sum_{n=1}^\infty\mu(A_n) {An​}∈F,An​∩Am​=∅,n​=m⇒μ(∑n=1∞​An​)=∑n=1∞​μ(An​)
则称 $\mu$ 为（$\Omega ,\mathcal{F}$）上的测度。

$(\Omega ,\mathcal{F})$ 上 $\mu$ 的基本性质：
（1） 单调性：$A,B\in \mathcal{F},A\subset B\Rightarrow \mu (A)⩽\mu (B).$
（2） 可减性：$A,B\in \mathcal{F},A\subset B,\mu (B)<\infty \Rightarrow \mu (B\backslash A)=\mu (B)-\mu (A).$

测度空间：$(\Omega ,\mathcal{F},\mu )$
有限测度空间：$\mu (\Omega )<\infty 的(\Omega ,\mathcal{F},\mu )$，$\mu$ 称为有限测度。
概率空间：$\mu (\Omega )=1的(\Omega ,\mathcal{F},\mu )$，$\mu$ 称为概率测度。
$\sigma$ 有限测度空间： ∃ { A n } ∈ F , s . t . ⋃ n A n = Ω 且   ∀ n ≥ 1 : μ ( A n ) < ∞ 的 ( Ω , F , μ ) \exist\{A_n\}\in\mathcal{F},s.t.\bigcup_n A_n=\Omega且 \ \forall n\ge1:\mu(A_n)<\infty的(\Omega,\mathcal{F},\mu) ∃{An​}∈F,s.t.⋃n​An​=Ω且 ∀n≥1:μ(An​)<∞的(Ω,F,μ)，$\mu$ 称为 $\sigma$ 有限测度。

有限测度与概率测度转化：
取$A\in \mathcal{F}$，设 $\nu (A)=\frac{\mu (A)}{\mu (\Omega )}\left(=\frac{\mu (A\cap \Omega )}{\mu (\Omega )}=\nu (A\cap \Omega )\right)$，得 $\nu$ 为概率测度。

$\sigma$ 有限测度与概率测度转化：
引理1.3.5
对于$(\Omega ,\mathcal{F},\mu )$，取 $\Omega$ 的一个可数划分 { A n } ， s . t . Ω = ∑ n ∞ A n , 且   ∀ n ≥ 1 : μ ( A n ) < ∞ ， A n ∈ F . ∀ A ∈ F : 令   ν ( A ∩ A m ) = μ ( A ∩ A m ) 2 m μ ( A m ) \{A_n\}，s.t.\Omega = \sum_n^\infty A_n,且\ \forall n\ge1:\mu(A_n)<\infty，A_n\in\mathcal{F}.\forall A\in \mathcal{F}:令\ \nu(A\cap A_m) = \dfrac{\mu(A\cap A_m)}{2^m\mu(A_m)} {An​}，s.t.Ω=∑n∞​An​,且 ∀n≥1:μ(An​)<∞，An​∈F.∀A∈F:令 ν(A∩Am​)=2mμ(Am​)μ(A∩Am​)​，即
$$\nu (A)=\left(\sum _{n=1}^{\infty }\nu (A\cap A_n)=\right)\sum _{n=1}^{\infty }\frac{\mu (A\cap A_n)}{2^n\mu (A_n)}$$
则 $\nu$ 为 $(\Omega ,\mathcal{F})$ 上的一个概率测度，同时有 $\nu (A)=0⟺\mu (A)=0$，$\forall A\in \mathcal{F}:$
$$\mu (A)=\left(\sum _{n=1}^{\infty }\mu (A\cap A_n)=\right)\sum _{n=1}^{\infty }{2}^n\mu (A_n)\nu (A\cap A_n)$$

当前目标：$(\mathcal{C},\mu )\underset{扩张}{\to }(\sigma (\mathcal{C}),\tilde{\mu })$（从简单集类扩张至性质较好的集类）

非负集函数

定义1.3.2（集函数分类）
$\mathcal{C}$ ：任一集类；
$\mu :\mathcal{C}\mapsto [0,\infty )$集函数；
要求：$\varnothing \in \mathcal{C},\mu (\varnothing )=0;A,B\in \mathcal{C},A\subset B\Rightarrow \mu (A)⩽\mu (B);$

1. 有限可加的$(\mu ):A_i\in \mathcal{C},1⩽i⩽n,{\sum }_{i=1}^n{A}_i\in \mathcal{C}\Rightarrow \mu ({\sum }_{i=1}^n{A}_i)={\sum }_{i=1}^n\mu (A_i);$
2. $\sigma$ 可加的$(\mu ):A_i\in \mathcal{C},i\in \mathbb{N},{\sum }_{i=1}^{\infty }{A}_i\in \mathcal{C}\Rightarrow \mu ({\sum }_{i=1}^{\infty }{A}_i)={\sum }_{i=1}^{\infty }\mu (A_i);即测度性质$
3. 半$\sigma$ 可加的$(\mu ):A_i\in \mathcal{C},i\in \mathbb{N};A\in \mathcal{C},A\subset {\bigcup }_{i=1}^{\infty }{A}_i\Rightarrow \mu (A)⩽{\sum }_{i=1}^{\infty }\mu (A_i);$
4. 从下连续$(\mu ):A_n\in \mathcal{C},A_n\uparrow A\in \mathcal{C}\Rightarrow \mu (A)={\lim }_{n\to \infty }\mu (A_n);$
5. 从上连续$(\mu ):A_n\in \mathcal{C},A_n\downarrow A\in \mathcal{C},\mu (A_1)<\infty \Rightarrow \mu (A)={\lim }_{n\to \infty }\mu (A_n);$
6. 在空集处连续$(\mu ):A_n\in \mathcal{C},A_n\downarrow \varnothing \in \mathcal{C},\mu (A_1)<\infty \Rightarrow (\mu (\varnothing )=){\lim }_{n\to \infty }\mu (A_n)=0;$

（3）从下连续：取$A_i\in \mathcal{F},A_i\uparrow A={\bigcup }_i{A}_i\in \mathcal{F}(\sigma 代数性质)\Rightarrow \mu (A)={\lim }_{i\to \infty }\mu (A_i)$

证明：构造$B_1=A_1,B_2=A2\backslash A_1,...,B_n=A_n\backslash A_{n-1},...$
则$\bigcup A_i=\bigcup B_i=\sum B_i,\mu (\bigcup A_i)=\mu (\sum B_i)={\sum }_{i=1}^{\infty }\mu (B_i)=\mu (A_1)+{\sum }_{i=2}^{\infty }\mu (A_i)-\mu (A_{i-1})={\lim }_{i\to \infty }\mu (A_i)$

（4）从上连续：取$A_i\in \mathcal{F},A_i\downarrow A={\bigcap }_i{A}_i\in \mathcal{F}(\sigma 代数性质),\mu (A_1)<\infty \Rightarrow \mu (A)={\lim }_{i\to \infty }\mu (A_i)$

同（3）可证。

定理1.3.4 （对于普通集类上的集函数）
设$\mathcal{C}$为一代数，$\mu$ 为 $\mathcal{C}$ 上一有限可加的非负集函数，则：
① $\mu$ 从下连续 $⟺\mu$ 为可列可加的 $\Rightarrow \mu$ 从上连续 $\Rightarrow \mu$ 在 $\varnothing$ 处连续
②若 $\mu (\Omega )<\infty$，则：
$\mu$ 从下连续 $⟺\mu$ 为可列可加的 $⟺\mu$ 从上连续 $⟺\mu$ 在 $\varnothing$ 处连续

证：设$\mu$ 从下连续，取$A_n\in \mathcal{C}$，且满足${\sum }_{n=1}^{\infty }{A}_n\in \mathcal{C}.$令$B_n={\sum }_{k=1}^n{A}_k，则B_n\uparrow \in \mathcal{C},{\bigcup }_n{B}_n={\sum }_{n=1}^{\infty }{A}_n:$
$$\mu (\sum _{n=1}^{\infty }{A}_n)=\mu (\bigcup _n{B}_n)=(从下连续)\underset{n\to \infty }{\lim }\mu (B_n)=(有限可加)\underset{n\to \infty }{\lim }\sum _{k=1}^n\mu (A_k)=\sum _{n=1}^{\infty }\mu (A_n)$$
即$\mu$有$\sigma$可加性。#

1.4 外测度与测度的扩张

本节研究如何把一半环$\mathcal{C}$上的一 $\sigma$可加非负集函数扩张成为 $\sigma$代数 $\sigma (\mathcal{C})$上的测度
半环：$\varnothing \in \mathcal{C}$，对有限交封闭$(A,B\in \mathcal{C}\Rightarrow A\cap B\in \mathcal{C})$，且$A\backslash B\in {\mathcal{C}}_{\Sigma f}$：即$\exists A_i\in \mathcal{C},i=1,...,n,s.t.A\backslash B={\sum }_{i=1}^n{A}_i$

定义：
$\mathcal{C},\mathcal{D}$两个集类，分别有$\mu ,\nu$两个集函数，且$\mathcal{C}\subset \mathcal{D},\forall A\in \mathcal{C}$有$\mu (A)=\nu (A)$，则称$\nu$为$\mu$在$\mathcal{D}$上的扩张(延拓)，$\mu$为$\nu$在$\mathcal{C}$上的限制，记为$\mu =\nu {|}_{\mathcal{C}}$。

外测度

定义1.4.1（外测度）
$\mathcal{P}(\Omega )$表示$\Omega$所有子集构成的集类，设$\mu$为$\mathcal{P}(\Omega )$上的一个非负集函数（满足$\mu (\varnothing )=0$）。若$\mu$有单调性且满足次$\sigma$可加性：
$$A_n\subset \Omega ,n⩾1\Rightarrow \mu (\bigcup _n{A}_n)⩽\sum _n\mu (A_n)$$
则称$\mu$为 $\Omega$上一外测度。

测度的扩张

命题1.4.3（由$\mu$引出的外测度${\mu }^{\ast }$）
$\mathcal{C}$为$\Omega$上的一个集类，$\varnothing \in \mathcal{C}.\mu 为\mathcal{C}$上一半$\sigma$可加非负集函数， μ ( ∅ ) = 0. 对 ∀ A ⊂ Ω , 若 ∃ { A n } ∈ C , s . t . A ⊂ ⋃ n A n , \mu(\varnothing)=0.对\forall A\subset\Omega,若\exist\{A_n\}\in\mathcal{C},s.t.A\subset\bigcup_nA_n, μ(∅)=0.对∀A⊂Ω,若∃{An​}∈C,s.t.A⊂⋃n​An​,令
$${\mu }^{\ast }(A)=\inf \left\{\sum _{i=1}^{\infty }\mu (A_i)|A_n\in \mathcal{C},A\subset \bigcup _{n=1}^{\infty }{A}_n\right\}$$
约定$\inf \varnothing =+\infty .$则${\mu }^{\ast }$为$\Omega$上的外测度，且 ${\mu }^{\ast }$限于$\mathcal{C}$与$\mu$一致。称${\mu }^{\ast }$为由$\mu$引出的外测度。

（即得到$(\mathcal{P}(\Omega ),{\mu }^{\ast })，\mathcal{P}(\Omega )$为一个$\sigma$代数，${\mu }^{\ast }$为一个外测度，扩张过度）

证：

1. $\forall A\in \mathcal{C},\mu (A)={\mu }^{\ast }(A)$
   $$\begin{array}{rl}& \because A=A\cup \varnothing \cup \varnothing \cup ...\\ & \therefore {\mu }^{\ast }(A)⩽\mu (A)+0+...\\ & \because {\mu }^{\ast }(A)=\sum _{i=1}^{\infty }\mu (A_i)⩾\mu (A)（半\sigma 可加性）\\ & \therefore \mu (A)={\mu }^{\ast }(A)\end{array}$$
2. 单调性：$A\subset B\Rightarrow {\mu }^{\ast }(A)⩽{\mu }^{\ast }(B)$
3. ${\mu }^{\ast }(\varnothing )=\mu (\varnothing )=0$
4. 次$\sigma$可加性：
   $$\begin{array}{rl}& 若{\mu }^{\ast }(\sum _{n=1}^{\infty }{A}_n)<\infty ,则{\mu }^{\ast }(A_n)<\infty ,\forall n\\ & \Rightarrow \forall ϵ>0,\exists B_{nk},k⩾1,s.t.A_n\subset \bigcup _{k=1}^{\infty }{B}_{nk},且\sum _{k=1}^{\infty }\mu (B_{nk})⩽{\mu }^{\ast }(A_n)+ϵ/2^n(\inf 性质）\\ & \Rightarrow \bigcup _{n=1}^{\infty }{A}_n\subset \bigcup _{n=1}^{\infty }\bigcup _{k=1}^{\infty }{B}_{nk},B_{nk}\in \mathcal{C}\\ & \Rightarrow {\mu }^{\ast }(\bigcup _{n=1}^{\infty }{A}_n)⩽\sum _{n=1}^{\infty }{\mu }^{\ast }(\bigcup _{k=1}^{\infty }{B}_{nk})（半\sigma 可加性）\\ & ⩽\sum _{n=1}^{\infty }\sum _{k=1}^{\infty }\mu (B_{nk})（{\mu }^{\ast }定义）\\ & ⩽\sum _{n=1}^{\infty }\left({\mu }^{\ast }(A_n)+ϵ/2^n\right)\\ & =\sum _{n=1}^{\infty }{\mu }^{\ast }(A_n)+ϵ(\forall ϵ>0)\\ & \therefore {\mu }^{\ast }(\bigcup _{n=1}^{\infty }{A}_n)⩽\sum _{n=1}^{\infty }{\mu }^{\ast }(A_n)\Rightarrow (次\sigma 可加性)\end{array}$$
   由2-4可知${\mu }^{\ast }$满足外测度定义，由1可知${\mu }^{\ast }$限于$\mathcal{C}$与$\mu$一致。#

$(\mathcal{C},\mu )\underset{扩张}{\to }(\mathcal{P}(\Omega ),{\mu }^{\ast })$

设$\mu$为$\Omega$上的一个外测度。令
U = { A ⊂ Ω ∣ ∀ D ⊂ Ω , 有 μ ( D ) = μ ( A ∩ D ) + μ ( A c ∩ D ) } \mathcal{U}=\{A\subset\Omega|\forall D\subset\Omega,有\mu(D)=\mu(A\cap D)+\mu(A^c\cap D)\} U={A⊂Ω∣∀D⊂Ω,有μ(D)=μ(A∩D)+μ(Ac∩D)}
下考察$\mathcal{U}$的性质：
由外测度的半$\sigma$可加性知，$\mathcal{U}$的性质等同于${\mathcal{U}}_1$的性质
U 1 = { A ⊂ Ω ∣ ∀ D ⊂ Ω , 有 μ ( D ) ⩾ μ ( A ∩ D ) + μ ( A c ∩ D ) } \mathcal{U}_1=\{A\subset\Omega|\forall D\subset\Omega,有\mu(D)\geqslant\mu(A\cap D)+\mu(A^c\cap D)\} U1​={A⊂Ω∣∀D⊂Ω,有μ(D)⩾μ(A∩D)+μ(Ac∩D)}

1. $A=\Omega$时，有$\mu (D)=\mu (\Omega \cap D)+\mu (\varnothing \cap D),\forall D\subset \Omega 恒成立\Rightarrow \Omega \in \mathcal{U};$
2. $A\in {\mathcal{U}}_1$时，$\forall D\subset \Omega ,有\mu (D)⩾\mu (A^c\cap D)+\mu ((A^c{)}^c\cap D)$，即$A^c\in {\mathcal{U}}_1;$
3. 取$A,B\in {\mathcal{U}}_1$，则$\forall D\subset \Omega ,\mu (D)⩾\mu (A\cap D)+\mu (A^c\cap D)$
   $⩾\mu (A\cap D)+\mu (B\cap A^c\cap D)+\mu (B^c\cap A^c\cap D)$
   $⩾\mu ((A\cap D)\cup (B\cap A^c\cap D))+\mu ((A\cup B{)}^c\cap D)$
   $=\mu (D\cap (A\cup (B\cap A^c))+\mu ((A\cup B{)}^c\cap D)$
   $=\mu (D\cap (A\cup B))+\mu ((A\cup B{)}^c\cap D)$
   $\Rightarrow A\cup B\in {\mathcal{U}}_1$
   由1-3可知${\mathcal{U}}_1(\mathcal{U})$为一代数.
4. 取$A_n\in {\mathcal{U}}_1,n⩾1,且A_n\cap A_m=\varnothing ,n\ne m:$（若对于可列不交并封闭，则对可列并也封闭）
   $$\begin{array}{rl}\mu (D)& ⩾\mu (A_1\cap D)+\mu (A_1^c\cap D)\\ & ⩾\mu (A_1\cap D)+\mu (A_2\cap (A_1^c\cap D))+\mu (A_2^c\cap (A_1^c\cap D))\\ & =\mu (A_1\cap D)+\mu (A_2\cap D)+\mu ((A_1\cup A_2{)}^c\cap D)\\ & ...\\ & ⩾\sum _{k=1}^n\mu (A_k\cap D)+\mu ((\sum _{k=1}^n{A}_k{)}^c\cap D)\\ & 由(\sum _{k=1}^{\infty }{A}_k{)}^c\subset (\sum _{k=1}^n{A}_k{)}^c,及\mu 单调性知\mu ((\sum _{k=1}^n{A}_k{)}^c\cap D)⩾\mu ((\sum _{k=1}^{\infty }{A}_k{)}^c\cap D)\\ & ⩾\sum _{k=1}^n\mu (A_k\cap D)+\mu ((\sum _{k=1}^{\infty }{A}_k{)}^c\cap D)\\ & 令n\to \infty \\ & ⩾\sum _{k=1}^{\infty }\mu (A_k\cap D)+\mu ((\sum _{k=1}^{\infty }{A}_k{)}^c\cap D)\\ & \mu 的次\sigma 可加性\\ & ⩾\mu ((\sum _k^{\infty }{A}_k)\cap D)+\mu ((\sum _{k=1}^{\infty }{A}_k{)}^c\cap D),\forall D\subset \Omega \\ & \Rightarrow \sum _k^{\infty }{A}_k\in {\mathcal{U}}_1\end{array}$$
   特别的，取$D={\sum }_k^{\infty }{A}_k\subset \Omega$，有$\mu ({\sum }_k^{\infty }{A}_k)⩾{\sum }_k^{\infty }\mu (A_k)⩾\mu ({\sum }_k^{\infty }{A}_k)$，即
   $$\mu (\sum _k^{\infty }{A}_k)=\sum _k^{\infty }\mu (A_k)$$
   由4可知，$\mu$具有$\sigma$可加性。

由1-4可知，${\mathcal{U}}_1(\mathcal{U})$为一$\sigma$代数，$\mu$限于${\mathcal{U}}_1(\mathcal{U})$为一测度。

整理得定理如下：
定理1.4.2
设$\mu$为$\Omega$上的一个外测度。令
U = { A ⊂ Ω ∣ ∀ D ⊂ Ω , 有 μ ( D ) = μ ( A ∩ D ) + μ ( A c ∩ D ) } \mathcal{U}=\{A\subset\Omega|\forall D\subset\Omega,有\mu(D)=\mu(A\cap D)+\mu(A^c\cap D)\} U={A⊂Ω∣∀D⊂Ω,有μ(D)=μ(A∩D)+μ(Ac∩D)}
则$\mathcal{U}$为$\Omega$上的一$\sigma$代数，$\mu$限于$\mathcal{U}$为一测度。称$\mathcal{U}$中的元素为 $\mu$可测集。

引理1.4.5
设$\mathcal{C}$为$\Omega$上的一集类，且$\varnothing \in \mathcal{C}.$设$\mu$为$\mathcal{C}$上的一半$\sigma$可加非负集函数，且$\mu (\varnothing )=0,{\mu }^{\ast }$为$\mu$引出的外测度，则对于$\forall A\in \Omega$：
$A$为${\mu }^{\ast }$可测集$⟺\forall C\in \mathcal{C}$，有$\mu (C)⩾{\mu }^{\ast }(C\cap A)+{\mu }^{\ast }(C\cap A^c)$

即
U = { A ⊂ Ω ∣ ∀ D ⊂ Ω , 有 μ ∗ ( D ) = μ ∗ ( A ∩ D ) + μ ∗ ( A c ∩ D ) } ⇕ U 1 = { A ⊂ Ω ∣ ∀ D ⊂ Ω , 有 μ ∗ ( D ) ⩾ μ ∗ ( A ∩ D ) + μ ∗ ( A c ∩ D ) } ⇕ U 2 = { A ⊂ Ω ∣ ∀ C ∈ C , 有 μ ( C ) ( = μ ∗ ( C ) ) ⩾ μ ∗ ( A ∩ C ) + μ ∗ ( A c ∩ C ) } \begin{aligned} &\mathcal{U}=\{A\subset\Omega|\forall D\subset\Omega,有\mu^*(D)=\mu^*(A\cap D)+\mu^*(A^c\cap D)\}\\ &\Updownarrow\\ &\mathcal{U}_1=\{A\subset\Omega|\forall D\subset\Omega,有\mu^*(D)\geqslant\mu^*(A\cap D)+\mu^*(A^c\cap D)\}\\ &\Updownarrow\\ &\mathcal{U}_2=\{A\subset\Omega|\forall C\in\mathcal{C},有\mu(C)(=\mu^*(C))\geqslant\mu^*(A\cap C)+\mu^*(A^c\cap C)\} \end{aligned} ​U={A⊂Ω∣∀D⊂Ω,有μ∗(D)=μ∗(A∩D)+μ∗(Ac∩D)}⇕U1​={A⊂Ω∣∀D⊂Ω,有μ∗(D)⩾μ∗(A∩D)+μ∗(Ac∩D)}⇕U2​={A⊂Ω∣∀C∈C,有μ(C)(=μ∗(C))⩾μ∗(A∩C)+μ∗(Ac∩C)}​

证：
$\Rightarrow$必要性：显然
$\Leftarrow$充分性：
设$A\in {\mathcal{U}}_2$，取$D\subset \Omega$：
若${\mu }^{\ast }(D)=\infty$，则${\mu }^{\ast }(D)⩾{\mu }^{\ast }(A\cap D)+{\mu }^{\ast }(A^c\cap D)$恒成立；
若${\mu }^{\ast }(D)<\infty$，则$\forall ϵ>0,\exists A_n\in \mathcal{C},n⩾1,s.t.D\subset {\bigcup }_{n=1}^{\infty }{A}_n$，且
$$\begin{array}{rl}{\mu }^{\ast }(D)+ϵ& ⩾\sum _{n=1}^{\infty }{\mu }^{\ast }(A_n)（由\inf /{\mu }^{\ast }定义）\\ & ⩾\sum _{n=1}^{\infty }({\mu }^{\ast }(A_n\cap A)+{\mu }^{\ast }(A_n\cap A^c))（{\mathcal{U}}_2性质）\\ & ⩾{\mu }^{\ast }(\bigcup _{n=1}^{\infty }{A}_n\cap A)+{\mu }^{\ast }(\bigcup _{n=1}^{\infty }{A}_n\cap A^c)（外测度的次\sigma 可加性）\\ & ⩾{\mu }^{\ast }(D\cap A)+{\mu }^{\ast }(D\cap A^c)（单调性）\end{array}$$
由$ϵ$任意性知，${\mu }^{\ast }(D)⩾{\mu }^{\ast }(A\cap D)+{\mu }^{\ast }(A^c\cap D)$成立。即$A\in {\mathcal{U}}_1,A$为${\mu }^{\ast }$可测集。

可知在$\mathcal{U}$上考虑${\mu }^{\ast }$等价于在$\mathcal{C}$上考虑$\mu ;(\mathcal{C},\mu )\underset{扩张}{\to }(\mathcal{U},{\mu }^{\ast }{|}_{\mathcal{U}})\underset{扩张}{\to }(\mathcal{P}(\Omega ),{\mu }^{\ast })$

命题1.4.4
设$\mu$为半环$\mathcal{C}$上的一非负集函数（$\mu (\varnothing )=0$），则$\mu$是证明$\sigma$可加的$⟺\mu$为有限可加的 + 半$\sigma$可加的。
证：

定理
半环$\mathcal{C}$，$\mu$为$\mathcal{C}$上一$\sigma$可加非负集函数，则$\mu$可以扩张成$\sigma (\mathcal{C})$上测度，
$${\mu }^{\ast }(A)=\inf \left\{\sum _{i=1}^{\infty }\mu (A_i)|A_n\in \mathcal{C},A\subset \bigcup _{n=1}^{\infty }{A}_n\right\}$$
对应${\mu }^{\ast }$可测集$\mathcal{U}$是$\sigma$代数，测度为${\mu }^{\ast }{|}_{\mathcal{U}}$。

引理1.4.6
设$\mathcal{C}$为$\Omega$上的一$\pi$类，${\mu }_1,{\mu }_2$为$\sigma (\mathcal{C})$上的两个有限测度$（\mu (\Omega )<\infty ）$。若$\Omega \in \mathcal{C}$，且${\mu }_1{|}_{\mathcal{C}}={\mu }_2{|}_{\mathcal{C}}$，则$(\sigma (\mathcal{C}),{\mu }_1)=(\sigma (\mathcal{C}),{\mu }_2)$
证：
$\forall A\in \mathcal{C}$，有${\mu }_1(A)={\mu }_2(A)：$
令 G = { A ∈ σ ( C ) ∣ μ 1 ( A ) = μ 2 ( A ) } \mathcal{G}=\{A\in\sigma(\mathcal{C})|\mu_1(A)=\mu_2(A)\} G={A∈σ(C)∣μ1​(A)=μ2​(A)}；若$\mathcal{G}$为$\lambda$类，则$\sigma (\mathcal{C})\subseteq \mathcal{G}\Rightarrow \sigma (\mathcal{C})=\mathcal{G}.$
可证$\mathcal{G}$为$\lambda$类：
①$\Omega \in \mathcal{G}$；
②$A,B\in \mathcal{G},B\subset A:{\mu }_1(A\backslash B)={\mu }_1(A)-{\mu }_1(B)={\mu }_2(A)-{\mu }_2(B)={\mu }_2(A\backslash B)\Rightarrow A\backslash B\in \mathcal{G}$；
③取$A_n\in \mathcal{G}，A_n\uparrow ,则{\mu }_1(A_n)={\mu }_2(A_n):$
${\mu }_1({\bigcup }_n{A}_n)={\lim }_{n\to \infty }{\mu }_1(A_n)={\lim }_{n\to \infty }{\mu }_2(A_n)={\mu }_2({\bigcup }_n{A}_n)$
$\Rightarrow {\bigcup }_n{A}_n\in \mathcal{G}$ #
即

定理1.4.7
半环$\mathcal{C}$，$\mu$为$\mathcal{C}$上一$\sigma$可加非负集函数，则$\mu$可以扩张成$\sigma (\mathcal{C})$上测度。若进一步$\mu$在$\mathcal{C}$上为$\sigma$有限，且$\Omega \in {\mathcal{C}}_{\sigma }$，则这一扩张唯一，且扩张所得的测度在$\sigma (\mathcal{C})$上也为$\sigma$有限。

定义1.4.9
取$(\Omega ,\mathcal{C})$半环，$\sigma$可加测度$\mu$，
设$(\Omega ,\mathcal{F},\mu )$为一测度空间。令
N = { N ⊂ Ω ∣ ∃ A ∈ F , μ ( A ) = 0 ,   s . t .   N ⊂ A } \mathcal{N} = \{N\subset\Omega|\exist A\in\mathcal{F},\mu(A)=0,\ s.t. \ N\subset A\} N={N⊂Ω∣∃A∈F,μ(A)=0, s.t. N⊂A}
称$\mathcal{N}$为零测集。对$(\Omega ,\mathcal{F},\mu )$测度空间：定义$\bar{\mathcal{F}}=\mathcal{F}\cup \mathcal{N}$，则$\bar{\mathcal{F}}$为$\sigma$代数。

Lesson 6：Chp2 可测映射

回顾总结

取半环$(\Omega ,\mathcal{C})$，$\sigma$可加的测度$\mu \Rightarrow$ 测度空间 $(\Omega ,\sigma (\mathcal{C}),\nu )$

①： ∀ A ⊂ Ω , μ ∗ ( A ) = inf ⁡ { ∑ i = 1 ∞ μ ( A i ) ∣ A n ∈ C , A ⊂ ⋃ n = 1 ∞ A n } \forall A\subset\Omega,\mu^*(A) = \inf\left\{\sum_{i=1}^\infty\mu(A_i)\left|A_n\in\mathcal{C},A\subset\bigcup_{n=1}^\infty A_n\right.\right\} ∀A⊂Ω,μ∗(A)=inf{∑i=1∞​μ(Ai​)∣An​∈C,A⊂⋃n=1∞​An​}
得到$\mathcal{P}(\Omega )$+外测度（次$\sigma$可加）$(\mathcal{P}(\Omega ),{\mu }^{\ast })$

②：由分析可知，取
  U ˉ = { A ⊂ Ω ∣ ∀ D ⊂ Ω , 有 μ ˉ ( D ) = μ ˉ ( A ∩ D ) + μ ˉ ( A c ∩ D ) } \ \bar\mathcal{U}=\{A\subset\Omega|\forall D\subset\Omega,有\bar\mu(D)=\bar\mu(A\cap D)+\bar\mu(A^c\cap D)\}  Uˉ={A⊂Ω∣∀D⊂Ω,有μˉ​(D)=μˉ​(A∩D)+μˉ​(Ac∩D)}（其中$\bar{\mu }$为任意外测度）
则 $\bar{\mathcal{U}}$ 为$\sigma$代数，且$\bar{\mu }{|}_{\bar{\mathcal{U}}}$为其上一个测度

③：当外测度$\bar{\mu }$为$\mu$引出的外测度${\mu }^{\ast }$时，取
  U ∗ = { A ⊂ Ω ∣ ∀ D ∈ C , 有 μ ∗ ( D ) = μ ∗ ( A ∩ D ) + μ ∗ ( A c ∩ D ) } \ \mathcal{U}^*=\{A\subset\Omega|\forall D\in\mathcal{C},有\mu^*(D)=\mu^*(A\cap D)+\mu^*(A^c\cap D)\}  U∗={A⊂Ω∣∀D∈C,有μ∗(D)=μ∗(A∩D)+μ∗(Ac∩D)}
则 ${\mathcal{U}}^{\ast }$ 为$\sigma$代数，且${\mu }^{\ast }{|}_{{\mathcal{U}}^{\ast }}$为其上一个测度：$({\mathcal{U}}^{\ast },{\mu }^{\ast }{|}_{{\mathcal{U}}^{\ast }})$
只需说明$\mathcal{C}\subset {\mathcal{U}}^{\ast },\nu ={\mu }^{\ast }{|}_{\sigma (\mathcal{C})}$

④：考察唯一性
由单调类定理可证，即引理1.4.6

2.1 定义及基本性质

相关定义

可测空间映射：$(\Omega ,\mathcal{F})\stackrel{f}{\mapsto }(E,\mathcal{E})$
B ∈ E , f − 1 ( B ) = { ω ∈ Ω ∣ f ( ω ) ∈ B } B\in\mathcal{E},f^{-1}(B) = \{\omega\in\Omega|f(\omega)\in B\} B∈E,f−1(B)={ω∈Ω∣f(ω)∈B}是$\Omega$上的集合（$\mathcal{E}$中集合$B$的原象）
f − 1 ( E ) = { f − 1 ( B ) ∣ B ∈ E } \qquad \quad f^{-1}(\mathcal{E}) = \{f^{-1}(B)|B\in\mathcal{E}\} f−1(E)={f−1(B)∣B∈E}是$\Omega$上的集类
性质：

1. $f^{-1}(\varnothing )=\varnothing$ ?
2. $f^{-1}(E)=\Omega$ ?
3. $f^{-1}(B^c)=(f^{-1}(B){)}^c$
4. $f^{-1}({\bigcup }_{i\in I}{B}_i)={\bigcup }_{i\in I}{f}^{-1}(B_i)$
5. $f^{-1}({\bigcap }_{i\in I}{B}_i)={\bigcap }_{i\in I}{f}^{-1}(B_i)$
   $\Rightarrow f^{-1}(\mathcal{E})是\Omega 上\sigma 代数$
6. $f^{-1}(A\backslash B)=f^{-1}(A)\backslash f^{-1}(B)$

定义2.1.1 为何这样定义？
设$(\Omega ,\mathcal{F}),(E,\mathcal{E})$为两个可测空间，$f$为$\Omega$到$E$中的映射。若对一切$A\in \Omega$，有$f^{-1}(A)\in \mathcal{F}$，则称$f$为 $\mathcal{F}$可测映射。
即：$f$为 $\mathcal{F}$可测映射$⟺f^{-1}(\mathcal{E})\subset \mathcal{F}$

可测映射刻画：
取集类$\mathcal{C}$：$(\Omega ,\mathcal{F})\stackrel{f}{\mapsto }(E,\mathcal{E}={\sigma }_E(\mathcal{C}))$
$$\begin{array}{rl}f为\mathcal{F}可测映射& ⟺f^{-1}({\sigma }_E(\mathcal{C}))\subset \mathcal{F}\\ & ⟺f^{-1}(\mathcal{C})\subset \mathcal{F}\end{array}$$
$\Rightarrow f^{-1}({\sigma }_E(\mathcal{C}))={\sigma }_{\Omega }(f^{-1}(\mathcal{C}))$

Lesson 7：Chp2 可测映射

下研究可测函数的构造