超平面
超平面是具有以下形式的集合:,其中
。即超平面是非平凡的线性方程的解空间,超平面是一个仿射集合。
中由法向量
和超平面上一点
确定的超平面。对于超平面上任意一点
(如深色箭头所示)都垂直于
。
半空间
一个超平面将划分为两个半空间。(闭的)半空间是具有以下形式的集合:
,其中
。即半空间是非平凡的线性不等式的解空间,半平面是凸的,但不是仿射的。
上由
定义的超平面决定了两个半空间。由
决定的半空间(无阴影)是向
扩展。由
确定的半空间(阴影所示)向
方向扩展。向量
是这个半空间向外的法向量。
多面体
多面体被定义为有限个线性等式和不等式的解集,即具有以下形式的集合:。即多面体是有限个半空间和超平面的交集。仿射集合(例如子空间、超平面、直线)、射线、线段和半空间都是多面体。
多面体(阴影部分)是外法向量
的五个半空间的交集。