1 分离与支撑超平面
(图片来自斯坦福Boyd Convex Optimization)
假设 C 和
严格分离:如果存在 a≠0 的超平面 aTx=b 将凸集分隔开,使 C 中点满足
(图片来自斯坦福Boyd Convex Optimization)
设 C⊆Rn 而 x0 是其边界 bdC 上一点,若 a≠0 ,并且对于任意 x∈C 满足 aTx≤aTx0 ,那么称超平面 {
x∣aTx=aTx0} 为集合 C 在
2 对偶锥
令 K 是一个锥,集合