Concrete representation of abstract (\(L\))-spaces and the mean ergodic theorem. (Q2582362): Difference between revisions

Als abstrakter \(L\)-Raum (\(AL\)-Raum) wird ein halbgeordneter Banachraum mit der Norm \(\|\,x\,\|\) bezeichnet, in dem aus \(x\geqq 0\) und \(y\geqq 0\) stets \(\|\,x+y\,\|=\|\,x\,\|+\|\,y\,\|\) folgt. Es wird zuerst bewiesen, daß jeder \(AL\)-Raum mit einer äquivalenten Metrik versehen werden kann, so daß er ein \(AL\)-Raum wird, in dem noch \[ \displaylines{\rlap{\qquad\!(1)} \hfill \text{aus}\;\;x\cap y=0\;\;\text{folgt}\;\;\|\,x+y\,\|=\|\,x-y\,\|\hfill} \] gilt. Ist \(\varOmega \) ein Raum, in dem ein vollständig additives Maß erklärt ist, so ist der Raum \(L(\varOmega )\) aller reellwertigen meßbaren über \(\varOmega \) absolut integrablen Funktionen \(x(t)\) mit der Norm \(\|\,x\,\|=\int\limits_{\varOmega }|\,x(t)\,|\,dt\) ein \(AL\)-Raum. Mit einer Methode, die Gedanken von \textit{H. Freudenthal} (Proc. Akad. Wet. Amsterdam 39 (1936), 641-651; JFM 62.0091.*) und \textit{F. Wecken} (Math. Ann., Berlin, 116 (1939), 422-455; F. d. M. 65, 507 (JFM 65.0507.*)) verwendet, wird eine Spektraldarstellung der positiven Elemente eines \(AL\)-Raumes \(B\) mit Einheit mit Hilfe der der verallgemeinerten Booleschen Algebra der charakteristischen Elemente von \(B\) angehörenden Spektralschar abgeleitet. Jeder \(AL\)-Raum ist direkte Summe von \(AL\)-Räumen mit Einheit. Hieraus ergibt sich, wenn man die Stonesche Darstellung der Booleschen Algebren als Teilmengenverbände von totalunzusammenhängenden bikompakten topologischen Räumen heranzieht, daß jeder \(AL\)-Raum, der (1) erfüllt, einem \(L(\varOmega )\) verbandstreu und metrisch isomorph ist. Als Anwendung wird folgender Ergodensatz bewiesen: \(T\) sei ein positiver (\(Tx\geqq 0\) für \(x\geqq 0\)) beschränkter linearer Operator, der einen \(AL\)-Raum \(B\) in sich überführt. Gibt es ein \(C > 0\), so daß \(\|\,T^n\,\|\leqq C\) für \(n = 1\), 2,\dots ist, und gibt es zu jedem \(x\) ein \(x_{0}\), so daß \(x_n=\dfrac{1}{n}\bigl(x+T(x)+\dots +T^{n-1}(x)\bigr)\leqq x_0\) ist für \(n = 1\), 2,\dots, so konvergiert für jedes \(x\in B\) die Folge \(x_{n}\) stark gegen ein \(\tilde x\in B\).