|
考虑一个集合极小化问题(3.15),其中Φ:X→ gm是一个任意的目标函数,ψ:X→ GMP是一个任意约束函数。这个问题的最优值是p:=inf(Gm,){Φ(x)|0∈ ψ(x),x∈ X}。半空间值函数Sλ,v:IRm→ λ的gm∈ IRm,v∈ IRm+\\{0}定义为λ,v(z)=nη∈ IRm | vTη≥ λTzo(6.21)将被用作标量对偶理论(连续)线性泛函的集值替代物,如Hamel(2009)、Hamel&L¨ohne(2014)所述。这里有两种类型的对偶变量:变量λ∈ IRmis是拉格朗日乘子的常用向量,用于对ψ的值进行标量化,而变量v∈ IRm+是用于对Φ的值进行标度化的权重向量。集值拉格朗日L:X×IRm×(IRm+\\{0})→ G和目标函数H:IRm×(IRm+\\{0})→ (3.15)的对偶问题的gm定义为(x,λ,v)=clΦ(x)+inf(Gm),){Sλ,v(z)|z∈ ψ(x)}, (6.22)H(λ,v)=inf(Gm,){L(x,λ,v)|x∈ X}。对偶问题的最优值q是对偶目标函数在双变量上的上确界:q:=sup(Gm,){H(λ,v)|λ∈ IRm,v∈ IRm+\\{0}。(6.23)提案6.1。(Hamel&L–ohne 2014,定理6.1)假设Φ和ψ是凸函数,p6=IRm。强对偶成立,也就是说,如果Slater条件的下列集值形式成立,p=q:存在‘x∈ X使得Φ(`X)6= 和ψ(°x)∩ -IRm++6=.6.4命题3.1第3节中结果的证明。单调性、平移性和凸性是微不足道的。为了证明0的完整性,使用命题2.1的证明,我们可以找到z∈ 伊姆威思`(-z)∈ -IRm+andz∈ 伊姆威思`(-z)∈ IRm++。根据C的性质,R`(0)6∈ {, IRm}。示弱*-封闭性,let(Xn)n∈Nbe L中的有界序列∞快到X了∈ L∞几乎可以肯定。
|