Stark konvexer Raum

Stark konvexe Räume sind im mathematischen Teilgebiet der Funktionalanalysis betrachtete normierte Räume, die einer speziellen Konvexitätsbedingung genügen. Diese ist eine geometrische Eigenschaft, die unter anderem zur Folge hat, dass der Rand der Einheitskugel keine "großen", konvexen Mengen enthält. Dieser Begriff geht auf Witold Lwowitsch Schmulian zurück.

Stark konvexer Raum: Der nicht-leere Durchschnitt aus Kugel und konvexer Menge wird beliebig klein.

Kein stark konvexer Raum: Der nicht-leere Durchschnitt aus Kugel und konvexer Menge hat stets einen positiven Durchmesser.

Definitionen

Für einen normierten Raum $(X,\|\cdot \|)$ sei $B_{X}:=\{x\in X;\,\|x\|\leq 1\}$ die Einheitskugel sowie $rB_{X}$ die um den Faktor $r>0$ gestreckte Kugel, das heißt die Kugel um 0 mit Radius $r$. Für eine Teilmenge $A\subset X$ sei $\operatorname {diam} (A):=\sup\{\|x-y\|;\,x,y\in A\}$ der Durchmesser dieser Menge und $\operatorname {dist} (A,y):=\inf\{\|x-y\|;\,x\in A\}$ der Abstand eines Punktes $y$ zu dieser Menge.

Ein normierter Raum $(X,\|\cdot \|)$ heißt stark konvex, falls für jede nicht-leere konvexe Menge $C\subset X$ gilt:

$\operatorname {diam} (rB_{X}\cap C)\rightarrow 0$ für $r\searrow \operatorname {dist} (C,0)$.

Beispiele und Eigenschaften

• Wie nebenstehende Zeichnungen verdeutlichen, ist der $\mathbb {R} ^{2}$ mit der euklidischen Norm stark konvex, mit der Summennorm hingegen nicht. Dies zeigt auch, dass starke Konvexität von der Norm abhängt und nicht nur von der Isomorphieklasse des Raums.
• Gleichmäßig konvexe Räume sind stark konvex, stark konvexe Räume sind strikt konvex, die Umkehrungen gelten im Allgemeinen nicht.
• Nach Ky Fan und Irving Glicksberg hat jeder stark konvexe Raum die Radon-Riesz-Eigenschaft und ist umgekehrt jeder reflexive, strikt konvexe Raum mit der Radon-Riesz-Eigenschaft stark konvex.
• Es sei $\ell ^{1}$ der Folgenraum der absolut-summierbaren Folgen mit der Norm $\|\cdot \|_{1}$ sowie $\ell ^{2}$ der Folgenraum der quadratisch-summierbaren Folgen mit der Norm $\|\cdot \|_{2}$. Bekanntlich ist $\ell ^{1}\subset \ell ^{2}$ und durch $\textstyle \|x\|:=(\|x\|_{1}^{2}+\|x\|_{2}^{2})^{1/2}$ wird eine zu $\|\cdot \|_{1}$ äquivalente Norm auf $\ell ^{1}$ definiert. Dann ist $(\ell ^{1},\|\cdot \|)$ strikt konvex, hat die Radon-Riesz-Eigenschaft (sogar die stärkere Schur-Eigenschaft), ist aber nicht stark konvex.

Äquivalente Charakterisierungen

Es stellt sich heraus, dass man in der Definition der starken Konvexität nicht alle konvexen Mengen des normierten Raumes $X$ betrachten muss, es genügt sich auf abgeschlossene Halbräume zu beschränken. Diese kann man bekanntlich durch die Realteile stetiger, linearer Funktionale, das heißt durch Elemente des Dualraums $X'$, beschreiben. Das spiegelt sich in der folgenden Liste äquivalenter Aussagen über einen normierten Raum $X$ wider:

• $X$ ist stark konvex.
• Für jedes $f\in X',\|f\|=1$ gilt $\operatorname {diam} \{x\in X;\,\|x\|\leq 1,\operatorname {Re} f(x)\geq 1-\delta \}\rightarrow 0$ für $\delta \searrow 0$.
• Ist $(x_{n})_{n\in \mathbb {N} }$ eine Folge in $X$ mit $\|x_{n}\|=1$ für alle Folgenglieder und ist $f\in X',\|f\|=1$ mit $\operatorname {Re} f(x_{n})\rightarrow 1$, so ist die Folge eine Cauchy-Folge.
• Ist $C\subset X$ nicht leer und konvex, $x\in X$ und $(y_{n})_{n\in \mathbb {N} }$ eine Folge in $C$ mit $\|x-y_{n}\|\rightarrow \operatorname {dist} (C,x)$, so ist die Folge eine Cauchy-Folge.

Die Cauchy-Folgen in obigen äquivalenten Charakterisierungen sind im Allgemeinen wegen fehlender Vollständigkeit nicht konvergent. Unter Berücksichtigung der Vollständigkeit erhält man, dass für einen normierten Raum $X$ folgende Aussagen äquivalent sind:

• $X$ ist ein stark konvexer Banachraum.
• Ist $(x_{n})_{n\in \mathbb {N} }$ eine Folge in $X$ mit $\|x_{n}\|=1$ für alle Folgenglieder und ist $f\in X',\|f\|=1$ mit $\operatorname {Re} f(x_{n})\rightarrow 1$, so konvergiert die Folge.
• Ist $C\subset X$ nicht leer, abgeschlossen und konvex, $x\in X$ und $(y_{n})_{n\in \mathbb {N} }$ eine Folge in $C$ mit $\|x-y_{n}\|\rightarrow \operatorname {dist} (C,x)$, so konvergiert die Folge in $C$.
• $X$ ist reflexiv, strikt konvex und hat die Radon-Riesz-Eigenschaft.