Date: 2020/05/05
Editor:萧潇子(Jesse)
Contact: [email protected]
3.保凸运算
本节给出一些典型的保凸运算,利用这些保凸运算,可以从凸集构造出其他凸集.这些运算与上一节中给出的凸集例子一起构成凸集的演算,可以用来确定或者构建集合的凸性.
3.1交集
若 S1,S2为凸集,则S1⋂S2为凸
若 Sa为凸集,∀a∈A 则a∈A⋂Sa为凸集
3.2仿射函数
关于仿射变换解释可参考这篇博文https://blog.csdn.net/blogshinelee/article/details/90675178
f:Rn→Rm是仿射的,当f(S)=AX+b, A∈Rm×n, b∈Rm
若S∈Rn为凸集,f:Rn→Rm仿射,则f(S)={f(X)∣X∈S}为凸集
n维空间中的凸集S经过线性变换变成m维空间中的凸集f(S)
逆仿射映射
g:Rk→Rn为仿射, g−1(S)={X∣f(X)∈S}
e.g.
缩放与移位是保持凸性的
缩放:αS={αX∣X∈S}
移位:S+a={X+a∣X∈S}
两个凸集的和是凸的:
S1+S2={x+y∣x∈S1,y∈S2}
定义S1×S2={(x,y)∣x∈S1,y∈S2} 凸
假定x∈R,y∈R, 线性变换 f(x,y)=x+y,因此两个凸集的和还是凸集
线性矩阵不等式 LMT 解集也是凸集
B,Ai,Xi∈Sm 对称矩阵
定义函数:A(X)=X1A1+⋯+XnAn⪯B 表示(A(X)−B)⪯0半负定矩阵
证明{X∣A(X)⪯B}为凸 X由很多对称矩阵Xi构成
首先定义仿射变换f(X)≜B−A(X) ⇒ 由高维矩阵变换到低维矩阵空间
f(X)每个点是由多个矩阵$X_i 构成,B-A(X)$每个点是一个矩阵
f−1(S+n)={X∣B−A(X)⪰0}
S+n为凸,经过f−1(S+n)逆仿射映射{X∣B−A(X)⪰0}也为凸
由于B−A(X)为凸, 也即f(X)也是凸的,f(X)逆运算符合仿射运算,所以其解集{X∣A(X)⪯B}为凸
椭球是球的仿射映射
ξ(xc,P)={x∣(x−xcT)P−1(x−xc)≤1}xc∈RnP∈S++n(对称正定矩阵几何)
单位球 {u∣∥u∥2≤1}
仿射函数 f(u)=P21u+xc 其中(P21)(P21)=P
{f(u)∣∥u∥2≤1}={P21u+xc∣∥u∥2≤1} 定义x=P21u+xc⇔u=P−21(x−xc)
⇒ {x∣∥P−21(x−xc)∥2≤1}
⇒ {x∣(x−xc)TP−1(x−xc)≤1}
3.3透视函数
PRn+1→Rn 定义域 :dom P=Rn×R++ 前n个元素可以在实空间里面任意取值,最后一个元素必须要是正数
定义: P(Z,t)=tZZ∈Rnt∈R++
二维情况下点 (x1,x2) 透过原点与直线 x2=−1 的交点 (−x2x1,−1)=(−P(x1,x2),−1)
这里先给出几何意义的解释,可以使用简单的小孔成像原理去理解这个过程,投影的小孔为原点,成像平面为x2=−1,二维平面上的点经过投影变成一维直线上的点,如下图所示:

凸集经过透视函数也是凸集
考虑Rn+1内线段 x=(∈Rnx~,∈R++xn+1) y=(∈Rny~,∈R++yn+1)
1≥θ≥0 线段为 θx+(1−θ)y
证明 线段 经过透视函数 还是线段
x→PP(x) y→PP(y)
θx+(1−θ)y→PP(θx+(1−θ)y)
P(θx+(1−θ)y)=θxn+(1−θ)yn+1θx~+(1−θ)y~=θxn+1+(1−θ)yn+1θxn+1xn+1x~+θxn+1+(1−θ)yn+1(1−θ)yn+1yn+1y~=μP(x)+(1−μ)P(y)1≥μ≥0
θ,μ一一映射
任意凸集的反透视函数仍是凸集
P−1(C)={(x,t)∈Rn+1∣tx∈C,t>0}
考虑(x,t)∈P−1(C) (y,s)∈P−1(C) 0≤θ≤1
证明 (θx+(1−θ)y,θt+(1−θ)s)∈P−1C 也就是要证明 :
θt+(1−θ)sθx+(1−θ)y∈C
θt+(1−θ)sθx+(1−θ)y⇒∈C=θt+(1−θ)sθttx+(1−θt+(1−θ)sθt)sy=μ∈Ctx+(1−μ)∈Csy
3.4 线性分数函数(转换后凸性质不变)
线性分式函数由透视函数和仿射函数复合而成
g: Rn→Rm+1为仿射映射
g(x)=[AC+]x+[bd]
其中A∈Rm×n,C∈Rn,b∈Rm,d∈R
P: Rm+1→Rm 透视函数
f:Rn→Rm≜P∘g
线性分数函数:
f(x)=CTx+dAx+bdomf={x∣CTx+d>0}
例: 两个随机变量的联合概率 → 条件概率
u v {1⋯n} {1⋯m}
联合概率Pi,j=P(u=i,v=i)
条件概率 fij=P(u=i∣v=j)
∵fij=∑k=1nPkjPij→[P1,j,⋯,Pn,j]→向量相加[0⋯1⋯0]→点乘下面向量分子分母满足线性变换
从高维变成标量
3.5参考
1、Stephen Boyd 、Lieven Vandenberghe——《Convex Optimization》)
2、中科大凌青凸优化 (https://www.bilibili.com/video/BV1Jt411p7jE?)