有时候我们对一个线性函数 ⟨⋅,x∗⟩ 在一个凸集 C 上的极值感兴趣,我们研究这个问题的方法是讨论当
定义1.
凸集 C 的支撑函数(support function)
δ∗(x∗|C)=sup{
⟨x,x∗⟩|x∈C}
.
以上情况对应的是极大化线性函数,相应的可以极小化:
inf{
⟨x,x∗⟩|x∈C}=−δ∗(−x∗|C)
.
考虑包含 C 的闭的半空间:
上式成立当且仅当:
β≥δ∗(x∗|C)
所以我们说 C 的支撑函数