凸优化理论（一）深入理解仿射集，凸集，锥等定义及相关证明

重点是理解组合的概念，对于集合包括仿射集，凸集，凸锥集的定义都类似，也就是相应$k$个点的的组合仍然在这个集合里。而对于包的定义也类似，就是从一个不是仿射集/凸集/凸锥集的集合构造出一个这样的集合。

1：仿射集相关定义与证明

$$\text{直线}$$
给定空间的两个点$x_1,x_2\in R^n$,，我们可以确定一条过这两个点的直线
$$y=\theta x_1+(1-\theta )x_2=x_2+\theta (x1-x2)$$

也就是我们从$x_2$出发，沿着$x_1-x_2$的方向任意的变化$\theta$值，这样就可以画出来整个一条直线。

$$\text{线段}$$
对于线段而言， 我们需要加上约束$\theta \in [0,1]$。

---

$$\text{仿射集}$$
一个集合$c$是仿射集，那么在集合中选择任意两点$x_1,x_2\in c$，那么连接$x_1,x_2$的直线也在集合内。
显然一个直线是一个仿射集，一个线段不是仿射集，整个的二维空间是一个仿射集，但是在二维空间内选择一有限的区域不是一个仿射集。

仿射集的定义依赖于任意两点这个概念，那么如果我们将两个点扩充到三个点，四个点，无穷个点，然后对概念进行扩充，
$$\text{仿射组合}$$

设$x_1,x_2,...,x_k\in c,{\theta }_1,{\theta }_2,...,{\theta }_k,{\sum }_{i=1}^k{\theta }_i=1$，那么我们有一个仿射组合：
$${\theta }_1{x}_1+{\theta }_2{x}_2+...+{\theta }_k{x}_k$$
那么我们将定义扩展，如果一个集合是仿射集，那么我们从中选取任意$k$个点，他们的仿射组合总是在集合$c$内。（考虑$k=2$那么该定义就退化为了直线的定义）。

---

$$\text{仿射组合的简单证明}$$
我们将两个点的情况拓广至三个点的情况，来证明仿射集在放射组合上的拓展是有效的

假设我们有三个点$x_1,x_2,x_3\in c,{\theta }_1+{\theta }_2+{\theta }_3=1$，那么对于任意两个点（姑且选择前两个点，我们有）
$$\frac{{\theta }_1}{{\theta }_1+{\theta }_2}{x}_1+\frac{{\theta }_2}{{\theta }_1+{\theta }_2}{x}_2\in c$$
此时此两个点的线性组合可以看作一个点，然后我们将第三个点加入，可以得到：
$$({\theta }_1+{\theta }_2)(\frac{{\theta }_1}{{\theta }_1+{\theta }_2}{x}_1+\frac{{\theta }_2}{{\theta }_1+{\theta }_2}{x}_2)+(1-{\theta }_1-{\theta }_2)x_3\in c$$
得证。

---

2：相关子空间与性质证明

对于上面的定义，我们很容易产生一个问题， 如 果 有 两 个 点 x 1 , x 2 ∈ c , c 是 仿 射 集 ， 如 果 我 们 选 择 两 个 不 相 关 的 数 α , β ∈ R ， 那 么 α x 1 + β x 2 是 否