测度可压系统
好的,我们开始学习关于“测度可压系统”的知识。这是一个在遍历理论中描述系统复杂性和随机性的重要概念。
第一步:从保测系统到更一般的系统
首先,我们回顾一下你已经知道的“保测动力系统”。在这样的系统中,一个变换 \(T\) 作用在测度空间 \((X, \mathcal{B}, \mu)\) 上,并且保持测度 \(\mu\) 不变,即对任何可测集 \(A\),有 \(\mu(T^{-1}A) = \mu(A)\)。
现在,我们考虑一种更一般的情况:变换 \(T\) 可能不保持测度 \(\mu\) 不变,但它以一种可控的方式“扭曲”或“压缩”测度。具体来说,我们要求变换 \(T\) 是非奇异的:即对于任何可测集 \(A\),有 \(\mu(A) = 0\) 当且仅当 \(\mu(T^{-1}A) = 0\)。这意味着变换 \(T\) 不会将正测度集映射到零测度集,反之亦然,它保持了测度的“无”和“有”的本质区别。
第二步:理解“测度可压”的定义
在一个非奇异的动力系统 \((X, \mathcal{B}, \mu, T)\) 中,如果存在一个常数 \(\lambda > 0\),使得对于每一个可测集 \(A \in \mathcal{B}\),都有:
\[\mu(T^{-1}A) = \lambda \mu(A) \]
那么,我们就称这个系统是测度可压的,或者更具体地说,是**\(\lambda\)-可压的**。
让我们来仔细解读这个等式的含义:
- \(\mu(T^{-1}A)\) 是集合 \(A\) 在变换 \(T\) 下的原像的测度。
- \(\mu(A)\) 是集合 \(A\) 本身的测度。
- 这个等式表明,任何集合的原像的测度,都精确地等于该集合本身测度的 \(\lambda\) 倍。
第三步:直观理解“压缩”与“膨胀”
常数 \(\lambda\) 决定了变换的性质:
- 如果 \(\lambda = 1\):那么 \(\mu(T^{-1}A) = \mu(A)\)。这正是我们熟悉的保测变换。系统既不压缩也不膨胀测度。
- 如果 \(0 < \lambda < 1\):那么 \(\mu(T^{-1}A) = \lambda \mu(A) < \mu(A)\)。这意味着对于几乎所有的点,变换 \(T\) 都会使其“轨道”的测度随着时间的推移而收缩。系统的总体测度在每次迭代后都会缩小一个因子 \(\lambda\)。这对应着一种耗散或压缩的动力系统。
- 如果 \(\lambda > 1\):那么 \(\mu(T^{-1}A) = \lambda \mu(A) > \mu(A)\)。这意味着变换 \(T\) 会使测度膨胀。系统的总体测度在每次迭代后都会扩大。这种情况通常通过考虑变换的逆(它将是 \(\lambda^{-1}\)-可压的)来研究。
第四步:一个关键例子——伯努利移位
你已经了解过“马尔可夫移位”。现在考虑一个更简单的模型:双边伯努利移位。
- 状态空间 \(X\) 是由符号(例如0和1)构成的所有双向无穷序列的集合。
- 变换 \(T\) 是移位算子:\((Tx)_n = x_{n+1}\)。
- 我们定义一个测度 \(\mu\):假设每个位置独立地以概率 \(p\) 取1,以概率 \(1-p\) 取0。那么一个具体的柱集 \(C\)(例如,规定第0位是1,第1位是0)的测度为 \(\mu(C) = p \cdot (1-p)\)。
现在,计算原像的测度:\(T^{-1}C\) 是满足“第1位是1,第2位是0”的所有序列的集合。根据同样的独立定义,它的测度也是 \(p \cdot (1-p)\)。所以 \(\mu(T^{-1}C) = \mu(C)\)。这是一个 \(\lambda=1\) 的可压系统,即保测系统。
第五步:引入非保测的测度可压系统
现在,我们对伯努利移位做一个关键修改。我们不再赋予每个符号固定的概率,而是定义一个不均匀的测度。例如,我们定义测度 \(\mu\) 使得每个位置 \(n\) 的符号是独立的,但取1的“权重”是 \(a\),取0的“权重”是 \(b\)(其中 \(a, b > 0\)),然后进行归一化。那么,一个柱集 \(C\)(规定第0位是1,第1位是0)的测度为:
\[\mu(C) = \frac{a}{\text{归一化因子}} \cdot \frac{b}{\text{归一化因子}} \]
而它的原像 \(T^{-1}C\)(规定第1位是1,第2位是0)的测度为:
\[\mu(T^{-1}C) = \frac{a}{\text{归一化因子}} \cdot \frac{b}{\text{归一化因子}} \]
你会发现,由于空间的无限性和测度的构造方式,这个测度仍然是平移不变的(即保测的)。为了得到真正的非保测的可压系统,我们需要考虑单边移位(即序列是单向无限的,如 \(n \geq 0\))。
在单边移位 \((X^+, T)\) 上,我们可以定义一个有限的“初始”测度。这时,变换 \(T\) 不再是可逆的(因为从 \(T(x)\) 无法唯一确定 \(x\) 的第一个符号)。可以构造这样的测度 \(\mu\),使得对于任何柱集 \(A\),有:
\[\mu(T^{-1}A) = \lambda \mu(A) \]
其中 \(\lambda = a + b\)(即所有权重之和)。如果 \(a + b \neq 1\),那么 \(\lambda \neq 1\),我们就得到了一个非保测的测度可压系统。如果 \(a+b<1\),系统是压缩的;如果 \(a+b>1\),系统是膨胀的。
第六步:测度可压性的意义与应用
测度可压性是一个很强的性质,它意味着动力系统在测度意义下具有一致性的膨胀或收缩率。这种一致性使得数学分析变得可能。
- 遍历理论:对于可压系统,可以建立相应的遍历定理,描述时间平均与空间平均的关系。
- 算子理论:可压性与某个算子的性质密切相关。具体来说,变换 \(T\) 在函数空间上诱导了一个称为转移算子(或佩龙-弗罗贝尼乌斯算子)的线性算子 \(P_T\),其定义为 \(\int (P_T f) g d\mu = \int f (g \circ T) d\mu\)。系统的可压性等价于这个算子的某种特征值性质。
- 与熵的联系:虽然你已经学过“科尔莫戈罗夫-西奈熵”和“遍历熵”,但值得一提的是,对于可压系统,其熵可以通过可压常数 \(\lambda\) 来计算(在一定条件下)。例如,对于上述单边伯努利移位,系统的测度熵等于 \(-\lambda \log \lambda\)(当适当归一化后)。
- 在光滑动力系统中的应用:在微分动力系统理论中,许多具有强耗散性或强混沌性的系统(如某些类型的混沌映射)在其自然的不变测度下,可以表现出某种形式的局部可压性。
总结来说,测度可压系统是保测系统的一个自然推广,它通过一个常数因子 \(\lambda\) 来精确刻画变换对整体测度的均匀缩放行为,为我们研究更广泛的动力系统(特别是非保守系统)提供了有力的数学工具。