# Satz von Moskovitz-Dines

Der Satz von Moskovitz-Dines ist ein mathematischer Lehrsatz, der die Frage der Charakterisierung konvexer Teilmengen topologischer Vektorräume behandelt. Er entstammt einer Arbeit der beiden Mathematiker David Moskovitz und Lloyd Lyne Dines aus dem Jahr 1939 und ist eng verwandt mit zwei anderen Sätzen, die auf Stanisław Mazur bzw. auf Errett Bishop und Robert Ralph Phelps zurückgehen.

## Formulierung des Satzes

Der Monographie von Jürg T. Marti folgend, lässt sich der Satz wie folgt formulieren:
    Gegeben seien ein topologischer $\mathbb {R}$-Vektorraum $X$ sowie eine darin enthaltene abgeschlossene Teilmenge $T\subseteq X$, welche mindestens einen inneren Punkt besitzen soll.
    Weiterhin genüge $T$ der Bedingung, dass die regulären Punkte von $T$ eine dichte Teilmenge der Randpunktmenge $\partial {T}$ bilden.
    Dann gilt:
    $T$ ist eine konvexe Teilmenge von $X$.

## Verwandte Sätze

Der Satz von Moskovitz-Dines ist (für separable Banachräume) in einem gewissen Sinne die Umkehrung eines Satzes von Stanisław Mazur aus dem Jahre 1933, der (in Anschluss an Marti) folgendermaßen darstellbar ist:
    Gegeben seien ein separabler $\mathbb {R}$-Banachraum $X$ und darin eine abgeschlossene konvexe Teilmenge $T\subseteq X$, welche mindestens einen inneren Punkt besitzen soll.
    Dann ist die Menge der regulären Punkte von $T$ eine dichte Teilmenge der Randpunktmenge $\partial {T}$.
Damit erhält man folgendes Korollar:
    Ist $X$ ein separabler Banachraum über $\mathbb {R}$ und $U\subseteq X$ eine darin enthaltene abgeschlossene Umgebung des Nullpunktes, so ist $U$ eine konvexe Teilmenge von $X$ genau dann, wenn die Beziehung ${\overline {{\partial }_{r}{T}}}=\partial {T}$ gilt.
In diesem Zusammenhang ist ein Satz von Bishop und Phelps (englisch Bishop-Phelps support point theorem) aus dem Jahre 1961 erwähnenswert, der (zumindest für den Fall der Banachräume) die Bedeutung der Stützpunkte im Zusammenhang mit konvexen Mengen herausarbeitet:
    Ist $T$ eine abgeschlossene konvexe Teilmenge eines $\mathbb {R}$-Banachraums $X$, so die Menge der Stützpunkte von $T$ eine dichte Teilmenge der Randpunktmenge $\partial {T}$.

## Erläuterungen und Anmerkungen

* Ein Stützpunkt $p\in \partial {T}$ ist genau dann ein regulärer Punkt von $T$, wenn jedes seiner zugehörigen Stützfunktionale immer nur als positives Vielfaches eines jeden anderen seiner zugehörigen Stützfunktionale vorkommt.
* Die Menge der regulären Punkte von $T$ ist also eine Teilmenge des Randes $\partial {T}$ von $T$ und wird mit ${\partial }_{r}{T}$ bezeichnet.
* Moskovitz und Dines haben ihren Satz ursprünglich nur für reelle Hilberträume bewiesen. Wie Marti jedoch ausführt, lässt sich der Beweis ohne große Modifikationen auf beliebige topologische $\mathbb {R}$-Vektorräume ausdehnen.
* Der obige Satz von Bishop und Phelps ist verwandt, wenngleich nicht identisch mit demjenigen Resultat, welches in der englischsprachigen Fachliteratur als Bishop-Phelps theorem oder als Bishop-Phelps subreflexivity theorem bekannt ist und demzufolge jeder Banachraum ein subreflexiver Raum ist. Das Konzept des subreflexiven Raums geht auf Phelps zurück und stellt eine Abschwächung des Konzepts der reflexiven Raums dar. Dabei wird ein normierter Raum $X$ als subreflexiv bezeichnet, wenn in seinem Dualraum $X^{'}$ die Menge derjenigen linearen Funktionale $x'\in X^{'}$, welche ihre Operatornorm $\|x'\|$ in einem Punkte der Einheitskugel $B_{X}\subset X$ annehmen, dort eine dichte Teilmenge bilden.