Satz von Straszewicz

Lehrsatz des Gebiets der Konvexgeometrie
(Weitergeleitet von Satz von Klee-Straszewicz)

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

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

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
  • 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]

Literatur

Bearbeiten

Einzelnachweise

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