On the time average theorem in dynamics (Q564039)

Nach \textit{Koopman} besteht bekanntlich ein Zusammenhang zwischen den Bewegungen eines dynamischen Systems und einer Gruppe von linearen uni\-tä\-ren Transformationen im \textit{Hibert}schen Raum. Nach \textit{v. Neumann} gibt es zu jeder Funktion \(f\) des \textit{Hilbert}schen Raumes und der Gruppe der Operatoren \(U_t\)\ \((U_tU_{\varrho }=U_{t+\varrho })\) eine Funktion \(f^*_{\alpha +T}\), so daß \[ \lim _{T\to \infty }\left \| \frac {1}{T}\int ^{\alpha +T}_{\alpha }U_tf dt - f^*\right \| = 0. \] Verf. gibt für diesen wichtigen Satz einen elementaren Beweis, ohne die Spektralzerlegung des Operators \(U_t\) zu benutzen.