更改

'''对于一个给定的状态 <math>A</math>，当下列两个条件都满足时，<math>A</math>是一个成块划分（lumpable partition）。'''

'''对于一个给定的状态 <math>A</math>，当下列两个条件都满足时，<math>A</math>是一个成块划分（lumpable partition）。'''

# '''定义1中式子(1)描述的简化过程具有马尔科夫性，即式子(1.3)可写成<math>Pr_{\pi} \left [s^{(t)} \in A_m | s^{(t-1)} \in A_k, ... ,  s^{(1)} \in A_j,  s^{(0)} \in A_i \right ] = Pr_{\pi} \left [s^{(t)} \in A_m | s^{(t-1)} \in A_k \right ]</math>'''

'''1. 定义1中式子(1)描述的简化过程具有马尔科夫性，即式子(1.3)可写成'''{{NumBlk|:|<math>Pr_{\pi} \left [s^{(t)} \in A_m | s^{(t-1)} \in A_k, ... ,  s^{(1)} \in A_j,  s^{(0)} \in A_i \right ] = Pr_{\pi} \left [s^{(t)} \in A_m | s^{(t-1)} \in A_k \right ]</math>|{{EquationRef|2}}}}

# '''转移概率(transition probability)，即式子(1.3)，对任何微观初始状态(starting vector) <math> \pi </math> 都保持一致，从而我们能够得出宏观的概率转移矩阵<math>P' = \Phi^T P (\Phi^T)^{-1} = \Phi^T P \Phi^{\dagger} = \Phi^T P \Phi (\Phi^T \Phi)^{-1}</math>'''

 

'''2. 转移概率(transition probability)，即式子(1.3)，对任何微观初始状态(starting vector) <math> \pi </math> 都保持一致，从而我们能够得出宏观的概率转移矩阵<math>P' = \Phi^T P (\Phi^T)^{-1} = \Phi^T P \Phi^{\dagger} = \Phi^T P \Phi (\Phi^T \Phi)^{-1}</math>'''

[[文件:Lumpable和non-lumpable的例子.png|缩略图|图2：对成块的和不成块的矩阵做粗粒化|替代=|600x600像素]]不满足上述两个条件的，都不被定义为成块的划分。也就是说，不是所有的简化过程都是成块的，即使他们的命名方式（lumpable process v.s. lumped process）相似。

[[文件:Lumpable和non-lumpable的例子.png|缩略图|图2：对成块的和不成块的矩阵做粗粒化|替代=|600x600像素]]不满足上述两个条件的，都不被定义为成块的划分。也就是说，不是所有的简化过程都是成块的，即使他们的命名方式（lumpable process v.s. lumped process）相似。