Satz von Hadwiger (Konvexgeometrie)

aus Wikipedia, der freien Enzyklopädie

Der Satz von Hadwiger ist ein Lehrsatz des mathematischen Gebiets der Konvexgeometrie und als solcher angesiedelt zwischen den Gebieten der Geometrie und der Analysis. Er entstammt der von Hugo Hadwiger im Jahre 1955 vorgelegten Fachpublikation Altes und Neues über konvexe Körper und behandelt die polyedrische Approximation gewisser Teilmengen des euklidischen Raums durch konvexe Polyeder.[1]

Formulierung des Satzes

Der Satz lässt sich in moderner Fassung wie folgt formulieren:[2]

Für jede kompakte konvexe Nullumgebung und jedes gibt es stets ein kompaktes konvexes Polyeder mit
.

Erläuterungen und Anmerkungen

  • Hugo Hadwiger hat seinen Satz lediglich für Eikörper, also für konvexe und kompakte Punktmengen des dreidimensionalen euklidischen Raums, formuliert.[3] Dabei bezeichnet er ein konvexes Polyeder des dreidimensionalen euklidischen Raums als Eipolyeder.[4]
  • Eine Nullumgebung ist eine Punktmenge in einem topologischen Vektorraum, die dort Umgebung des Nullvektors ist.
  • Für eine Teilmenge und eine reelle Zahl besteht exakt aus allen mit . Ist dabei und ein konvexes Polyeder, so nennt Hadwiger in diesem Kontext das durch Dilatation mit aus hervorgehende homothetische Polyeder.

Literatur

  • Hugo Hadwiger: Altes und Neues über konvexe Körper (= ELEMENTE DER MATHEMATIK VOM HÖHEREN STANDPUNKT AUS. Band III). Birkhäuser Verlag, Basel, Stuttgart 1955 (MR0073220).
  • Jürg T. Marti: Konvexe Analysis (= Lehrbücher und Monographien aus dem Gebiet der Exakten Wissenschaften, Mathematische Reihe. Band 54). Birkhäuser Verlag, Basel, Stuttgart 1977, ISBN 3-7643-0839-7 (MR0511737).

Einzelnachweise

  1. Jürg T. Marti: Konvexe Analysis. 1977, S. 230–233
  2. Marti, op. cit., S. 231
  3. Hugo Hadwiger: Altes und Neues über konvexe Körper. 1955, S. 23–24
  4. Hadwiger, op. cit., S. 8