[论文解读] Some Notes on Standard Borel and Related Spaces

Chris Preston|ArXiv.org|Sep 18, 2008

Advanced Topology and Set Theory参考文献 12被引用 8

一句话总结

本文提出了一种替代标准 Borel 空间与解析空间的途径，使用康托尔空间 $Μ = \{0,1\}^\mathbb{N}$ 作为通用模型。它证明了可数生成的可测空间可精确嵌入到 $Μ$ 中，并引入了“类型 $\mathcal{B}$”空间——在不依赖可分性条件下的标准 Borel 空间推广——使得在更广泛的设定下，能够成立诸如柯尔莫哥洛夫延拓定理和条件分布存在性等关键结果。

ABSTRACT

These notes give an elementary approach to parts of the theory of standard Borel and analytic spaces.

研究动机与目标

• 通过将康托尔空间 $\mathsf{M} = \{0,1\}^\mathbb{N}$ 作为通用模型，重构标准 Borel 空间的理论，避免依赖波兰空间理论。
• 通过引入“类型 $\mathcal{B}$”空间，对标准 Borel 空间进行推广，该类空间放宽了可分性条件，同时保留关键结构性质。
• 在更广泛的类型 $\mathcal{B}$ 空间类中建立基础结果，如可测选择子、条件分布的存在性以及柯尔莫哥洛夫延拓性质。
• 提供一种框架，使得映射到 $\mathsf{M}$ 的可测映射可作为可数生成可测空间的典范表示。
• 证明许多经典概率论结果，这些结果原本要求标准 Borel 空间，但在更一般的类型 $\mathcal{B}$ 空间设定下依然成立。

提出的方法

• 使用配备乘积拓扑与博雷尔 $\sigma$-代数 $\mathcal{B}$ 的康托尔空间 $\mathsf{M} = \{0,1\}^\mathbb{N}$ 作为可测结构的通用模型。
• 定义“精确可测”映射 $f: (X,\mathcal{E}) \to (\mathsf{M}, \mathcal{B})$，使得 $f^{-1}(\mathcal{B}) = \mathcal{E}$，从而实现可测空间与 $\mathsf{M}$ 子集之间的同构。
• 通过可数生成的可测空间 $ (X,\mathcal{E}) $ 允许一个精确可测映射进入 $ (\mathsf{M}, \mathcal{B}) $，且像位于包含 $\mathcal{B}$ 的 $\sigma$-代数 $\mathcal{D} \supseteq \mathcal{B}$ 中，该代数对有限交运算封闭，从而引入“类型 $\mathcal{D}$”空间。
• 从核序列 $\pi_n$ 的极限构造一个准概率核 $\pi$，使用迹 $\sigma$-代数 $\mathcal{E}_\infty$ 和集合 $E' = \{x \in E' : \text{方差项消失}\}$。
• 应用引理 13.6，将平方核的积分与它们的 $L^2$-范数等同，证明对所有 $\mu \in \mathcal{G}$ 有 $\mu(E_E) = 1$，从而确保在 $E_E$ 上几乎必然具有支撑。
• 通过验证准概率核的三个公理完成定理 13.2 的证明：(1) $\pi(x, \Delta_x) = 1$ 几乎必然，(2) $\pi(x, X \setminus \Delta_x) = 0$，(3) $\mu = \mu\pi$ 当且仅当 $\mu \in \mathcal{G}$。

实验结果

研究问题

• RQ1 能否仅使用康托尔空间 $\mathsf{M}$ 作为通用模型，而不依赖波兰空间结构，来发展标准 Borel 空间的理论？
• RQ2 在放松标准 Borel 空间可分性条件时，哪些性质得以保留，此类广义空间应如何表征？
• RQ3 在非可分可测空间中，可测选择子或条件分布的存在性在何种条件下成立？
• RQ4 柯尔莫哥洛夫延拓定理如何推广至底层可测空间不可分的情形？
• RQ5 康托尔空间 $\mathsf{M}$ 在通过精确可测映射表示可数生成可测空间方面起什么作用？

主要发现

• 每个可数生成的可测空间都存在一个精确可测映射进入康托尔空间 $\mathsf{M}$，从而确立了典范表示。
• 一个可测空间是标准 Borel 空间当且仅当它同构于 $\mathsf{M}$ 的博雷尔子集，且该同构由精确可测映射诱导。
• 类型 $\mathcal{B}$ 空间通过去除可分性要求，推广了标准 Borel 空间，但仍保留关键性质，如与 $\mathsf{M}$ 的不可数博雷尔子集的同构性。
• 通过 $L^2$-积分中方差项的消失，证明了满足 $\mu = \mu\pi$ 当且仅当 $\mu \in \mathcal{G}$ 的准概率核 $\pi$ 的存在性。
• 对任意 $\mu \in \mathcal{G}$，集合 $E_E = \{x \in E' : \int (\pi'(y,E))^2 \pi'(x,dy) = (\pi'(x,E))^2 \}$ 满足 $\mu(E_E) = 1$，从而确保在核为确定性的点集上具有几乎必然支撑。
• 将 $\pi(x,E)$ 构造为：若 $x \in E$ 则为 $\pi'(x,E)$，否则为 0，可得到一个满足马尔可夫核正规版本所有三个公理的可测准概率核。