812
个编辑
更改
跳到导航
跳到搜索
第93行：
第93行： − +
→成块性的充分必要条件
|{{EquationRef|3}}}}
|{{EquationRef|3}}}}
符合了这个条件后，我们才能把<math>A_j</math>中的所有微观状态<math>s_l</math>状态合成一个宏观状态<math>A_j</math>，因为它从其他宏观状态的转入概率是一致的。同样的，我们也能把<math>A_i</math>中的所有微观状态<math>s_k</math>状态合成一个宏观状态<math>A_i</math>，因为它到其他宏观状态的转出概率是一致的。
符合了这个条件后，我们才能把<math>A_j</math>中的所有微观状态<math>s_l</math>状态合成一个宏观状态<math>A_j</math>，因为它从其他宏观状态的转入概率是一致的。同样的，我们也能把<math>A_i</math>中的所有微观状态<math>s_k</math>状态合成一个宏观状态<math>A_i</math>，因为这些微观状态<math>s_k</math>（和<math>A_i</math>）到其他宏观状态的转出概率是一致的。
在下面的例子中，我们看到，同属于<math>A_1</math>的<math>s_1</math>和<math>s_2</math>到<math>A_1</math>和<math>A_1</math>的转移概率是一样的，而同样的，同属于<math>A_2</math>的<math>s_3</math>和<math>s_4</math>到宏观状态的概率也是一样的。所以，<math>[[1,2], [3, 4]]</math>对<math>P</math>来说就是一个成块的划分。
在下面的例子中，我们看到，同属于<math>A_1</math>的<math>s_1</math>和<math>s_2</math>到<math>A_1</math>和<math>A_1</math>的转移概率是一样的，而同样的，同属于<math>A_2</math>的<math>s_3</math>和<math>s_4</math>到宏观状态的概率也是一样的。所以，<math>[[1,2], [3, 4]]</math>对<math>P</math>来说就是一个成块的划分。