Sur la structure de la sphère unitaire dans l'espace de Banach. (Q2582312)

Erster Teil: \(Q\) sei eine abstrakte Menge, \(E(Q)\) der lineare Raum der auf \(Q\) definierten beschränkten Funktionen \(x(q)\) mit der Norm \(||x|| = \sup |x(q)|\). Es sei \(||x_0|| = 1\), dann heißt die Norm \(|| x ||\) im Punkte \(x_0\) \textit{rechts schwach ableitbar}, wenn für jedes \(x\), \(||x||\leqq 1\), die Grenze \[ \varPhi(x_0;x)=\lim\limits_{h\to+0}\dfrac{||x_0+hx||-||x_0||}{h} \tag{1} \] existiert. Es wird vor allem die folgende Beziehung bewiesen: \[ \varPhi(x_0; x)= \varlimsup\limits_{|x(q)|\to1} [x(q)\cdot x_0(q)]. \] Ist die Konvergenz von (1) gleichmäßig in bezug auf \(x\), \(||x||\leqq 1\) so sagt man, daß die Ableitbarkeit von \(|| x ||\) im Punkte \(x_0\) \textit{rechts stark} ist. Ist die Konvergenz von (1) gleichmäßig in bezug auf \(x_0\), \(|| x_0 || = 1\), so heißt \(||x||\) \textit{rechts sehwach gleichmäßig ableitbar}. Konvergiert (1) gleichmäßig in bezug auf \(x_0\), \(x\), \(||x_0|| =1\), \(|| x ||\leqq 1\), so heißt die Norm \(|| x ||\) \textit{rechts stark gleichmäßig ableitbar}. -- Es werden zunächst notwendige und hinreichende Bedingungen für die verschiedenen Ableitbarkeiten der Norm gegeben. Es gilt z. B.: Die Norm \(||x||\) ist dann und nur dann im Punkte \(x_0\), \(||x_0||=1\), rechts stark ableitbar, wenn der Ausdruck \(\sup\limits_{|x_0(q)|\geqq1-\varepsilon} [x(q)\cdot x_0(q)]\) gleichmäßig für \(||x||\leqq 1\) gegen \(\varlimsup\limits_{|x_0(q)|\to 1} [x(q)\cdot x_0(q)]\) konvergiert mit \(\varepsilon\to 0\). -- Es seien nun \(E\) ein Banachscher Raum und \(\overline E\) der zu \(E\) konjugierte Raum. Indem man die Elemente \(x\in E (f\in\overline E)\) als Funktionen von Elementen der Einheitssphäre \(||f||\leqq 1\) \((||x||\leqq 1)\) betrachtet, kann man ähnliche Kriterien für die Ableitbarkeit der Funktion \(||x||\) \((||f||)\) formulieren. Als Folgerungen ergeben sich die folgenden Sätze: I. Ein schwach vollständiger Raum \(E\) ist regulär (d. h. \(\overline{\overline E} = E)\), wenn \(||x||\) und \(|| f ||\) überall stark ableitbar sind. II. Ist die Norm \(|| f ||\) im Raume \(\overline E\) überall stark ableitbar, und nimmt ferner jedes lineare Funktional \(F(f)\) auf der Einheitssphäre \(||f|| = 1\) sein Maximum an, so ist \(E\) regulär. III. Damit \(||f||\) überall stark ableitbar ist, ist notwendig und hinreichend, daß die folgenden drei Bedingungen erfüllt sind: a) \(||f||\) ist überall schwach ableitbar; b) auf der Sphäre \(||x||=1\) fällt die schwache Konvergenz mit der starken zusammen; c) jedes lineare Funktional \(f(x)\) nimmt auf der Einheitssphäre sein Maximum an. Im zweiten Teil untersucht Verf. die Ableitbarkeit im Raume der summierbaren Funktionen \(\bigg(||x|| = \int\limits_0^1 |x(t)|d\sigma(t)\bigg)\). Im dritten Teil handelt es sich um die neuen Bedingungen für die Regularität des Raumes und die schwache Kompaktheit der Sphäre. Dafür beginnt Verf. mit dem folgenden Satz: \(E\) sei ein Banachscher Raum. Für jedes \(F \in \overline{\overline E}\),\ \(||F||\leqq 1\), gibt es eine Darstellung von der Form \[ F(f) = \lim\limits_\alpha f(x_\alpha),\quad (f \in \overline E),\quad \text{mit}\quad ||x_\alpha||\leqq 1,\;\lim\limits_{\alpha',\alpha''}\bigg\|\dfrac{x_{\alpha'}-x_{\alpha''}}2 \bigg\| = 1, \] wo \(\alpha\) eine teilweise geordnete Menge durchläuft. Für jedes \(F\in \overline{\overline E}\), \(||F|| = 1\) und für jede abzählbare Folge von linearen Funktionalen \(\{f_n\}\subset \overline E\), existiert eine Folge \(\{x_n\}\subset E\), so daß \[ F(f_n)= \lim\limits_{p\to\infty} f_n(x_p)\quad (n =1,2,3,\ldots)\quad \text{und}\quad ||x_p||\leqq 1,\;\lim\limits_{p,q\to\infty}\big\|\dfrac{x_p+x_q}2\bigg\|=1. \] Dieser Satz ist eine Ergänzung zu einem Resultat von \textit{H. Goldstine} (Duke math. J. 4 (1938), 125-131 (JFM 64.0369.*), und zwar S. 128). Aus dem ersten Teil des Satzes folgt unmittelbar der bekannte Satz von \textit{D. Milman} (C. R. Acad. Sci. URSS (2) 20 (1938), 243-246; JFM 64.1098.*), daß ein gleichmäßig konvexer Raum stets regulär ist. -- Eine teilweise geordnete Folge \(\{x_\alpha\}\) heißt \textit{Begrenzungsfolge} (suite frontière), wenn \[ \lim\limits_{\alpha',\alpha''}\bigg\|\dfrac{x_{\alpha'}+x_{\alpha''}}2 \bigg\| = 1\quad\text{und}\quad ||x_\alpha||\leqq 1\quad \text{für alle}\;\alpha. \] Diese Begriffsbildung erlaubt dem Verf., die folgenden Bedingungen für die Regularität des Raumes und die schwache Kompaktheit der Sphäre anzugeben: I. Der Raum \(E\) ist regulär dann und nur dann, wenn jede teilweise geordnete, schwach konvergente Begrenzungsfolge \(\{x_\alpha\}\) gegen ein gewisses Element \(x_0\in E\) schwach konvergiert. II. Damit die Sphäre \(||x||\leqq 1\) schwach kompakt ist, ist notwendig und hinreichend, daß jede abzählbare Begrenzungsfolge \(\{x_n\}\) schwach kompakt ist. Der vierte Teil enthält die Kennzeichnungen einiger konkreten Banachschen Räume. Dabei wird noch die Ableitbarkeit der Norm verwendet. Die vorliegende Untersuchung knüpft an die vorangehenden Arbeiten des Verf. an (vgl. Rec. math., Moscou, (2) 6 (1939), 77-94; C. R. Acad. Sci. URSS (2) 24 (1939), 648-652; 27 (1940), 643-648; F. d. M. 65, 1312 (JFM 65.1312.*); 66, 535).