凸集定义的直观理解

1,249 阅读1分钟

一、凸集的定义[1]

定义:设Sn维欧式空间\mathbb{R}^n中的一个集合,若对S中任意两点,联结他们的线段仍属于S;换言之,对S中任意两点x^{(1)},x^{(2)},及每个实数\lambda\in[0,1],都有

\lambda x^{(1)} +( 1-\lambda) x^{(2)} \in S, \tag{1}

则称S为凸集。如图1:

图1

二、凸集定义直观理解

为什么公式(1)的前半部分

\lambda x^{(1)} +( 1-\lambda) x^{(2)} \tag{2}

能表示两个点的联线?把公式(2)展开并合并含有\lambda项得到

x^{(2)} + \lambda (x^{(1)} - x^{(2)}) \tag{3}

几何图形具有直观理解的好处,我们在几何图形中表示公式(3),并进行理解,请看图2:

图2
其中,把x^{(1)}x^{(2)}表示为向量形式(图中为蓝色实线),根据向量知识,其中长黄色实线向量表示

x^{(1)}-x^{(2)} \tag{4}

短黄色实线向量表示当\lambda \in [0,1]

\lambda ( x^{(1)}-x^{(2)} ) \tag{5}

所以公式(3)可以表示为绿色实线向量,其终点在x^{(1)}x^{(2)}的联结线段上;但当\lambda \notin [0,1]时,其终点在联结直线上,但在线段外,两个红色点分别表示当\lambda > 1\lambda < 0时,其终点的位置。


  1. 陈宝林.最优化理论与算法(第2版)[M].清华大学出版社:北京,2015:10. ↩︎