Harmonic analysis and ergodic theory. (Q2582283): Difference between revisions

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.