2021-01-12

vlog-5

直线与线段

$y=\theta x_1+(1-\theta )x_2=x_2+\theta (x_1-x_2)$

X1和X2可以看成向量，$\theta$看作步长。从$x_2$出发的直线
如果$\theta \in [0,1]$,则表示的是线段

仿射集

$C\in R^n是仿射的\stackrel{充分必要}{⟺}{x}_1,x_2\in C,\theta \in R(任意常数)，\theta x_1+(1-\theta )x_2\in C$

解释:$如果集合C\subseteq R^n中任意两个不同点的直线任在集合C中，那么称集合C是仿射的。$

仿射组合

简单来说就是推广仿射集

$由仿射集可知x_1\frac{{\theta }_1}{{\theta }_1+{\theta }_2}+x_2\frac{{\theta }_1}{{\theta }_2+{\theta }_2}\in C$

$令x_1\frac{{\theta }_1}{{\theta }_1+{\theta }_2}+x_2\frac{{\theta }_1}{{\theta }_2+{\theta }_2}=x_{13}\in C$

$IF{\theta }_1+{\theta }_2+{\theta }_3=1，x_1,x_2,x_3\in C$


$$\begin{gathered} ({\theta }_1+{\theta }_2)(x_1\frac{{\theta }_1}{{\theta }_1+{\theta }_2}+x_2\frac{{\theta }_1}{{\theta }_2+{\theta }_2})+(1-{\theta }_1-{\theta }_2)x_3 \\ =({\theta }_1+{\theta }_2)x_{12}+(1-{\theta }_1-{\theta }_2)x_3 \\ 由仿射集可知上式也\in C所以将上式展开得到下式 \\ ={\theta }_1{x}_1+{\theta }_2{x}_2+{\theta }_3{x}_3\in C \end{gathered}$$

$$\begin{gathered} 也就是可以证明出\begin{array}{c}\forall x_1,x_2,x_3\in C\\ {\theta }_1+{\theta }_2+{\theta }_3=1\end{array}\} \\ ⟹{\theta }_1{x}_1+{\theta }_2{x}_2+{\theta }_3{x}_3\in C \end{gathered}$$

$$\begin{gathered} 之后我们也可以推广至n阶 \\ \begin{array}{c}\forall x_1,x_2,x_3,\cdots ,x_n\in C\\ {\theta }_1+{\theta }_2+{\theta }_3+\cdots +{\theta }_n=1\end{array}\}⟹{\theta }_1{x}_1+{\theta }_2{x}_2+{\theta }_3{x}_3+\cdots +{\theta }_n{x}_n\in C \end{gathered}$$

与C相关子空间

$$\begin{gathered} 如果C是一个仿射集并且x_0\in C,则集合 \\ V=C-x_0是一个与仿射集合C相关联的子空间，与x_0关 \end{gathered}$$

解释：仿射集C中任意一点减去仿射集C中的一个任意一个点，得到的东西都一样，如果仿射集是条直线，那么得到的东西就是经过原点的直线，那么这条直线称之为与C相关子空间

$$\begin{gathered} 证明 \\ 令v_1,v_2\in V,v_1+x_0\in C,v_2+x_0\in C,{\theta }_1+{\theta }_2=1 \\ 则{\theta }_1(v_1+x_0)+{\theta }_2(v_2+x_0)\in C \\ {\theta }_1{v}_1+{\theta }_1{x}_0+{\theta }_2{v}_2+{\theta }_2{x}_0\in C \\ {\theta }_1{v}_1+{\theta }_2{v}_2+x_0\in C解释{\theta }_1+{\theta }_2=1 \\ \because {\theta }_1{v}_1+{\theta }_2{v}_2\in V \\ \therefore V=C-x_0 \end{gathered}$$

仿射包

a f f c = { θ 1 x 1 + ⋯ + θ k x k ∣ x 1 , ⋯   , x k ∈ C , θ 1 + ⋯ + θ k = 1 } affc=\{\theta_1 x_1+ \cdots+\theta_k x_k|x_1,\cdots,x_k\in C,\theta_1+\cdots+\theta_k=1\} affc={θ1​x1​+⋯+θk​xk​∣x1​,⋯,xk​∈C,θ1​+⋯+θk​=1}
$$\begin{gathered} 看不懂吧， \\ 注释： \\ 仿射包：利用仿射集合构造集合C的最小仿射集合 \end{gathered}$$

$$\begin{gathered} 证明: \\ a{x}_1+(1-a)x_2,\beta x_1+(1-\beta )x_2\in affc \\ \theta \in [0,1] \end{gathered}$$
$$\begin{gathered} 构造\theta (a{x}_1+(1-a)x_2)+(1-\theta )(\beta x_1+(1-\beta )x_2)经整理 \\ =(1-\beta -\theta a+\theta \beta )x_2+(\beta +\theta a-\theta \beta )x_1\in affc \end{gathered}$$
$$\begin{gathered} 则我们证明出仿射集中两点进行仿射组合任然属于仿射集合C， \\ 这个仿射集我们称之为仿射包. \end{gathered}$$

$$\begin{gathered} 简单来说就是平面是仿射集，平面上有一条直线，直线上两点进行仿射组合 \\ 后还是属于这条直线，这条直线就是平面上最小仿射集，也就是仿射包 \end{gathered}$$

凸集

$x_1,x_2\in C,\theta \in [0,1]，\theta x_1+(1-\theta )x_2\in C$
仿射集中我们没有对$\theta$限制，凸集中我们对$\theta$进行了限制

仿射集合凸集关系：
因为仿射集的条件比凸集的条件强，所以仿射集必然是凸集。


$C是凸集\stackrel{充分必要}{⟺}{x}_1,x_2\in C,\theta \in [0,1]，\theta x_1+(1-\theta )x_2\in C$

$$\begin{gathered} C是任意集合\begin{array}{c}\forall x_1,x_2,x_3,\cdots ,x_n\in C\\ {\theta }_1+{\theta }_2+{\theta }_3+\cdots +{\theta }_n=1\end{array}\}⟹{\theta }_1{x}_1+{\theta }_2{x}_2+{\theta }_3{x}_3+\cdots +{\theta }_n{x}_n\in C \\ 我们把这样的C称之为凸集 \end{gathered}$$

凸包

平面上一个点就是一个凸集，我们将平面上两点进行凸组合，构成一条直线，这条直线就是凸包。

锥

$\forall x_1\in C,\theta \ge 0,\theta x_1\in C\stackrel{充分必要}{⟺}非负齐次锥$，
简单理解直线是仿射的，凸集就是线段，锥就是一条射线

凸锥

$x_1,x_2\in C,{\theta }_i\ge 0,{\theta }_i{x}_i+{\theta }_2{x}_2\in C\stackrel{充分必要}{⟺}凸锥$
进行凸组合之后还在集合内

凸锥组合

$凸锥组合⟹x_i,\cdots ,x_k\in C,\theta \ge 0,{\theta }_1{x}_1+\cdots +{\theta }_k{x}_k$
$凸锥包：把一个任意集合C，利用凸锥组合的方法形成一个新的集合，是凸的也是锥的!$
c o n i c C = { θ 1 x 1 + ⋯ + θ k x k ∣ x i ⋯ x k ∈ C , θ i ≥ 0 } conic\quad C=\{\theta_1x_1+\cdots+\theta_kx_k|x_i\cdots x_k \in C,\theta_i\ge{0}\} conicC={θ1​x1​+⋯+θk​xk​∣xi​⋯xk​∈C,θi​≥0}

markdown与latex：书写单边大括号左边或右边即在没有括号的一端加点

                                                                                                             -2021-01-12