Harmonic analysis and ergodic theory. (Q2582283)

Ist \(T(P)\) eine eineindeutige Abbildung eines Raumes \(\varOmega\) auf sich, bei der ein absolut additives Maß \(m\) invariant bleibt, \(m(\varOmega)\) endlich, und ist \(f(P)\) in \(\varOmega\) \(m\)-summierbar, so ist bekannt, daß \[ f_\lambda^*(P)=\lim\limits_{N\to\infty} \dfrac1{2N+1}\sum\limits_{-N}^N e^{i\nu\lambda} f(T^\nu(P)) \] bei beliebig vorgegebenem \(\lambda\) für fast alle \(P\) existiert. Man hat fast überall \[ f_\lambda^*(T(P))= e^{-i\lambda}f_\lambda^*(P). \] Ist \(T(P)\) vom Mischungstypus, so ist \(f^* =\) const für \(\lambda\equiv 0\) mod \(2\pi\), \(f^* = 0\) in allen anderen Fällen. Verf. verschärfen diesen Satz dahin, daß die Ausnahme-Nullmenge in \(\varOmega\) unabhängig von \(\lambda\) gewählt werden kann.