定义: 函数 f : R n → R f:R^n\rightarrow R f:Rn→R是凸的,如果 d o m f domf domf是凸集,且对于任意 x , y ∈ d o m f x,y\in domf x,y∈domf和任意 0 ≤ θ ≤ 1 0\le \theta \le1 0≤θ≤1都有 f ( θ x ( 1 − θ ) y ) ≥ θ f ( x ) ( 1 − θ ) f ( y ) f(\theta x…
令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 ∈ K ∗ y\in K^* y∈K∗当且仅当-y是K在原点的一个支撑超平面的法线
对偶锥满足的性质: K ∗ K^*…