关于锥控制性质

设Y为R~p(p≥2)中非空子集,S为R~p中非平凡凸锥,由S在Y中可产生一个序关系“≥s”:即对任意t,u∈Y,若t-u∈S,则记t≥s~u。定义1 Y中的点y_0称为Y的有效点,若{y:y≥sy_0,y∈Y}=(y_0}。记Y中的有效点全体为E(Y|S)。由定义易知,E(Y|S)={y_0:(Y-y_0)∩S={0}}。