Ergodic theorems for Abelian semi-groups. (Q2580922)

Die Methode von \textit{F. Riesz} (J. London math. Soc. 13 (1938), 274-278; F. d. M. \(64_{\text{I}}\), 381) wird, passend umgestaltet, zum Beweis allgemeinerer ergodischer Sätze angewendet, die Sätze von \textit{Riesz} (a. a. O.), \textit{Lorch} (Bull. Amer. math. Soc. 45 (1939), 945-947; F. d. M. 65, 514 (JFM 65.0514.*)), \textit{Yosida} (Proc. Acad., Tokyo, 14 (1938), 292-294; F. d. M. \(64_{\text{II}}\), 1104), \textit{Dunford} (Duke math. Journal 5 (1939), 635-646; F. d. M. 65, 1323 (JFM 65.1323.*)), \textit{Cohen} (Ann. Math., Princeton, (2) 41 (1940), 505-509; F. d. M. 66, 560 (JFM 66.0560.*)) und teilweise diejenigen von \textit{Alaoglu} und \textit{Birkhoff} (Ann. Math., Princeton, (2) 41 (1940), 293-309; F. d. M. 66, 559 (JFM 66.0559.*)) enthalten. Es sei \(Y\) eine abelsche Halbgruppe, und \(\{T^y\}\) sei eine beschränkte Darstellung von \(Y\) durch lineare Transformationen eines Banachschen Raumes \(B\) in sich, d. h. so, daß \(T^y \cdot T^{y^\prime} = T^{y+y^\prime}\) für \(y\), \(y^\prime \in Y\) gilt und \(\| T^y \| \leqq K\) mit einem konstanten \(K\). Sei \(X\) eine (im Sinne von Moore-Smith) gerichtete Menge. \(\{\psi_x\}\) (\(x \in X\)) sei ein System von beschränkten additiven Mengenfunktionen auf \(Y\), das ``nahezu invariant'' ist in dem folgenden Sinne: für beliebige \(E \subset Y\) und \(y \in T\) ist \[ \lim\limits_x \{\text{Totalvariation von } \;[\psi_x (E \overset{.}{-} y) - \psi_x (E)]\} = 0, \] wobei \(E \overset{.}{-} y\) die Menge derjenigen \(y^\prime \in Y\) bedeutet, für welche \(y + y^\prime \in E\) ist und der Limes im Sinne von Moore-Smith genommen ist. Die durch die Elemente von der Form \(b - T^y b\) (\(b \in B\), \(y \in Y\)) aufgespannte abgeschlossene Linearmannigfaltigkeit von \(B\) sei mit \(B^\prime\) bezeichnet, während \(B^{\prime\prime}\) die Linearmannigfaltigkeit der invarianten Elemente \(b \in B\) bedeute (d. h. \(T^y b = b\) für jedes \(y \in Y\)). \ \(M\) bedeute die durch \(B^\prime\) und \(B^{\prime\prime}\) aufgespannte Linearmannigfaltigkeit. Endlich sei gesetzt: \[ \tau_x b = \int\limits_Y (T^y b) \, d\psi_x. \] Es gilt dann Folgendes: \(M\) ist abgeschlossen und direkte Summe von \(B^\prime\) und \(B^{\prime\prime}\). Es gibt eine eindeutig bestimmte lineare Abbildung \(\tau\) von \(M\) auf \(B^{\prime\prime}\) mit \(\tau \tau b = \tau b\), \(T^y \tau b = \tau b = \tau T^y b\) (\(b \in M\), \(y \in Y\)), \(\tau b = b\) für \(b \in B^{\prime\prime}\) und \(\tau b = 0\) für \(b \in B^\prime\), und es gilt \(\lim\limits_x \| \tau_x b - \tau b \| = 0\) für jedes \(b \in M\). Dieser Satz gibt Anlaß zu folgenden Fragen: (A) Gibt es zu jeder gegebenen abelschen Halbgruppe \(Y\) mindestens ein nahezu invariantes System \(\{\psi_x\}\) mit passendem \(X\)? \ (B) Unter welchen Bedingungen für \(Y\) und \(\{T^y\}\) ist \(M = B\)? \ (C) Wenn eine Wahl von \(X\) und \(\{\psi_x\}\) durch die Natur von \(Y\) nahegelegt wird, ist dann \(\{\psi_x\}\) nahezu invariant? (A) kann vollständig beantwortet werden. Mit Anwendung einer Schlußweise von \textit{Agnew} und \textit{Morse} (Ann. Math., Princeton (2) 39 (1938), 20-30; F. d. M. \(64_{\text{I}}\), 372) wird nämlich gezeigt, daß es für jede abelsche Halbgruppe \(Y\) sogar eine \textit{invariante} additive Mengenfunktion \(\psi\) gibt mit \(\psi(Y) = 1\), \(\psi(E) \geqq 0\) für \(E \subset Y\). -- (B) kann nur teilweise beantwortet werden; es ergibt sich insbesondere, daß \(M = B\) immer dann zutrifft, wenn \(B\) reflexiv ist, d. h. \(B^{**} = B\) gilt. -- (C) wird in zwei speziellen Fällen untersucht, und es wird eine Verallgemeinerung eines Satzes von Dunford (a. a. O.) und ein Satz über beschränkte abelsche Halbgruppen von Projektionen gewonnen.