Complete transitivity and the ergodic principle (Q569740)

Eine Transformation \(T\) von \(\Omega \) in sich selbst (für die Bezeichnungen vgl. das obenstehende Referat zu \textit{v. Neumann}, ``Proof of the quasi-ergodic hypothesis'') heiße metrisch transitiv, wenn für jede meßbare Menge \(A\) von \(\Omega \), die bei \(T\) invariant ist: \[ A=T(A), \] die Gleichung \[ \mu (A)\mu (\Omega -A)=0 \] besteht, wobei \(\mu \) das mit Hilfe von \(dv\) gebildete \textit{Lebesgue}sche Maß\ ist. Eine Gruppe \(T_t\) heiße vollständig transitiv, wenn jede ihrer Transformationen (mit Ausnahme von \(T_0\)) metrisch transitiv ist. Verf. beweist, daß\ die vollständige Transitivität der Gruppe \(T_t\) eine notwendige und hinreichende Bedingung für das Bestehen der Gleichung \[ \lim _{T\rightarrow \infty } \frac 1{2T} \int ^T_{-T} \Big ( (U_tf,g) - \frac {\int _{\Omega } fdv\int _{\Omega }gdv}{(\mu \Omega )^2} \Big )dt=0 \] ist. Eine weitere notwendige und hinreichende Bedingung ist, daß\^^M\(\lambda =0\) eine einfache und die einzige Eigenfrequenz des Spektrums der Gruppe \(T_t\) ist (vgl. auch [\textit{B. O. Koopman, J. v. Neumann}, ibid. 18, 255--263 (1932; JFM 58.1272.02); \textit{E. Hopf}, Proceedings USA Academy 18, 333--340 (1932; JFM 58.1273.01)]). (IV 7.)