【First-order Methods】 2 Extended Real-Valued Functions

参考文献:first-order methods in optimization: Amir Beck

1实值函数、domain、epi、下半连续、水平集 几个等价性质  函数的闭性 保闭的运算 (下半连续和闭几乎等价)

2函数的闭性和连续性  函数在紧集上连续那么在紧集上可取到minimum 、紧集

3函数的凸性(2个凸函数定义的等价性)  保凸的运算 

4支撑函数 支撑集

5非线性优化 里前面的内容可能多了锥的详细介绍  本书多了函数连续、闭、凸之间的一些关系

2.1  Extended Real-Valued Functions and Closedness

  • real-valued function: can take any real value without null value and \pm \infty
  • extended real-valued function:can take any real value, as well as \pm \infty
  • domain:                                                                                                                                                                                                                                                                          dom(f)=\left \{ x\in\mathbb{E}:f(x)<\infty \right \}                                                                                       ex2.1                . \delta _{C}(x)=\left\{\begin{matrix} 0, &x\in C \\ \infty,& x\notin C\end{matrix}\right.               then dom(\delta _{C})=C
  • epigraph of f:  epi(f)=\left \{ (x,y):f(x)\leq y,x\in \mathbb{E},y\in \mathbb{R} \right \}[f  is closed if epi(f) is closed]
  • lower semicontinuity:   f(x)\leq \lim_{n\rightarrow \infty}\,inf f(x_{n})
  • level set:   Lev(f,\alpha )=\left \{ x\in\mathbb{E}:f(x)\leq \alpha \right \}

Note :f is lower semicontinuous<=>f is closed<=>{\color{Red} for \,any\,\alpha \in \mathbb{R},\, Lev(f,\alpha )=\left \{ x\in\mathbb{E}:f(x)\leq \alpha \right \}\,is \,closed.}


2.2  Closedness versus Continuity

T2.8    如果f在其domain连续且dom(f)是闭的,那么f是闭的。(利用f闭等价于epi(f)是闭证明)

但是,反过来,f闭不能推出f在其domain上连续


0 范数 不是范数(不满足绝对值齐次性)


A set is called compact if it is closed and bounded.


2.3  Convex Function

Def 2.15 (convex functions)An extended real-valued function f : E →[−∞, ∞] is called convex if epi(f) is a convex set.

\Leftrightarrowf(λx + (1 − λ)y) ≤ λf(x) + (1 − λ)f(y) for all x, y ∈ E, λ ∈ [0, 1],

介绍了几种保凸运算:

                                    


 Infimal Convolution(卷积):

                                                              

是凸的。


凸函数在其domain内部(int(dom f))是连续的,

凸函数的局部Lipschitz连续性:

凸函数在边界点不一定连续。即使函数是闭凸的,也不能保证。

单变量的闭凸函数f在dom(f)上是连续的【包括边界】


2.4  Support Functions

                                                                                

C非空,则C的支撑集是闭凸的。


严格分离定理 (strict separation theorem)

注:泛函里面提到  此处C是包含内点(零元)的

  • 1
    点赞
  • 3
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值