凸优化第二章凸集 2.3 保凸运算

最新推荐文章于 2021-06-29 11:18:07 发布

使君杭千秋

最新推荐文章于 2021-06-29 11:18:07 发布

阅读量966

点赞数 1

分类专栏：凸优化

原文链接：https://blog.csdn.net/wangchy29/article/details/86493830

版权

凸优化专栏收录该内容

62 篇文章 47 订阅

订阅专栏

2.3 保凸运算

交集
仿射函数
线性分式及透视函数

交集

几个凸集的交集也是凸集。

仿射函数

假设仿射函数 $f : R^n\rightarrow R^m,f(x)=Ax+b,A\in R^{m\times n},b\in R^m$

仿射函数有两个特性：

凸集S在仿射函数f下的像是凸的。 $f(S)=\left \{ f(x)| x\in S \right \}$
凸集S在f的原像是凸的。 $f^{-1}(S)=\left \{ x|f(x)\in S \right \}$ ，（注，数学上函数存在反函数，当且仅当函数是一一映射且是满射，但是在这个定义里面，不要求函数f具备这样的条件。）

对凸集S进行伸缩和平移后得到的集合仍为凸集，两个凸集的和、直集、以及部分和都仍为凸集，。

线性分式及透视函数

透视函数

透视函数： $P: R^{n+1}\rightarrow R^n,P(x,t)=x/t,dom(P)=R^n\times R_{++}=\left \{ (x,t)|t> 0 \right \}$

凸集S在透视函数P下的像和原像均为凸的。

证明：

先证凸集S在透视函数P下的像是凸的。

$\forall x,y \in C,x=(\bar{x},x_{n+1}),y=(\bar{y},y_{n+1}),\forall \theta \in [0,1]$

$P(\theta x+(1-\theta) y)=\frac{\theta \bar{x} +(1-\theta) \bar{y}}{\theta x_{n+1}+(1-\theta) y_{n+1}}=\frac{\theta \bar{x}}{\theta x_{n+1}+(1-\theta) y_{n+1}}*\frac{x_{n+1}}{x_{n+1}}+\frac{(1-\theta) \bar{y}}{\theta x_{n+1}+(1-\theta) y_{n+1}}*\frac{y_{n+1}}{y_{n+1}}=\frac{\theta x_{n+1}}{\theta x_{n+1}+(1-\theta) y_{n+1}}*\frac{\bar{x}}{x_{n+1}}+\frac{(1-\theta) y_{n+1}}{\theta x_{n+1}+(1-\theta) y_{n+1}}*\frac{\bar{y}}{y_{n+1}}=\mu P(x)+(1- \mu)P(y)$

其中，

$\mu = \frac{\theta x_{n+1}}{\theta x_{n+1}+(1-\theta) y_{n+1}}$

显然，凸集S在透视函数P下的像是凸的。

再证凸集S在透视函数P下的原像是凸的。

$P^{-1}(S)=\left \{(x,t)\in R^{n+1}| x/t \in S \right \}$

这里即证明 $P^{-1}(S)$ 为凸集

$\forall (x,t),(y,s) \in P^{-1}(S),\forall \theta \in [0,1]$

则要说明 $\theta(x,t)+(1-\theta)(y,s)\in P^{-1}(S)$ ，即

$\frac{\theta x+(1-\theta)y}{\theta t+(1-\theta) s}\in S$

$\frac{\theta x+(1-\theta)y}{\theta t+(1-\theta) s}=\frac{\theta x}{\theta t+(1-\theta) s}*\frac{t}{t}+\frac{(1-\theta)y}{\theta t+(1-\theta) s}*\frac{s}{s} =\frac{\theta t}{\theta t+(1-\theta) s}*\frac{x}{t}+\frac{(1-\theta)s}{\theta t+(1-\theta) s}*\frac{y}{s}=\mu (x/t)+(1-\mu)(y/t)$

$\mu =\frac{\theta t}{\theta t + (1-\theta)s}$

线性分式

线性分式函数由透视函数和仿射函数复合而成。 $f :R^{n}\rightarrow R^{m}$

$f(x)=\frac{Ax+b}{c^Tx+d},dom\, f=\left \{x|c^Tx+d>0\right \}$

同样，凸集S在线性分式下的像和原像均是凸的。

来源：https://blog.csdn.net/wangchy29/article/details/86493830

使君杭千秋

关注

1
点赞
踩
1

收藏

觉得还不错? 一键收藏
0
评论
凸优化第二章凸集 2.3 保凸运算

2.3保凸运算交集仿射函数线性分式及透视函数交集几个凸集的交集也是凸集。仿射函数假设仿射函数仿射函数有两个特性：凸集S在仿射函数f下的像是凸的。凸集S在f的原像是凸的。，（注，数学上函数存在反函数，当且仅当函数是一一映射且是满射，但是在这个定义里面，不要求函数f具备这样的条件。）这里书中给出对凸集S进行伸缩和平移后得到的集合仍为凸集，两个凸集的和仍为凸集。线性分式及透视函数透视函数透视函数：凸集S在透视函数P下的像和原像均为凸的。证明：先证凸集
复制链接

扫一扫