Proposition: Stationäre Verteilung durch Eigenwertproblem (endlicher Zustandsraum)

Sei ein endlicher Zustandsraum.
Sei ein Wahrscheinlichkeitsraum.
Sei eine zeithomogene Markovkette.
Sei die Übergangsmatrix von .

Dann gilt:

ä

wenn also ein Eigenvektor von zu dem Eigenwert ist.

Beweis

Nach Definition der stationären Verteilung und der Proposition über die Transponierung eines Produktes von Matrizen gilt:

ä

Was zu zeigen war.