Carathéodory 扩张定理
[T241107] (Carathéodory 扩张) 设 μ 是代数 F0 上的预测度, 则其外测度 μ∗ 是 μ 的一个扩张, 称为 μ 的 Carathéodory 扩张. (即 μ∗ 是 (Ω,σ(F0)) 上的测度且在 F0 上与 μ 一致)
Proof: 只需证明 μ∗ 是 F=σ(F0) 上的测度且在 F0 上与 μ 一致.
(Step1.) 先证明 μ∗ 在 F0 上与 μ 一致, 即证 ∀A∈F0, 满足 μ∗(A)=μ(A). 注意到
而 A\cup\varnothing\cup\varnothing\cup\cdots\supset A, 因此
另一方面, 若 \mu^*(A)<+\infty, 则对 \forall\varepsilon>0, ~\exists~A_n\in\mathscr F_0, 使得 \bigcup\limits_nA_n\supset A, 且
由 \mu 的可列可加性和单调性知
再由 \varepsilon 的任意性可知 \mu(A)\le\mu^*(A). 综上, \mu(A)=\mu^*(A).
(Step2.) 再证明 \mu^* 是 \mathscr F=\mathscr \sigma(F_0) 上的测度, 只需证明 \mathscr F=\sigma(\mathscr F_0)\subset\mathscr M, 其中 \mathscr M 是 \mu^* 可测子集全体构成的 \sigma 代数.
见“(\Omega,\mathscr M,\mu^*) 是完备测度空间”: https://www.cnblogs.com/sufewsj/p/18526955
对 \forall A\in\mathscr F_0, 要证明 A\in\mathscr M. 对 \forall E\subset\Omega, 不妨设 \mu^*(E)<\infty, 则对 \forall \varepsilon>0, 存在子集列 \{A_n\}\subset\mathscr F_0 满足 \cup_nA_n\supset E 且 \sum\limits_n\mu(A_n)<\mu^*(E)+\varepsilon, 因而
由 \varepsilon 的任意性可知 \mu^*(E)\ge\mu^*(E\cap A)+\mu^*(E\cap A^c), 即 A 满足 Carathéodory 条件, 从而 A\in\mathscr M. 由 A 在 \mathscr F_0 中的任意性可知 \mathscr F_0\subset\mathscr M, 从而 \mathscr F=\sigma(\mathscr F_0)\subset\sigma(\mathscr M)=\mathscr M, 故 \mu^* 是 \mathscr F=\sigma(\mathscr F_0) 上的测度.
综上, \mu^* 限制在 \mathscr F 上是 \mu 的一个扩张. #
【推荐】国内首个AI IDE,深度理解中文开发场景,立即下载体验Trae
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】抖音旗下AI助手豆包,你的智能百科全书,全免费不限次数
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步