![](https://img-blog.csdnimg.cn/20201014180756927.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
凸分析
文章平均质量分 77
Liang_Ling
OR
展开
-
凸集的分离定理
在RnR^n中,我们有个直观的事实是:一个超平面(必须是 n-1 维的)将整个空间分为两个部分,也就是说这个超平面将RnR^n分成了两个闭的半空间,这两个闭的半空间称为与H相关的闭的半空间。同样的可以定义与H相关的两个开的半空间。(一 ) 定义:1.1称一个超平面H可以分离(separate)两个非空的集合C1C_1,C2C_2,当C1C_1和C2C_2分别包含在两个与H相关的闭的半空间中。1.2原创 2016-11-17 15:42:57 · 13393 阅读 · 1 评论 -
凸函数上境图的刻画
在文章《凸集分离定理》的最后我们知道,一个闭凸集是所有包含它的闭的半空间的交集。设f是RnR^n一个闭的凸函数,那么它的上境图是一个闭凸集,所以一个闭的凸函数的上境图是Rn+1R^{n+1}中所有包含这个上境图的交集。下面我们先来刻画Rn+1R^{n+1}中所有的超平面Rn+1R^{n+1}的超平面可以由线性函数表示: (x,μ)→<x,b>+μβ0b∈Rn,β0∈R(x,\mu)\rightar原创 2016-11-17 23:13:47 · 5670 阅读 · 0 评论 -
凸函数的对偶函数(conjugate)
启发: 由上次关于凸函数上境图的刻画可以得到一个描述f(凸函数)的一种方式。即,令 F∗={(x∗,μ∗)|h(x)=<x,x∗>−μ∗,h是不大于f的仿射函数}F^*=\{(x^*,\mu^*)|h(x)=<x,x^*>-\mu^*,h是不大于f的仿射函数\} 也就是说,h对应于那些包含epifepi\,f的半空间对应的超平面。那么,h(x)≤f(x)h(x)\leq f(x)当且仅当 μ原创 2016-11-18 12:54:28 · 10006 阅读 · 1 评论 -
支撑函数(support function)
有时候我们对一个线性函数⟨⋅,x∗⟩\langle \cdot,x^*\rangle在一个凸集CC上的极值感兴趣,我们研究这个问题的方法是讨论当x∗x^*变化时,极值如何变化。所以我们有如下定义:定义1. 凸集CC的支撑函数(support function)δ∗(x∗|C)\delta^*(x^*|C)定义为: δ∗(x∗|C)=sup{⟨x,x∗⟩|x∈C}\delta^*(x^*|C)=\原创 2016-11-20 15:04:43 · 16060 阅读 · 0 评论 -
回收锥(recession cone)
由于我们主要研究凸函数ff,方法是以研究上境图epifepi\, f 来代替直接的函数上的研究。而上境图的一个很普遍的特性是,它通常是无界的,所以我们要研究集合在无穷远处的情况。定义 设DD是一个方向,CC是一个凸集(无界),称CC在DD方向上是回收的,如果CC包含以CC中点为起点以DD为方向的半直线。 i.e. CC方向y≠0y\neq 0上是回收的,当且仅当对∀x∈C,λ≥0\foral原创 2016-11-21 12:03:15 · 3089 阅读 · 0 评论 -
回收函数(recession function)
上次我们讲到凸集的回收性质,现在我们将上次的结果应用到凸函数上。 一下都假设ff是RnR^n上一个不恒等于+∞+\infty的凸函数,那么它的上境图epifepi\,f是Rn+1R^{n+1}一个非空凸集,所以这个非空凸集有回收锥0+(epif)0^+(epi\, f). (y,v)∈0+(epif)(y,v)\in 0^+(epi\, f)当且仅当对每个(x,μ)∈epif(x,\mu)\in原创 2016-11-26 00:19:07 · 1905 阅读 · 0 评论 -
凸集的极锥(polars)
在支撑函数的专题中我们知道:设ff是一个正常的凸函数,如果ff是示性函数,那么它的共轭函数f∗f^*是一个正齐次的凸函数,且如果ff是正齐次的,那么f∗f^*也是正齐次的。所以如果ff是正齐次的示性函数,那么f∗f^*也是正齐次的示性函数。 也就是说:如果f(x)=δ(x|K)f(x)=\delta(x|K), 其中KK是一个凸锥,那么f∗(x∗)=δ(x∗|K。)f^*(x^*)=\delta(原创 2016-11-26 18:58:56 · 5092 阅读 · 0 评论 -
Moreau-Yosida 正则化和近似算子(proximal operator)
强凸函数(strongly convex):ff 凸函数且存在常数c>0c>0,使得 f(λx+(1−λ)y)≤λf(x)+(1−λ)f(y)−12λ(1−λ)||x−y||2f(\lambda x+(1-\lambda)y)\leq \lambda f(x)+(1-\lambda)f(y)-\frac{1}{2}\lambda(1-\lambda)||x-y||^2 定义函数 ϕ(x,y)原创 2017-10-01 15:59:50 · 6414 阅读 · 1 评论