我就用通俗的语言记录了。
- 空集、单个点和整个 R n \bm{R}^n Rn空间都是 R n \bm{R}^n Rn的子仿射集合(affine subsets),因此也是凸的(convex);
- 任何直线都是仿射的(affine)。同时如果这条直线经过原点,那么它就是一个线性子空间(subspace),因此也是一个凸锥(convex cone);
- 一条直线的分割(segment)是凸的,但不是仿射的,除非缩减到一个点;
- 一条射线是凸的(convex),但不是仿射的(affine)。同时,如果它的发射点是原点,它也是一个凸锥(convex cone);
- 任何线性子空间都是仿射的,也是一个凸锥,因此也是凸的。