跳转至

仿射与凸

在本节中,我们简要介绍仿射和凸的概念。

仿射#

直线的定义想必初中都已经学过,这里我们简单复习一下:

直线(line)

空间\mathbb{R}^n中的两个点x_1, x_2, x_1 \neq x_2可以唯一确定一条直线。这条直线可以被参数化的描述为

x = \theta x_1 + (1 - \theta) x_2 \ s.t. \ \theta \in \mathbb{R}

我们很容易发现,x = x_1时,\theta = 1x = x_2时,\theta = 0。由此,我们知道了线段被如何描述:

线段(line segment)

穿过两点x_1, x_2 \in \mathbb{R}^n, x_1 \neq x_2的线段可以被参数化的描述为

x = \theta x_1 + (1 - \theta) x_2 \ s.t. \ 0 \leq \theta \leq 1

通过变化,直线还可以被表达为x = x_2 + \theta (x_1 - x_2) \ s.t. \ \theta \in \mathbb{R}。这给了我们另一种解读–x基点 x_2方向 x_1 - x_2按参数\theta缩放之和。 因此,\theta给出了从x_2x_1的分数。当\theta从0增大到1时,点xx_2移动到x_1;当\theta在此区间以外时,点x位于x_1x_2以外的线上。

在复习了直线之后,我们可以给仿射集做一个定义:

仿射集

对于集合C \subseteq \mathbb{R},若经过该集合上任意两点x_1, x_2 \in C, x_1 \neq x_2的直线上的点都在该集合中,那么我们称集合C为一个仿射集。

线性方程\{x \mid Ax = b\}的解即是一个仿射集,反过来每一个仿射集也都可以表示为一个线性方程系统的解集。因此,我们有时候将仿射集成为线性(linear)。

有同学可以发现,仿射集与线性子空间非常相似。事实上,我们可以将一个仿射集看作是一个线性子空间根据一个固定向量平移而得到的。对于仿射集C与其上一点x_0,集合V = C - x_0 = \{x - x_0 \mid x \in C\}是一个子空间。

证明V = C - x_0对于向量加法与标量乘法闭合

对于v_1, v_2 \in V, \alpha, \beta \in \mathbb{R},我们有v_1 + x_0, v_2 + x_0 \in C,所以\alpha v_1 + \beta v_2 + x_0 = \alpha (v_1 + x_0) + \beta (v_2 + x_0) + (1 -\alpha - \beta) x_0 \in C,由于C是仿射集、\alpha + \beta + (1 -\alpha - \beta) = 1, \alpha v_1 + \beta v_2 + x_0 \in C,易得\alpha v_1 + \beta v_2 \in V

因此,我们可以将仿射集C表述为C = V + x_0 = \{v + x_0 \mid v \in V\}x_0C上任意一点。我们将子空间V称作仿射集C相关的子空间,将子空间V的维度称作仿射集C的维度。

简单了解了直线与仿射集之后,我们可以延伸出仿射组合:

仿射组合(affine combination)

对于线性组合\sum_{i=1}^n \theta_i x_i,若其满足

\sum_{i=1}^n \theta_i = 1

则我们称其为仿射组合。

仿射集C包含了该集合中任意点的仿射组合,也就是说,对于x_1, x_2, x_n \in C, \sum_{i=1}^n \theta_i = 1\sum_{i=1}^n \theta_i x_i \in C

我们可以发现,仿射组合其实可以被看成一个所有系数之和为1的特殊的线性组合。这样的特性使得我们可以抛弃原点,而将任意的点视为原点,我们都可以使用同样的线性组合去描述同一个点。

🌰

对于原点以及空间上任意一点p,我们可以将向量a,\ b分别表述为a + bp + (a - p) + (b - p)。由此,我们通过仿射组合去描述另一点时,两个描述分别为\theta a + (1 - \theta) bp + \theta (a - p) + (1 - \theta) (b - p) = p + \theta a - \theta p + (1 - \theta) b - (1 - \theta) p = \theta a + (1 - \theta) b;我们很容易发现两个描述与其起始点没有关系。

集合S的仿射包aff(S)指的是包含集合S的最小仿射集,它被定义为:

仿射包(affine hull)

aff(S) = \{\sum_{i=1}^k \theta_i x_i \mid k > 0, x_i \in S, \theta_i \in \mathbb{R}, \sum_{i=1}^n \theta_i = 1\}

也就是说,如果仿射集CS \subseteq C,那么aff(S) \subseteq C

#

我们注意到到现在为止我们一直在讨论仿射,而没有进入真正的主题–凸。事实上,我们已经差不多学习了凸的所有概念了–仅仅将仿射的直线换成线段,我们就能得到凸。

凸集

对于集合C \subseteq \mathbb{R},若经过该集合上任意两点x_1, x_2 \in C, x_1 \neq x_2线段上的点都在该集合中,那么我们称集合C为一个凸集。

凸组合(convex combination)

对于线性组合\sum_{i=1}^n \theta_i x_i,若其满足

\sum_{i=1}^n \theta_i = 1并且\forall \theta_i, \theta_i \geq 0

则我们称其为凸组合。

凸包(convex hull)

conv(S) = \{\sum_{i=1}^k \theta_i x_i \mid k > 0, x_i \geq 0, \theta_i \in \mathbb{R}, \sum_{i=1}^n \theta_i = 1\}

| 我们很容易想到,常见的三角形、方形、圆形都是凸的;而星形则是非凸的,因为任意两点之间存在有些点不在集合之内。

非凸集五角星的凸包是

凸集五边形。

如何判断一个函数是否是凸的

这个问题看似十分简单。我们只需要根据凸集的定义,选取集合中的每一个点对然后判断这两个点之间的线段上的点是否是凸的即可。对于一个有着n个点的集合,上述算法的时间复杂度仅仅为O(n?n),这甚至是一个多项式时间的算法。但是这明显还有很大的改进空间。

在本节中,我们介绍保留凸性的运算,这些运算有助于判定一个集合是否凸以及构建一个凸集。

保凸运算#

交集

对于集合S_1, S_2,如果他们是凸集,那么S_1 \cap S_2也是凸集。

仿射函数

如果函数f: \mathbb{R}^n \rightarrow \mathbb{R}^m是一个放射函数,那么:

  • f下的凸集的像也是凸的:
S \subseteq \mathbb{R}^n \text{is convex} \Rightarrow f(S) = \{f(x) \mid x \in S\} \text{is convex}
  • f下的凸集的逆像也是凸的:
C \subseteq \mathbb{R}^m \text{is convex} \Rightarrow f^{-1}(C) = \{x \mid f(x) \in C\} \text{is convex}

透视和线性分数函数

透视函数 P: \mathbb{R}^{n+1} \rightarrow \mathbb{R}^n

P(x, t) = x / t, \quad dom(P) = \{(x, t) \mid t > 0\}

线性分数函数 f: \mathbb{R}^n \rightarrow \mathbb{R}^m

f(x) = \frac{Ax + b}{c^T + d}, \quad dom(f) = \{x \mid c^Tx + d > 0\}

透视函数与线性分数函数下的凸集的像和逆像也是凸的

这些属性扩展到无限个集合的交集中,也就是说,如果S_\alpha是凸集对于每一个\alpha \in A都成立,那么\cap_{\alpha \in A}S_\alpha也是一个凸集。


最后更新: 2021-05-06 19:36:11

评论