凸集之保凸运算

保凸运算（Operations that preserve convexity）

1.求交集（Intersection）
求交集下保持凸性：
如果S1和S2是凸的，那么S1∩S2是凸的。
拓展，如果Sα对于每个α∈A都是凸的，那么Sα就是凸的。
一个简单的例子，一个多面体是半空间和超平面（它们是凸的）的交点，因此是凸的。
实际上，闭凸集S是包含它的所有半空间的交点：

2.仿射函数（Affine functions）
如果一个函数f：Rn→Rm是一个线性函数和一个常数的和，那么它是仿射的，即如果它的形式是f(x)=Ax+b，其中一个A∈Rm×n和b∈Rm。假设S⊆Rn是凸的，而f：Rn→Rm是一个仿射函数。然后f下的图像，

是凸的。

类似地，如果f：Rk→Rn是一个仿射函数，则在f下的S的反像，

是凸的。

如图所示，用虚线类型绘制的三角多项式是其他两个类型的平均值。

如图所示，这个集合是无限个板的交点（其中20个所示），因此是凸的。

如果S⊆Rn是凸的，α∈R和一个∈Rn，则集合αS和S+a是凸的，其中

凸集在其某些坐标上的投影是凸的：如果S⊆Rm×Rn是凸的，那么

是凸的。

两组之和被定义为

如果S1和S2是凸的，那么S1+S2是凸的。

要看到这一点，如果S1和S2是凸的，那么直接积或笛卡尔积也是如此

我们也可以考虑S1，S2∈Rn×Rm的部分和，定义为

其中x∈Rn和yi∈Rm。对于m=0，部分和给出了S1和S2的交点；对于n=0，它是设置的加法。凸集的部分和是凸的。

3.线性分式函数和感知函数（Linear-fractional and perspective functions）
（1）感知函数
我们定义了感知函数P：Rn+1→Rn，并将domP=Rn×R++定义为P(z,t)=z/t。
（此处R++表示正数集：R++={x∈R|x>0}。）
感知函数缩放或规格化向量，使最后一个分量为一个，然后删除最后一个分量。

如果C⊆domP是凸的，那么它的图像

是凸出的。

（2）线性分式函数
通过将感知函数与仿射函数组成，形成了一个线性分式函数。
假设g：Rn→Rm+1是仿射的，即，

其中A∈Rm×n，b∈Rm，c∈Rn和d∈R。函数f：由f=P◦g给出的f:Rn→Rm，即，

被称为线性分式函数。如果c=0和d>0，则f的域为Rn，而f是仿射函数。
所以我们可以把仿射函数和线性函数看作是线性分式函数的特殊情况。

左图。C⊆R2。虚线显示线性分数函数f(x)=x/(x1+x2+1)的域边界和domf={(x1，x2)|x1+x2+1>0}。右图。f下的C图像。虚线表示f−1的域的边界。