测度论概念整理

测度论概念整理

本文主要整理一些测度论基础概念，以供快捷查阅。（可能会持续更新）

单调序列

设 { A n , n = 1 , 2 , . . . } \{A_n,n=1,2,...\} {An​,n=1,2,...}是一个集合序列，如果对每个$n=1,2,...$有
$$A_n\subset A_{n+1}$$
则称$A_n$是非降的，记为$A_n\uparrow$。并把集合$\underset{n\to \infty }{\lim }{A}_n\stackrel{def}{=}{\bigcup }_{n=1}^{\infty }{A}_n$为它的极限。反之，则称$A_n$为非增的，记为$A_n\downarrow$，并称$\underset{n\to \infty }{\lim }{A}_n\stackrel{def}{=}{\bigcap }_{n=1}^{\infty }{A}_n$为它的极限。

非降和非增的集合序列统称为单调序列。单调集合序列总有极限。

集合系

以空间$X$中的一些集合为元素组成的集合称为$X$上的集合系。换句话说，集合系是集合的集合，是空间$X$的幂集的子集。集合系一般用花体字母表示。

$\pi$系

如果$X$上的非空集合系$\mathcal{P}$对交的运算是封闭的，则为**$\pi$系**。

半环

满足以下条件的$\pi$系$\mathcal{D}$称为半环：对任意的$A,B\in \mathcal{D}$且$A\supset B$，存在有限个两两不交的 { C k ∈ D , k = 1 , . . . , n } \{C_k\in\mathscr{D},k=1,...,n\} {Ck​∈D,k=1,...,n}使得
$$A\setminus B=\bigcup _{k=1}^n{C}_k$$
即任意两个集合的差一定能由其中的元素取并得到。

环

如果非空集合系对并和差的运算是封闭的，那么被称为环。

域/代数

满足下列条件的$\pi$系$\mathcal{A}$称为域：
$$\begin{gathered} X\in \mathcal{A} \\ A\in \mathcal{A}\Rightarrow A^c\in \mathcal{A} \end{gathered}$$
简单来讲需要满足两个条件：

• 全集属于A
• 补运算封闭

域也被称为代数。

定理：半环必是$\pi$系；环必是半环；域必是环。

单调系

如果对集合系$\mathcal{M}$中的任何单调序列 { A n , n = 1 , 2 , . . . } \{A_n,n=1,2,...\} {An​,n=1,2,...}均有$\underset{n\to \infty }{\lim }{A}_n\in \mathcal{M}$，则把$\mathcal{M}$叫做单调系。

$\lambda$系

集合系$\mathcal{L}$称为**$\lambda$系**，如果它满足下列条件：
$$\begin{gathered} X\in \mathcal{L}; \\ A,B\in \mathcal{L}\wedge A\supset B⟹A\setminus B\in \mathcal{L}; \\ {A}_n\in \mathcal{L}\wedge A_n\uparrow ⟹\bigcup _{n=1}^{\infty }{A}_n\in \mathcal{L}. \end{gathered}$$
解释：需要满足三个条件

• 全集属于集合系；
• 对差运算封闭；
• 是单调系。

$\sigma$域/$\sigma$代数

满足下列三个条件的集合系$\mathcal{L}$称为$\sigma$域：
$$\begin{gathered} X\in \mathcal{L}; \\ A\in \mathcal{L}⟹A^c\in \mathcal{L}; \\ {A}_n\in \mathcal{L},n=1,2,...⟹\bigcup _{n=1}^{\infty }{A}_n\in \mathcal{L}. \end{gathered}$$
解释：需要满足三个条件

• 全集属于集合系；
• 对补运算封闭；
• 单调系。

定理：$\sigma$域是域，$\lambda$系是单调系，$\sigma$域是$\lambda$系。

定理：一个既是单调系又是域的集合系必是$\sigma$域。

定理：一个既是$\lambda$系又是$\pi$系的集合系必是$\sigma$域。

$\sigma$域的成员被称为可测集，我们最终是要在$\sigma$域上建立测度。非空集合$X$和集合$X$的一个$\sigma$域$\mathcal{F}$放在一起写成的$(X,\mathcal{F})$将称为可测空间。

$\sigma$环

称非空集合系$\mathcal{R}$是一个$\sigma$环，如果：
$$\begin{gathered} A,B\in \mathcal{R}⟹A\setminus B\in \mathcal{R}; \\ {A}_n\in \mathcal{R},n=1,2,...⟹\bigcup _{n=1}^{\infty }{A}_n\in \mathcal{R}. \end{gathered}$$
一个对可列并运算封闭的环是$\sigma$环；一个包含$X$的$\sigma$环是$\sigma$域。

Borel集合系

对于拓扑空间$X$，以$\mathcal{O}$记其开集系，博雷尔集合系定义为包含$\mathcal{O}$的最小的$\sigma$域，其中的集合称为$X$中的博雷尔集。