凸分析教学课件.ppt
- 【下载声明】
1. 本站全部试题类文档,若标题没写含答案,则无答案;标题注明含答案的文档,主观题也可能无答案。请谨慎下单,一旦售出,不予退换。
2. 本站全部PPT文档均不含视频和音频,PPT中出现的音频或视频标识(或文字)仅表示流程,实际无音频或视频文件。请谨慎下单,一旦售出,不予退换。
3. 本页资料《凸分析教学课件.ppt》由用户(ziliao2023)主动上传,其收益全归该用户。163文库仅提供信息存储空间,仅对该用户上传内容的表现方式做保护处理,对上传内容本身不做任何修改或编辑。 若此文所含内容侵犯了您的版权或隐私,请立即通知163文库(点击联系客服),我们立即给予删除!
4. 请根据预览情况,自愿下载本文。本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
5. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007及以上版本和PDF阅读器,压缩文件请下载最新的WinRAR软件解压。
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 分析 教学 课件
- 资源描述:
-
1、最优化理论与算法2,凸分析与凸函数2.凸集与凸函数2.1 凸集与锥凸集与锥(1)(2)(1)(2)(1)(2)(1)(2),0,1,2.1 (1-)(1-)nSnxxSxxSSxxxDfx设 为 维欧氏空间中的一个集合。若对任意两点及每个实数有则称 为。称为和的凸集凸组合。2.凸集与凸函数-,:2.1TTTTTHx p xpnpHx p xHx p xHx p xHx p x 为凸集,其中 为 维列向量,为实数。此外 下面相对于法向量 的半空间都是凸集 正的闭半空间 负的闭半空间正的开半空间 负的开半空平面间例超2.凸集与凸函数x0 xx-x0px0 xx-x0p(0)(0)02.2 Lx x
2、xddx 集合,为凸集,其中 为给定的例非零向量,为定点。(0)(0),0Lx xxdx 集合称为,为射线射线的顶点2.凸集与凸函数11111,.,1,1,.,.,.,2.2mmniimimmmxxR imxxxxDf 给定 个向量以及满足的非负实数称向量 为的 凸组合.11111,2,.,.,.,1,0,1,.,2.1.nmnmmmiiiSSmxxxxR ihSmT +集合是凸集,当且仅当 包含其中任意有限个元素的凸组合,即对任意的有其中运用定义不难验证如下命题:2.凸集与凸函数n12SSE2,1,.设 和为中两个凸集是题实数命则11S x xS 1,为凸集。122SS,为凸集12123SS
3、SS(1)(2)(1)(2),=x+xx,x为凸集12124SSSS(1)(2)(1)(2),=x-xx,x为凸集,2.3.nC TDfconv TCTTC 集合的是指所有包含 的凸集的交集 记为 凸包为凸集 2.凸集与凸函数0101,.,.,mnmixxxxxxmx 有限点集的凸包称为。若,仿射无关时,对应的凸包称为。向量 称为该单多胞形维单纯形纯形的顶点。多面体多面体(polyhedral set)是有限闭半空间的交.(可表为 Axb).x4x3x2x1x5xy2.凸集与凸函数,.2.4nCxCxCCCDfC 设有集合若对每一点当 取任何非负数时,都有称 为又若 为凸集,则称 为锥凸锥ii
4、,.,0,i1,2,.,23.k (1)(2)(k)k(i)i=1,向量集的所有非负线性组合构成的集合例.为凸锥。2.2S n若集合S为凸集,则它的闭包命题也是凸集。多面集 x|Ax0也是凸锥,称为多面锥多面锥。2.凸集与凸函数由定义可知,锥关于正的数乘运算封闭,凸锥关于加法和正的数乘封闭,一般的,对于凸集S,集合K(S)=x|0,xS是包含S的最小凸锥.锥C称为尖锥,若0S.尖锥称为突出的,若它不包含一维子空间约定约定:非空集合非空集合S生成的凸锥生成的凸锥,是指可以表示成是指可以表示成S中有限中有限个元素的非负线性组合个元素的非负线性组合(称为凸锥组合称为凸锥组合)的所有点所构成的所有点所
5、构成的集合的集合,记为记为coneS.若若S凸凸,则则coneS=K(S)02.凸集与凸函数Df 2.5 非空凸集中的点 x 称为极点极点,若 x=x1+(1-)x2,(0,1),x1,x2 S,则 x=x1=x2.换言之,x不能表示成S中两个不同点的凸组合.x4x3x2x1x5xySx由上可知,任何有界凸集中任一点都可表成极点的凸组合.2.凸集与凸函数Def 2.6.设非空凸集SRn,Rn中向量d 0 称为S的一个一个回收方回收方向向(方向方向),若对每一 xS,R(x.d)=x+d|0 S.S的所有方向构成的尖锥称为S的回收锥,记为0+S 方向d1和d2 称为S的两个不同的方向不同的方向,
6、若对任意0,都有 d1d2;方向d称为S的极方向extreme direction,若 d=d1+(1-)d2,(0,1),d1,d2 是S的两个方向,则有 d=d1=d2.换言之d不能表成它的两个不同方向的凸锥组合x0 x0ddd2.凸集与凸函数1221TTT S(x,x)x|x|(0,1)45(1,1)(1,1)2 4集合凡是与向量夹角的向量都是它的方向。,是其仅有的例.两个极方向Sx Axb,x0,d,dS2d0A0.5d 设是非零向量。证明 是 的方向且例.(Th23P 若多面体 的极点 极方向)存在的话,则极点(极方向)的数目一.定有限.2.凸集与凸函数 表示定理表示定理Th2.4
7、若多面体若多面体P=xRn|Axb,r(A)=n则则:(1)P的极点集是非空的有限集合的极点集是非空的有限集合,记为记为x kkK则则j(2)记记P的极方向集为的极方向集为d jJ(约定约定P不存在极方向时不存在极方向时J=)|1,0,0,kjkjkjk Kj Jnkkjk KPconv xkKcone djJxxdxkKjJ (3)指标集指标集J是空集当且仅当是空集当且仅当P是有界集合是有界集合,即多胞形即多胞形.2.凸集与凸函数表示定理直观描述表示定理直观描述:设 X 为非空多面体.则存在有限个极点 x1,xk,k0.进一步,存在有限个极方向 d1,dl,l0 当且仅当 X 无界.进而,x
8、X 的充要条件是 x 可以表为 x1,xk 的凸组合和d1,dl的非负线性组合(凸锥组合).xyx1x2x3d1d20推论推论2.1 若多面体若多面体S=x|Ax=b,x0非空非空,则则S必有极点必有极点.2.2 凸集分离定理凸集分离定理2.凸集与凸函数121212121212121212,.,()2.7|,0,nTTTTSSHx p xxSp xxSp xHSSSSHHSSSHSHHSSSHx p xSHHSDfS ,设 和是中两个非空集合,为超平面。若对有,分对于有(或情形恰好相反),则称超平面集合和若则称 正常分离 和。若则称严格分离 和。若则称分离和离强。2.凸集与凸函数(),0,()
9、0()0()08,2.nnTTTSppDxSSHx pxxSHx pxxHx pxxSxSSfHHx ,设,若或者则称 是 在 处的,若则称 为 在 处的支撑超平面正常支撑超平面。nx SSES,Th2.5infx设 为中的闭凸集,yS,则存在唯一的点x使得 y-xy-dist,)2.9inf (2.4)nx SDfSy Sxn设非空,y,则点y与集合S之间的距离dist(y,S)定义为(y-证明:令2.凸集与凸函数(k)(k)(k)x,xS,yxr.于是,由下确界定义知,存在序列使得x Sinfxr0y-22(k)(m)(k)(m)222(k)(m)(k)(m)xx(xy)(xy)2 xy2
10、 xy(xy)(xy)(k)(k)xxS.x先证存在极限只须证为柯西数列。所以为柯西列,必有极限,且由S为闭集知。此极限点必在S中。2.凸集与凸函数2(k)(m)22(k)(m)22(k)(m)222(k)2(m)2(xx)2 xy2 xy4y22 xy2 xy4r2(xyr)2(xyr)0(k,m)下证明唯一性2.凸集与凸函数xS,xyxyr.1S2111xyxyr,222111rxyxyr222yx(yx)|yx|yx|11,yS,设有由 为凸集,有(x+x)S,由 Schwartz 不等式y-(x+x)再由 的定义y-(x+x)因否则导出矛盾。2.凸集与凸函数TTTTTTSyS,Hx|p
11、 xHyp y,p xxS.p yyS p yp x,xS.设 为闭凸集,为超平面。分离点若则,令,则 与 分离可表为2.7(),00,nTTThSySpxSp yp x 设为中的闭凸集,则存在及实数,使得对点有。2.6.,(2.4)(-)()0nTThSySxSy xxx设的非空闭凸集,则点为极小化问题的最优解当且仅当2.凸集与凸函数xpX(i)(x-)(y-)0 对任意 xX.(ii)令 p=y-,=p p.Txxxyx 证明提纲x SxS,|y-x|=inf|y-x|由此可得2.凸集与凸函数222222(1)xx()x(1)x,yxy(x(1)x)yx(xx)yxxx2(yx)(xx)在
12、连线如图 上取一点则2xx2(yx)(xx)002(yx)(xx)0(yx)(xx)0,则 即 2.凸集与凸函数 Th2.7表明,S为闭凸集,yS,则y与S可分离。若令clS表示非空集合S的闭包,则当yclS时,定理结论也真。实际上我们有下述定理TTTT2p(yx)p(yxxx)p(yx)p(xx)=(yx)(xx)()nTT2.1CS,p y0p x推论设 为中的非空闭凸锥集,yC,则存在p(0)使得证明2.凸集与凸函数nTTTh2.8 S()clS,p yp x 设为中的凸集,yS,则存在p0,使得对点x有。jjjjj(k)(k)(k)(k)(k)(k)T(k)(k)T(k)(k)(k)(
13、k)(k)TT(k)TTjySy,yclSyy.y2.7,p,xclS,pypx.pp,p.pypx,xclS.xclSk,p yp x,xclS 使得对每一,由定理存在单位向量使得成立因为序列有界,存在收敛子列其极限为单位向量 显然固定,令得。推论2.2:设S为Rn 中的非空集合,yS,则存在非零向量p,使对xclS,pT(x-y)02.凸集与凸函数n1212TT1212Th2.9.S,S()SSinf p x xS Supp x xSSS+-设为中的凸集,=,则存在p0使 (换言之,存在超平面H,使得H,H)。21(2)(1)(1)(2)12SSS z zxx,xS,xS证明:令2.凸集与
展开阅读全文