凸优化第二章凸集 2.2 重要例子（仿射集合和凸集）

2.2 重要例子

1 空集、单点集、

都是

的仿射

2 任意直线都是仿射

3 一条线段是凸的，但不是仿射

4 射线是凸的，但不是仿射

5 任何子空间都是仿射的、凸锥

超平面与半空间

超平面

数学上超平面是具有下列形式的集合:

从上式看出，超平面其实是线性方程的解空间。从几何上看，超平面其实是以a为法向量的平面。如下图：

半空间

半空间数学上的定义是

几何上是：

Euclid球和椭球

Euclid球

以

为球心以r为半径的球这样表示：

也可以写成：

Euclid球是凸集：

椭球

其中

是椭球中心，P是对称正定矩阵，P决定了椭球从

向各个方向占的幅度。椭球的半周长度由P的特征值的算术平方根确定。可以看出Euclid球是一种特殊的椭球，这种特殊的椭球的

，I是单位矩阵。

椭球还可以表示成：

其中A是对称半正定矩阵，且A是非奇异方阵，

。

当A是对称半正定矩阵，但奇异时，该椭球称为退化的椭球，其仿射维数等于A的秩，且也是凸的。

范数球和范数锥

范数

范数表示成

具有三个性质：

1. 非负性：

   

2. 保数乘：

   

3. 三角不等式：

   

范数球

以

为球心，半径为r的范数球定义为:

范数锥

范数锥是集合：

范数球和范数锥都是凸的。

多面体

多面体是有限个不等式和等式的解集。

从方程组的角度来看多面体是多个等式方程组和不等式方程组的解集，从几何上来看，其实多面体是多个超平面（对应等式方程）和半空间（对应不等式方程）的交集。

半正定锥

表示对称的

矩阵，

表示对称半正定矩阵，

表示对称正定矩阵。

就是一个凸锥。

不是凸锥，但是凸的。

来源：https://blog.csdn.net/wangchy29/article/details/86485059