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