Satz von Straszewicz

Der Satz von Straszewicz (Vorlage:EnS) ist ein Lehrsatz des mathematischen Gebiets der Konvexgeometrie und als solcher angesiedelt zwischen den Gebieten der Geometrie und der Analysis. Er geht zurück auf eine wissenschaftliche Arbeit des Mathematikers Stefan Straszewicz aus dem Jahre 1935. Der Straszewicz'sche Satz ist verwandt mit dem Satz von Krein-Milman und behandelt die Frage, in welcher Beziehung im euklidischen Raum die exponierten Punkte und die Extremalpunkte gewisser Punktmengen zueinander stehen. Wie der Satz zeigt, bilden für eine große Klasse von Punktmengen die exponierten Punkte eine dichte Teilmenge innerhalb der Extremalpunkte.

Formulierung des Satzes

Der Satz lässt sich zusammengefasst wie folgt darstellen:

Für eine abgeschlossene und konvexe Teilmenge $T\subseteq {ℝ}^n(n\in \mathbb{N})$ gilt stets:

(i) Jeder Extremalpunkt von $T$ ist Berührpunkt der Menge der exponierten Punkte von $T$:

$\mathrm{ext}T\subseteq \overline{\exp T}$.

(ii) Ist $T$ dabei ein konvexes Kompaktum, so gilt sogar:

$T=\overline{\mathrm{conv}(\exp T)}$.

Analogon für normierte Räume

Der US-amerikanische Mathematiker Victor Klee hat im Jahre 1958 ein dem Satz von Straszewicz analoges Resultat vorgelegt für den allgemeineren Fall, dass ein normierter $ℝ$-Vektorraum vorliegt. Dieses Resultat wird als Satz von Klee–Straszewicz bezeichnet und lässt sich angeben wie folgt:

In einem normierten $ℝ$-Vektorraum $X$ gilt für jede darin enthaltene kompakte und konvexe Teilmenge $T\subseteq X$

$\mathrm{ext}T\subseteq \overline{\exp T}$

und

$T=\overline{\mathrm{conv}(\exp T)}$.

Erläuterungen und Anmerkungen

• Ein exponierter Punkt von $T$ ist ein Punkt $p\in T$, zu dem eine $T$-Stützhyperebene $H\subset X$ existiert, so dass $H\cap T=\{p\}$ gilt. Die Menge der exponierten Punkte von $T$ wird mit $\exp T$ bezeichnet.
• Für eine konvexe Teilmenge von $X$ ist stets jeder ihrer exponierten Punkte auch ein Extremalpunkt und jeder ihrer Extremalpunkte stets auch einer ihrer Randpunkte. Es gilt also in diesem Falle $\exp T\subseteq \mathrm{ext}T\subseteq \partial T$.
• Der Satz von Straszewicz wird in der Monographie von Kurt Leichtweiß auch als Darstellungssatz von Straszewicz bezeichnet, wobei sich Leichtweiß lediglich auf die obige Mengengleichung bezieht.

Literatur

• Vorlage:Literatur
• Vorlage:Literatur
• Vorlage:Literatur
• Vorlage:Literatur
• Vorlage:Literatur
• Vorlage:Literatur