Trennungssatz

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.