[论文解读] Model theory of probability spaces with an automorphism

Alexander Berenstein, C. Ward Henson|ArXiv.org|May 18, 2004

Advanced Topology and Set Theory参考文献 11被引用 19

一句话总结

该论文证明了在近似语义下，配备自同构的概率空间的模型理论可通过正句子公理化，其可分通用模型恰好对应于具有非周期自同构的标准Lebesgue空间的测度代数。所得理论是完备的、稳定的，具有量化消除，并具有内置的典范基，其独立性与正交性通过熵和变换类型得到自然刻画。

ABSTRACT

The class of generic structures among those consisting of the measure algebra of a probability space equipped with an automorphism is axiomatizable by positive sentences interpreted using an approximate semantics. The separable generic structures of this kind are exactly the ones isomorphic to the measure algebra of a standard Lebesgue space equipped with an aperiodic measure-preserving automorphism. The corresponding theory is complete and has quantifier elimination; moreover it is stable with built-in canonical bases. We give an intrinsic characterization of its independence relation.

研究动机与目标

• 使用近似语义公理化配备自同构的概率空间中通用结构的类。
• 将可分通用模型表征为与具有非周期自同构的标准Lebesgue空间的测度代数同构。
• 证明相应的理论是完备的、稳定的，并在近似正逻辑框架下具有量化消除，且具有内置的典范基。
• 为该理论中的独立关系提供内在刻画。
• 探索模型理论与遍历理论之间的联系，特别是通过熵和变换类型。

提出的方法

• 使用在近似语义下解释的正句子公理化理论 $T_A$，以捕捉无原子概率空间中非周期自同构的性质。
• 利用Rokhlin关于非周期映射和测度代数同构的定理，将模型论中的通用性与遍历论中的非周期性联系起来。
• 应用度量模型论中的工具，包括由对称差测度定义的伪度量，以分析类型空间和稳定性。
• 通过证明初等等价子结构保持原子分解和自同构轨道，证明 $T_A$ 中的量化消除。
• 通过熵和变换独立性刻画非分裂性与独立性，推广ACFA中的正交性结果。
• 将任意配备自同构的概率空间的模型理论约化为其非周期部分，从而简化一般情形。

实验结果

研究问题

• RQ1 如何对配备自同构的概率空间进行近似正公理化，以隔离非周期情形？
• RQ2 在配备自同构的概率空间的通用理论中，独立关系如何与遍历理论中的熵和变换独立性相关联？
• RQ3 该理论中类型空间上的 $d$-度量能否显式刻画，类似于非自同构情形下的引理3.8？
• RQ4 在给定参数集上，$ au$-类型空间关于 $d$-度量的密度特征是什么？
• RQ5 当将理论 $T_A$ 扩展为 $L_p(\mu)$-空间上的自同构时，它是否具有模型相伴？

主要发现

• 配备自同构的概率空间的可分通用模型类恰好是具有非周期自同构的标准Lebesgue空间的测度代数。
• $T_A$ 理论在近似正逻辑框架下是完备的、稳定的，并具有量化消除。
• $T_A$ 中的独立关系通过变换独立类型与变换可定义类型的正交性来刻画，推广了ACFA中的一个结果。
• $d$-度量在类型空间上是可定义的，且该理论具有内置的典范基，从而确保了强大的模型论控制。
• 任何配备自同构的概率空间的模型理论完全可约化为其中非周期部分的理论，从而简化了一般情形。
• 熵提供了一种区分参数集上主类型与非主类型的方法，且变换独立元素与变换可定义元素正交。