Полупростра́нство , ограниченное гиперплоскостью α, — это геометрическая фигура в пространстве, для которой выполняется следующее:

1. Эта фигура включает в себя плоскость α, но не сводится к ней.
2. Любой отрезок, ограниченный произвольными точками этой фигуры A и B , не принадлежащими α, не имеет пересечений с плоскостью α.
3. Любой отрезок, ограниченный произвольными точками этой фигуры A и B , где А принадлежит α, а B — нет, имеет пересечение с плоскостью α.

Формальное определение

Пусть ${\displaystyle V}$ будет векторным пространством, ${\displaystyle \lambda \colon V\to \mathbb {R} }$ линейной формой , тогда каждое число ${\displaystyle \beta \in \mathbb {R} }$ определяет замкнутое полупространство

${\displaystyle \{v\in V\mid \lambda (v)\geq \beta \}}$

Если неравенство строгое, то полупространство

${\displaystyle \{v\in V\mid \lambda (v)>\beta \}}$

называется открытым.

В статье не хватает ссылок на источники (см. рекомендации по поиску ). Информация должна быть проверяема , иначе она может быть удалена. Вы можете статью, добавив ссылки на авторитетные источники в виде сносок . ( 3 марта 2023 )