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 Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle (X,\|\cdot \|)} sei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle B_X := \{x\in X;\, \|x\|\le 1\}} die Einheitskugel sowie Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle rB_X} die um den Faktor Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle r > 0} gestreckte Kugel, das heißt die Kugel um 0 mit Radius Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle r} . Für eine Teilmenge Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle A\subset X} sei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \operatorname{diam}(A):=\sup\{\|x-y\|;\,x,y\in A\}} der Durchmesser dieser Menge und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \operatorname{dist}(A,y):=\inf\{\|x-y\|;\,x\in A\}} der Abstand eines Punktes Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle y} zu dieser Menge.

Ein normierter Raum Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (X,\|\cdot\|)} heißt stark konvex, falls für jede nicht-leere konvexe Menge Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle C\subset X} gilt:

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \operatorname{diam}(rB_X \cap C)\rightarrow 0} für Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle r \searrow \operatorname{dist}(C,0)} .

Beispiele und Eigenschaften

• Wie nebenstehende Zeichnungen verdeutlichen, ist der Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \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 Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \ell^1} der Folgenraum der absolut-summierbaren Folgen mit der Norm Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \|\cdot\|_1} sowie Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \ell^2} der Folgenraum der quadratisch-summierbaren Folgen mit der Norm Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \|\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 Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle (\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 Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle 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 Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle \operatorname {diam} \{x\in X;\,\|x\|\leq 1,\operatorname {Re} f(x)\geq 1-\delta \}\rightarrow 0} für Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle \delta \searrow 0} .
• Ist $(x_{n})_{n\in \mathbb {N} }$ eine Folge in $X$ mit Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle \|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 Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle C\subset X} nicht leer und konvex, $x\in X$ und Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle (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 Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \|x_n\| = 1} für alle Folgenglieder und ist $f\in X',\|f\|=1$ mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \operatorname{Re} f(x_n) \rightarrow 1} , so konvergiert die Folge.
• Ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle C\subset X} nicht leer, abgeschlossen und konvex, Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x\in X} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (y_n)_{n\in \N}} eine Folge in Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle C} mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \|x-y_n\| \rightarrow \operatorname{dist}(C,x)} , so konvergiert die Folge in Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle C} .
• Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X} ist reflexiv, strikt konvex und hat die Radon-Riesz-Eigenschaft.