2.6对偶锥与广义不等式
- 对偶锥
- 广义不等式的对偶
- 对偶不等式定义的最小元和极小元
对偶锥
锥K的对偶锥是集合
如上图左图的y是K的对偶锥的一个元素,右图z不是K的对偶锥的元素,几何上看当且仅当-y是K在原点的一个支撑超平面的法向量。
广义不等式的对偶
如果K是正常锥,则K可导出一个广义不等式,并且K的对偶也是正常锥,其对偶也可以导出一个广义不等式。
定义:广义不等式为广义不等式的对偶。
<锥K的对偶锥是集合
如上图左图的y是K的对偶锥的一个元素,右图z不是K的对偶锥的元素,几何上看当且仅当-y是K在原点的一个支撑超平面的法向量。
如果K是正常锥,则K可导出一个广义不等式,并且K的对偶也是正常锥,其对偶也可以导出一个广义不等式。
定义:广义不等式为广义不等式的对偶。
<