Glattheitsbedingung

In der mathematischen Theorie der normierten Räume werden gewisse Klassen solcher Räume durch Eigenschaften der Norm definiert. Hier betrachtet man Glattheitsbedingungen, das heißt die Differenzierbarkeitseigenschaften der Norm. Daneben gibt es eine Reihe von Konvexitätsbedingungen, die über die Dualräume mit den Glattheitsbedingungen zusammenhängen.

Glattheitsbedingungen

Es sei $(X,\|\cdot \|)$ ein normierter Raum mit der Einheitssphäre $S_{X}:=\{x\in X;\,\|x\|=1\}$ . Man kann zeigen, dass für $x,y\in S_{X}$ die Grenzwerte

G_{-}(x,y):=\lim _{t\nearrow 0}{\frac {\|x+ty\|-1}{t}}\quad \quad G_{+}(x,y):=\lim _{t\searrow 0}{\frac {\|x+ty\|-1}{t}}

existieren und stets $G_{-}(x,y)\leq G_{+}(x,y)$ ist. Man sagt, die Norm sei im Punkt $x$ in Richtung $y$ Gâteaux-differenzierbar, wenn Gleichheit besteht. Den gemeinsamen Wert bezeichnet man dann mit

G(x,y)=\lim _{t\rightarrow 0}{\frac {\|x+ty\|-1}{t}}

und sagt, das Gâteaux-Differential existiere in $x$ in Richtung $y$ . Durch Forderungen an diesen Grenzwert werden Klassen normierter Räume definiert.

Glatte Räume

Die einfachste Forderung an den Grenzwert zum Gâteaux-Differential ist dessen Existenz. Wir definieren:

(X,\|\cdot \|)

heißt glatt, wenn das Gâteaux-Differential

G(x,y)

für alle

x,y\in S_{X}

existiert.^[1]

Gleichmäßig glatte Räume

Der Grenzwert $G(x,y)$ in der Definition der Glattheit existiert für jedes Paar $(x,y)\in S_{X}\times S_{X}$ . Fordert man hier gleichmäßige Konvergenz, erhält man eine kleinere Klasse normierter Räume:

(X,\|\cdot \|)

heißt gleichmäßig glatt, wenn das Gâteaux-Differential

G(x,y)

gleichmäßig auf

S_{X}\times S_{X}

existiert.^[2]

Fréchet-glatte Räume

Indem man die Gleichmäßigkeitsforderung in der Definition der gleichmäßigen Glattheit auf die Richtungsvariable einschränkt, gelangt man zu folgender Definition:

(X,\|\cdot \|)

heißt Fréchet-glatt, wenn das Gâteaux-Differential

G(x,y)

für jedes

x\in S_{X}

gleichmäßig für

y\in S_{X}

existiert.^[3]

Gleichmäßig Gâteaux-glatte Räume

Die folgende Klasse normierter Räume ergibt sich, wenn man Gleichmäßigkeit für die erste Variable fordert:

(X,\|\cdot \|)

heißt gleichmäßig Gâteaux-glatt, wenn das Gâteaux-Differential

G(x,y)

für jede Richtung

y\in S_{X}

gleichmäßig für

x\in S_{X}

existiert.^[4]

Sehr glatte Räume

Ist $(X,\|\cdot \|)$ glatt, so gibt es zu jedem $x\in S_{X}$ genau ein $f\in S_{X'}$ mit $\mathrm {Re} f(x)=1$ . Dadurch wird eine Abbildung $\sigma :S_{X}\rightarrow S_{X'}$ definiert, die man die sphärische Abbildung nennt und von der man zeigen kann, dass sie bzgl. der relativen Normtopologie auf $x\in S_{X}$ und der relativen schwach-*-Topologie auf $f\in S_{X'}$ stetig ist. Die folgende Definition verschärft daher den Begriff des glatten Raums:

Ein normierter Raum

(X,\|\cdot \|)

heißt sehr glatt, wenn er glatt ist und die sphärische Abbildung bzgl. der relativen Normtopologie auf

X\setminus \{0\}

und der relativen schwachen Topologie auf

X'\setminus \{0\}

stetig ist.^[5]

Die noch stärkere Stetigkeit bzgl. der Normtopologien führt zum oben bereits erwähnten Begriff des gleichmäßig glatten Raums.

Übersicht

Zusammenhänge zwischen den Raumklassen

Dieses Diagramm gibt eine Übersicht über die Zusammenhänge zwischen den Raumklassen, wobei die Klasse der Innenprodukt-Räume die speziellste ist. Ein Pfeil von einer Klasse in die andere bedeutet, dass jeder normierte Raum der ersten Klasse auch der zweiten angehört. Die Reflexivität eines normierten Raums bedeutet, dass die Vervollständigung ein reflexiver Raum ist. Man beachte, dass mit Ausnahme der Reflexivität und natürlich der untersten Eigenschaft, ein normierter Raum zu sein, jede der Eigenschaften beim Übergang zu einer äquivalenten Norm verloren gehen kann. Folgende Standard-Abkürzungen, die zum Teil auf die entsprechenden englischen Bezeichnungen zurückgehen, wurden verwendet:

US: gleichmäßig glatt (uniformly smooth)
UG: gleichmäßig Gâteaux-glatt (uniformly Gâteaux smooth)
F: Fréchet-glatt (Fréchet smooth)
VS: sehr glatt (very smooth)

Alle hier dargestellten Beziehungen finden sich im unten angegebenen Lehrbuch von Robert E. Megginson.

Zusammenhänge mit Konvexitätsbedingungen

Es seien $X$ ein normierter Raum und $X'$ sein Dualraum. Dann gelten folgende Aussagen:

Ist $X'$ strikt konvex, so ist $X$ glatt, die Umkehrung gilt im Allgemeinen nicht.^[6]
Ist $X'$ glatt, so ist $X$ strikt konvex, die Umkehrung gilt im Allgemeinen nicht.^[7]
Ist $X'$ stark konvex, so ist $X$ Fréchet-glatt, die Umkehrung gilt im Allgemeinen nicht.^[8]
$X$ ist genau dann gleichmäßig glatt, wenn $X'$ gleichmäßig konvex ist. Die Rollen von $X$ und $X'$ können vertauscht werden.^[9]
$X$ ist genau dann stark konvex, wenn $X'$ Fréchet-glatt ist. Die Rollen von $X$ und $X'$ können vertauscht werden.^[10]
$X$ ist genau dann gleichmäßig Gâteaux-glatt, wenn $X'$ schwach* gleichmäßig konvex ist.^[11]

Glattheitsmodul

Ist $(X,\|\cdot \|)$ ein normierter Raum, so heißt

\rho _{X}:[0,\infty )\rightarrow [0,\infty ),\quad \rho _{X}(t):={\frac {1}{2}}\sup\{\|x+y\|+\|x-y\|-2;\,x,y\in X,\|x\|=1,\|y\|=t\}

der Glattheitsmudul von $(X,\|\cdot \|)$ .^[12]

Die Untersuchung dieser Funktion ermöglicht weitere Einblicke in die hier vorgestellten Raumklassen. So gilt zum Beispiel:

$(X,\|\cdot \|)$ ist gleichmäßig glatt $\Leftrightarrow$ $\lim _{t\searrow 0}{\frac {\rho _{X}(t)}{t}}=0$ .

Das wird im unten angegebenen Lehrbuch von Istratescu als Definition der gleichmäßigen Glattheit verwendet.^[13] Für den Stetigkeitsmudul gilt die Abschätzung

\rho _{X}(t)\geq {\sqrt {1+t^{2}}}-1

für jeden gleichmäßig konvexen Raum.

Im Extremfall erhält man eine Charakterisierung der Hilberträume:

$(X,\|\cdot \|)$ ist Hilbertraum $\Leftrightarrow$ $(X,\|\cdot \|)$ ist ein gleichmäßig konvexer Banachraum mit $\rho _{X}(t)={\sqrt {1+t^{2}}}-1$ .^[14]

Literatur

Im angegebenen Lehrbuch von Istratescu finden sich weitere Glattheitseigenschaften, die Klassen normierter Räume definieren. Dieses Buch enthält leider viele Fehler und beschränkt sich auf Banachräume. Daher wurden die meisten Einzelnachweise auf das Lehrbuch von R. E. Megginson bezogen, auch wenn die dortige Darstellung nicht so umfangreich angelegt ist.

Einzelnachweise

↑ Robert E. Megginson: An Introduction to Banach Space Theory. Springer-Verlag, 1998, ISBN 0-387-98431-3, Das ist nicht die dortige Definition, aber äquivalent dazu, Korollar 5.4.18
↑ Robert E. Megginson: An Introduction to Banach Space Theory. Springer-Verlag, 1998, ISBN 0-387-98431-3, Das ist nicht die dortige Definition, aber äquivalent dazu, Satz 5.5.6
↑ Robert E. Megginson: An Introduction to Banach Space Theory. Springer-Verlag, 1998, ISBN 0-387-98431-3, Definition 5.6.1
↑ Robert E. Megginson: An Introduction to Banach Space Theory. Springer-Verlag, 1998, ISBN 0-387-98431-3, Definition 5.6.13
↑ Robert E. Megginson: An Introduction to Banach Space Theory. Springer-Verlag, 1998, ISBN 0-387-98431-3, Definition 5.6.19
↑ Robert E. Megginson: An Introduction to Banach Space Theory. Springer-Verlag, 1998, ISBN 0-387-98431-3, Satz 5.4.5
↑ Robert E. Megginson: An Introduction to Banach Space Theory. Springer-Verlag, 1998, ISBN 0-387-98431-3, Satz 5.4.6
↑ Robert E. Megginson: An Introduction to Banach Space Theory. Springer-Verlag, 1998, ISBN 0-387-98431-3, Satz 5.6.12
↑ Robert E. Megginson: An Introduction to Banach Space Theory. Springer-Verlag, 1998, ISBN 0-387-98431-3, Satz 5.5.12
↑ Robert E. Megginson: An Introduction to Banach Space Theory. Springer-Verlag, 1998, ISBN 0-387-98431-3, Satz 5.6.9
↑ Robert E. Megginson: An Introduction to Banach Space Theory. Springer-Verlag, 1998, ISBN 0-387-98431-3, Satz 5.6.15
↑ Vasile I. Istratescu: Strict Convexity and Complex Strict Convexity, Theory and Applications, Taylor & Francis Inc. (1983), ISBN 0-8247-1796-1, Definition 2.7.2, dort nur für Banachräume definiert
↑ Vasile I. Istratescu: Strict Convexity and Complex Strict Convexity, Theory and Applications, Taylor & Francis Inc. (1983), ISBN 0-8247-1796-1, Definition 2.7.3
↑ Vasile I. Istratescu: Strict Convexity and Complex Strict Convexity, Theory and Applications, Taylor & Francis Inc. (1983), ISBN 0-8247-1796-1, Korollare 2.7.9 und 2.7.10

[1] Robert E. Megginson: An Introduction to Banach Space Theory. Springer-Verlag, 1998, ISBN 0-387-98431-3, Das ist nicht die dortige Definition, aber äquivalent dazu, Korollar 5.4.18

[2] Robert E. Megginson: An Introduction to Banach Space Theory. Springer-Verlag, 1998, ISBN 0-387-98431-3, Das ist nicht die dortige Definition, aber äquivalent dazu, Satz 5.5.6

[3] Robert E. Megginson: An Introduction to Banach Space Theory. Springer-Verlag, 1998, ISBN 0-387-98431-3, Definition 5.6.1

[4] Robert E. Megginson: An Introduction to Banach Space Theory. Springer-Verlag, 1998, ISBN 0-387-98431-3, Definition 5.6.13

[5] Robert E. Megginson: An Introduction to Banach Space Theory. Springer-Verlag, 1998, ISBN 0-387-98431-3, Definition 5.6.19

[6] Robert E. Megginson: An Introduction to Banach Space Theory. Springer-Verlag, 1998, ISBN 0-387-98431-3, Satz 5.4.5

[7] Robert E. Megginson: An Introduction to Banach Space Theory. Springer-Verlag, 1998, ISBN 0-387-98431-3, Satz 5.4.6

[8] Robert E. Megginson: An Introduction to Banach Space Theory. Springer-Verlag, 1998, ISBN 0-387-98431-3, Satz 5.6.12

[9] Robert E. Megginson: An Introduction to Banach Space Theory. Springer-Verlag, 1998, ISBN 0-387-98431-3, Satz 5.5.12

[10] Robert E. Megginson: An Introduction to Banach Space Theory. Springer-Verlag, 1998, ISBN 0-387-98431-3, Satz 5.6.9

[11] Robert E. Megginson: An Introduction to Banach Space Theory. Springer-Verlag, 1998, ISBN 0-387-98431-3, Satz 5.6.15

[12] Vasile I. Istratescu: Strict Convexity and Complex Strict Convexity, Theory and Applications, Taylor & Francis Inc. (1983), ISBN 0-8247-1796-1, Definition 2.7.2, dort nur für Banachräume definiert

[13] Vasile I. Istratescu: Strict Convexity and Complex Strict Convexity, Theory and Applications, Taylor & Francis Inc. (1983), ISBN 0-8247-1796-1, Definition 2.7.3

[14] Vasile I. Istratescu: Strict Convexity and Complex Strict Convexity, Theory and Applications, Taylor & Francis Inc. (1983), ISBN 0-8247-1796-1, Korollare 2.7.9 und 2.7.10

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]