An ergodic source has the property that all its convergent sample averages (of the form n1i=1∑nf(xi), for all functions f with ∣E[f(xn)]<∞∀n) converge to a constant (as n→∞).
Definition (Stationary & ergodic source)
A stationaryergodicsource is a generalization of a DMS such that the WLLN holds which consequently provides a generalization of the AEP such that for a stationary ergodic source{Xi}i=1∞ with pmfpX and alphabet X we have −n1log2(pXn(Xn))n→∞H(X)\mboxinprobability
Theorem (Cesaro-Mean)
If an→a as n→∞ and bn=n1i=1∑nai, then bn→a\mboxasn→∞
Proposition (Properties)
For a stationary and ergodic source
Its sample averages converge to a constant given by the expected valuealmost surelyn1i=1∑nf(Xi)n→∞E[f(X1)]a.s..
This shows that the WLLN holds for stationary ergodic sources.