更改

在论文<ref name=":Geiger">B. C. Geiger and C. Temmel, “Lumpings of Markov chains, entropy rate preservation, and higher-order lumpability,” J. Appl. Probab., vol. 51, no. 4, pp. 1114–1132, Dec. 2014, extended version: arXiv:1212.4375.</ref>中，作者给出了以下定理：

在论文<ref name=":Geiger">B. C. Geiger and C. Temmel, “Lumpings of Markov chains, entropy rate preservation, and higher-order lumpability,” J. Appl. Probab., vol. 51, no. 4, pp. 1114–1132, Dec. 2014, extended version: arXiv:1212.4375.</ref>中，作者给出了以下定理：

一个不可约irreducible，和非周期性aperiodic 的马尔科夫链 <math>X</math> ，而且 <math>Z_t=f(X_t)</math> 是对 <math>X</math> 的状态空间上定义的粗粒化函数，那 <math>X</math> 的强成块性 '''在其达到稳态stationary分布时''' 等价于 <math>H(Z_{t+1}|Z_t) = H(Z_{t+1}|X_t) </math>。

# 一个不可约irreducible，和非周期性aperiodic 的马尔科夫链 <math>X</math> ，而且 <math>Z_t=f(X_t)</math> 是对 <math>X</math> 的状态空间上定义的粗粒化函数，那 <math>X</math> 的强成块性 '''在其达到稳态stationary分布时''' 等价于 <math>H(Z_{t+1}|Z_t) = H(Z_{t+1}|X_t) </math>。

另外，<math>X</math> 的弱成块性 '''在其达到稳态分布时''' 等价于 <math>H(Z_{t+1}|Z_t) = H(Z_{t+1}|Z_{<t}) </math>。

# <math>X</math> 的弱成块性 '''在其达到稳态分布时''' 等价于 <math>H(Z_{t+1}|Z_t) = H(Z_{t+1}|Z_{<t}) </math>。