遍历理论中的遍历层次结构
在遍历理论中,系统的遍历性并非一个单一的性质,而是存在一个由弱到强的层次结构。这个结构帮助我们根据系统的混合速度或随机性强度对其进行分类。以下将逐步解释这一层次的核心概念。
第一步:遍历性的基础定义
一个保测动力系统(如一个概率空间上的保测变换)被称为遍历的,如果每个可测的、在变换下不变(即函数值几乎处处不变)的函数都是常数函数。这意味着系统不能被分解为两个非平凡的、不变的部分,即它是“不可约”的。这是最基础的遍历性。
第二步:弱混合性
弱混合性是比遍历性更强的性质。一个系统是弱混合的,如果对于所有可测集A和B,时间平均的相关性趋于零:
\[\lim_{n \to \infty} \frac{1}{n} \sum_{k=0}^{n-1} |\mu(T^{-k}A \cap B) - \mu(A)\mu(B)| = 0 \]
直观上,这意味着系统在长时间尺度下,状态间的相关性会消失。弱混合性等价于系统与其自身的乘积系统是遍历的。它比遍历性更强,因为存在是遍历的但不是弱混合的系统。
第三步:强混合性
强混合性是比弱混合性更更强的性质。一个系统是强混合的,如果对于所有可测集A和B,相关性直接(而非平均)趋于零:
\[\lim_{n \to \infty} \mu(T^{-n}A \cap B) = \mu(A)\mu(B) \]
这意味着经过足够长的时间后,系统在任意两个状态下的分布变得统计独立。强混合性蕴含着弱混合性,但反之不成立。例如,某些具有周期性调制行为的系统可以是弱混合但不是强混合的。
第四步:K-系统
Kolmogorov系统(K-系统)代表了比强混合性更高级别的随机性。一个系统是K-系统,如果它存在一个正的熵生成子σ-代数(或K-子代数)。一个关键特征是它具有非常强的“渐近独立性”:系统的未来完全由现在决定,而与过去无关。所有K-系统都是强混合的,并且具有正熵。伯努利系统(如独立硬币抛掷的模型)是K-系统的最典型例子。
第五步:伯努利性
伯努利性是遍历层次结构的顶端,代表了最强的随机性。一个系统是伯努利的,如果它同一个伯努利移位(即一个由独立同分布随机变量序列驱动的系统)同构。这意味着系统在本质上与一系列完全独立的随机实验无法区分。伯努利性蕴含着K-系统性质,因此也蕴含着所有更弱的遍历性质。奥恩斯坦定理表明,对于伯努利系统,其同构类完全由熵值决定。
这个层次结构(遍历 ⊂ 弱混合 ⊂ 强混合 ⊂ K-系统 ⊂ 伯努利)为比较不同动力系统的随机性强度提供了一个严格的数学框架。