测度论与概率论基础学习笔记1——1.1 集合及其运算

前记
为了尝试更加深刻地理解概率论与兴趣原因，打算自学一下北大程士宏老师的《测度论与概率论基础》，重点了解一下测度论。

第一章 可测空间与可测映射
第一节 集合及其运算

集合是中学时就接触过的概念，其运算性质有交换律、分配律、De Morgan律等。此节的重点是理解一下集合极限的概念。

首先定义一下多个集合的交与并的定义。对于可数个或可列个集合的交或并是显然的，若是其它情形呢？
于是定义：
∪ t ∈ T A t = { x : ∃ t ∈ T , 使 得 x ∈ A t } \cup_{t\in T}A_t=\{x:\exists t\in T,使得 x\in A_t\} ∪t∈T​At​={x:∃t∈T,使得x∈At​}

∩ t ∈ T A t = { x : x ∈ A t , ∀ t ∈ T } \cap_{t\in T}A_t=\{x:x\in A_t ,\forall t\in T\} ∩t∈T​At​={x:x∈At​,∀t∈T}
因此，“并”与存在相联系，“交”与任意相联系。

设 { A n } \{A_n\} {An​}是一集合序列，若：
$$A_n\subset A_{n+1}$$
则称 { A n } \{A_n\} {An​}是非降的。若：
$$A_n\supset A_{n+1}$$
则称 { A n } \{A_n\} {An​}是非增的。
对于集合序列： { ∩ k = n ∞ A k } \{\cap_{k=n}^{\infty}A_k\} {∩k=n∞​Ak​},容易看出它是非降的。因为考虑 { ∩ k = n + 1 ∞ A k } \{\cap_{k=n+1}^{\infty}A_k\} {∩k=n+1∞​Ak​}，它比 { ∩ k = n ∞ A k } \{\cap_{k=n}^{\infty}A_k\} {∩k=n∞​Ak​}少交了一个 { A n } \{A_n\} {An​}，因此它的范围应当大于等于 { ∩ k = n ∞ A k } \{\cap_{k=n}^{\infty}A_k\} {∩k=n∞​Ak​}，即是非降的。
同理， { ∪ k = n ∞ A k } \{\cup_{k=n}^{\infty}A_k\} {∪k=n∞​Ak​}是非增的。

由此，定义 { A n } \{A_n\} {An​}的上下极限：

下极限：

$$\underset{n\to \infty }{\mathrm{liminf}}{A}_n={\cup }_{n=1}^{\infty }{\cap }_{k=n}^{\infty }{A}_k$$
关于这个极限有两种理解方式。第一， { ∩ k = n ∞ A k } \{\cap_{k=n}^{\infty}A_k\} {∩k=n∞​Ak​}是非降的，因此关于它的“趋势”，应当是取并集，于是如此定义。二是将集合$A_k$看作是一个事件发生，根据前文对并和交的理解，可以如此理解这个极限：
$$\exists n\ge 1,\forall k\ge n,A_k发生$$
也就是，$A_k$发生无限次。
同理，可以定义上极限。
上极限：

$$\underset{n\to \infty }{\mathrm{limsup}}{A}_n={\cap }_{n=1}^{\infty }{\cup }_{k=n}^{\infty }{A}_k$$
关于这个极限也有两种理解方式。第一， { ∪ k = n ∞ A k } \{\cup_{k=n}^{\infty}A_k\} {∪k=n∞​Ak​}是非增的，因此关于它的“趋势”，应当是取交集，于是如此定义。二是将集合$A_k$看作是一个事件发生，可以如此理解这个极限：
$$\forall n\ge 1,\exists k\ge n,A_k发生$$
也就是，$A_k$只有有限次不发生。

很显然，按照第二种理解方式，只有有限次不发生一定能推出发生无限次，反之不一定。因此，上极限包含下极限。当二者相等时，就定义为此集合列的极限。

上下极限可以与数列的上下极限类比理解。数列的上下极限