理论部分二凸集二幻灯片.pptVIP

理论部分　 凸集的分离 定义1 设 为两非空凸集， 若存在 非零向量 和实数 使得： 则称超平面 分离了集合 和 注： 严格分离． 定理1 设 是非空闭凸集， 但 则： （１） 存在唯一的点 使得集合 到点 的距离最小， 即： （２） 是点 到集合 的最短距离点的 充要条件为： 注： 闭凸集外一点与闭凸集的极小距离， 即投影定理。 定理2 设 为非空闭凸集， 则存在非零向量 和实数 使得： 即存在超平面 严格分离点 与凸集 注： 点与闭凸集的分离定理。 引理1 设 为 矩阵， 则下述两组方程中有且仅有一组有解： 其中 注： 以上是在最优化理论研究中起重要作用 的Farkas引理。 定义2 设 为非空集合， 且点 属于集合 的边界， 即 若存在非零 向量 使成立： 或者 则称超平面 是集合 在其边界点 的支撑超平面。 定理3 设 为非空凸集， 则存在 非零向量 使成立 即凸集 在其边界点处存在支撑超平面， 其中 表示集合 的闭包。 注： 非空凸集在其任一个边界点处都存在 支撑超平面。 推论1 设 是非空凸集， 则存在 非零向量 使成立 定理4 设 是 的两个非空凸集， 且 则存在超平面分离 和 即存在非零向量 使得 注： 以上是两凸集分离定理。 定理5 设 为 阶矩阵， 则或者存在 使 则或者存在 使 且两者不能同时成立。 注： 以上是非线性最优化理论中具有重要 作用的Gordan择一定理。