Sur les suites d'opérations linéaires. (Q2596084)

Unter \(L^p\) werde die Klasse der in \((0, \,1)\) definierten und mit ihrer \(p\)-ten Potenz integrablen Funktionen verstanden. Eine lineare Operation (vgl. für die Bezeichnungen: \textit{S. Banach}, Théorie des opérations linéaires, 1932; F.~d.~M. 58\(_{\text{I}}\), 420) \[ g=U \,(f) \] heiße zur Klase \(L_{p, \,q}\) gehörig, wenn sie jede Funktion \(f \in L^p\) in eine Funktion \(g \in L^q\) überführt; ist sie überdies totalstetig, so heiße sie zur Klasse \(L_{p, \,q}^*\) gehörig. Das Ziel der Note ist es, Sätze über Folgen von Operationen, die einer Klasse \(L_{p, \,q}^*\) angehören, zu gewinnen. Verf. beweist dazu zuerst eine notwendige und hinreichende Bedingung dafür, daß eine Operation der Klasse \(L_{p, \,q}\) \((p, \,q>1)\) auch \(L_{p, \,q}^*\) angehört, sowie eine Eigenschaft schwach konvergenter Folgen von Operationen einer Klasse \(L_{p, \,q}^*\) und erhält dann als Hauptergebnis: Sind die Normen einer Folge \(U_{\nu}\) von Operationen der Klasse \(L_{p, \,q}^*\) \((p, \,q>1)\) gleichmäßig beschränkt, so gibt es eine Folge \(n_{\nu}\) von Indices derart, daß \[ \frac{1}{\nu} \sum_{\mu=1}^{\nu} U_{n_{\mu}} \,(f) \] für jede Funktion \(f \in L^p\) fast überall konvergiert. Für einige speziellere Fälle werden hieraus genauere Aussagen abgeleitet, z. B: Ist die Folge \(U_{\nu}\) von Operationen der Klasse \(L_{q, \,q}^*\) \((q \geqq 2)\) in dem Gebiet \(L^q\) stark konvergent, so gibt es eine Folge \(n_{\nu}\) von Indices derart, daß die Folge \(U_{n_{\nu}} \,(f)\) für jede Funktion \(f \in L^q\) fast überall konvergiert. Der Satz wird falsch für \(1 < q < 2\). Als Anwendungen ergeben sich Sätze über Orthogonalreihen, z. B: Es sei \(\varphi_{\nu}\) ein System in \((0, \,1)\) orthogonaler und normierter Funktionen mit der Eigenschaft, daß die Entwicklung einer beliebigen Funktion \(f \in L^p\) \((1 < p < 2)\) nach \(\varphi_{\nu}\) in dem Gebiet \(L^q\) \((q > 1)\) stark konvergiert. Dann gibt es eine Folge \(n_{\nu}\) von Indices derart, daß die Folge \[ \frac{1}{n} \sum_{\nu=1}^{n} S_{n_{\nu}} \] fast überall konvergiert, wenn \(S_{\nu}\) die \(\nu\)-te Teilsumme der Entwicklung einer beliebigen Funktion der Klasse \(L^p\) bzgl. \(\varphi_{\nu}\) ist. (Vgl. auch \textit{J. Marcinkiewicz}: Studia math., Lwów, 6 (1936), 39-45; Wiadom. mat., Warszawa, 44 (1938), 5-16. F.~d.~M. 62\(_{\text{I}}\), 284; 64\(_{\text{II}}\)). (IV 8 A.)