Stützhyperebene
# Stützhyperebene

Eine Stützhyperebene oder stützende Hyperebene ist in der Mathematik eine Hyperebene, die den Rand einer gegebenen Teilmenge des euklidischen Raums so schneidet, dass die Menge vollständig in einem der beiden durch die Hyperebene definierten abgeschlossenen Halbräume liegt. Im zwei- und dreidimensionalen Raum spricht man entsprechend auch von einer Stützgerade beziehungsweise einer Stützebene. Für eine konvexe Menge existiert an jedem Randpunkt eine Stützhyperebene, die im Fall von glatten konvexen Mengen sogar eindeutig ist.

## Definition

Ist $S\subseteq \mathbb {R} ^{n}$ eine Menge im $n$-dimensionalen euklidischen Raum, dann heißt eine Hyperebene $H\subset \mathbb {R} ^{n}$ Stützhyperebene von $S$, wenn
    $H\cap S\neq \emptyset$
und
    $S\subseteq H^{+}$ oder $S\subseteq H^{-}$
gelten, wobei $H^{+}$ und $H^{-}$ die beiden abgeschlossenen Halbräume zu $H$ sind. Derjenige Halbraum, der die zweite Bedingung erfüllt, heißt dann Stützhalbraum von $S$. Ein Randpunkt von $S$, der auf einer Stützhyperebene liegt, wird auch Stützpunkt von $S$ genannt. Eine Stützhyperebene heißt eigentlich, wenn $S\not \subset H$ ist, ansonsten uneigentlich.

## Darstellung

Ist $r\in \partial S$ ein Randpunkt von $S$ und bezeichnet $\langle \cdot ,\cdot \rangle$ das Standardskalarprodukt im $\mathbb {R} ^{n}$, dann ist die Hyperebene
    $H=\{x\in \mathbb {R} ^{n}\mid \langle v,x\rangle =\langle v,r\rangle \}$
mit Normalenvektor $v\in \mathbb {R} ^{n}\setminus \{0\}$ genau dann eine Stützhyperebene von $S$ durch den Stützpunkt $r$, wenn entweder
    $\langle v,s\rangle \geq \langle v,r\rangle$
für alle Punkte $s\in S$ oder
    $\langle v,s\rangle \leq \langle v,r\rangle$
für alle $s\in S$ gilt. Durch Orientierung des Normalenvektors, zum Beispiel in Richtung der Menge $S$, kann man sich auch auf einen der beiden Fälle beschränken.

## Stützhyperebenen bei konvexen Mengen
### Existenzsatz

Der folgende Existenzsatz für konvexe Mengen geht auf Hermann Minkowski (1896) zurück:
    Bei einer konvexen Teilmenge des euklidischen Raums besitzt jeder Randpunkt mindestens eine Stützhyperebene.
Das bedeutet, dass bei einer konvexen Menge $S\subseteq \mathbb {R} ^{n}$ zu jedem Randpunkt $r\in \partial S$ ein Vektor $v\in \mathbb {R} ^{n}\setminus \{0\}$ existiert, sodass
    $\langle v,s\rangle \geq \langle v,r\rangle$
für alle $s\in S$ gilt. Bei einer konvexen Menge sind damit alle Randpunkte Stützpunkte.

### Beweis

Sei $(r_{k})_{k\in \mathbb {N} }$ mit $r_{k}\in \mathbb {R} ^{n}\setminus {\bar {S}}$ eine Folge von Punkten außerhalb des Abschlusses von $S$, die gegen den Randpunkt $r$ konvergiert ($r_{k}\to r$). Nach dem Trennungssatz existiert nun durch jeden Punkt $r_{k}$ eine Hyperebene
    $H_{k}=\{x\in \mathbb {R} ^{n}\mid \langle v_{k},x\rangle =\langle v_{k},r_{k}\rangle \}$,
sodass $S\subset H_{k}^{+}$ gilt. Werden nun die Vektoren $v_{k}$ auf die Länge eins normiert, dann ist die Folge $(v_{k})_{k\in \mathbb {N} }$ beschränkt und enthält damit nach dem Satz von Bolzano-Weierstraß eine konvergente Teilfolge $({\tilde {v}}_{k})_{k\in \mathbb {N} }$. Ist $v$ der Grenzwert einer solchen Teilfolge (${\tilde {v}}_{k}\to v$), dann ergibt sich
    $\langle v,r\rangle =\lim _{k\to \infty }\langle {\tilde {v}}_{k},r_{k}\rangle \leq \lim _{k\to \infty }\langle {\tilde {v}}_{k},s\rangle =\langle v,s\rangle$
für alle $s\in S$. Damit ist die Hyperebene
    $H=\{x\in \mathbb {R} ^{n}\mid \langle v,x\rangle =\langle v,r\rangle \}$
eine Stützhyperebene im Stützpunkt $r$ mit zugehörigen Stützhalbraum $H^{+}$.