Satz von Motzkin
# Satz von Motzkin

Der Satz von Motzkin ist ein mathematischer Lehrsatz, der auf eine Arbeit des Mathematikers Theodore Samuel Motzkin aus dem Jahr 1935 zurückgeht. Er behandelt die Frage der Charakterisierung konvexer Teilmengen des euklidischen Raums und ist angesiedelt im Übergangsfeld zwischen Analysis, Geometrie und der Theorie der topologischen Vektorräume.

## Formulierung des Satzes

Der Monographie von Jürg T. Marti folgend lässt sich der Satz wie folgt formulieren:
    Im $\mathbb {R} ^{n}\;(n\in \mathbb {N} )$ ist eine motzkinsche Menge stets konvex.

## Verallgemeinerung

Im Jahre 1951 erhielten Frederick Arthur Ficken und Victor LaRue Klee in Verallgemeinerung des Motzkin’schen Satzes den folgenden Charakterisierungssatz für konvexe Mengen in reellen Hilberträumen:
    Jede beschränkt kompakte motzkinsche Menge in einem reellen Hilbertraum ist konvex.

## Erläuterungen und Anmerkungen

* Ist $X$ ein metrischer Raum mit der zugehörigen Abstandsfunktion $d$, so bezeichnet man eine nichtleere abgeschlossene Teilmenge $T\subseteq X$ als motzkinsche Menge, falls es zu jedem Raumpunkt $x_{0}\in X$ genau einen Raumpunkt $x_{1}\in T$ gibt, der nach Maßgabe der Abstandsfunktion $d$ dem Raumpunkt $x_{0}$ am nächsten liegt. Manche Autoren nennen eine solche Menge auch eine tschebyschewsche Menge.
* In einem metrischen Raum $X$ mit der Abstandsfunktion $d$ ist eine nichtleere abgeschlossene Teilmenge $T\subseteq X$ demzufolge eine motzkinsche Menge genau dann, wenn es zu jedem $x_{0}\in X$ genau ein $x_{1}\in T$ gibt mit $d(x_{1},x_{0})=\inf _{y\in T}{d(y,x_{0})}$. Ist $X$ dabei sogar ein normierter Vektorraum mit $\|\cdot \|$ als Norm und der durch $(x,y)\mapsto d(x,y)=\|x-y\|$ gegebenen Abstandsfunktion, so ist hier eine nichtleere abgeschlossene Teilmenge $T\subseteq X$ eine motzkinsche Menge genau dann, wenn es zu jedem $x_{0}\in X$ genau ein $x_{1}\in T$ gibt mit $\|x_{1}-x_{0}\|=\inf _{y\in T}{\|y-x_{0}\|}$.
* Der euklidische Raum $\mathbb {R} ^{n}\;(n\in \mathbb {N} )$ wird stets als mit dem Standardskalarprodukt und der damit gegebenen geometrischen und metrischen Struktur versehen betrachtet.
* In einem normierten Vektorraum $X$ nennt man – gemäß Marti – eine Teilmenge $K\subseteq X$ beschränkt kompakt, wenn für jede natürliche Zahl $n$ die $X$-Teilmenge $\{x\in K\colon \|x\|\leq n\}$ dort eine kompakte Teilmenge ist.
* In einem strikt konvexen normierten Raum ist jede nichtleere kompakte konvexe Teilmenge eine motzkinsche Menge.
* In einem strikt konvexen reflexiven Banachraum – und folglich auch in jedem Hilbertraum – ist jede nichtleere abgeschlossene konvexe Teilmenge eine motzkinsche Menge.
* Der Satz von Motzkin lässt sich aus dem Auswahlsatz von Blaschke gewinnen.
* In seinem Lehrbuch Konvexe Mengen bewertet Kurt Leichtweiß den Satz von Motzkin – wenngleich er ihn nicht ausdrücklich unter diesem Namen darstellt – als eine bemerkenswerte, von T. S. Motzkin stammende Charakterisierung der Konvexität bei abgeschlossenen Untermengen des euklidischen Raumes.