[论文解读] A General Correspondence between Averages and Integrals

Henry Towsner|ArXiv.org|Apr 17, 2008

Limits and Structures in Graph Theory参考文献 5被引用 3

一句话总结

本文建立了一个关于动力系统平均值与测度空间积分之间统一的一般性对应关系，将Furstenberg对应原理推广至函数、图以及$L^\infty$-函数的情形。结果表明，对于在集合$S$上作用的可 Amenable 半群及Følner序列，连续函数在$E(gs_i)$上的平均值的下极限与上极限，被对应动力系统上函数$\tilde{E}_{s_i}$的积分所界定，从而推广了遍历理论与加法组合数学中的先前结果。

ABSTRACT

Recent work has generalized the Furstenberg correspondence between sets of integers and dynamical systems to versions which involve sequences of finite graphs or sequences of $L^\infty$ functions. We give a unified version of the theorem subsuming all these generalizations.

研究动机与目标

• 将涉及集合、函数与图的 Furstenberg 对应原理的多种不同推广形式统一于一个框架之下。
• 通过共同的测度论与动力系统框架，将对应关系扩展至$L^\infty$-函数与有限图序列。
• 利用左不变平均与拓扑条件，为不可数的可 Amenable 半群与连续函数建立该对应关系。
• 同时使用经典分析与非标准分析技术证明结果，确保其广泛应用性。
• 识别出充分的拓扑条件（例如，$\{g \circ E\}$ 的偶连续性），使得当$S$局部紧致时，对应关系对连续映射$E: S \to X$ 成立。

提出的方法

• 针对可数集$S$、作用于$S$的半群$G$以及紧空间$X$，利用Følner序列$\{I_n\}$建立一个一般性对应定理。
• 定义一个动力系统$(Y,\mathcal{B},\mu,(T_g)_{g\in G})$与可测函数$\tilde{E}_s: Y \to X$，使得$\tilde{E}_{gs} = \tilde{E}_s \circ T_g$。
• 证明：对任意连续函数$u: X^k \to \mathbb{R}$与$s_1,\dots,s_k \in S$，平均值$\frac{1}{|I_n|}\sum_{g\in I_n} u(E(gs_1),\dots,E(gs_k))$的下极限与上极限被积分$\int u(\tilde{E}_{s_1},\dots,\tilde{E}_{s_k})\,d\mu$所界定。
• 提供两种证明：一种使用经典对角化与Følner序列，另一种使用非标准分析，结合超有限集合与标准部分。
• 通过使用左不变平均$m$而非Følner序列，将结果推广至不可数的可 Amenable 半群。
• 建立拓扑条件（例如，$\{g \circ E \mid g \in G\}$的偶连续性），使得当$S$局部紧致且$E$连续时，函数$\tilde{E}_s$在$Y$上连续。

实验结果

研究问题

• RQ1 所有已知的 Furstenberg 对应原理推广形式（如集合、函数与图）是否都能被统一于一个单一原则之下？
• RQ2 如何在一致的测度论框架下，将对应关系从集合推广至$L^\infty$-函数与图序列？
• RQ3 当$G$不可数或$S$不可数且具有拓扑结构时，何种条件可确保对应关系成立？
• RQ4 在$S$与$E$满足何种拓扑条件下，对应关系能保持函数$\tilde{E}_s$的连续性？
• RQ5 能否使用非标准分析证明该对应关系？与经典方法相比有何异同？

主要发现

• 本文建立了一个关于 Følner 序列上的平均值与动力系统上积分之间的一般性对应关系，适用于任意作用于集合$S$的可数可 Amenable 半群$G$。
• 对任意连续函数$u: X^k \to \mathbb{R}$，平均值$\frac{1}{|I_n|}\sum_{g\in I_n} u(E(gs_1),\dots,E(gs_k))$的下极限与上极限被积分$\int u(\tilde{E}_{s_1},\dots,\tilde{E}_{s_k})\,d\mu$所界定，其中$\mu$为不变测度。
• 当$E: \mathbb{Z} \to \{0,1\}$时，该对应关系恢复了 Furstenberg 原始关于正上 Banach 密度集合中等差数列结果。
• 该对应关系可推广至$E: \mathbb{Z} \to [-1,1]$，从而恢复有界函数多重平均的相关结果。
• 对于不可数的可 Amenable 半群，通过使用左不变平均$m$将对应关系推广，其中Følner序列被替换为$m(\{g \mid \phi(g)\})$。
• 当$S$局部紧致且$E$连续时，若族$\{g \circ E \mid g \in G\}$具有偶连续性，则$\tilde{E}_s$在$Y$上连续，对应关系成立。