更改

==成块性的充分必要条件==

==成块性的充分必要条件==

通过上面的例子，我们可以对成块性有一些直观的理解。我们可以留意到，在成块的划分中，有两个分组，所以有四个框。每一个框里，每一列相加的和都是一样的，比如左上角的框中，<math>0.3 + 0.3 = 0.2 + 0.4</math>。这就是成块性更通俗的解释，就是它'''成块'''了，在某些文献中，并不会使用上面提及的定义，而是直接使用这个通俗版的解释。<ref name=":1" />中作者指出，这两者之间是存在充分必要条件关系的。

通过上面的例子，我们可以对成块性有一些直观的理解。我们可以留意到，在成块的划分中，有两个分组，所以有四个框。每一个框里，每一列相加的和都是一样的，比如左上角的框中，<math>0.3 + 0.3 = 0.2 + 0.4</math>。这就是成块性更通俗的解释，就是它'''成块'''了，在某些文献中，并不会使用上面提及的定义，而是直接使用这个通俗版的解释，而且这两者之间是存在充分必要条件关系的<ref name=":1" />。

设<math>p_{s_k \rightarrow s_m} = p(s^{(t)} = s_m | s^{(t-1)} = s_k)</math>，<math>p_{s_k \rightarrow A_i} = p(s^{(t)} \in A_i | s^{(t-1)} = s_k) = \sum_{s_m \in A_i} p_{s_k \rightarrow s_m}</math>，<math>p_{A_i \rightarrow A_j} = p(A^{(t)} = A_j | A^{(t-1)} = A_i)</math>

设<math>p_{s_k \rightarrow s_m} = p(s^{(t)} = s_m | s^{(t-1)} = s_k)</math>，<math>p_{s_k \rightarrow A_i} = p(s^{(t)} \in A_i | s^{(t-1)} = s_k) = \sum_{s_m \in A_i} p_{s_k \rightarrow s_m}</math>，<math>p_{A_i \rightarrow A_j} = p(A^{(t)} = A_j | A^{(t-1)} = A_i)</math>

所以，成块性并不是一个马尔科夫链的特质，而是对马尔科夫链的某个状态划分的特质。直接说某个马尔科夫链是成块的或是不成块的是不严谨的，但是我们可以说，对于某个马尔科夫链的某几个状态划分是成块或不成块的。但是，通常为了简略表达，当我们说某个马尔科夫链成块时，我们表达的是它存在某种成块的状态划分。

所以，成块性并不是一个马尔科夫链的特质，而是对马尔科夫链的某个状态划分的特质。直接说某个马尔科夫链是成块的或是不成块的是不严谨的，但是我们可以说，对于某个马尔科夫链的某几个状态划分是成块或不成块的。但是，通常为了简略表达，当我们说某个马尔科夫链成块时，我们表达的是它存在某种成块的状态划分。

==成块性的正例和反例==

==成块性的正例和反例==