总结凸优化中会出现的基本概念。
凸集
仿射集合和凸集
仿射集合
- 仿射集合
- 仿射组合
- 可以将仿射集合表示为线性空间+偏移量
- 仿射包
- 包含 的最小仿射集合,其中 为任意集合
- 仿射维数
- 集合 的仿射维数为仿射包的维数
- 可根据仿射维数定义相对边界
凸集
- 直观理解,集合中的每一点都可以被其他点沿着他们之间一条无阻碍的路径看见,那么这个集合就是凸集。
- 可类似定义凸组合
- 一个集合是凸集等价于集合包含所有点的凸组合
- 点的凸组合可以看做是混合或加权平均
- 凸包
- 集合 中所有点的凸组合的集合为凸包
锥
- 在二维上为扇形
- 可类似定义锥组合
- 锥包
- 集合 中所有点的锥组合的集合为锥包,是包含 的最小凸锥
例子
- 空集、单点集合、全空间都是仿射的。
- 一条射线是凸的,但不是仿射的。
- 若射线的基点是原点,则为凸锥。
- 任意直线是仿射的,如果直线过原点,则为子空间(也是凸锥)。
超平面与半空间
- 可看成法线方向为
的超平面,而常数
则决定了这个平面从原点的偏移
-
- 超平面由所有正交于法向量
的向量+偏移
组成。
-
- 一个超平面将
分为两个半空间
- 半空间是凸的,但不是仿射的
多面体
为有限个线性等式和不等式的解集
-
可以用更紧凑的形式表示:
-
单纯形式一类重要的多面体
- 设 个点 仿射独立,即 线性独立,那么这些点决定了一个单纯形:
-
- 这个单纯形的仿射维数为 ,因此也称为 空间的 维单纯形。
- 单纯形有更容易理解的表达形式
半正定锥
- 我们用
表示对称半正定矩阵的集合:
-
- 同样也可以表示对称正定集合
- 很容易得到验证,集合
是一个凸锥。
-
保凸运算
- 除了介绍一些凸集之外,我们需要一些运算,这些运算能帮助我们构造更多的凸集。
交集
- 交集运算时保凸的
- 例如,每一个闭集是包含它的所有半空间的交集 。
仿射函数
- 仿射函数具有如下形式;即为一个线性函数和常数的和
:
-
- 因此,伸缩和平移是保凸的;
- 一个凸集向它的几个坐标的投影是凸的(投影矩阵);
- 笛卡尔积也是保凸的;
线性分式和透视函数
透视函数
- 定义 为透视函数
- 透视函数对向量进行伸缩(规范化),使得最后一维分量为1并舍弃
- 可以通过小孔成像的例子来解释
线性分式
- 线性分式函数由透视函数和仿射函数复合而成:
-
-
- 其中 为仿射函数, 为透视函数, 为线性分式函数
广义不等式
正常锥
- 我们定义
为正常锥,如果它满足:
- 是凸的
- 是闭的
- 是实的,即具有非空内部
- 是尖的,即不包含直线
- 可以使用正常锥来定义广义不等式,即为
上的偏序关系
-
- 广义不等式满足一般不等式的很多性质 ,但并不是一个线性序,也就是说,两点不一定能比
最小元和极小元
- 一个集合可能有多个极大元和极小元
- 不一定有最小元,极小元定义为:
-
- 表示可以与 相比并且小于等于 的所有元素
-
分离与支撑超平面
超平面分离定理
- 两个不相交的凸集,一定存在一个超平面能将其分开 。
- 若在两个凸集中有 和 ,则能够严格分离。
支撑超平面
- 若 是边界上的一点,对于任意 都满足 ,则超平面 为集合 在点 处的支撑超平面。
- 支撑超平面定理
:
- 对任意非空凸集和任意 ,都存在支撑超平面
- 如果一个集合是闭的,具有非空内部,并且其边界上每个点均存在支撑超平面,则它是凸的。
对偶锥和广义不等式
- 定义
的对偶锥为:
-
- 如论 是否为凸锥,对偶锥 一定是凸的。
- 我们之前根据正常锥定义了广义不等式和最小元,因此也可以对对偶锥定义同样的性质。
广义不等式的对偶
有两条重要性质,将广义不等式和对偶联系起来
- 当且仅当对于任意 ,有
- 当且仅当对于任意 和 ,有
凸函数
基本性质
若 为为凸集,且对于任意 和任意 ,有:
则 是凸函数。
仿射函数既凸又凹。
若 为凸函数,则对于 和任意 ,都有 是凸的。这个性质非常有用:
函数是凸的,当且仅当在其定义域相交的任何直线上都是凸的。
扩展值延伸
将凸函数在定义域外的值令为 ,从而将这个凸函数延伸至全空间。
将延伸后的函数记为 ,因此可得:
一阶条件
假设 可微,则函数是凸函数的充要条件是对于任意 ,都有:
其一阶Taylor近似是原函数的一个全局下估计。
二阶条件
是凸函数的充要条件是其Hessian矩阵是半正定的。
对于 上的函数,可以简化为 ,可以理解为函数图像在点 处有正向上的曲率。
例子
- 指数函数
- 幂函数
- 负熵( )
- 范数
- 最大值函数
- 几何平均
-
- 对数行列式
-
下水平集
函数 的 下水平集为:
对于任意 ,凸函数的下水平集依然为凸函数。
但反过来不一定成立:某个函数的所有下水平集都是凸集,但这个函数可能不是凸函数。
如果 为凹函数,则 上水平集也是凸集。
上镜图
函数 的上镜图定义为:
一个函数是凸函数,当且仅当其亚图是凸集:
Jensen不等式
若函数 是凸函数, , 且和为1,则下式成立:
保凸运算
以下运算后的函数依然为凸函数:
- 非负加权求和
- 复合仿射变换
逐点最大和逐点上确界
- 几乎所有凸函数都可以表示为一簇仿射函数的逐点上确界
- 标量(矢量)复合运算
- 最小化函数
- 透视函数
共轭函数
此函数称为 的共轭函数;即差值 在 所有上界构成了共轭函数的定义域
重点掌握以下凸函数的共轭函数:
- 负对数函数
- 负熵函数
- 严格凸的二次函数
- 对数行列式
Fenchel不等式
从共轭函数的定义可以得到,对于任意的 和 ,有下列不等式成立:
拟凸函数
函数 称为拟凸函数,如果其定义域与及所有下水平集都是凸集:
同样的,若 是拟凸函数,即所有上水平集都是凸集,则 为拟凹函数。