凸集之对偶锥和对偶广义不等式
1.对偶锥(Dual cones)
设K是一个圆锥体。集合
被称为K的对偶锥。正如顾名思义的,K∗是一个锥,并且总是凸的,即使原始的锥K不是凸的。
几何上,y∈K∗当且仅当−y是在原点处支持K的超平面的法线。
左图,向内法向y的半空间包含圆锥体K,所以y∈K∗。
右图,向内法向z的半空间不包含K,所以z∉K∗。
对偶锥满足几个性质,例如:
①K∗是封闭的和凸的;
②K1⊆K2意味着K2∗⊆K1∗;
③如果K的内部为非空,则K∗是指向的;
④如果K的闭合是指向的,那么K∗的内部是非空的。
⑤K∗∗是K的凸包的闭包。(因此,如果K是凸的和闭的,则K∗∗=K)。
2.对偶广义不等式(Dual generalized inequalities)
现在假设凸锥K是适当的,所以它导出了一个广义不等式K。然后它的对偶锥K∗也是适当的,从而导出了一个广义不等式。我们将广义不等式
称为广义不等式的对偶。
关于广义不等式及其对偶性的一些重要性质是:
①
②
3.对偶不等式中的最小元素与极小元素(Minimum and minimal elements via dual inequalities)
我们可以利用对偶广义不等式来刻画一个(可能是非凸的)集S⊆Rm的最小值和最小元素。
最小元素的对偶特征
我们首先考虑最小元素的特征:x是S的最小元素,对于广义不等式K,当且仅当对于所有λ≻K∗0,x是z∈S.几何上λTz的唯一最小化器,这意味着对于任何λ≻K∗0,超平面
是一个严格的支持超平面。(严格表示的支持超平面,我们的意思是,超平面只在x点处与S相交。)请注意,不需要集合S的凸性。
如图所示,最小元素的双重特征。点x是集合S相对于R2+的最小元素。这相当于:对于每个λ≻0,超平面{z|λT(z−x)=0}严格支持S,即一边包含S,只在x触摸它。
最小元素的对偶性
现在我们转向最小元素的一个类似的表征。在这里,在充要条件之间存在着差距。如果λ≻K∗0和x将λTz比z∈S最小化,那么x是最小的。
如图所示,集合S⊆R2。相对于R2+,它的最小点集,显示为它的(左下)边界的较暗的部分。
S上的λT1z的最小值是x1,并且自λ1≻0以来是最小值。S上的λT2z的最小值是x2,这是S的另一个最小点,因为λ2≻0。