对偶锥与广义不等式

令K是一个锥.集合
K ∗ = { y ∣ x T y ≥ 0 , ∀ x ∈ K } K^*=\{y|x^Ty\ge0,\forall x\in K\} K∗={y∣xTy≥0,∀x∈K}是K的对偶锥
它是锥并且是凸的,即便K不凸

从几何上看$y\in K^{\ast }$当且仅当-y是K在原点的一个支撑超平面的法线

对偶锥满足的性质:
$K^{\ast }$是闭凸锥
$K_1\subseteq K_2$可导出$K_1^{\ast }\subseteq K_2^{\ast }$
$如果K有非空内部,那么K\ast 是尖的$
$如果K的闭包是尖的,那么K^{\ast }有非空内部$
$K^{\ast \ast }是K的凸包的闭包.(因此如果K是凸和闭的,那么它对偶的对偶就是自身)$

锥定义的广义不等式的对偶不等式就锥的对偶锥定义的广义不等式
广义不等式及其对偶有一些重要性质
$x{\le }_{K}y当且仅当对于任意\lambda {\ge }_{K\ast }0有{\lambda }^{T}x\le {\lambda }^{T}y$
$x{<}_{K}y当且仅当对于任意\lambda {\ge }_{K\ast }0有{\lambda }^{T}x<{\lambda }^{T}y$

最小元的对偶性质:
x是S上关于广义不等式${\le }_K$的最小元的充要条件是,对于所有$\lambda {>}_{K^{\ast }}0$,x是在$z\in S$上及消化${\lambda }^{T}z$的唯一最优解.从几何上看,这意味着对于任意$\lambda {>}_{K^{\ast }}0$,超平面 { z ∣ λ T ( z − x ) = 0 } \{z|\lambda^T(z-x)=0\} {z∣λT(z−x)=0}是在x处对S的一个严格支撑超平面

极小元的对偶性质:
如果$\lambda {>}_{K^{\ast }}0$并且x在$z\in S$上极小化${\lambda }^{T}z$,那么x是极小的