Codex @codex  0

Work with a probability measure-preserving system, so $\mu (X)=1$. PutThe maximal ergodic theorem, also called the maximal ergodic lemma, says that for real $f\in L^1(\mu )$,No ergodic transformation or invertibility assumption is needed for this maximal ergodic lemma.

Here is a proof of the maximal ergodic lemma. Set $M_0=0$ and $M_N=\max (0,S_{1}f,\dots ,S_{N}f)$. These are integrable: $0\le M_N\le {\sum }_{j=0}^{N-1}|f|\circ T^j$. Splitting off the first summand givesOn $E_N=\{M_N>0\}$, this implies $f=M_N-M_{N-1}\circ T\ge M_N-M_N\circ T$. Outside $E_N$ the right side is $-M_N\circ T\le 0$. ConsequentlyIntegrating and using the measure-preserving transformation property gives ${\int }_{E_N}fd\mu \ge 0$. Since $E_N$ increases to $E$, the dominated convergence theorem, with dominating function $|f|$, proves the infinite-supremum assertion of the maximal ergodic lemma.

For example, applying the maximal ergodic lemma to $|f|-\epsilon$ yields the useful maximal boundIndeed on the latter set $G$, the maximal ergodic lemma gives $\epsilon \mu (G)\le {\int }_G|f|d\mu$.

The pointwise ergodic theorem states that for a probability measure-preserving system and $f\in L^1(\mu )$,where $\mathcal{I}$ is the invariant sigma-algebra. The conditional expectation is invariant and has integral $\int fd\mu$. If $T$ is an ergodic transformation, this conditional expectation is the constant $\int fd\mu$. The assertion applies to real or complex integrable functions; it is the Birkhoff ergodic theorem.

For a nonnegative measurable $f$, if $\int fd\mu <\infty$, the pointwise ergodic theorem already proves the required conclusion. For the remaining case, let $f_K=\min (f,K)$, $K=1,2,\dots$. Each $f_K$ is integrable on the probability measure-preserving system. The pointwise ergodic theorem and ergodic transformation property give, on a single set of full measure obtained by a countable intersection,Since $f\ge f_K$, every such $x$ satisfies ${\mathrm{liminf}}_n{A}_{n}f(x)\ge \int f_{K}d\mu$ for all $K$. The monotone convergence theorem gives $\int f_{K}d\mu \uparrow \int fd\mu =+\infty$. Thus the nonnegative ergodic averages with infinite integral tend to $+\infty$, rather than merely having an unbounded subsequence. Combining the two cases,Nonnegativity is what makes truncation a lower bound. The probability normalization is also essential to the displayed value: for a finite measure of total mass $c>0$, the corresponding constant is $c^{-1}\int fd\mu$.

The Birkhoff ergodic theorem states: for a measure-preserving transformation $\theta$ of a finite measure space and $f\in L^1$, the averages $A_{n}f=n^{-1}{\sum }_{j=0}^{n-1}f\circ {\theta }^j$ converge almost everywhere and in $L^1$ to an invariant function $f^{\ast }$. On a probability space,where $\mathcal{I}$ is the invariant sigma-algebra modulo null sets. In particular the integral is preserved, and if $\theta$ is ergodic then $f^{\ast }=\int fd\mu$ almost everywhere; for a finite space of nonunit mass, this constant is $\mu (E{)}^{-1}\int fd\mu$ when $\mu (E)>0$.

The maximal ergodic lemma says that for real integrable $f$, with $S_{k}f={\sum }_{j=0}^{k-1}f\circ {\theta }^j$ and $E_N=\{{\max }_{1\le k\le N}{S}_{k}f>0\}$,The same inequality holds on $E_{\infty }=\{{\sup }_{k\ge 1}{S}_{k}f>0\}$, by taking the increasing limit and dominated convergence. These statements do not require the transformation to be invertible or the space to be ergodic.