更改

进一步，若<math>i\to j</math>且<math>j\to i</math>，则称状态<math>i</math>和<math>j</math>互通，记为<math>i\leftrightarrow j</math>。

进一步，若<math>i\to j</math>且<math>j\to i</math>，则称状态<math>i</math>和<math>j</math>互通，记为<math>i\leftrightarrow j</math>。

易知，'''互通是一种等价关系'''。那么，可以将互通的状态归为一类，且任一状态仅属于一个类。特别的，若马尔科夫链中只存在一个类，则称它是'''不可约的（irreducible）'''；否则，称为是'''可约的（reducible）'''。

易知，'''互通是一种等价关系'''。那么，可以将互通的状态归为一类，且任一状态仅属于一个类。

 

'''定义（不可约）：'''特别的，若马尔科夫链中只存在一个互通等价类，则称它是'''不可约的（irreducible）'''；否则，称为是'''可约的（reducible）'''。