凸优化理论与应用_凸集

《凸优化理论与应用_凸集》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、信息与通信工程学院庄伯金bjzhuang@bupt.edu.cn1凸优化理论与应用第一章凸集信息与通信工程学院庄伯金bjzhuang@bupt.edu.cn2仿射集(Affinesets)直线的表示：线段的表示：仿射集的定义：过集合C内任意两点的直线均在集合C内，则称集合C为仿射集。仿射集的例：直线、平面、超平面信息与通信工程学院庄伯金bjzhuang@bupt.edu.cn3仿射集仿射包：包含集合C的最小的仿射集。仿射维数：仿射包的维数。相对内点（relativeinterior）：相对内点信息与通信工程学院庄伯金bjzhuang@bupt.edu.cn4信息与通信工程

2、学院庄伯金bjzhuang@bupt.edu.cn5凸集(ConvexSets)凸集的定义：集合C内任意两点间的线段均在集合C内，则称集合C为凸集。凸集信息与通信工程学院庄伯金bjzhuang@bupt.edu.cn6信息与通信工程学院庄伯金bjzhuang@bupt.edu.cn9信息与通信工程学院庄伯金bjzhuang@bupt.edu.cn10凸集凸包的定义：包含集合C的最小的凸集。凸集信息与通信工程学院庄伯金bjzhuang@bupt.edu.cn11信息与通信工程学院庄伯金bjzhuang@bupt.edu.cn12锥(Cones)锥的定义（nonnegativ

3、ehomogeneous）凸锥的定义：集合C既是凸集又是锥。锥包的定义：集合C内点的所有锥组合。锥信息与通信工程学院庄伯金bjzhuang@bupt.edu.cn13锥包信息与通信工程学院庄伯金bjzhuang@bupt.edu.cn14信息与通信工程学院庄伯金bjzhuang@bupt.edu.cn15超平面和半空间超平面(hyperplane)：半空间(Halfspace)：超平面信息与通信工程学院庄伯金bjzhuang@bupt.edu.cn16半空间信息与通信工程学院庄伯金bjzhuang@bupt.edu.cn17信息与通信工程学院庄伯金bjzhuang@bup

4、t.edu.cn18欧氏球和椭球欧氏球(euclideanball):椭球(ellipsoid):椭圆球信息与通信工程学院庄伯金bjzhuang@bupt.edu.cn19信息与通信工程学院庄伯金bjzhuang@bupt.edu.cn20范数球和范数锥范数(norm)：范数球(normball)：范数锥(normcone)：信息与通信工程学院庄伯金bjzhuang@bupt.edu.cn21多面体(Polyhedra)多面体：单纯形(simplex)：信息与通信工程学院庄伯金bjzhuang@bupt.edu.cn22信息与通信工程学院庄伯金bjzhuang@bupt.

5、edu.cn23半正定锥(Positivesemidefinitecone)n阶对称矩阵集：n阶半正定矩阵集：n阶正定矩阵集：n阶半正定矩阵集为凸锥！信息与通信工程学院庄伯金bjzhuang@bupt.edu.cn24保持凸性的运算集合交运算仿射变换透视函数(perspectivefunction)线性分式函数(linear-fractionalfunction)信息与通信工程学院庄伯金bjzhuang@bupt.edu.cn25真锥(propercone)真锥的定义：锥满足如下条件K具有内点K内不含直线信息与通信工程学院庄伯金bjzhuang@bupt.edu.cn26

6、广义不等式真锥下的偏序关系：例：逐项不等式矩阵不等式广义不等式严格广义不等式信息与通信工程学院庄伯金bjzhuang@bupt.edu.cn27广义不等式的性质信息与通信工程学院庄伯金bjzhuang@bupt.edu.cn28严格广义不等式的性质信息与通信工程学院庄伯金bjzhuang@bupt.edu.cn29最值和极值最小元的定义：设，对，都有成立，则称为的最小元。极小元的定义：设，对于，若，则成立，则称为的极小元。信息与通信工程学院庄伯金bjzhuang@bupt.edu.cn30分割超平面(separatinghyperplane)定理：设和为两不相交凸集，则存

7、在超平面将和分离。即：信息与通信工程学院庄伯金bjzhuang@bupt.edu.cn31支撑超平面(supportinghyperplane)定义：设集合，为边界上的点。若存在，满足对任意，都有成立，则称超平面为集合在点处的支撑超平面。定理：凸集边界上任意一点均存在支撑超平面。定理：若一个闭的非中空集合，在边界上的任意一点存在支撑超平面，则该集合为凸集。信息与通信工程学院庄伯金bjzhuang@bupt.edu.cn32对偶锥(dualcone)对偶锥的定义：设为锥，则集合称为对偶锥。对偶锥的性质：真锥的对偶锥仍然是真锥！信