更改

对于不成块的例子，我们或许可以给它强制定义一个简化过程的TPM，比如<math> P_1' = \left ( \begin{array}{cc} 0.6 & 0.4 \\ 0.2 & 0.8 \\ \end{array} \right )</math>，但这个简化过程并不能对任何微观初始状态保持一致，只能对<math>s^{(t)} = \pi = \left [ \begin{array}{cc}1 & 0 & 0 & 0 \end{array} \right ]</math>适用。

对于不成块的例子，我们或许可以给它强制定义一个简化过程的TPM，比如<math> P_1' = \left ( \begin{array}{cc} 0.6 & 0.4 \\ 0.2 & 0.8 \\ \end{array} \right )</math>，但这个简化过程并不能对任何微观初始状态保持一致，只能对<math>s^{(t)} = \pi = \left [ \begin{array}{cc}1 & 0 & 0 & 0 \end{array} \right ]</math>适用。

而<math>s^{(t)} = \pi = \left [ \begin{array}{cc}0 & 1 & 0 & 0 \end{array} \right ]</math>不适用这个简化过程。它适用的是<math> P_2' = \left ( \begin{array}{cc} 0.5 & 0.5 \\ 0.2 & 0.8 \\ \end{array} \right )</math>。这里的不适用是指，这个简化过程不能描述以这个<math>\pi</math>为初始状态出发的微观状态序列投影的宏观状态序列。我们看到，对于这个例子，马尔科夫矩阵有两个简化过程 <math> P_1'</math>和<math> P_2'</math>，而它们各自只适用于一些微观初始状态(starting vector) <math> \pi </math>，并不满足定义2中的条件，所以<math>\Phi</math>对于这个TPM来说不是一个成块的划分。事实上，这个TPM只存在一个成块的划分，就是不做任何分组，因此它无法按照成块性的定义进行粗粒化。在后面“成块性概念的变种”的部分，我们会提到，虽然对这个TPM做的划分不符合（强）成块性的要求，但是它实际上满足弱成块性 Weak Lumpability，即简化过程对部分微观初始状态适用。

而<math>s^{(t)} = \pi = \left [ \begin{array}{cc}0 & 1 & 0 & 0 \end{array} \right ]</math>不适用这个简化过程。它适用的是<math> P_2' = \left ( \begin{array}{cc} 0.5 & 0.5 \\ 0.2 & 0.8 \\ \end{array} \right )</math>。这里的不适用是指，这个简化过程不能描述以这个<math>\pi</math>为初始状态出发的微观状态序列投影的宏观状态序列。我们看到，对于这个例子，马尔科夫矩阵有两个简化过程 <math> P_1'</math>和<math> P_2'</math>，而它们各自只适用于一些微观初始状态(starting vector) <math> \pi </math>，并不满足定义2中的条件，所以<math>\Phi</math>对于这个TPM来说不是一个成块的划分。事实上，这个TPM只存在一个成块的划分，就是不做任何分组，因此它无法按照成块性的定义进行粗粒化。在后面“成块性概念的变种”的部分，我们会提到，虽然对这个TPM做的划分不符合（强）成块性的要求，但是它实际上满足弱成块性（Weak Lumpability），即简化过程对部分微观初始状态适用。

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

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