[论文解读] Hahn decomposition and Radon-Nikodym theorem with a parameter

D. Novikov|ArXiv.org|Jan 14, 2005

Advanced Algebra and Logic被引用 4

一句话总结

本文通过使用依赖参数的Hahn分解显式构造了带参数的Radon-Nikodym定理的构造性、可测性证明。证明表明，若一族测度关于参考测度绝对连续，且两者在参数上均可测，则Radon-Nikodym导数在参数与结果空间的乘积σ代数上可测。

ABSTRACT

The paper contains a simple proof of the classical Hahn decomposition theorem for charges and, as a corollary, an explicit measurable in parameter construction of a Radon-Nikodym derivative of one measure by another.

研究动机与目标

• 提供在存在参数情况下的Radon-Nikodym定理的构造性且可测性证明。
• 在测度关于参数可测依赖的情况下，建立Radon-Nikodym导数的联合可测版本的存在性。
• 解决E.B. Dynkin提出的问题：关于参数族测度中Radon-Nikodym导数的可测性问题。
• 将经典的Hahn分解定理推广至参数化测度，并利用其构造导数的可测水平集。
• 确保所得导数关于参数与结果空间乘积σ代数可测。

提出的方法

• 通过使用具有受控变差的集合序列 $E_k$，为参数化测度 $\mathcal{P}(\mu, \cdot) - r\mathcal{P}(\cdot)$ 构造Hahn分解。
• 定义集合 $X_m = \bigcap_{k \geq m} E_k$，并令 $X_- = \bigcup_m X_m$，从而为每个 $\mu$ 构造Hahn分解。
• 利用可测函数与其水平集 $S_r = \{f \leq r\}$ 之间的对应关系，通过可测族 $S_r$ 来刻画Radon-Nikodym导数 $f$。
• 将 $S_r$ 构造为所有 $r' \leq r$ 的Hahn分解集 $X^{r'}_-$ 与剩余集合 $S_0$ 的并集，以确保单调性与完备性。
• 通过证明定义集合 $A_{N,k}$ 在参数空间中可测，来证明所得的 $S_r$ 在 $\mathfrak{M} \times \mathfrak{M}$ 中可测。
• 通过简单函数逼近与测度比较，验证所构造的 $f$ 满足Radon-Nikodym导数的定义性质。

实验结果

研究问题

• RQ1 当测度依赖于参数时，能否显式构造出Radon-Nikodym导数的联合可测版本？
• RQ2 是否可能确保Radon-Nikodym导数的水平集在乘积空间 $\mathcal{M} \times \mathcal{M}$ 上可测？
• RQ3 如何将经典Hahn分解推广至参数化测度，以获得可测分解？
• RQ4 对参数化测度施加何种条件，可确保Radon-Nikodym导数在乘积σ代数上可测？
• RQ5 能否不依赖抽象选择定理，而通过构造性测度论方法建立导数的可测性？

主要发现

• 通过嵌套集合 $X_m = \bigcap_{k \geq m} E_k$，为参数化测度 $\mathcal{P}(\mu, \cdot) - r\mathcal{P}(\cdot)$ 建立了构造性、可测的Hahn分解。
• 所得集合 $S_r$ 构成一个可测族，满足对所有 $r < r'$ 有 $S_r \subset S_{r'}$，且 $\bigcup_r S_r = \mathcal{M} \times \mathcal{M}$，从而确保联合可测性。
• 函数 $f(\mu, \nu) = \inf\{r : (\mu, \nu) \in S_r\}$ 是Radon-Nikodym导数 $\frac{\mathcal{P}(\mu, d\nu)}{\mathcal{P}(d\nu)}$ 的 $\mathfrak{M} \times \mathfrak{M}$-可测版本。
• 该构造确保对所有 $A \in \mathfrak{M}$ 有 $\mathcal{P}(\mu, A) = \int_A f(\mu, \nu) \mathcal{P}(d\nu)$，从而确认了导数的性质。
• 该方法适用于一般测度族 $\mu_x, \lambda_x$，只要测度关于 $x$ 可测，且空间具有可数生成代数。
• 在参数空间为Luzin可测空间且测度具有可数生成代数的假设下，导数的联合可测性得以保持。