Proposition: Unendliche Rückkehr einer zeithomogenen Markovkette zum Startwert

Sei eine abzählbare Menge (hier auch Zustandsraum).
Sei ein Wahrscheinlichkeitsraum.
Sei eine zeithomogene Markovkette.

Dann gilt:

kehrt fast sicher unendlich oft zu seinem Startwert zurück.