凸集、凸包、凸函数

在集合C中选取K个实数点，构建如下组合：

对于不同的组合，构造的新点有不同名字：

有了组合的概念很容易得到集合的概念

包是包含这个集合的最小的XX组合。

仿射集：集合内，任意两点的连接直线一定在集合内

凸集：集合内，任意两点之间的线段一定在集合内

任意一个仿射集一定是凸的，仿射组合是凸组合的特例；凸锥一定也是凸的；

如果一个集合只有一个点，任意一个点一定是仿射集和凸集；当点在原点时，任意一个点一定是凸锥。

空集一定是仿射集、凸集、凸锥。线段有可能缩减为一个点。

以x0为起点，v为方向的射线

凸集：

凸包：

凸函数：

注：摘自马昌凤——最优化方法及其matlab程序设计

1、判断是否是仿射的特殊例子
（1） 空集、单点集、都是的仿射

（2）任意直线都是仿射

（3） 一条线段是凸的，但不是仿射

（4）射线是凸的，但不是仿射

（5）任何子空间都是仿射的、凸锥
2、超平面
数学上超平面是具有下列形式的集合:

从上式看出，超平面其实是线性方程的解空间。从几何上看，超平面其实是以a为法向量的平面。如下图：

3、半空间
半空间数学上的定义是

几何上是：