关于仿射集合、凸集、凸锥我们有一些重要的例子,首先介绍一些简单的:
- 空集 ∅ \varnothing ∅、任意一点(单点集) { x 0 } \{x_0\} { x0}、全空间 R n \mathbf{R}^n Rn都是 R n \mathbf{R}^n Rn的仿射子集。
- 任意直线是仿射的,如果直线通过零点,则是子空间,因此也是凸锥。
- 一条线段是凸的,但不是仿射的。
- 一条射线是凸的,但不是仿射的,如果射线的基点 x 0 x_0 x0是0,则它是凸锥。
- 任意子空间是仿射的、凸锥。
超平面Hyperplane与半空间halfspace
超平面是具有下面形式的集合
{ x ∣ a ⊤ x = b } \{x|a^\top x=b\} {
x∣a⊤x=b}
其中 a ∈ R n , a ≠ 0 , b ∈ R a\in \mathbf{R}^n, a\neq 0, b\in \mathbf{R} a∈Rn,a=0,b∈R,超平面是关于x的非平凡线性方程的解空间(因此是一个仿射集合),几何上,超平面 { x ∣ a ⊤ x = b } \{x|a^\top x=b\} {
x∣a⊤x=b}可以解释与给定向量a的内积为常数的点的集合,也可以看成法线方向为a的超平面,而常数b决定了这个平面从原点的偏移offset。超平面可以表示成下面的形式
{ x ∣ a ⊤ ( x − x 0 ) = 0 } = x 0 + a ⊥ \{x|a^\top(x-x_0)=0\}=x_0+a^\perp {
x∣a⊤(x−x0)=0}=x0+a⊥