Definition of ergodicity and ergodic process

dynamical systemsergodic-theoryprobabilityprobability theorystochastic-processes

I am confused by the definitions of ergodicity in wikipedia, see formal definition here which says that a measure-preserving transformation $T$ is ergodic if for every event $E$, $T^{-1}(E) = E$ implies that $P(E)=0$ or $P(E)=1$. Is this definition in anyway related to the definition of ergodic process here which talks about the statistics of a process being captured by a long trajectory sample? If so, can anyone demonstrate the relation to me?

Also, what property must a stochastic process $X(t)$ possess such that a sample of the process with a very long time trajectory can be used to infer statistical properties of $X(t)$ for any time $t$? Is it ergodicity and stationary in the strict sense?

Best Answer

There is a theorem in dynamical systems known as the pointwise ergodic theorem. What it says (in part) is that if $T$ is a measure theoretic transformation of some probability space, and if $f$ is a random variable with finite expectation $\int f$, i.e. if $f$ is integrable, then the time average $\hat f(x) = \lim_{n \to \infty} \frac{1}{n} \sum_{i=1}^n f(T^n(x))$ exists for almost all $x$, the function $\hat f$ is integrable, and its integral $\int\!\hat f$ is equal to the expectation of $f$, namely to $\int\!f$.

Ergodicity of $T$, combined with the pointwise ergodic theorem, implies that $\hat f=\int\!f$ almost everywhere.

If you now translate this conclusion into the language of stochastic processes by taking $X(n) = f \circ T^n$, you'll see that ergodicity of $T$ implies ergodicity of $X(n)$ as defined in this part of the wikipedia page you linked.

Related Question