Integration and linear operations. (Q2607859): Difference between revisions

\(S_p(X)\) sei die Klasse der Funktionen \(f(P)\), die für \(0\leqq P\leqq 1\) definiert sind, deren Werte Punkte eines \textit{Banach}schen Raumes \(X\) sind, die meßbar sind (im Sinne der Definition von \textit{Bochner}, Fundam. Math., Warszawa, 20 (1933), 262-276; F.~d.~M. 59\(_{\text{I}}\), 271) und für die die \(p\)-te Potenz der Norm von \(f\) über \((0,1)\) summierbar ist. \(L_p\) habe die übliche Bedeutung, und \(L_{pq}\) bedeute die Klasse der reellen in \(0\leqq P\leqq 1\), \(0\leqq Q\leqq 1\) definierten meßbaren Funktionen \(K(P,Q)\), die bei festem \(P\) zu \(L_q\) gehören und für die \[ \left\{\int\limits_0^1|K(P,Q)|^q\,dQ\right\}^{\frac1q} \] zu \(L_p\) gehört. Der erste Teil der Arbeit beschäftigt sich in der Hauptsache mit der Darstellung der abstrakten Funktionen \(f(P)\) aus \(S_{pq}=S_p(L_q)\) durch reelle Funktionen \(K(P,Q)\) aus \(L_{pq}\). Das Hauptresultat in dieser Hinsicht lautet: \(f(P)\) ist dann und nur dann in \(S_{pq}\) (\(1\leqq p<\infty\), \(1\leqq q<\infty\)), wenn es eine Funktion \(K(P,Q)\) in \(L_{pq}\) gibt, so daß \(f(P)=K(P,Q)\) ist. Ist \(f(P)\) in \(S_{pq}\), so ist für jede meßbare Menge \(e\) in \((0,1)\) \[ \int\limits_e f(P)\,dP=\int\limits_e K(P,Q)\,dP \] (das links stehende Integral ist im \textit{Bochner}schen (l.~c.) oder \textit{Dunford}schen (Trans. Amer. Math. Soc. 37 (1935) 441-453; F.~d.~M. 61\(_{\text{II}}\), 235) Sinne zu verstehen). -Der zweite Teil der Arbeit beschäftigt sich mit der Darstellung einer linearen Operation (im Sinne von \textit{Banach}), die \(L_p\) auf einen \textit{Banach}schen Raum \(X\) abbildet. Zunächst wird vorausgesetzt, daß \(X\) eine Basis besitzt. Weitere Resultate werden unter der Voraussetzung erhalten, daß \(X\) entweder gleichmäßig konvex im Sinne von \textit{Clarkson} (Trans. Amer. math. Soc. 40 (1936), 396-414; F.~d.~M. 62\(_{\text{I}}\), 460-461) ist oder eine Basis \(\{x_i\}\) besitzt, für welche \(\sum\limits_{i=1}^\infty a_ix_i\) für jede Folge von Konstanten \(a_i\) konvergiert, für die \(\left\|\sum\limits_{i=1}^n a_ix_i\right\|\) beschränkt ist (vgl. \textit{Dunford-Morse}, Trans. Amer. math. Soc. 40 (1936), 415-420; F.~d.~M. 62\(_{\text{I}}\), 461). Bezeichnet \(L_\infty\) den Raum der in \((0,1)\) beschränkten meßbaren Funktionen, so lauten speziell im Falle \(X=L_q\) die hauptsächlichen Resultate: Ist \(K(P,Q)\) in \(L_{p'q}\) \(\left(p'=\dfrac p{p-1} \right)\), so ist \[ T\varphi=\int\limits_0^1 K(P,Q)\varphi(P)\,dP \tag{*} \] eine lineare Operation, die \(L_p\) auf \(L_q\) abbildet. Ist \(p=1\), \(1<q<\infty\), so stellt (*) die allgemeinste solche lineare Operation dar, und die allgemeine vollstetige lineare Operation wird durch (*) gegeben, wenn \(K\) außerhalb des Quadrates \(0\leqq P\leqq 1\), \(0\leqq Q\leqq 1\) verschwindet und außerdem einer gewissen Stetigkeitsbedingung genügt. Ist \(1<p<\infty\), \(1\leqq q<\infty\), so ist (*) vollstetig, und die allgemeine lineare Operation läßt sich als Limes einer Folge von Operationen vom Typus (*) ausdrücken. -- Weitere Sätze betreffen den Fall, daß \(X\) der Raum \(l_p\) der Folgen ist, für die die Summe der \(p\)-ten Potenzen absolut konvergiert.