对于凸函数, ∀ x , y , f ( λ x + ( 1 − λ ) y ) ≤ λ f ( x ) + ( 1 − λ ) f ( y ) \forall x,y,f(\lambda x+(1-\lambda)y)\leq \lambda f(x)+(1-\lambda)f(y) ∀x,y,f(λx+(1−λ)y)≤λf(x)+(1−λ)f(y),其中 λ ∈ [ 0 , 1 ] \lambda \in [0,1] λ∈[0,1].
对于函数 f : R n → R f:R^n \rightarrow R f:Rn→R 和 函数 ϕ : R → R \phi:R \rightarrow R ϕ:R→R,存在 t ∈ R , v ∈ R n , x ^ ∈ R n t \in R,v \in R^n, \widehat{x} \in R^n t∈R,v∈Rn,x ∈Rn,满足 ϕ ( t ) = f ( x ^ + t v ) \phi(t)=f(\widehat{x}+tv) ϕ(t)=f(x +tv),
证明: f f f 是凸函数 ⟺ \iff ⟺ ϕ \phi ϕ 是凸函数(convex).

证:(1) f f f 是凸函数 ⟹ \Longrightarrow ⟹ ϕ \phi ϕ 是凸函数
由于 f f f 是凸函数,有 f ( λ x + ( 1 − λ ) y ) ≤ λ f ( x ) + ( 1 − λ ) f ( y ) f(\lambda x+(1-\lambda)y)\leq \lambda f(x)+(1-\lambda)f(y) f(λx+(1−λ)y)≤λf(x)+(1−λ)f(y) 对于任意的 x,y 均成立,
令 x = x ^ + v x x=\widehat{x}+vx x=x +vx, y = x ^ + v y y=\widehat{x}+vy y=x +vy(任意情况都成立,部分特殊情况也肯定成立),代入上式,合并同类项,
⟹ \Longrightarrow ⟹ f ( λ ( x ^ + v x ) + ( 1 − λ ) ( x ^ + v y ) ) ≤ λ f ( x ^ + v x ) + ( 1 − λ ) f ( x ^ + v y ) f(\lambda (\widehat{x}+vx)+(1-\lambda)(\widehat{x}+vy))\leq \lambda f(\widehat{x}+vx)+(1-\lambda)f(\widehat{x}+vy) f(λ(x +vx)+(1−λ)(x +vy))≤λf(x +vx)+(1−λ)f(x +vy)
⟹ \Longrightarrow ⟹ f ( x ^ + ( λ x + ( 1 − λ ) y ) ) v ) ≤ λ f ( x ^ + v x ) + ( 1 − λ ) f ( x ^ + v y ) f(\widehat{x}+(\lambda x+(1-\lambda)y))v)\leq \lambda f(\widehat{x}+vx)+(1-\lambda)f(\widehat{x}+vy) f(x +(λx+(1−λ)y))v)≤λf(x +vx)+(1−λ)f(x +vy)
由于 ϕ ( t ) = f ( x ^ + t v ) \phi(t)=f(\widehat{x}+tv) ϕ(t)=f(x +tv),
⟹ \Longrightarrow ⟹ ϕ ( λ x + ( 1 − λ ) y ) ≤ λ ϕ ( x ) + ( 1 − λ ) ϕ ( y ) \phi(\lambda x+(1-\lambda)y)\leq \lambda \phi(x)+(1-\lambda)\phi(y) ϕ(λx+(1−λ)y)≤λϕ(x)+(1−λ)ϕ(y)
⟹ \Longrightarrow ⟹ ϕ \phi ϕ 是凸函数(convex)

(2) ϕ \phi ϕ 是凸函数 ⟹ \Longrightarrow ⟹ f f f 是凸函数
⟹ \Longrightarrow ⟹ ϕ ( λ x + ( 1 − λ ) y ) ≤ λ ϕ ( x ) + ( 1 − λ ) ϕ ( y ) \phi(\lambda x+(1-\lambda)y)\leq \lambda \phi(x)+(1-\lambda)\phi(y) ϕ(λx+(1−λ)y)≤λϕ(x)+(1−λ)ϕ(y)
⟹ \Longrightarrow ⟹ f ( x ^ + ( λ x + ( 1 − λ ) y ) ) v ) ≤ λ f ( x ^ + v x ) + ( 1 − λ ) f ( x ^ + v y ) f(\widehat{x}+(\lambda x+(1-\lambda)y))v)\leq \lambda f(\widehat{x}+vx)+(1-\lambda)f(\widehat{x}+vy) f(x +(λx+(1−λ)y))v)≤λf(x +vx)+(1−λ)f(x +vy)
⟹ \Longrightarrow ⟹ f ( λ ( x ^ + v x ) + ( 1 − λ ) ( x ^ + v y ) ) ≤ λ f ( x ^ + v x ) + ( 1 − λ ) f ( x ^ + v y ) f(\lambda (\widehat{x}+vx)+(1-\lambda)(\widehat{x}+vy))\leq \lambda f(\widehat{x}+vx)+(1-\lambda)f(\widehat{x}+vy) f(λ(x +vx)+(1−λ)(x +vy))≤λf(x +vx)+(1−λ)f(x +vy)
这里 x ^ + v x \widehat{x}+vx x +vx 和 x ^ + v y \widehat{x}+vy x +vy 可取到任意实数,
⟹ \Longrightarrow ⟹ f ( λ x + ( 1 − λ ) y ) ≤ λ f ( x ) + ( 1 − λ ) f ( y ) f(\lambda x+(1-\lambda)y)\leq \lambda f(x)+(1-\lambda)f(y) f(λx+(1−λ)y)≤λf(x)+(1−λ)f(y)
⟹ \Longrightarrow ⟹ f f f 是凸函数

证毕。

课堂问题:一个凸函数的性质相关推荐

  1. 凸函数的性质、判定,凸规划

    一. 凸函数的性质 二. 凸函数的判别 判断一个函数是否为凸函数,最基本的方法是使用其定义. 对可微函数: 三.凸规划定义 最优化问题的目标函数为凸函数,不等式约束函数也为凸函数,等式约束函数是仿射的 ...

  2. 【凸优化笔记二】凸函数基本性质和例子

    [凸优化笔记二]凸函数基本性质和例子 凸函数的四个定义 定义一 定义二 定义三 定义四 一些栗子 凸函数的四个定义 定义一 其中 dom fff 是函数 fff 的 定义域(前域),为凸集--这个很重 ...

  3. 保留凸性的方式:一个凸函数在一个随机变量上的期望仍然是凸函数

    设函数 gg 是实数范围内的一个凸函数,DD 是一个随机变量, 那么函数 G=EDg(y−D)G=EDg(y−D) 仍然是一个凸函数. 证明:记 θ=θ¯¯¯θ=θ¯, yy 与 y¯¯¯y¯ 是任意 ...

  4. 凸函数高维性质证明(Jenson不等式)

    目录 问题引入 背景介绍 证明过程 关键词:凸函数.Jenson(琴生)不等式 问题引入 背景介绍 凸集 convex set 凸函数 convex function 注:凸集和凸函数定义取自< ...

  5. 山东大学机器学习课程资源索引

    前言 主要是个人对机器学习课程的回顾,review,为进一步学习更多前沿的机器学习理论打好基础.也给学弟学妹留下一点参考. 下面是课程网站,有ppt,实验说明等等课程所有资源,质量非常高! https ...

  6. NLP --- 隐马尔可夫HMM(EM算法(期望最大化算法))

    期望最大化 (Expectation Maximization) 算法最初是由 Ceppellini[2] 等人 1950 年在讨论基因频率的估计的时候提出的.后来又被 Hartley[3] 和Bau ...

  7. EM算法(期望最大化)详细推导

    版权声明:博主原创文章,转载请注明来源,谢谢合作!! https://blog.csdn.net/hl791026701/article/details/84641872 1.简介 期望最大化 (Ex ...

  8. 什么是凸函数及如何判断一个函数是否是凸函数

    t元j 一.什么是凸函数 对于一元函数\(f(x\)),如果对于任意\(t\epsilon[0,1]\)均满足:\(f(tx_1 + (1-t)x_2) \leq tf(x_1) + (1-t)f(x ...

  9. 如何开发一个用户脚本系列(5)——脚本三:网易云课堂下载助手

    本文原创首发于我的个人博客 一个贾程序员,文章原地址 点此 查看 在这篇文章中,我们将一起学习脚本 网易云课堂下载助手 的开发.在正式开始之前,先说一下我认为开发脚本应该遵循的两个准则: 功能实现.当 ...

最新文章

  1. 属性为nil的时候测试是否crash  nil是不会崩溃的
  2. php不能加载oci8,无法加载动态库'oci8.so'(PHP 7.2)
  3. 干掉了竞争对手的餐饮夫妻店,在等待自己的死亡
  4. c语言数据结构篇之栈(线性栈与链式栈)
  5. numpy(7)-广播
  6. 将类的定义放在头文件中,把成员函数的实现代码放在一个cpp文件中
  7. Django内置的用户认证
  8. 四五月份:关键词是沟通、绘画和SQL
  9. 面向对象(静态成员内部类的调用)
  10. Settings【学习笔记05】
  11. java plug机制_【maven实战】20-插件解析机制
  12. npm ERR! code ENOENT npm ERR! syscall open npm ERR! errno -4058 npm ERR! enoent ENOENT: no such file
  13. web服务之源码编译安装LAMP
  14. .NET Core(C#)使用Titanium.Web.Proxy实现Http(s)代理监控请求的方法及示例代码
  15. python读取fits第三方库_python-astropy.io.fits从具有多个HDU的大型fits文件中读取行
  16. STM32:使用外部中断控制对射式红外传感器并计次
  17. 基于python的文件加密传输_python 利用Crypto进行AES解密加密文件
  18. win10能上网显示未连接到服务器,Win10网络正常但浏览网页无法连接到互联网怎么办?...
  19. jasper report 子报表中嵌套子报表
  20. 猫眼电影MySQL数据库怎么写_MySQL简要分析猫眼电影TOP100榜

热门文章

  1. 斯坦福NLP名课带学详解 | CS224n 第19讲 - AI安全偏见与公平(NLP通关指南·完结)
  2. 遥感数据下载——FIRM:VIIRS火点数据、MODIS火点数据简介及下载
  3. 【unit 8 】ldap
  4. 力扣 779. 第K个语法符号
  5. FS4412开发板简介
  6. 独家揭秘:美国网红的盈利模式
  7. 苹果首席设计师艾维将离职开办新公司 还会开发苹果产品
  8. ac1900修改代理服务器,AC1900路由器怎么设置?
  9. redis系列之哨兵模式
  10. clamp.js用法初窥