A note on regular Banach spaces. (Q2596512)

Es sei \(B_0\) ein Banachscher Raum, \(B_{n+1}\) der zu \(B_n\) adjungierte Raum (\(n = 0, 1,\ldots\)). Die Beziehung zwischen \(B_0\) und \(B_2\) wird durch \(B_0\subset B_2\) kurz, wenn auch etwas unscharf ausgedrückt. Nach \textit{H. Hahn} heißt \(B_0\) \textit{regulär}, wenn \(B_0=B_2\). Verf. beweist, daß für die Regularität von \(B_0\) eine der folgenden Bedingungen notwendig und hinreichend ist: 1) \(B_1\) ist regulär. 2) Die Begriffe der Abgeschlossenheit und regulären Abgeschlossenheit sind für lineare Mengen in \(B_2\) äquivalent. 3) \(B_0\) ist in \(B_2\) eine Menge der zweiten Kategorie. -- Ist \(B_0\) separabel, so kann man die Regularität durch eine der folgenden Bedingungen ersetzen: 1) \(B_0\) ist schwach vollständig und schwach kompakt. 2) \(B_0\) ist schwach vollständig, und \(B_1\) ist separabel. Es sei nun \(B_0\) regulär, \(T(f) = \{f^i\}\) eine lineare Operation, die \(B_1\) auf \(l^1\) abbildet. Es wird bewiesen: \(T\) ist vollstetig; es gibt eine in \(B_0\) unbedingt konvergente Reihe \(\sum\limits_1^\infty x_n\), die \(T\) im Sinne \(f^i=f(x_i)\) definiert. Es werden Anwendungen dieses Satzes auf den Fall \(B_0 = L^p\), \(l^p\) (\(1 < p <\infty\)) gegeben. Schließlich verallgemeinert Verf. einige Sätze über die Differentiation von Funktionen, die in einem Euklidischen Raum definiert sind und deren Werte einem \(B_0\) angehören.