Theorem: Homogene irreduzible Markovkette besitzt eindeutige stationäre Verteilung

Sei ein endlicher Zustandsraum.
Sei ein Wahrscheinlichkeitsraum.
Sei eine zeithomogene Markovkette.

Dann gilt:

ist irreduzibel besitzt eine eindeutige stationäre Verteilung.