(4.7)
D {x si ( x) 0, i 1,2, , 对于约束问题(4.7),设 x D 。若 x 使得 某个不等式约束有 si ( x ) 0 ,则该不等式约束 si ( x ) 0 称为是关于容许点 x 的起作用约束;否则,若 si ( x ) 0 , 则该不等式约束称为是关于容许点 x 的不起作用约束。
*
*
G( x* ) S ( x* ) * * p C ( x ) , 证 根据引理4.3,若 p G( x ) ,则 * * C ( x ) S ( x ) , 从而 G( x* ) C( x* ) 。又根据定理4.5,有 故必有 G( x* ) S ( x* ) 。
j 1
l
Lagrange 函数(4.4)的梯度是
x L L L
其中
x L f ( x ) j h j ( x )
l
L h1 ( x ), h2 ( x ),
最优性必要条件
j 1
hl ( x )
T
L( x* , 1* , 2* ,
C 是凸集,则称为凸锥。
显然,由 的集合
n 维向量 v1, v2 ,
m i 1
, vm 的全部非负组合构成
C {x x i vi , i 0}
是一个以原点为顶点的凸锥。由于这样的凸锥的边界是 (超)平面或直线,所以也称为由 v1 , v2 , , vm 张成的 凸多面锥。 n 是 D 定义4.3 设 R 中的非空集,且 x D。对于非零 n 向量 p R ,若存在 0 ,当 t (0, ) 时,必有 x tp D ,则 p 称为点 x 的容许方向向量,其方向 称为点 x 的容许方向。由点 x 的全部容许方向向量构成的 集合称为点 x 的容许方向锥,记作 C ( x* )