【第1章】凸集——几种重要的凸集

---

Date: 2020/04/11
Editor:萧潇子（Jesse）
Contact: 1223167600@qq.com

---

2.几种重要的凸集

本节讲述一些重要凸集的概念,首先介绍一些简单的例子,我们不妨先来看一些特例:

• C = { x } C=\{x \} C={x} 单点
• 点是仿射集，凸集，原点是凸锥
• 空集是仿射集，凸集，凸锥

下面再来看几种重要的凸集:

• $R^n$ 仿射集、凸集、凸锥
• $R^n$空间的子空间 仿射集、凸集、凸锥
• 任意直线 仿射集、凸集、凸锥（过原点）
• 任意线段 仿射集（点）、凸集、凸锥（原点）
• { x 0 + θ v ∣ θ ≥ 0 } \{x_0+\theta v|\theta\ge0\} {x0​+θv∣θ≥0} $x_0\in R^n$ $\theta \in R$ - $v\in R^n$ 射线 仿射集（v=0缩减为一个点） 、凸集、凸锥（过原点）

2.1 超平面与半空间

超平面
定义： { x ∣ a T x = b } \{x|a^Tx=b\} {x∣aTx=b} $x,a\in R^n$, $b\in R$, $a\ne 0$
性质: 仿射集、凸集、凸锥（过原点）

半空间
定义: $a^{T}x\le b,a^{T}x\ge b$
性质: 凸集、凸锥（过原点b=0）

从上述对超平面和半空间集合表达式定义形式很难直观的感受定义与性质,下面我们通过在二维平面中的例子来理解一下超平面与半空间的几何意义,如下图所示:

• 红色直线(不过原点)称之为一个二维平面上的超平面,具有直线集合所有的性质,属于仿射集、凸集;
• 蓝色直线(过原点)为红色直线的特例,除了是仿射集/凸集之外,还是个凸锥;
• 红色直线把二维平面分成了1和2两个空间,这两个空间称为半空间,并且满足凸集的定义,因此是半空间是凸集;
• 与超平面一样,当超平面过原点时,半空间也满足凸锥的定义,此时半空间也是个凸锥;

2.2 球和椭球

同样以二维平面上的圆和椭圆去理解比较容易理解,这里就不做赘述,只给出简单定义:
球
定义:
B ( x c , r ) = { x   ∣ ∥ x − x c ∥ 2   ≤ r } = { x   ∣ ( x − x c ) T ( x − x c ) ≤ r } B(x_c,r)=\{x\:|\parallel x-x_c \parallel _2 \:\le r\}=\{x\:|\sqrt{(x-x_c)^T(x-x_c)}\le r\} B(xc​,r)={x∣∥x−xc​∥2​≤r}={x∣(x−xc​)T(x−xc​) ​≤r}
性质: 凸集 仿射集（r=0） 凸锥（r=0 & 原点）
椭球：
定义: (对称正定矩阵几何)
ξ ( x c , P ) = { x   ∣ ( x − x c T ) P − 1 ( x − x c )   ≤ 1 }   x c ∈ R n   P ∈ S + + n \xi(x_c,P)=\{x\:| (x-x_c^T)P^{-1}(x-x_c) \:\le 1\} \: x_c\in R^n \: P\in S_{++}^{n} ξ(xc​,P)={x∣(x−xcT​)P−1(x−xc​)≤1}xc​∈RnP∈S++n​
性质: 凸集

假设：$P=r^2{I}_n$, $r\ne 0$ 奇异值大于0

A矩阵 $A^{T}A$ 特征值： $eig(A^{T}A)\ge 0$ 奇异值：$\sqrt{eig(A^{T}A)}$

$P$ 奇异值对应椭球半轴长

例子：
ξ = { x   ∣ x T ( 4 0 0 1 ) − 1 x   ≤ 1 } = { ( x 1 , x 2 ) ∣ 1 4 x 1 2 + x 2 2 ≤ 1 } \begin{aligned} \xi &=\{x\:| x^T\begin{pmatrix} 4 & 0\\ 0 & 1 \end{pmatrix}^{-1}x \:\le 1\}\\ &=\{(x_1,x_2)|\frac{1}{4}x_1^2+x_2^2 \le 1\} \end{aligned} ξ​={x∣xT(40​01​)−1x≤1}={(x1​,x2​)∣41​x12​+x22​≤1}​

2.3 多面体(关注单纯形)

多面体:可以简单的理解为超平面与半空间的交集,数学表达式如下:
$$P=\{x\mid \begin{array}{r}{a}_j^{T}x\le b_{j}i=1\cdots m\\ c_j^{T}x=d_{j}i=1\cdots m\end{array}\}$$
其中有界多面体为凸集 ,如下图中集合P(阴影部分:由五条直线与其分割形成的相应半空间的交集)所示:

单纯形定义:

$R^n$空间中选择$v_0\cdots v_k$共$k+1$个点，$v_1-v_0,\cdots ,v_k-v_0$线性无关，则与上述点相关的单纯形为：

C = C o n v { v 0 ⋯ v k } = { θ 0 v 0 + θ 1 v 1 + θ 2 v 2 + ⋯ + θ k v k   ∣   θ 0 ⋯ θ k ≥ 0 ,   θ 0 + ⋯ + θ k = 1 } C=Conv\{v_0\cdots v_k\}=\{\theta_0v_0+\theta_1v_1 + \theta_2v_2 + \cdots + \theta_kv_k \:|\: \theta_0 \cdots \theta_k \ge 0,\:\theta_0 +\cdots +\theta_k = 1 \} C=Conv{v0​⋯vk​}={θ0​v0​+θ1​v1​+θ2​v2​+⋯+θk​vk​∣θ0​⋯θk​≥0,θ0​+⋯+θk​=1}

例子:

• $R$ 一维空间, 两个点单纯形为两点连接线段,
• $R^2$ 二维空间, 两个点单纯形为两点连接线段, 三个点为两个向量围成的三角形, 四个点无法满足线性无关的三个向量
• $R^3$ 三维空间,四个点单纯形为一个四面体

证明：单纯形是多面体的一种

$x\in C\in R^n$ $C$为单纯形 $x$ $\iff$ ${\theta }_0{v}_0+{\theta }_1{v}_1+{\theta }_2{v}_2+\cdots +{\theta }_k{v}_k$

${\theta }_0\cdots {\theta }_k\ge 0,{\theta }_0+\cdots +{\theta }_k=1$. $v_1-v_0,\cdots ,v_k-v_0$线性无关

首先定义下面两个向量：

$[{\theta }_1\cdots {\theta }_k{]}^T=y$, $y\ge 0$, $1^{T}y\le 1$,

$[v_1-v_0,\cdots ,v_k-v_0]=B\in R^{n\times k}$

因此：

$\begin{array}{rl}X\in C\iff X& ={\theta }_0{v}_0+{\theta }_1{v}_1+{\theta }_2{v}_2+\cdots +{\theta }_k{v}_k\\ & =v_0+{\theta }_1(v_1-v_0)+\cdots +{\theta }_k(v_k-v_0)\\ & =v_0+By\end{array}$

B包含k个线性无关的向量，因此：$rank(B)=k(k\le n)$

B是列满秩矩阵，可以转换成：$\left[\begin{array}{c}{I}_k\\ 0\end{array}\right]$

存在一个非奇异矩阵$A=\left[\begin{array}{c}{A}_1\\ A_2\end{array}\right]\in R^{n\times n}$使得$AB=\left[\begin{array}{c}{A}_1\\ A_2\end{array}\right]B=\left[\begin{array}{c}{I}_k\\ 0\end{array}\right]$

由$X=v_0+By$ 左右两边同乘以$A$ 的：

$AX=A{v}_0+ABy$ $\iff$ $\left[\begin{array}{c}{A}_1\\ A_2\end{array}\right]X=\left[\begin{array}{c}{A}_1\\ A_2\end{array}\right]v_0+\left[\begin{array}{c}{A}_{1}B\\ A_{2}B\end{array}\right]y$ $\iff$ $\{\begin{array}{l}{A}_{1}X=A_1{v}_0+y\\ A_{2}X=A_2{v}_0\end{array}$

$\iff$ $\{\begin{array}{ll}{A}_{1}X& \ge A_1{v}_0\\ 1^T{A}_{1}X& \le 1+1^T{A}_1{v}_0\\ A_{2}X& =A_2{v}_0\end{array}$

两个线性不等式和一个线性等式=多面体

2.4 半正定锥

对称矩阵集合 S n = { X ∈ R n × n ∣ X = X T } S^n=\{X\in R^{n\times n}|X=X^T\} Sn={X∈Rn×n∣X=XT} 凸集 凸锥

对称半正定矩阵集合 S + n = { X ∈ R n × n ∣ X = X T ,   X ⪰ 0 } S_{+}^n=\{X\in R^{n\times n}|X=X^T,\: X \succeq 0\} S+n​={X∈Rn×n∣X=XT,X⪰0} 其中$X⪰0$表示特征值大于等于0 凸集 凸锥

对称正定矩阵集合 S + + n = { X ∈ R n × n ∣ X = X T ,   X ≻ 0 } S_{++}^n=\{X\in R^{n\times n}|X=X^T,\: X \succ 0\} S++n​={X∈Rn×n∣X=XT,X≻0} 其中$X\succ 0$表示$X$是正定矩阵 凸集 非凸锥

证明 $S_{+}^n$ 是凸集、凸锥

$\forall {\theta }_1,{\theta }_2\ge 0$ $\forall A,B\in S_{+}^n$ 证明 ${\theta }_{1}A+{\theta }_{2}B\in S_{+}^n$ 即证明 ${\theta }_{1}A+{\theta }_{2}B$ 对称半正定

如果$A,B$是半正定矩阵，则对于$\forall X\in R^n$, $\begin{array}{rl}{X}^{T}AX& \ge 0\\ X^{T}BX& \ge 0\end{array}$

由上可知证明半正定即证明 $X^T({\theta }_{1}A+{\theta }_{2}B)X\ge 0=X^T{\theta }_{1}AX+X^T{\theta }_{2}BX\ge 0$

因此得证

考虑简单情况：

当$n=1$ 时，$S_{+}^n=R_{+}$ $S_{++}^n=R_{++}$ $S^n=R$ 可知对称正定矩阵$S_{++}^n$不包含原点，因此非凸锥

---

$S_{+}^n$ $n=2$ $S_{+}^n=\{\left[\begin{array}{cc}x& y\\ y& z\end{array}\right]|x\ge 0,z\ge 0,xz\ge y^2\}$ 二维矩阵空间与xyz 三维空间可以对应起来, 如下图所示:

交集

若 $S_1,S_2$为凸集，则$S_1\bigcap S_2$为凸

若 $S_a$为凸集，$\forall a\in A$ 则$\bigcap _{a\in A}{S}_a$为凸集

2.5参考

1、Stephen Boyd 、Lieven Vandenberghe——《Convex Optimization》）
2、中科大凌青凸优化 (https://www.bilibili.com/video/BV1Jt411p7jE?)