基于条件概率的拓扑压积分表示

给定有限型移位 $X$ 上连续函数 $f$ 的平衡态 $\mu$，$f$ 的压是 $f$ 与 $\mu$ 的信息函数之和关于 $\mu$ 的积分。我们证明，在关于 $f$、$X$ 和不变测度 $\nu$ 的某些假设下，$f$ 的压也可以表示为同一被积函数关于 $\nu$ 的积分。在更强的假设下，我们证明该表示对所有不变测度 $\nu$ 均成立。我们建立了压力近似的一个算法推论，并将我们的结果与热力学形式论中的一个结果联系起来。