Satz von Straszewicz

aus Wikipedia, der freien Enzyklopädie
(Weitergeleitet von Menge der exponierten Punkte)
Zur Navigation springen Zur Suche springen

Der Satz von Straszewicz (englisch Straszewicz's theorem) 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.[1][2][3][4]

Formulierung des Satzes

[Bearbeiten | Quelltext bearbeiten]

Der Satz lässt sich zusammengefasst wie folgt darstellen:[3][5][6]

Für eine abgeschlossene und konvexe Teilmenge gilt stets:
(i) Jeder Extremalpunkt von ist Berührpunkt der Menge der exponierten Punkte von :
.
(ii) Ist dabei ein konvexes Kompaktum, so gilt sogar:
.

Analogon für normierte Räume

[Bearbeiten | Quelltext bearbeiten]

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:[7][8]

In einem normierten -Vektorraum gilt für jede darin enthaltene kompakte und konvexe Teilmenge
und
.

Erläuterungen und Anmerkungen

[Bearbeiten | Quelltext bearbeiten]
  • Ein exponierter Punkt von ist ein Punkt , zu dem eine -Stützhyperebene existiert, so dass gilt. Die Menge der exponierten Punkte von wird mit bezeichnet.[9][10]
  • Für eine konvexe Teilmenge von ist stets jeder ihrer exponierten Punkte auch ein Extremalpunkt und jeder ihrer Extremalpunkte stets auch einer ihrer Randpunkte. Es gilt also in diesem Falle .[11]
  • 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.[12]

Einzelnachweise

[Bearbeiten | Quelltext bearbeiten]
  1. Kurt Leichtweiß: Konvexe Mengen. 1980, S. 35–45
  2. Jürg T. Marti: Konvexe Analysis. 1977, S. 94–97
  3. a b Arne Brøndsted: An Introduction to Convex Polytopes. 1983, S. 37
  4. Branko Grünbaum: Convex Polytopes. 2003, S. 19
  5. Leichtweiß, op. cit. , S. 42–43
  6. Marti, op. cit., S. 94, S. 97
  7. Victor L. Klee, Jr.: Extremal structure of convex sets. II. Math. Z. 69, S. 91
  8. Marti, op. cit., S. 125–130
  9. Leichtweiß, op. cit. , S. 41
  10. Marti, op. cit., S. 34, S. 90
  11. Marti, op. cit., S. 34, S. 91
  12. Leichtweiß, op. cit. , S. 42