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 ${\displaystyle (X,\|\cdot \|)}$ ein normierter Raum mit der Einheitssphäre ${\displaystyle S_{X}:=\{x\in X;\,\|x\|=1\}}$. Man kann zeigen, dass für ${\displaystyle x,y\in S_{X}}$ die Grenzwerte

${\displaystyle 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 ${\displaystyle G_{-}(x,y)\leq G_{+}(x,y)}$ ist. Man sagt, die Norm sei im Punkt ${\displaystyle x}$ in Richtung ${\displaystyle y}$ Gâteaux-differenzierbar, wenn Gleichheit besteht. Den gemeinsamen Wert bezeichnet man dann mit

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

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

Übersicht

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 ${\displaystyle X}$ ein normierter Raum und ${\displaystyle X'}$ sein Dualraum. Dann gelten folgende Aussagen:

• Ist ${\displaystyle X'}$ strikt konvex, so ist ${\displaystyle X}$ glatt, die Umkehrung gilt im Allgemeinen nicht.
• Ist ${\displaystyle X'}$ glatt, so ist ${\displaystyle X}$ strikt konvex, die Umkehrung gilt im Allgemeinen nicht.
• Ist ${\displaystyle X'}$ stark konvex, so ist ${\displaystyle X}$ Fréchet-glatt, die Umkehrung gilt im Allgemeinen nicht.
• ${\displaystyle X}$ ist genau dann gleichmäßig glatt, wenn ${\displaystyle X'}$ gleichmäßig konvex ist. Die Rollen von ${\displaystyle X}$ und ${\displaystyle X'}$ können vertauscht werden.
• ${\displaystyle X}$ ist genau dann stark konvex, wenn ${\displaystyle X'}$ Fréchet-glatt ist. Die Rollen von ${\displaystyle X}$ und ${\displaystyle X'}$ können vertauscht werden.
• ${\displaystyle X}$ ist genau dann gleichmäßig Gâteaux-glatt, wenn ${\displaystyle X'}$ schwach* gleichmäßig konvex ist.

Glattheitsmodul

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

${\displaystyle \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 ${\displaystyle (X,\|\cdot \|)}$.

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

• ${\displaystyle (X,\|\cdot \|)}$   ist gleichmäßig glatt   ${\displaystyle \Leftrightarrow }$   ${\displaystyle \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. Für den Stetigkeitsmudul gilt die Abschätzung

${\displaystyle \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:

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

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

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