Trace—σ代数的证明

本文旨在证明 Trace $\sigma$ algebra 是一个algebra。Trace $\sigma$ algebra 的定义是：

假设$E\subseteq X$，且$\mathcal{A}$是X上的$\sigma$代数，那么
${\mathcal{A}}_E$ $:=$ { E ∩ A , A ∈ A } \{E \cap{A} , A\in\mathscr{A}\} {E∩A,A∈A}是一个$E$上的$\sigma$ algebra。

证明，根据定义的三条，第一条$E\in {\mathcal{A}}_E$明显满足。
第二条，需要证明$E$的子集$A\in {\mathcal{A}}_E$那么$E\setminus A\in {\mathcal{A}}_E$
假设一些S=E$\cap$A$,$A$\in$${\mathcal{A}}_E$，因此，$X\setminus S\in \mathcal{A}$,那么根据定义$E\cap (X\setminus S)\in {\mathcal{A}}_E$而$E\cap (X\setminus S)=(E\cap X)\setminus S=E\setminus S$,所以$E\setminus S\in {\mathcal{A}}_E$。

第三条需要证明的条件是：$A_i\in {\mathcal{A}}_E,那么{\cup }_{i\in \mathbb{N}}{A}_i\in {\mathcal{A}}_E$。
证明过程如下：
根据定义假设$S_i=E\cap A_i$其中$A_i\in \mathcal{A}$,那么 ∪ S i = E ∩ { ∪ A i } \cup S_i=E\cap \{\cup A_i\} ∪Si​=E∩{∪Ai​}，由于$\mathcal{A}$是$\sigma$-algebra，所以 { ∪ A i } ∈ A \{\cup A_i\} \in \mathscr{A} {∪Ai​}∈A ,根据定义$\cup S_i\in {\mathcal{A}}_E$.