凸集和凸函数
定义 集合是的一个子集,称为凸集如果
空集认为是凸集。
直观上来说,凸集就是“鼓鼓的”集合,因此任意两点的连线必需落在集合里面。同时也必需是连续的。如下图所示:

后文中如果不特别指明,则用表示凸集。
命题1
- (a) 有限个凸集的交还是凸集。数学语言:任意集合的交是凸集;
- (b) 两个凸集的向量和(即集合)是凸集;
- (c) 对于任意的凸集和标量,集合(即集合)是凸的。进一步地,如果集合是凸的且是正的标量,则
- (d) 凸集的闭包和内部点也是凸的,即和也是凸的;
- (e) 通过一个仿射函数的凸集的映射和逆映射也是凸集。
这些命题的证明思路比较清晰,均是从定义出发。但是以后会经常使用这些思路,因此要多多体会。
证明:
(a)从集合中取两点,由于集合是凸集,因此的连线上的所有点均属于,因此也均属于它们的交集,由此,是凸的。
(b)同理可证(b),取集合里的两个点,表示为,其中且,则对于任意的,有
由于是凸集,所以,所以,由此,是凸集。
(c) 任选两点,则,则由于是凸的,所以有: 即 即 所以是凸集。
(d)