Опорная гиперплоскость
Опо́рная гиперпло́скость множества в -мерном векторном пространстве, -мерная плоскость, которая содержит точки замыкания и оставляет в одном замкнутом пространстве. При опорная гиперплоскость называется опорной плоскостью, а при – опорной прямой.
Граничная точка множества , через которую проходит хотя бы одна опорная гиперплоскость, называется опорной точкой . У выпуклого множества все его граничные точки опорные. Последнее свойство Архимед использовал как определение выпуклости . Граничные точки выпуклого множества , через которые проходит единственная опорная гиперплоскость, называются гладкими.
В общих векторных пространствах, где гиперплоскость определяется как область постоянства значений линейного функционала, также вводится понятие опорной гиперплоскости как гиперплоскости, экстремальной по значению этого функционала среди гиперплоскостей, оставляющих в одном полупространстве.