"a" を行確率行列とすると、各成分が1であるような列ベクトルは、その行列の固有値1に対応する固有ベクトルであることが分かる。