状态转移矩阵是正规概率矩阵的马尔可夫链一定会有稳定状态