在支撑函数的专题中我们知道:设
f
是一个正常的凸函数,如果
也就是说:如果
f(x)=δ(x|K)
, 其中
K
是一个凸锥,那么
由于
f∗=δ(⋅|K。)
的共轭函数是
clf=δ(x|clK)
,所以有
K。。=clK
所以我们总结上面的结果如下:
定理1
设
K
是一个闭凸锥,那么
下面考虑一个具体的例子:
设
K
是由
K={x∈Rn|x=∑i∈Iλiai,λi≥0,∀i∈I}
那么,
K。={x∗|∀x∈K,⟨x,x∗⟩≤0}={x∗|∀i∈I,⟨ai,x∗⟩≤0}
另外由上面的定理1,
K。。=clK
。
所以如果一个凸锥形如:
{x∗|∀i∈I,⟨ai,x∗⟩≤0}
那么它的极锥就是由
{ai|i∈I}
生成的凸锥的闭包。