Birkhoff's ergodic theorem and the maximal ergodic theorem. (Q2591644)

Sei \(T\) eine maßtreue Abbildung des Raumes \(S\) in sich, und bedeute \(f(x)\) eine reellwertige meßbare Funktion auf \(S\). Es wird bewiesen, daß für jede reelle Zahl \(a\) gilt: \[ a\cdot \operatorname{\text{Maß}} \;(E(a))\leqq \int\limits_{E(a)} f(x)\,dx, \] wo \(E(a)\) die Menge derjenigen Punkte \(x\) von \(S\) bedeutet, für die es mindestens ein solches \(n=n(x)\) gibt, daß \[ \frac 1n \sum_{i=0}^{n-1}f(T^ix)>a \;\;\text{wird.} \] Dieses ``maximal ergodic theorem'' ist eine Verallgemeinerung eines Satzes von \textit{N. Wiener} aus der vorstehend besprochenen Arbeit; dort wird noch vorausgesetzt, daß Maß \((S) < \infty\) und \(f(x) \geqq 0\) ist. Der Beweis ist dem Khintchin-Kolmogoroffschen Beweis des Birkhoffschen Ergodensatzes nachgebildet.