实变函数论——sigma代数（域）——习题练习

题1 对可数不交并封闭的域（代数）是$\sigma$域（代数）

Suppose $\mathcal{A}$ is a field and suppose also that $\mathcal{A}$ has the property that it is closed under countable disjoint unions. Show $\mathcal{A}$ is a $\sigma$-field.

解

$\because \mathcal{A}是域$
$\therefore \mathcal{A}对补封闭，且\Omega \in \mathcal{A}$
所以只需证明$\mathcal{A}$对可数并封闭。
令$A_1,A_2,\dots ,$为$\mathcal{A}$中的集合，令$B_k=A_k-{\bigcup }_{i=1}^{k-1}{A}_i$,那么$B_k$彼此之间互不相交，且${\bigcup }_{i=1}^{\infty }{B}_i={\bigcup }_{i=1}^{\infty }{A}_i$,结论得证

思路

构建不相交的集合：令$A_1,A_2,\dots ,$为$\mathcal{A}$中的集合，令$B_k=A_k-{\bigcup }_{i=1}^{k-1}{A}_i$,那么$B_k$彼此之间互不相交，且${\bigcup }_{i=1}^{\infty }{B}_i={\bigcup }_{i=1}^{\infty }{A}_i$

题2 单点集生成的$\sigma$域（代数）

Let $Q$ be a non-empty set and let $\mathcal{C}$ be all one point subsets. Show that σ ( C ) = { A ⊂ Ω : A  is countable } ⋃ { A ⊂ Ω : A c  is countable } . \sigma(\mathcal{C}) =\left\{A \subset \Omega: A \text{ is countable}\right\} \bigcup\left\{A\subset \Omega: A^c \text{ is countable}\right\}. σ(C)={A⊂Ω:A is countable}⋃{A⊂Ω:Ac is countable}.

思路

令 A = { A ⊂ Ω : A  is countable } ⋃ { A ⊂ Ω : A c  is countable } . \mathcal{A} =\left\{A \subset \Omega: A \text{ is countable}\right\} \bigcup\left\{A\subset \Omega: A^c \text{ is countable}\right\}. A={A⊂Ω:A is countable}⋃{A⊂Ω:Ac is countable}.

• 先证$\mathcal{A}$是$\sigma$域
• 再证$\mathcal{C}\in \mathcal{A}$，从而$\sigma (\mathcal{C})\subset \mathcal{A}$
• 最后证明$\mathcal{A}\subset \sigma (\mathcal{C})$

解

证$\mathcal{A}$是$\sigma$域

• $\because {\Omega }^c=\varphi 是可数集$
  $\therefore \Omega \in \mathcal{A}$

• 设$A\in \mathcal{A}$， 那么若$A$是可数集，则$(A^c{)}^c=A$是可数集；若$A^c$是可数集，那么$A^c\in \mathcal{A}$

• 设$A_1,A_2,\dots \in \mathcal{A}$，考虑两种情况：
  ①若$A_1,A_2，\dots$中至少有一个可数集，那么${\bigcap }_{i=1}^{\infty }{A}_i$是可数集
  ②若$A_1,A_2，\dots$中没有可数集，那么$A_1^c,A_2^c，\dots$是可数集，所以${\bigcup }_{i=1}^{\infty }{A}_i^c$是可数集，又因为$$(\bigcap _{i=1}^{\infty }{A}_i{)}^c=\bigcup _{i=1}^{\infty }{A}_i^c$$
  所以${\bigcap }_{i=1}^{\infty }{A}_i\in \mathcal{A}$
  所以，$\mathcal{A}$是$\sigma$域

$\mathcal{C}\in \mathcal{A}$

由于$\mathcal{C}$是单点集，所以$\mathcal{C}$可数集，所以$\mathcal{C}\in \mathcal{A}$。根据最小$\sigma$域的定义，我们有$\sigma (\mathcal{C})\subset \mathcal{A}$。

$\mathcal{A}\subset \sigma (\mathcal{C})$

设集合$A\in \mathcal{A}$，那么$A$可数或者$A^c$可数。

• 若$A$可数，那么 A 可以写成 A = { x 1 , x 2 , x 3 , … } = ⋃ i = 1 ∞ { x i } A可以写成A=\left\{x_1,x_2,x_3,\ldots\right\}=\bigcup_{i=1}^{\infty}\left\{x_i\right\} A可以写成A={x1​,x2​,x3​,…}=⋃i=1∞​{xi​}
  ∵ { x i } ∈ C \because \left\{x_i\right\}\in \mathcal{C} ∵{xi​}∈C
  ∴ { x i } ∈ σ ( C ) \therefore \left\{x_i\right\}\in\sigma(\mathcal{C}) ∴{xi​}∈σ(C)
  $\therefore A\in \sigma (\mathcal{C})$
• 若$A^c$可数，那么 A c 可以写成 A c = { x 1 , x 2 , x 3 , … } = ⋃ i = 1 ∞ { x i } A^c可以写成A^c=\left\{x_1,x_2,x_3,\ldots\right\}=\bigcup_{i=1}^{\infty}\left\{x_i\right\} Ac可以写成Ac={x1​,x2​,x3​,…}=⋃i=1∞​{xi​}
  ∴ A = ( A c ) c = ⋂ i = 1 ∞ { x i } c \therefore A=(A^c)^c=\bigcap_{i=1}^{\infty}\left\{x_i\right\}^c ∴A=(Ac)c=⋂i=1∞​{xi​}c
  ∵ { x i } ∈ σ ( C ) \because \left\{x_i\right\}\in\sigma(\mathcal{C}) ∵{xi​}∈σ(C)
  ∴ { x i } c ∈ σ ( C ) \therefore \left\{x_i\right\}^c\in\sigma(\mathcal{C}) ∴{xi​}c∈σ(C)
  $\therefore A\in \sigma (\mathcal{C})$

综上所述，$\mathcal{A}\subset \sigma (\mathcal{C})$
因此，$\mathcal{A}=\sigma (\mathcal{C})$