On the uniqueness of the ergodic maximal function

From MaRDI portal





Consider \((X, \Sigma, m)\) a complete non-atomic probability measure space and \(T:X \to X\) a measurable ergodic measure-preserving point transformation. The maximal ergodic operator applied to \(f\) is given by \[ f^{*}(x)= \sup_{n>0} {1\over n}\sum_{k=0}^{n-1} f(T^kx). \] A recent result of \textit{L. Ephremidze} [Fundam. Math. 174, 217--228 (2002; Zbl 1004.28010)] shows that if \(f\) and \(g\) are two functions in \(L^1\) such \(f^{*}(x) = g^{*}(x)\) for almost every \(x\) then \(f=g\) a.e. In other words the ergodic maximal operator is one to one. The author gives here a different proof of this result based on Kakutani's skyscraper.











This page was built for publication: On the uniqueness of the ergodic maximal function

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4452198)