Theorem: Zeithomogene irreduzible aperiodische Markovkette konvergiert gegen ihr statistisches Gleichgewicht

Sei ein endlicher Zustandsraum.
Sei ein Wahrscheinlichkeitsraum.
Sei eine zeithomogene Markovkette mit beliebiger Startverteilung und .

Ist zusätzlich irreduzibel und aperiodisch, so gilt, dass gegen sein statistisches Gleichgewicht konvergiert. Es gilt also:

wobei die eindeutige stationäre Verteilung von sei.