优化基础（一）：hyperplane, half space, normal vector, polyhedron set, polyhedron, polytype的含义

前言

在看一些进阶的运筹知识时，会有一些专业术语涌上来。以前我的心态是，这种能绕开就绕开，看着头大，大多数博客和书籍一堆公式直接把我这个小弱鸡劝退了，这次在B站学习方述诚老师的《introduction to linear programming》课程时，终于把一些术语听懂了。

歪个题，方老师的课讲的真的很棒，建议运筹的小伙伴们都能系统的去刷一遍。

6个专业术语的通俗

hyperplane（超平面）

从几何学上看，超平面是一个维度比其所处环境空间少一维的几何实体。比如在三维的空间中，超平面是一个二维的几何实体（平面），在二维的空间中，超平面是一个一维的几何实体（直线），以此类推。

超平面通常被表征为以下的等式：
$$\alpha X=\beta$$

half space（半空间）

超平面可以将空间分为两个部分，以二维空间为例，如下图所示，直线（二维空间的超平面）将空间分成了上下两个超平面（upper half space and lower half space），upper half space是$\alpha X>\beta$的，lower half space是$\alpha X<\beta$的：

normal vector（法向量/法线）

法向量指的是，在给定点上垂直于该表面的向量。当法线被应用于闭合表面时，通常会区分指向表面内部的法向量和指向表面外部的法向量。

方老师的课程里提到：

The normal vector is directed toward the upper half space.

polyhedral set / polyhedron（多面体集合）、polytype （多型体）

多面体集合是有限个封闭半空间的交集（可以想象成由多个超平面围成的形状），如果它是非空且有界的，这个多面体几何就是个多型体。

A polyhedral set or polyhedron is a set formed by the intersection of a finite number of a closed half spaces. If it is nonempty and unbounded, it is a polytype.

参考资料

1. Introduction to Linear Programming.
2. Hyperplane, Subspace and Halfspace
   
3. Normal Vector