812
个编辑
更改
→成块性的充分必要条件
'''对于任意一对<math>A_i, A_j</math>，每一个属于<math>A_i</math>的状态<math>s_k</math>的<math>p_{s_k \rightarrow A_j}</math>都是一样的。'''
'''对于任意一对<math>A_i, A_j</math>，每一个属于<math>A_i</math>的状态<math>s_k</math>的<math>p_{s_k \rightarrow A_j}</math>都是一样的。'''
<math>\forall i, j, \forall s_k, s_m \in A_i, p_{s_k \rightarrow A_j} = p_{s_m \rightarrow A_j}</math>
顺着这个条件，我们也能对成块的划分，定义宏观动力学<math>\{A^{(0)}, ... , A^{(t-1)} \}</math>了：
顺着这个条件，我们也能对成块的划分，定义宏观动力学<math>A^{(t)} = A^{(t-1)} P'</math>了：
'''''定义3'''''：'''成块性的宏观动力学'''
'''''定义3'''''：'''成块性的宏观动力学'''
所以，成块性并不是一个马尔科夫链的特质，而是对马尔科夫链的某个状态划分的特质。直接说某个马尔科夫链是成块的或是不成块的是不严谨的，但是我们可以说，对于某个马尔科夫链的某几个状态划分是成块或不成块的。但是，通常为了简略表达，当我们说某个马尔科夫链成块时，我们表达的是它存在某种成块的状态划分。
所以，成块性并不是一个马尔科夫链的特质，而是对马尔科夫链的某个状态划分的特质。直接说某个马尔科夫链是成块的或是不成块的是不严谨的，但是我们可以说，对于某个马尔科夫链的某几个状态划分是成块或不成块的。但是，通常为了简略表达，当我们说某个马尔科夫链成块时，我们表达的是它存在某种成块的状态划分。
==成块性的正例和反例==
==成块性的正例和反例==