凸集
一.仿射集合与凸集
1.仿射集合(affine set)
- 过两个点的直线方程:
,
且为n维空间的两个点。可以更改写为
仿射集:一个集合C是仿射集,若对任意的
,则连接
的直线也在这个集合内。如直线是一个仿射集,线段不是仿射集,二维空间是一个仿射集,二维空间中一个正方形不是仿射集。
仿射组合:如果
,我们称
为
的仿射组合
-
仿射组合与仿射集合的关系:一个仿射集合中包含其中任意多个点的仿射组合。即C是一个仿射集合,那么对
,且
,那么
任然在C中。
-
证明:不妨设C是一个仿射集,
是集合C中任意三点,
,且
,
下证
由仿射集的定义可知
所以
所以
得证
-
-
仿射集的子空间:
定义:如果C是一个仿射集,
,则集合
称为仿射集C的子空间
-
与C相关的子空间的性质:关于加法与数乘封闭,
,
,
-
证明:因为
所以
因为C是仿射的,由仿射集合与仿射组合的关系可知
,
所以
所以
-
仿射集合可以表示为
,即子空间加上一个偏移。仿射空间的子空间与偏移向量
的选择无关,所以
可以是C中任意一点。仿射空间C的维数为子空间V的维数。
-
例题:快照46.png
-
对于任意集合C(可能是仿射集可能不是)构造尽可能小的仿射集:
-
仿射包:我们记集合C中的点的所有仿射组合组成的集合C为仿射包。仿射包是包含C最小的仿射集合。
例如:快照47.png
-
仿射包:我们记集合C中的点的所有仿射组合组成的集合C为仿射包。仿射包是包含C最小的仿射集合。
当C集合只有X1,X2两点时,C的仿射包是过X1,X2的直线,当C有 X1,X2,X3三个点时,C的仿射包是整个平面。
-
仿射维数与相对内部:
集合C的维数:我们定义集合C的仿射维数为其仿射包的维数。
-
相对内部:如果集合
,它的仿射维数小于n,那么这个集合在仿射集合aff
,我们定义集合C的相对内部为
的内部,记为
,即relint
aff
其中
,||.||可以是任范数。
2.凸集
-
定义:一个集合C是凸集,当任意两点之间的线段上的点任然在C内,
- 等价于:对于集合内任意两点
,和满足0
,都有
。所以仿射集都是凸集。
- 等价于:C内任意元素的凸组合都在C内
- 等价于:对于集合内任意两点
凸组合:
的凸组合为
,其中
,
,。
-
凸集与凸组合的关系:一个集合是一个凸集等价于集合包含其中所有点的凸组合。
下面是一些简单的凸集与非凸集的例子:快照48.png -
凸包:我们称集合C中包含所有点的凸组合的集合称为其凸包。即为convC:
.凸包总是凸的,它是包含C的最小凸集。
- 凸组合的概念可以扩展到无穷级数、积分以及大多数形式的概论分布。假设
满足,
,并且
,其中
为凸集,那么如果下列级数收敛,我们有
。
- 更一般的,
,对所有
满足
且
,其中C是凸集,那么如果下列积分存在,我们有
。
- 最一般的是,
是凸集,x是随机变量。并且
的概率是1,那么E(x)
.
3.锥(cone)
锥(非负齐次):如果对于任意的
和
都有
,我们称集合C是锥或者非负齐次。
-
凸锥(Convex Cone):如果集合C是锥,并且是凸的,称C为凸锥。等价于,对任意的
和
都有
。(可以理解为
为以
和
为边长组成的平行四边形的对角线,所以一定在直线0-
和
中间)
快照50.png 锥组合(非负线性组合):具有
形式的点称为点
的锥组合(或非负线性组合)
-
锥包:集合C的锥包是C中元素的所有锥组合的集合,即
。
-
它是包含C的最小凸锥。
快照51.png
-
4.仿射集合、凸集、凸锥的类比
仿射组合:
凸组合:
,
,。
-
锥组合:
当只有一个集合C只有一个元素时{x},那么这个集合是一个仿射集,也是一个凸组合,如果x为原点则是一个锥组合,否则不是锥组合。
当C是空集时,它既是仿射集,又是凸集,又是凸锥。
空间既是仿射集又是凸集又是凸锥。
任意直线 一定是一个仿射集,也是凸集,不一定是凸锥,只有经过原点时才是凸锥。
任意线段不是仿射集,除非这个线段只有一个点。是一个凸集。不是凸锥(除非只有一个点且这个点是原点)
射线
,不是一个仿射集,是一个凸集,当
时是凸锥。
二.重要的例子
1.超平面与半空间
-
超平面:
,其中
- a是超平面的法向量,取
为超平面任意一点,那么超平面可以表示为
- a是超平面的法向量,取
-
半空间:一个超平面将
划分为两个半空间。
。
- 办空间是凸的,但是不是仿射的,当
时半空间是凸锥。
快照25.png
- 办空间是凸的,但是不是仿射的,当
2.Euclid球和椭球
-
球:在
的空间中Euclid球(或简称为球)具有下面的形式,
-
球是不是仿射集,是凸集。
-
证明:球是一个凸集
如果球是一个凸集,
,并且0
,那么
(二范数的三角不等式)
得证
-
球的另一个表示法:
-
-
椭球:椭球是一个凸集,它具有如下的形式
。
-
,且P的特征值大于零,即P是对称正定矩阵
-
决定了椭球的球心,矩阵P决定了椭球从
的方向的扩展幅度。
的半长轴是由
给出,这里
为P的特征值。
- 椭球的另一个表示形式
,A是非奇异方正,A=
,当A是对称半正定矩阵但是奇异时,称为退化的椭球,其仿射维数等于A的秩。
- 球是一个特殊的椭圆,P=
,r是奇异值,I是单位矩阵
- 例如:
即
。可以看出矩阵P决定扩展幅度。
-
3.范数球和范数锥
4.多面体
-
多面体:多面体被定义为有限个数等式和不等式的解集,
。多面体是有限个半空间和超平面的交集。
- 一些仿射集合(如子空间、超平面、直线)、射线、线段、都是多面体
- 多面体是凸集,多面体可以无界。
5.单纯形
-
单纯型:设k+1个点
仿射独立,即
线性独立,那么这些点决定了一个单纯形
,称为
空间的k维单纯形。
单纯形是凸包
常见的单纯形,1维单纯形是一条直线,2维单纯形是一个三角形,三维单纯型是一个四面体。n维空间至多有n维单纯形。
概率单纯形:- 由单位向量
决定的n-1维单纯型,它可以表示为如下形式的集合
单位单纯形:- 由零向量和单位向量
决定的n维单纯型,它可以表示如下形式的集合
-
单纯型是一个多面体
- 快照52.png
6.半正定锥
对称矩阵集合:
。
半正定矩阵集合:
。
正定矩阵集合:
。
-
凸集 是 是 是 凸锥 是 是 否 -
例题:
上的半正定锥。我们有
,可以将按照x,y,z表示在
中。
快照54.png
三.保凸运算
保凸运算是指经过此类运算的得到的集合任然是凸集,因此我们可以用这些运算来确定或是构建集合的凸性。
1.交集
- 如果
和
是凸集,那么
也是凸集。例如,多面体是半空间与超平面的交集,所以多面体是凸集。
- 可以扩展到无穷个集合的交,即如果对任意的
,
都是凸的,那么
也是凸的。
2.仿射函数
函数
是仿射的,如果它是一个一个线性函数和一个常数的和,即具有
的形式,其中
。
-
假设
是凸的,并且
是仿射函数,那么S在f下的象
也是凸的。
类似的,
是仿射函数,那么S在f下的原象
是凸的。
- 平移:
- 伸缩:
- 平移:
3.投影
-
,
.若S是凸集,那么T也是凸集
4.两个集合的和
-
,如果
是凸集那么
也是凸的。
5.两个集合的直积(Cartesian乘积)
6.部分和
多面体
线性矩阵不等式的解
双曲锥
-
椭球
快照55.png
7.线性分式及透视函数
-
透视函数
定义:P:
为透视函数,其定义域为
,(
表示正实数集合)。透视函数对向量进行伸缩,或者进行规范化,使最后一维分量为1并舍弃之。
- 快照56.png
-
如果
,如果C是凸集,那么C的象P(C)也是凸集。例如线段经过小孔成象后还是线段。
-
证明:假设
并且
。
那么对于0
其中
因为
之间是单调的,当
在[0,1]之间变化时,
也在[0,1]之间变化,所以线段形成线段
。
-
-
透视函数的反函数
定义:一个凸集在透视函数下的原象也是凸集。如果
是凸集,那么
也是凸集。
-
证明:为证明上述,假设
证明一个凸集在透视函数下的原象也是凸集即证明
即证明
(显然,
)。这可从下式看出
其中
。
得证。
-
线性分式函数
定义:线性分式函数是由透视函数和仿射函数复合而成的。设
是仿射的,即
其中
并且
。则由
给出的仿射函数
,
。称为线性分式(或投射)函数。仿射函数与线性线性函数都是特殊的线性分式函数。
-
投射解释:可以将线性分式函数方便的写成矩阵
左乘点(x,1)得到
,然后将所得结果伸缩变换或归一化,使其最后一个分量为1,得到(f(x),1)。
集合解释:这个表达式将
空间上的一组投射联系了起来。也就是说,对于空间
空间上的一个点
,我们可以构造一个
空间的(开)射线
。这条射线的每个点的最后一个分量均是正值。反之,
空间中每条以原点为顶点并且最后一个分量为正值的射线均可以由一些
表示为
。P表示
与最后一个分量为正的射线之间的投射干洗。这种关系是一一对应和满的
线性分式函数可以表示为
线性分式函数也是保凸的
四.广义不等式
- 正常锥与广义不等式
- 最小元与极限元
五.分离和支撑超平面
- 超平面分离定理
- 支撑超平面
六.对偶锥和广义不等式
- 对偶锥
- 广义不等式