sigma有限的预测度的扩张是唯一的

[T241109] 若 \(\mu\) 是代数 \(\mathscr F_0\) 上的 \(\sigma-\)有限的预测度, 则 \(\mu\) 的扩张是唯一的.
Proof: 设 \(\mu\) 的 Carathéodory 扩张还用 \(\mu\) 表示, 任取 \(\mu\) 的一个扩张 \(\mu'\), 只需证明 \(\mu\) 和 \(\mu'\) 在 \(\mathscr F=\sigma(\mathscr F_0)\) 上是一致的. 因为 \(\mu'\) 是 \(\mu\) 的一个扩张, 故它们在 \(\mathscr F_0\) 上是一致的.
由于 \(\mu\) 是 \(\mathscr F_0\) 上的预测度, 故存在 \(\Omega_0\in\mathscr F_0\), 使得 \(\mu(\Omega_0)<\infty\). 令

\[\mathscr A_0:=\{A\in\mathscr F\cap \Omega_0:\mu'(A)=\mu(A)\} \]

  注意到对 \(\forall A\in\mathscr F_0\cap\Omega_0\), 有 \(A=\Omega_0\cap A_0,~A_0\in\mathscr F_0\), 由于 \(\mathscr F_0\) 对补集和有限并, 因此 \(\mathscr F_0\) 对有限交也封闭, 故 \(A\in\mathscr F_0\), 从而 \(\mu'(A)=\mu(A)\), 显然 \(A\in\mathscr F_0\cap\Omega_0\subset\mathscr F\cap\Omega_0\), 故 \(A\in\mathscr A_0\), 故 \(\mathscr F_0\cap\Omega_0\subset\mathscr A_0\).
  下证 \(\mathscr A_0\) 是 \(\Omega_0\) 上的 Dynkin 系
  （1）先证 \(\mathscr A_0\) 包含 \(\varnothing\), 注意到 \(\varnothing\in\mathscr F_0\), 故 \(\mu'(\phi) = \mu(\phi)\), 从而 \(\phi \in \Omega_0\);
  （2）再证 \(\mathscr A_0\) 对于补集运算封闭. 对 \(\forall A\in\mathscr A_0\), 要证 \(A^c\in\mathscr A_0\). 注意到 \(A\in\mathscr F\cap\Omega_0\) 而 \(\mathscr F\cap\Omega_0\) 是一个 \(\sigma-\)代数, 故 \(A^c\in\mathscr F\cap\Omega_0\), 从而必有 \(A^c\in\Omega_0\). 又 \(A\) 是可测集, 故有

\[\mu(\Omega_0) = \mu(\Omega_0 \cap A) + \mu(\Omega_0 \cap A^c) = \mu(A) + \mu(A^c)\\ \mu'(\Omega_0) = \mu'(\Omega_0 \cap A) + \mu'(\Omega_0 \cap A^c) = \mu'(A) + \mu'(A^c) \]

又 \(\mu(\Omega_0) = \mu'(\Omega_0)\), \(\mu(A) = \mu'(A)\)，故 \(\mu'(A^c)=\mu'(A^c)\). 从而 \(A^c\in\mathscr A_0\), 故 \(\mathscr A_0\) 对于不急运算封闭.
  （3）最后证明 \(\mathscr A_0\) 对于不交可列并运算封闭. 设 \(\{A_n\}_{n=1}^{\infty}\) 是 \(\mathscr A_0\) 上互不相交的集合, 即 \(A_i\cap A_j=\varnothing~(i\neq j)\), 要证 \(\bigcup\limits_nA_n\in\mathscr A_0\). 注意到 \(A_n\in\mathscr F\cap\Omega_0\), 而 \(\mathscr F\cap\Omega_0\) 是 \(\sigma-\)代数. 从而 \(\bigcup\limits_nA_n\in\mathscr F\cap\Omega_0\). 注意到

\[\begin{aligned} \mu\left(\bigcup_{n=1}^{\infty}A_n\right)&=\mu\left(\bigcup_{n=1}^{\infty}A_n\cap A_1\right)+\mu\left(\bigcup_{n=1}^{\infty}A_n\cap A_1^c\right)\\ &=\mu(A_1)+\mu\left(\bigcup_{n=2}^{\infty}A_n\right)\\ &=\mu(A_1)+\mu(A_2)+\mu\left(\bigcup_{n=3}^{\infty}A_n\right)\\ &=\sum_{k=1}^N\mu(A_k)+\mu\left(\bigcup_{n=N+1}^{\infty}A_n\right) \end{aligned} \]

注意到 \(\mu,\mu'\) 在 \(\mathscr F\cap\Omega_0\) 上是有限测度. 令 \(n\to\infty\), 有

\[\mu\left(\bigcup_{n=1}^{\infty}A_n\right)=\sum_{n=1}^{\infty}\mu(A_n). \]

同理

\[\mu'\left(\bigcup_{n=1}^{\infty}A_n\right)=\sum_{n=1}^{\infty}\mu'(A_n). \]

而 \(\mu(A_n)=\mu'(A_n),~n\in\mathbb N^+\), 故

\[\mu\left(\bigcup_{n=1}^{\infty}A_n\right)=\mu'\left(\bigcup_{n=1}^{\infty}A_n\right) \]

于是 \(\bigcup\limits_nA_n\in\mathscr A_0\). 故 \(\mathscr A_0\) 对于不交可列并运算封闭.
  因为 \(\mathscr F_0\cap\Omega_0\) 是 \(\Omega_0\) 上的代数, 显然是 \(\pi-\)类, 故由 Dynkin 引理可知

\[\mathscr A_0\supset\delta(\mathscr F_0\cap\Omega_0)=\sigma(\mathscr F_0\cap\Omega_0)=\mathscr F\cap\Omega_0 \]

故在 \(F\cap\Omega_0\) 上 \(\mu\) 与 \(\mu'\) 也一致.
  由 \(\sigma-\)有限性, 可取得递增集列 \(\{\Omega_n\}\subset\mathscr F_0\) 满足 \(\cup_n\Omega_n=\Omega\) 且 \(\mu(\Omega_n)<\infty\). 于是对 \(\forall A\in\mathscr F\), 有

\[\mu'(A)=\lim\limits_n\mu'(A\cap \Omega_n)=\lim\limits_n\mu(A\cap\Omega_n)=\mu(A).\quad\# \]