![凸集和凸函数和凸规划_第1页](http://file4.renrendoc.com/view/5c57d90d75a76b482bd597ed278de564/5c57d90d75a76b482bd597ed278de5641.gif)
![凸集和凸函数和凸规划_第2页](http://file4.renrendoc.com/view/5c57d90d75a76b482bd597ed278de564/5c57d90d75a76b482bd597ed278de5642.gif)
![凸集和凸函数和凸规划_第3页](http://file4.renrendoc.com/view/5c57d90d75a76b482bd597ed278de564/5c57d90d75a76b482bd597ed278de5643.gif)
![凸集和凸函数和凸规划_第4页](http://file4.renrendoc.com/view/5c57d90d75a76b482bd597ed278de564/5c57d90d75a76b482bd597ed278de5644.gif)
![凸集和凸函数和凸规划_第5页](http://file4.renrendoc.com/view/5c57d90d75a76b482bd597ed278de564/5c57d90d75a76b482bd597ed278de5645.gif)
版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
关于凸集和凸函数和凸规划第1页,课件共50页,创作于2023年2月凸集---定义线性组合(linearCombination)仿射组合(AffineCombination)凸组合(ConvexCombination)凸锥组合(ConvexConeCombination)第2页,课件共50页,创作于2023年2月凸集---定义例
二维情况下,两点x1,x2的(a)线性组合为全平面;(b)仿射组合为过这两点的直线;(c)凸组合为连接这两点的线段;(b)凸锥组合为以原点为锥顶并通过这两点的锥.第3页,课件共50页,创作于2023年2月凸集---定义第4页,课件共50页,创作于2023年2月凸集---定义定义1设集合若对于任意两点及实数都有:则称集合为凸集.常见的凸集:单点集{x},空集
,整个欧氏空间Rn,超平面:半空间:第5页,课件共50页,创作于2023年2月例:证明超球为凸集.证明:设为超球中的任意两点,则有:即点属于超球,所以超球为凸集.凸集----举例第6页,课件共50页,创作于2023年2月(1)任意多个凸集的交集为凸集.
(2)设是凸集,是一实数,则下面的集合是凸集:凸集-----性质(3)第7页,课件共50页,创作于2023年2月推论:设是凸集,则也是凸集,其中是实数.
(4)
S是凸集当且仅当S中任意有限个点的凸组合仍然在S中.P23,定理2.9凸集-----性质第8页,课件共50页,创作于2023年2月注:和集和并集有很大的区别,凸集的并集未必是凸集,而凸集的和集是凸集.例:表示轴上的点.表示轴上的点.则表示两个轴的所有点,它不是凸集;而凸集.凸集-----性质第9页,课件共50页,创作于2023年2月定义设S中任意有限个点的所有凸组合所构成的集合称为S的凸包,记为H(S),即凸集-----凸包(ConvexHull)定理2.1.4
H(S)是Rn
中所有包含S的凸集的交集.H(S)是包含S的最小凸集.第10页,课件共50页,创作于2023年2月定义锥、凸锥凸集-----凸锥(ConvexCone)第11页,课件共50页,创作于2023年2月定义分离(Separation)凸集-----凸集分离定理第12页,课件共50页,创作于2023年2月性质定理2.1.5凸集-----凸集分离定理(2)是点到集合的最短距离点的充要条件为:注:闭凸集外一点与闭凸集的极小距离,即投影定理。第13页,课件共50页,创作于2023年2月定理2.1.5直观解释我们不妨把一个闭凸集想象为一个三维的充满了气体的气球(不一定为标准球形,但必须是凸的),那么,在气球外一点,到气球各点(包括内部)的距离是不一样的,但直觉告诉我们,肯定在气球上有一点,它到该点的距离是所有距离中最小的。这是凸集的特有性质。如果不是凸集,就不会这样了,比如一个平面上对称心形的图形(它不是凸的)外一点,至少可以找到2点,使其到外面那一点的距离最小。凸集-----凸集分离定理第14页,课件共50页,创作于2023年2月凸集分离定理定理2.1.6凸集-----凸集分离定理ylS点与闭凸集的分离定理第15页,课件共50页,创作于2023年2月凸集分离定理应用---Farkas引理定理2.1.7凸集-----凸集分离定理应用Farkas引理在我们即将学习的最优性条件中是重要的基础.第16页,课件共50页,创作于2023年2月Farkas引理–几何解释设A的第i个行向量为ai,i=1,2,…,m,则(2.1.4)式有解当且仅当凸锥{x|Ax≤0}与半空间{x|bTx>0}的交不空.即(2.1.4)式有解当且仅当存在向量x,它与各ai的夹角钝角或直角,而与b的夹角为锐角.(2.1.5)式有解当且仅当b在由a1,a2,…,am所生成的凸锥内.a2(2.1.4)有解,(2.1.5)无解a1amb凸集-----凸集分离定理应用a1a2amb(2.1.4)无解,(2.1.5)有解第17页,课件共50页,创作于2023年2月凸集分离定理应用---Gordan定理定理2.1.8凸集-----凸集分离定理应用利用Farkas引理可推导下述的Gordan定理和择一性定理.凸集分离定理应用---择一性定理定理2.1.9第18页,课件共50页,创作于2023年2月凸函数凸函数(ConvexFunction)----定义2.4设是非空凸集,若对任意的及任意的都有:则称函数为上的凸函数.注:将上述定义中的不等式反向,可以得到凹函数的定义.第19页,课件共50页,创作于2023年2月凸函数严格凸函数设是非空凸集,若对任意的及任意的都有:则称函数为上的严格凸函数.注:将上述定义中的不等式反向,可以得到严格凹函数的定义.第20页,课件共50页,创作于2023年2月凸函数
对一元函数在几何上表示连接的线段.所以一元凸函数表示连接函数图形上任意两点的线段总是位于曲线弧的上方.几何性质表示在点处的函数值.
第21页,课件共50页,创作于2023年2月f(X)Xf(X1)f(X2)
X1X2第22页,课件共50页,创作于2023年2月f(X)Xf(X1)f(X2)
X1X2αx1+(1-α)x2f(αx1+(1-α)x2)第23页,课件共50页,创作于2023年2月f(X)Xαf(x1)
+(1-α)f(x2)f(X1)f(X2)
X1X2αx1+(1-α)x2f(αx1+(1-α)x2)第24页,课件共50页,创作于2023年2月f(X)Xf(X1)f(X2)
X1X2任意两点的函数值的连线上的点都在曲线的上方αx1+(1-α)x2f(αx1+(1-α)x2)αf(x1)
+(1-α)f(x2)例4.2.1第25页,课件共50页,创作于2023年2月(a)凸函数(b)凹函数该定义的一个应用——证明不等式例:证明Young不等式推广:Hölder不等式P412.37证法:在Young不等式中令第26页,课件共50页,创作于2023年2月例:设试证明在上是严格凸函数.证明:设且都有:因此,在上是严格凸函数.凸函数第27页,课件共50页,创作于2023年2月例:试证线性函数是上的凸函数.证明:设则故,是凸函数.类似可以证明也是凹函数.凸函数第28页,课件共50页,创作于2023年2月凸函数定理1设是凸集上的凸函数充要条件性质詹生(Jensen)不等式不等式应用:设,证明:P412.36第29页,课件共50页,创作于2023年2月凸函数定理2性质正线性组合第30页,课件共50页,创作于2023年2月凸函数定理3设是凸集上的凸函数,则对任意,水平集是凸集.水平集(LevelSet)称为函数f在集合S上关于数的水平集.注:定理3的逆命题不成立.第31页,课件共50页,创作于2023年2月下面的图形给出了凸函数的等值线的图形,可以看出水平集是凸集.凸函数第32页,课件共50页,创作于2023年2月凸函数第33页,课件共50页,创作于2023年2月定理1:设是定义在凸集上,令则:(1)是定义在凸集是凸集上的凸函数的充要条件是对任意的一元函数为上的凸函数.(2)设若在上为严格凸函数,则在上为严格凸函数.凸函数凸函数的判别定理第34页,课件共50页,创作于2023年2月该定理的几何意义是:凸函数上任意两点之间的部分是一段向下凸的弧.凸函数第35页,课件共50页,创作于2023年2月定理4设在凸集上可微,则:在上为凸函数的充要条件是对任意的都有:严格凸函数(充要条件)??凸函数凸函数的判别定理---一阶条件注:定理4提供了一个判别可微函数是否为凸
函数的依据.第36页,课件共50页,创作于2023年2月凸函数定理4-----
几何
解释一个可微函数
是凸函数当且
仅当函数图形
上任一点处的
切平面位于曲
面的下方.第37页,课件共50页,创作于2023年2月凸函数定理4-----
几何
解释一个可微函数
是凸函数当且
仅当函数图形
上任一点处的
切平面位于曲
面的下方.第38页,课件共50页,创作于2023年2月定理5:设在开凸集内二阶可微,则是内的凸函数的充要条件为:对任意的Hesse矩阵半正定,其中:凸函数凸函数的判别定理---二阶条件第39页,课件共50页,创作于2023年2月定理2.3.6:设在开凸集内二阶可微,若在内正定,则在内是严格凸函数.注:反之不成立.例:f(x)是严格凸的,但在点处不是正定的凸函数凸函数的判别定理---二阶条件第40页,课件共50页,创作于2023年2月例:凸函数凸函数的判别定理---二阶条件第41页,课件共50页,创作于2023年2月凸规划凸规划(ConvexProgramming)设为凸集,为上的凸函数,则称规划问题为凸规划问题.例:为上的凸函数,为无约束凸规划问题.例:凸规划第42页,课件共50页,创作于2023年2月凸规划例:第43页,课件共50页,创作于2023年2月凸规划定理2.4(1)凸规划问题的任一局部极小点是全局极小点,且全体极小点的集合为凸集.(2)若是凸集上的严格凸函数,且凸规划问题局部极小点x*存在,则x*是唯一的全局极小点.凸规划的基本性质第44页,课件共50页,创作于2023年2月定理凸规划的任一局部最优解都是它的整体最优解。证明:设x*是凸规划的一个局部解,则存在δ>0,使如果x*不是整体最优解,则又因为f是凸函数,所以取α>0充分小,有第45页,课件共50
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 2024建筑工程劳务分包木工分包合同
- 做情绪的主人 (教案)2023-2024学年心理健康五年级
- 2024书画艺术品委托销售协议书
- 2024基金代持股份代持协议
- 2024建筑工程安全生产合同范本
- 2024委托投资协议书
- 2024打水井施工合同
- 2024度树木清理协议书范本
- 2024房屋租赁合同对房东有利
- 2024房地产开发各阶段涉及的合同
- 初中地理教师培训
- 小升初综合性学习巩固复习(课件)2023-2024学年统编版语文六年级下册
- 2024年人教版五年级下册数学期末测试卷及完整答案(全国通用)
- 产品自检自查报告
- 《R290制冷剂介绍》课件
- 五四制青岛版数学五年级下册期末检测题及答案(共3篇)
- 地表水自动监测运维理论考核试题及答案
- 月子会所科普知识讲座
- 初中英语教学中的地理知识教育
- Part3-4 Unit4 Volunteer Work课件-【中职专用】高一英语精研课堂(高教版2021·基础模块2)
- 《民事诉讼法》期末重点整理马工程版
评论
0/150
提交评论