Some uniformly convex spaces. (Q2587240)

Ein Banachscher Raum wird als gleichförmig konvex bezeichnet, wenn zu jedem \(\varepsilon\) mit \(0< \varepsilon < 1\) ein \(\delta (\varepsilon)\) mit \(0<\delta (\varepsilon)< 2\) gehört derart, daß aus \(\| x \| = \| y \| =1\) und \(\|x-y\| \geqq \varepsilon\) folgt \(\| x+ y \| < 2- \delta (\varepsilon)\). Von \textit{J. A. Clarkson}, welcher diesen Begriff einführte (Trans. Amer. math. Soc. 40 (1936), 396-414; F. d. M. \(62_{\text{I}}\), 460), wurde gezeigt, daß die Räume \(L^p\) und \(l^p\) für \(p>1\) gleichförmig konvex sind. Der Beweis wurde von Clarkson mit Hilfe gewisser Ungleichungen geführt. Verf. beweist nun mit Hilfe eines Konvexitätstheorems von F. Riesz für Linfiarformen folgende Verallgemeinerung dieser Ungleichungen: Sind \(x\) und \(y\) Elemente von \(L^p\) bzw. von \(l^p\) mit \(p > 1\), so gilt: \[ (\| x + y\|^r + \|x- y \|^r)^{\tfrac 1r} \leqq 2^{\tfrac 1{s^\prime}} (\|x\|^s +\|y \|^s)^{\tfrac 1 s} \] wobei \(s^\prime = s: (s - 1)\), für alle \(r\), \(s\) mit \(r \geqq s \geqq r:(r - 1)\), \(r \geqq p \geqq s > 1\) ist. Mit Hilfe dieser Verallgemeinerung wird nun gezeigt, daß auch \(\lambda^p \{\mu^q \}\) gleichförmig konvex ist, wobei \(\lambda\) und \(\mu\) beliebig gleich \(L\) oder \(l\) gesetzt werden können, ferner \(p>1\), \(q>1\) ist und \(L^p \{E\}\) für einen Banachschen Raum \(E\) folgendermaßen erklärt ist: Es sei \(x (t)\) eine Funktion der reellen Veränderlichen \(t\) im Intervall \([a, b]\), deren Werte in \(E\) liegen, welche im Sinne von \textit{Bochner} (Fundam. math., Warszawa, 20 (1933), 262-276; F. d. M. \(59_{\text{I}}\), 271) integrabel ist, und für welche die als Norm von \(x\) in \(E\) erklärte Zahl \(\mathfrak M_p [x] = \left( \int \| x(t)\|^p dt\right)^{\tfrac 1p}\) endlich ist. In \(l^p \{E\}\) treten an Stelle der \(x (t)\) die Folgen \(X = ((x_\nu ))\) von Elementen \(x_\nu\) aus \(E\), für welche die Norm \(\mathfrak M_p [x] = (\sum \|x_n\|^p)^{\tfrac 1p}\) endlich ist. Außerdem gibt Verf. noch einen elementaren Beweis für die Clarksonsche Ungleichung \(\| x + y \|^p + \| x - y \|^p \leqq 2^{p-1} (\|x\|^p + \|y\|^p)\), \(p \geqq 2\); ferner beweist er am Schlusse ein abstraktes Konvexitätstheorem.