总结凸优化中会出现的基本概念。
凸集
仿射集合和凸集
仿射集合
- 仿射集合p20p20
- 仿射组合
- 可以将仿射集合表示为线性空间+偏移量
- 仿射包p20p20
- 包含CC的最小仿射集合,其中 为任意集合
- 仿射维数p21p21
- 集合CC的仿射维数为仿射包的维数
- 可根据仿射维数定义相对边界
凸集
- 直观理解,集合中的每一点都可以被其他点沿着他们之间一条无阻碍的路径看见,那么这个集合就是凸集。
- 可类似定义凸组合
- 一个集合是凸集等价于集合包含所有点的凸组合
- 点的凸组合可以看做是混合或加权平均
- 凸包
- 集合 中所有点的凸组合的集合为凸包
锥
- 在二维上为扇形
- 可类似定义锥组合
- 锥包p23p23
- 集合CC中所有点的锥组合的集合为锥包,是包含 的最小凸锥
例子
- 空集、单点集合、全空间都是仿射的。
- 一条射线是凸的,但不是仿射的。
- 若射线的基点是原点,则为凸锥。
- 任意直线是仿射的,如果直线过原点,则为子空间(也是凸锥)。
超平面与半空间
- 可看成法线方向为aa的超平面,而常数
则决定了这个平面从原点的偏移
-
{ x|aTx=b}{ x|aTx=b}
-
- 超平面由所有正交于法向量aa的向量+偏移
组成。
-
{ x|aT(x−x0)=0}{ x|aT(x−x0)=0}
-
- 一个超平面将RnRn分为两个半空间p24p24
- 半空间是凸的,但不是仿射的
多面体
为有限个线性等式和不等式的解集
-
P={ x|aTjx≤bj,j=1,...,m,cTjx=dj,j=1,...,p}P={ x|ajTx≤bj,j=1,...,m,cjTx=dj,j=1,...,p}
-
可以用更紧凑的形式表示:
-
P={ x|Ax⪯b,Cx=d}P={ x|Ax⪯b,Cx=d}
-
单纯形式一类重要的多面体p29p29
- 设k+1k+1个点x0,...,vk∈Rnx0,...,vk∈Rn仿射独立,即v1−v0,...,vk−v0v1−v0,...,vk−v0线性独立,那么这些点决定了一个单纯形:
-
C=conv{ v0,...,vk}={ θ0v0+...+θkvk|θ⪰0,1Tθ=1}C=conv{ v0,...,vk}={ θ0v0+...+θkvk|θ⪰0,1Tθ=1}