Definition (Stationary source)
The source is called stationary if and integers .
Remark
This would imply that the joint distribution is invariant under time shifts.
Lemma
If source is stationary, then it is identically distributed or
Lemma
A DMS source is stationary.
Lemma
If a time-invariant MC is identically distributed, then it is a stationary process.
Lemma
If a time-invariant MC has its initial distribution given by the chain’s stationary distribution (i.e. ), then the MC is a stationary process.