812
个编辑
更改
→最初定义
'''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}}}}
'''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}}}}
'''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)（或式子(2)），对任何微观初始状态(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）相似。