凸优化理论与应用凸集绪论.pptVIP

信息与通信工程学院 庄伯金 bjzhuang@bupt.edu.cn 信息与通信工程学院 庄伯金 bjzhuang@bupt.edu.cn 信息与通信工程学院 庄伯金 bjzhuang@bupt.edu.cn * 凸优化理论与应用 第一章 凸集 信息与通信工程学院 庄伯金 bjzhuang@bupt.edu.cn * 仿射集(Affine sets) 直线的表示： 线段的表示： 信息与通信工程学院 庄伯金 bjzhuang@bupt.edu.cn * 仿射集(Affine sets) 仿射集的定义：过集合C内任意两点的直线均在集合C内，则称集合C为仿射集。 仿射集的例：直线、平面、超平面 信息与通信工程学院 庄伯金 bjzhuang@bupt.edu.cn * 仿射集 仿射包：包含集合C的最小的仿射集。 仿射维数：仿射包的维数。 信息与通信工程学院 庄伯金 bjzhuang@bupt.edu.cn * 仿射集 内点（interior）： 相对内点（relative interior）： 信息与通信工程学院 庄伯金 bjzhuang@bupt.edu.cn * 凸集(Convex Sets) 凸集的定义：集合C内任意两点间的线段均在集合C内，则称集合C为凸集。 信息与通信工程学院 庄伯金 bjzhuang@bupt.edu.cn * 凸集 凸包的定义：包含集合C的最小的凸集。 信息与通信工程学院 庄伯金 bjzhuang@bupt.edu.cn * 锥(Cones) 锥的定义： 凸锥的定义：集合C既是凸集又是锥。 锥包的定义：集合C内点的所有锥组合。 信息与通信工程学院 庄伯金 bjzhuang@bupt.edu.cn * 超平面和半空间 超平面(hyperplane) ： 半空间(Halfspace)： 信息与通信工程学院 庄伯金 bjzhuang@bupt.edu.cn * 欧氏球和椭球 欧氏球(euclidean ball): 椭球(ellipsoid): 信息与通信工程学院 庄伯金 bjzhuang@bupt.edu.cn * 范数球和范数锥 范数(norm)： 范数球(norm ball)： 范数锥(norm cone)： 信息与通信工程学院 庄伯金 bjzhuang@bupt.edu.cn * 多面体(Polyhedra) 多面体： 单纯形(simplex)： 信息与通信工程学院 庄伯金 bjzhuang@bupt.edu.cn * 半正定锥(Positive semidefinite cone) n阶对称矩阵集： n阶半正定矩阵集： n阶正定矩阵集： n阶半正定矩阵集为凸锥！ 信息与通信工程学院 庄伯金 bjzhuang@bupt.edu.cn * 保持凸性的运算 集合交运算 仿射变换 透视/投射函数(perspective function) 信息与通信工程学院 庄伯金 bjzhuang@bupt.edu.cn * 保持凸性的运算 线性分式函数(linear-fractional function) 信息与通信工程学院 庄伯金 bjzhuang@bupt.edu.cn * 真锥(proper cone) 真锥的定义：锥 满足如下条件 K具有内点 K内不含直线 信息与通信工程学院 庄伯金 bjzhuang@bupt.edu.cn * 广义不等式 真锥 下的偏序关系： 例： 逐项不等式 矩阵不等式 广义不等式 严格广义不等式 信息与通信工程学院 庄伯金 bjzhuang@bupt.edu.cn * 广义不等式的性质 信息与通信工程学院 庄伯金 bjzhuang@bupt.edu.cn * 严格广义不等式的性质 信息与通信工程学院 庄伯金 bjzhuang@bupt.edu.cn * 最值和极值 最小元的定义：设 ，对 ，都有 成立，则称 为 的最小元。 极小元的定义：设 ，对于 ，若 ，则 成立，则称 为 的极小元。 信息与通信工程学院 庄伯金 bjzhuang@bupt.edu.cn * 分割超平面(separating hyperplane) 定理：设 和 为两不相交凸集，则存在超平面将 和 分离。即： 信息与通信工程学院 庄伯金 bjzhuang@bupt.edu.cn * 支撑超平面(supporting hyperplane) 定义：设集合 ， 为 边界上的点。若存在 ，满足对任意 ，都有 成立，