来看一些重要的凸集合。
首先看一些简单的。
- 空集
∅
,单点集
{x0}
,全空间
Rn
都是仿射的,也是凸的。
- 任意直线是仿射的,凸的。如果直线通过原点就是凸锥。
- 一条线段是凸的,但不仿射(除非退化为一个点)。
- 一条射线是凸的,但不仿射。如果射线的起点是原点,就是凸锥。
- 任意子空间是仿射的、凸锥,自然也是凸的。
超平面与半空间
超平面的定义为:
{x|aTx=b},
其中 a∈Rn,a≠0 且 b∈R 。超平面是非平凡线性方程组的解空间,因此是仿射的。几何上讲,超平面 {x|aTx=b} 是与向量 a 的内积为
{x|aT(x−x0)=0},
其中 x0 是超平面上任意一点。进一步,超平面还可以写成
{x|aT(x−x0)=0}=x0+a⊥,
这里 a⊥ 表示 a 的正交补,即与
a⊥={v|aTv=0}.
一个超平面可以将 Rn 划分为两个半空间。闭的半空间定义为
{x|aTx⩽b}.
半空间是非平凡的线性不等式的解空间,这里 a≠0 。
半空间是凸的但不是仿射的。
半空间还可以写成
{x|aT(x−x0)⩽0},
其中 x0 是超平面上一点,这个表达式的几何解释就是:半空间由 x0 加上任意与法向量 a 成钝角的向量组成。
集合