对于概率矩阵P，有Pm(m→∞)是平衡概率矩阵(设其行向量为Z1)，故有()。