# Strikt konvexer Raum

Strikt konvexe Räume werden im mathematischen Teilgebiet der Funktionalanalysis betrachtet. Es handelt sich um normierte Räume, deren Norm bestimmte geometrische Eigenschaften hat, die für die Optimierungstheorie wichtig sind.

## Definitionen

Ist $(X,\|\cdot \|)$ ein reeller normierter Raum, so sei $X_{1}$ die Einheitskugel, das heißt die Menge aller Elemente $x\in X$ mit $\|x\|\leq 1$, $X\,'$ sei der Dualraum, das heißt der Banachraum der stetigen linearen Funktionale $f\colon X\rightarrow \mathbb {R}$ mit der Dualraumnorm $\textstyle \|f\|:=\sup _{x\in X_{1}}|f(x)|$.
Ein reeller normierter Raum $(X,\|\cdot \|)$ heißt strikt konvex, wenn er eine der folgenden untereinander äquivalenten Bedingungen erfüllt:
* Ist $\|x+y\|=\|x\|+\|y\|$ für $x,y\in X\setminus \{0\}$, so gibt es eine reelle Zahl $\lambda$ mit $x=\lambda y$.
* Ist $\|x\|=\|y\|=1$ für zwei verschiedene $x,y\in X$, so gilt $\|\lambda x+(1-\lambda )y\|<1$ für alle reellen Zahlen $0<\lambda <1$.
* Ist $\|x\|=\|y\|=1$ für zwei verschiedene $x,y\in X$, so gilt $\|{\tfrac {1}{2}}(x+y)\|<1$.
* Die Funktion $X\rightarrow \mathbb {R} ,\,x\mapsto \|x\|^{2}$ ist strikt konvex.
* Jedes $f\in X\,'\setminus \{0\}$ nimmt das Supremum auf $X_{1}$ in höchstens einem Punkt an.
Aus der zweiten Eigenschaft ergibt sich direkt, dass die Menge der Extremalpunkte von $X_{1}$ mit dem Rand der Einheitskugel $\partial X_{1}=\{x\in X;\ \|x\|=1\}$ zusammenfällt.
Aus der vierten Eigenschaft folgt die für die Optimierungstheorie wichtige Aussage, dass eine konvexe Menge in einem strikt konvexen Raum höchstens einen Vektor minimaler Länge hat.

## Beispiele

* Gleichmäßig konvexe Räume sind strikt konvex, insbesondere also prä-Hilberträume und die L$^p$-Räume für $1<p<\infty$.
* $\ell ^{1}$ ist nicht strikt konvex, denn ist $x=(1,0,0,\ldots )$ und $y=(0,1,0,\ldots )$, so ist $\|x+y\|=2=\|x\|+\|y\|$.
* Jeder endlichdimensionale strikt konvexe Raum ist gleichmäßig konvex. Es gibt strikt konvexe Räume, die nicht gleichmäßig konvex sind; diese müssen dann unendlichdimensional sein. Siehe auch Renormierungssatz.

## Glattheit

Die hier vorgestellte Eigenschaft Glattheit (engl.: smoothness) ist die zur strikten Konvexität duale Eigenschaft. Es sei $F:X\rightarrow {\mathcal {P}}(X\,')$ die Korrespondenz, die jedem $x\in X$ die Menge derjenigen Funktionale $f\in X\,'$ mit $f(x)=\|x\|^{2}=\|f\|^{2}$ zuordnet. Man nennt $F$ auch die Dualitätsabbildung. Nach dem Satz von Hahn-Banach ist $F(x)\not =\emptyset$ für alle $x\in X$. Man nennt einen normierten Raum glatt, wenn $F(x)$ für jedes $x\in X$ einelementig ist. Es gilt nun folgender Satz:
* Sei $X$ ein normierter Raum.
    Ist $X\,'$ strikt konvex, so ist $X$ glatt.
    Ist $X\,'$ glatt, so ist $X$ strikt konvex.
Für reflexive Räume erhält man dann perfekte Dualität:
* Sei $X$ ein reflexiver Banachraum.
    $X\,'$ ist genau dann strikt konvex, wenn $X$ glatt ist.
    $X\,'$ ist genau dann glatt, wenn $X$ strikt konvex ist.
Da die Dualitätsabbildung $F$ für glatte Räume nur einelementige Bilder hat, kann man sie auch als Funktion $F:X\rightarrow X\,'$ betrachten. Man kann zeigen, dass diese Abbildung stetig ist, wenn man auf $X$ die Normtopologie und auf $X\,'$ die schwach-*-Topologie betrachtet.

## Ein Renormierungssatz

In vielen Fällen kann man sich durch Übergang zu einer äquivalenten Norm die hier vorgestellten Normeigenschaften verschaffen, denn es gilt:
* Jeder separable Banachraum hat eine äquivalente Norm, die sowohl strikt konvex als auch glatt ist.
Insbesondere kann man auf diese Weise nicht-reflexive, strikt konvexe Banachräume konstruieren. Damit hat man Beispiele für strikt konvexe, aber nicht gleichmäßig konvexe Banachräume, denn letztere sind nach einem Satz von Milman stets reflexiv.