T241106

[T241106] (Dynkin) 設 \(\mathscr F_0\) 是一個 \(\pi-\)類, 則 \(\delta(\mathscr F_0)=\sigma(\mathscr F_0)\).
Proof: 注意到 \(\sigma(\mathscr F_0)\) 是包含 \(\mathscr F_0\) 的最小 \(\sigma-\)代數. 因此只需證明 \(\delta(\mathscr F_0)\) 是包含 \(\mathscr F_0\) 的最小 \(\sigma-\)代數. 又 \(\delta(\mathscr F_0)\) 是包含 \(\mathscr F_0\) 的最小 Dynkin 系, 而 \(\sigma-\)代數都是 Dynkin 系, 因此只需證明 \(\delta(\mathscr F_0)\) 是 \(\sigma-\)代數. 又 Dynkin 系對於補運算和不交可列並運算封閉, 因此只需證明 \(\delta(\mathscr F_0)\) 對於可列並封閉.
(Step1.) 先證明 \(\delta(\mathscr F_0)\) 對於有限交封閉. 任取 \(A\in\delta(A)\), 定義

\[\kappa[A]:=\{B\in\delta(\mathscr F_0):A\cap B\in\delta(\mathscr F_0)\} \]

• 先驗證 \(\kappa [A]\) 是一個 Dynkin 系. 顯然 \(A\cap\varnothing=\varnothing\in\delta(\mathscr F_0)\), 於是 \(\varnothing\in\kappa[A]\), 故只需驗證 \(\kappa[A]\) 關於補集運算和不交可列並運算封閉.

  • 關於補集運算封閉
    對於 \(\forall B\in\kappa[A]\), 注意到

    \[A\cap B^c=(A^c\cup B)^c=(A^c\cup(A\cap B))^c\in\delta(\mathscr F_0) \]

    於是 \(B^c\in\kappa[A]\), 從而 \(\kappa[A]\) 關於補集運算封閉.

  • 關於不交可列並封閉
    取不交集列 \(\{B_b\}\subset \kappa[A]\), 注意到

    \[A\cap(\cup_n B_n)=\cup_n(A\cap B_n)\in\delta(\mathscr F_0) \]

    故 \(\cup_nB_n\in\kappa[A]\).

  綜上, \(\kappa [A]\) 是一個 Dynkin 系.

• 再證明 \(\delta(\mathscr F_0)\) 對於有限交封閉
  事實上, 由於 \(\mathscr F_0\) 是 \(\pi-\)類, 故對於 \(A\in\mathscr F_0\subset\delta(\mathscr F_0)\), 對 \(\forall B\in\mathscr F_0\), 有 \(A\cap B\in\mathscr F_0\subset\delta(\mathscr F_0)\), 從而 \(\mathscr F_0\subset\kappa[A]\). 又 \(\delta(\mathscr F_0)\) 是包含 \(\mathscr F_0\) 的最小 Dynkin 系, 故必有 \(\delta(\mathscr F_0)\subset\kappa[A]\). 因此對於 \(\forall A,B\in\delta(\mathscr F_0)\), 有 \(A\cap B\in\delta(\mathscr F_0)\), 故 \(\delta(\mathscr F_0)\) 對於有限交封閉.

(Step2.) 證明 \(\delta(\mathscr F_0)\) 對於可列並封閉. 取一列 \(\{A_n\}_{n=1}^{+\infty}\subset\delta(\mathscr F_0)\), 記

\[A=\bigcup_{n=1}^{+\infty}A_n,\quad S_n=\bigcup_{k=1}^nA_k \]

則 \(\{S_n\}\) 是單調遞增集列, 且

\[S_n=A_1\cup (A_2\cap A_1^c)\cup\cdots\cup(A_n\cap(\cup_{k=1}^{n-1}A_k)^c)\cup\varnothing\cdots\in\delta(\mathscr F_0) \]

不妨令 \(S_0=\varnothing\), 則

\[A=\bigcup_{n=1}^{+\infty}A_n=\bigcup_{n=1}^{+\infty}S_n=\bigcup_{n=1}^{+\infty}(S_n\cap S_{n-1}^c)\in\delta(\mathscr F_0) \]

故 \(\delta(\mathscr F_0)\) 對於可列並封閉. #