Theorem

Let be a transition probability matrix (TPM) on finite state space.

Then there exists such that:

The limiting distribution satisfies:

Interpretation

For regular chains, the limiting distribution exists and equals the unique stationary distribution. The long-run behavior is independent of the initial state.