Uniformity in linear spaces. (Q2596515)

Eine Reihe von Sätzen, die Gleichmäßigkeitsaussagen in Banachräumen betreffen, wird abgeleitet. \(Y\) sei ein beliebiger Banachraum, \(\overline{Y}\) sein konjugierter. Ist \(f(t)\) eine auf einer Menge \(T\) erklärte Funktion mit Werten in \(Y\) und ist für alle \(\gamma\in\overline {Y}\) \(\sup\limits_{t\in T}|\gamma f(t)|<\infty\), so ist \(\sup\limits_{t\in T}\|f(t)\|< \infty\). Dies ist die einfachste der in Kap. I erhaltenen Gleichmäßigkeitsaussagen. Allgemeiner gilt: \(X\) sei ein Banachraum von numerischen Funktionen \(\varPhi(t)\), \(t\in T\), mit den Eigenschaften: (1) ist \(\varPhi_1(t)+\varPhi_2(t)=\varPhi(t)\) für alle \(t\), so ist \(\varPhi_1+\varPhi_2=\varPhi\); (2) ist für eine Zahl \(c\) \(c\varPhi_1(t)=\varPhi(t)\) für alle \(t\), so ist \(c\varPhi_1=\varPhi\); (3) ist \(\varPhi_n\to\varPhi\) und \(\varPhi_n(t)\to\varPhi_*(t)\) für alle \(t\), so ist \(\varPhi=\varPhi_*\). \(\varGamma\) sei linear abgeschlossen in \(Y\); \(\mathfrak X[Y,\varGamma]\) sei der lineare Raum aller \(f(t)\), \(t\in T\), \(f(t)\in Y\), so daß \(\gamma f(t)\) in \(X\) ist für alle \(\gamma\in\varGamma\). Dann gilt: Ist \(f\) in \(\mathfrak X[Y, \varGamma]\), so ist \(\gamma f\) eine stetige lineare Operation von \(\varGamma\) nach \(X\), d. h. es gibt ein \(\|f\|\) mit \(\|\gamma f\|_X\leqq\|f\|\,\|\gamma\|\). Kap. I enthält weitere Sätze von diesem Typus, ferner Anwendungen auf Funktionen \(f(p)\) von beschränkter Schwankung in einem Intervall mit Werten in einem Banachraum. Der im Hilbertschen Raum bekannte Satz, daß ein additiver Operator beschränkt ist, wenn er ein überall dichtes Definitionsgebiet besitzt und wenn der adjungierte Operator überall existiert, wird auf beliebige Banachräume übertragen. Kap. II betrachtet Gleichmäßigkeitsaussagen, in denen aus der schwachen Konvergenz eines Grenzprozesses auf die starke Konvergenz geschlossen wird. Diese Sätze enthalten u. a. das bekannte Ergebnis, daß jeder Operator von \(l^p\) (\(p > 1\)) nach \(l\) vollstetig ist. Ferner wird bewiesen: \(\{y_n\}\) sei eine Folge von Punkten des Banachraumes \(Y\), so daß \(\sum\limits_{n=1}^\infty\xi_n y_n\) für jedes \(x = \{\xi_n\}\) aus \(m\) konvergiert. Dann ist der Operator \(U(x) = \sum\limits_{n=1}^\infty \xi_ny_n\) von \(m\) nach \(Y\) vollstetig. -- Kap. III beschäftigt sich mit der Integration in beliebigen Räumen. Sie wird so eingeführt: \(f(p)\) sei eine auf einer meßbaren Menge \(E\) erklärte Funktion mit Werten im Banachraum \(Y\). Für jedes \(\gamma\in\varGamma\), \(\varGamma\) linear abgeschlossen in \(\overline Y\), sei \(\gamma f(p)\) summierbar. Dann wird durch \(\overline{\gamma}_E(\gamma) = \int\limits_E \gamma f(p) dp\) ein eindeutig bestimmtes Element \(\overline{\gamma}_E\in\overline{\varGamma}\) erklärt, das gleich \(\int\limits_E f(p) dp\) gesetzt wird. Dieser mit dem Integralbegriff von \textit{B. J. Pettis} (s. nachstehendes Referat) eng zusammenhängende Begriff wird ausführlich untersucht, ein allgemeines Momentenproblem wird damit gelöst.