Satz von Hadwiger (Konvexgeometrie)
# Satz von Hadwiger (Konvexgeometrie)

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.

## Formulierung des Satzes

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

    Für jede kompakte konvexe Nullumgebung $N\subseteq \mathbb {R} ^{n}\;(n\in \mathbb {N} )$ und jedes $\epsilon >0$ gibt es stets ein kompaktes konvexes Polyeder $P\subseteq \mathbb {R} ^{n}$ mit
       $P\subseteq N\subseteq (1+\epsilon )P$.

## 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. Dabei bezeichnet er ein konvexes Polyeder des dreidimensionalen euklidischen Raums als Eipolyeder.
* Eine Nullumgebung ist eine Punktmenge in einem topologischen Vektorraum, die dort Umgebung des Nullvektors ist.
* Für eine Teilmenge $T\subseteq \mathbb {R} ^{n}\;(n\in \mathbb {N} )$ und eine reelle Zahl $\lambda$ besteht $\lambda T\subseteq \mathbb {R} ^{n}$ exakt aus allen $\lambda t$ mit $t\in T$. Ist dabei $\lambda >1$ und $P\subseteq \mathbb {R} ^{3}$ ein konvexes Polyeder, so nennt Hadwiger $\lambda P$ in diesem Kontext das durch Dilatation mit $\lambda$ aus $P$ hervorgehende homothetische Polyeder.
