Definition (Invariant measure)
Let be a transition matrix. A non-negative function is said to be an invariant measure if
Lemma (Positivity of Invariant Measure)
Let be an irreducible transition matrix, and be an invariant measure. If then
Theorem (Uniqueness of the Invariant Measure)
Let be an irreducible Markov chain, and be an invariant measure with then