[论文解读] Foundational aspects of uncountable measure theory: Gelfand duality, Riesz representation, canonical models, and canonical disintegration

Asgar Jamneshan, Terence Tao|arXiv (Cornell University)|Oct 1, 2020

Advanced Operator Algebra Research参考文献 33被引用 6

一句话总结

本文通过构建一个典范模型，将概率代数函子性地表示为紧致豪斯多夫概率空间，奠定了不可数测度论的基础性结果，实现了典范分解定理并构造了相对独立积。该研究将盖尔范德对偶性和里斯表示定理推广至非可分、非度量化的设定，为不可数遍历理论及相关应用提供了范畴论框架。

ABSTRACT

We collect several foundational results regarding the interaction between locally compact spaces, probability spaces and probability algebras, and commutative $C^*$-algebras and von Neumann algebras equipped with traces, in the "uncountable" setting in which no separability, metrizability, or standard Borel hypotheses are placed on these spaces and algebras. In particular, we review the Gelfand dualities and Riesz representation theorems available in this setting. We also present a canonical model that represents probability algebras as compact Hausdorff probability spaces in a completely functorial fashion, and apply this model to obtain a canonical disintegration theorem and to readily construct various product measures. These tools are useful in applications to "uncountable" ergodic theory (as demonstrated by the authors and others).

研究动机与目标

• 开发一个典范的、函子性的模型，将抽象概率代数在不假设可分性或度量性的前提下，函子性地表示为紧致豪斯多夫概率空间。
• 将盖尔范德对偶性和里斯表示定理推广至泛函分析与测度论中的不可数、非可分设定。
• 利用典范模型建立关于因子空间上概率测度的典范分解定理。
• 在一致的范畴论框架下统一并澄清现有对偶定理（例如，卢米斯–西科尔斯基定理、斯通对偶性）。
• 为不可数遍历理论的应用提供工具，特别是在通过超积或非可分代数构造的系统中。

提出的方法

• 利用范畴论形式化不可数设定下紧致豪斯多夫空间、交换C*-代数与迹型冯诺依曼代数之间的对偶性。
• 通过结合盖尔范德对偶性与概率对偶性，构建一个典范模型，函子性地将抽象概率代数映射至紧致豪斯多夫概率空间。
• 将典范模型应用于推导测度的典范分解，确保与因子映射相容并保持相对独立性。
• 采用τ-可加的正则博雷尔测度与τ-连续泛函，将里斯表示定理推广至非可分或非度量空间之外。
• 利用卢米斯–西科尔斯基定理，在布尔代数与σ-代数的语境下建立抽象的科尔莫戈罗夫延拓定理版本。
• 依赖自然同构与范畴论积，确保构造过程中的一致性与函子性。

实验结果

研究问题

• RQ1 如何将盖尔范德对偶性推广至非可分、非度量化的局部紧致豪斯多夫空间及其相关C*-代数？
• RQ2 在不可数设定下，抽象概率代数的典范、函子性表示为何种紧致豪斯多夫概率空间？
• RQ3 在不依赖可分性或标准博雷尔结构的前提下，如何在因子空间上构造测度的典范分解？
• RQ4 里斯表示定理如何推广至非可分C*-代数及其对偶空间上的τ-可加泛函？
• RQ5 在无非可分性假设的情况下，卢米斯–西科尔斯基定理如何促成抽象科尔莫戈罗夫延拓定理的建立？

主要发现

• 典范模型在抽象概率代数与紧致豪斯多夫概率空间之间建立了完全函子性、范畴等价的关系，消除了表示中的歧义。
• 典范分解定理确保每个概率测度均可分解为与因子映射相容的条件测度，且这些条件测度是可测的，即使在不可数设定下也成立。
• 对于群Γ在概率代数上的任意作用，其不变因子在典范模型中同构于基空间Y，从而确认Y是最大的不变因子。
• 典范模型允许通过范畴张量积构造测度的相对独立积，且在不可数情形下保持独立性。
• 本文证明了某些不变集虽在原空间中非博雷尔可测，但在典范模型中变为可测，并可用于检测条件测度的非遍历性。
• 本文通过反例证明了哈姆斯的一个断言不成立，表明某些集合即使在形式上看似不变，也并非博雷尔可测。