[论文解读] The topology of spaces of probability measures, I

Тарас Банах|arXiv (Cornell University)|Dec 28, 2011

Advanced Topology and Set Theory参考文献 10被引用 4

一句话总结

本文引入并研究了两个函子 $\hat{P}$ 和 $P_\tau$，它们将概率测度的经典函子 $P$ 从紧致豪斯多夫空间扩展到蒂霍诺夫空间。研究证明 $\hat{P}(X)$（即 $X$ 上的Radon概率测度空间）和 $P_\tau(X)$（即 $X$ 上的 $\tau$-光滑概率测度空间）是具有良好行为的拓扑函子，能够保持关键的拓扑与集合论性质，如密度、权、度量性以及Baire/可测结构。

ABSTRACT

For a Tychonoff space $X$, the constructions $\hat P(X)$ and $P_τ(X)$ of the spaces of probability Radon measures and probability $τ$-smooth measures on $X$ are considered. It is proved that these constructions determine functors in the category of Tychonoff spaces, which extend the functor $P$ of probability measures in the category of compacta. In this part we investigate general topological properties of the spaces $\hat P(X)$ and $P_τ(X)$, as well as categorial properties of the functors $\hat P$ and $P_τ$.

研究动机与目标

• 将概率测度的经典函子 $P$ 从紧致空间扩展到更广泛的蒂霍诺夫空间类别。
• 定义并研究两个中间构造：$\hat{P}(X)$，即蒂霍诺夫空间 $X$ 上的Radon概率测度空间；以及 $P_\tau(X)$，即 $X$ 上的 $\tau$-光滑概率测度空间。
• 证明 $\hat{P}$ 与 $P_\tau$ 是蒂霍诺夫空间范畴中的函子，且在紧致空间上扩展了经典的 $P$ 函子。
• 研究 $\hat{P}(X)$ 与 $P_\tau(X)$ 的拓扑与范畴性质，包括密度、权、度量性以及Baire集的保持性。
• 证明函子保持重要的结构性质，如 $p$-仿紧性、Čech完备性以及投影层次结构的层级。

提出的方法

• 将 $\hat{P}(X)$ 定义为在 Stone-Čech 紧化 $\beta X$ 上满足 $\mu_*(X) = 1$ 的概率测度 $\mu$ 的集合，其中 $\mu_*(X)$ 是 $X$ 在 $\beta X$ 中的上 $\mu$-测度。
• 将 $P_\tau(X)$ 定义为在 $\beta X$ 上满足 $\mu^*(X) = 1$ 的概率测度 $\mu$ 的集合，其中 $\mu^*(X)$ 是 $X$ 在 $\beta X$ 中的下 $\mu$-测度。
• 通过证明其保持连续映射并兼容复合运算，证明 $\hat{P}$ 与 $P_\tau$ 是从蒂霍诺夫空间范畴到自身的函子。
• 利用 $C_b(X)$（有界连续函数的巴拿赫空间）上的积分表示来刻画Radon测度与 $\tau$-光滑测度。
• 建立包含关系 $P_\beta(X) \subset \hat{P}(X) \subset P_\tau(X) \subset P(\beta X)$，且在紧致情形下取等。
• 应用描述集合论与测度论的结果，包括Baire集与投影层次结构的性质，分析 $\hat{P}$ 对集合像的影响。

实验结果

研究问题

• RQ1 如何将紧致空间上概率测度的经典函子 $P$ 扩展至蒂霍诺夫空间，以保持关键的拓扑与范畴性质？
• RQ2 通过在 $P(\beta X)$ 中利用上 $\mu$-测度与下 $\mu$-测度定义的子空间 $\hat{P}(X)$ 与 $P_\tau(X)$，其拓扑与范畴性质是什么？
• RQ3 函子 $\hat{P}$ 是否保持基本的拓扑不变量，如密度、权、度量性以及 $p$-仿紧性？
• RQ4 在度量紧致空间的背景下，函子 $\hat{P}$ 与 $P_\tau$ 如何与投影层次结构和Baire集相互作用？
• RQ5 在何种条件下，蒂霍诺夫空间上Radon测度的张量积可扩展为乘积空间上的Radon测度？

主要发现

• 构造 $\hat{P}(X)$（即蒂霍诺夫空间 $X$ 上的Radon概率测度空间）形成一个函子 $\hat{P}: \mathcal{Tych} \to \mathcal{Tych}$，它扩展了紧致空间上的经典 $P$ 函子。
• 函子 $\hat{P}$ 保持蒂霍诺夫空间的密度：对任意无限蒂霍诺夫空间 $X$，有 $d(\hat{P}(X)) = d(X)$。
• 函子 $\hat{P}$ 保持蒂霍诺夫空间的权：对任意无限蒂霍诺夫空间 $X$，有 $w(\hat{P}(X)) = w(X)$。
• 函子 $\hat{P}$ 保持度量性：若 $X$ 是度量空间，则 $\hat{P}(X)$ 也是度量空间。
• 函子 $\hat{P}$ 保持 $p$-仿紧空间与Čech完备空间的类。
• 对任意 $n \geq 0$，若 $A \in \mathcal{P}_{2n}(X)$，则 $\hat{P}(A) \in \mathcal{P}_{2n+1}(P(X))$，表明 $\hat{P}$ 将投影层次结构的层级增加一级。