题目
解
-
证 Ω ⊂ A \Omega\subset\mathcal{A} Ω⊂A
ϕ = Ω c 是有限的 \phi=\Omega^c是有限的 ϕ=Ωc是有限的,所以 Ω ⊂ A \Omega\subset\mathcal{A} Ω⊂A -
证若 A ∈ A ,那么 A c ∈ A A\in \mathcal{A},那么A^c\in\mathcal{A} A∈A,那么Ac∈A
若 A ∈ A A\in \mathcal{A} A∈A,那么 A 是有限的或者 A c 是有限的 A是有限的或者A^c是有限的 A是有限的或者Ac是有限的
①若 A 是有限的 A是有限的 A是有限的,那么 ( A c ) c (A^c)^c (Ac)c是有限的,所以 A c ∈ A A^c\in\mathcal{A} Ac∈A
②若 A c 是有限的 A^c是有限的 Ac是有限的,则 A c ∈ A A^c\in\mathcal{A} Ac∈A -
证 A 、 B ∈ A ,那么 A ∪ B ∈ A A、B\in \mathcal{A},那么A\cup B\in\mathcal{A} A、B∈A,那么A∪B∈A
①若 A 、 B A、B A、B都有限,那么 A ∪ B 是有限的 A\cup B是有限的 A∪B是有限的,所以 A ∪ B ∈ A A\cup B\in\mathcal{A} A∪B∈A
②若 A 、 B A、B A、B都无限,那么 A c 、 B c A^c、B^c Ac、Bc是有限的, ( A ∪ B ) c = A c ∩ B c (A\cup B)^c=A^c\cap B^c (A∪B)c=Ac∩Bc是有限的,所以 A ∪ B ∈ A A\cup B\in\mathcal{A} A∪B∈A
③若 A 、 B A、B A、B中有一个是有限的,一个是无限的。
假设 A A A有限, B B B无限,即 B c B^c Bc有限,那么 ( A ∪ B ) c = A c ∩ B c ⊂ B c (A\cup B)^c=A^c\cap B^c\subset B^c (A∪B)c=Ac∩Bc⊂Bc是有限的,所以 A ∪ B ∈ A A\cup B\in\mathcal{A} A∪B∈A -
证 A 1 , A 2 , … ∈ A A_1,A_2,\ldots\in\mathcal{A} A1,A2,…∈A,但 ⋃ n = 1 ∞ A n ∉ A \bigcup_{n=1}^{\infty}A_n\notin\mathcal{A} ⋃n=1∞An∈/A
令 A n = { 2 n } A_n=\left\{2n\right\} An={2n},则 A n ∈ A A_n\in\mathcal{A} An∈A,但是 ⋃ n = 1 ∞ A n \bigcup_{n=1}^{\infty}A_n ⋃n=1∞An是可数无限集,包括所有的偶数,且 ( ⋃ n = 1 ∞ A n ) c (\bigcup_{n=1}^{\infty}A_n)^c (⋃n=1∞An)c是奇数集,包含所有的奇数,也是可数无限的,所以 ⋃ n = 1 ∞ A n ∉ A \bigcup_{n=1}^{\infty}A_n\notin\mathcal{A} ⋃n=1∞An∈/A。
因此, A \mathcal{A} A是域,但不是 σ \sigma σ域