仿射集合和凸集

仿射集合:通过集合$C$的任意两个点的直线仍在集合$C$中,称$C$是仿射的. 他可以扩展到$C$中任意几个点的仿射组合都在$C$中,这些线性组合的系数和为1,但是可以有负数和超过1的存在.

$x_0\in C$,$C$仿射
V = { x + x 0 ∣ x ∈ C } V=\{x+x_0|x\in C\} V={x+x0​∣x∈C}是子空间,对加法和数乘封闭
仿射集合可以表示成线性方程组的解集 C = { x ∣ A x = b } C=\{x|Ax=b\} C={x∣Ax=b}

仿射包:集合$X$的所有仿射组合构成一个仿射包,仿射包是包含集合$X$的最小仿射集,记为$affX$

仿射维数:集合的仿射维数的仿射包的维数

相对内部: r e l i n t C = { x ∈ C ∣ B ( x , r ) ∩ a f f C ⊆ C } relint C=\{x\in C|B(x,r)∩affC\subseteq C\} relintC={x∈C∣B(x,r)∩affC⊆C},其中 B ( x , r ) = { y ∣   ∣ ∣ y − x ∣ ∣ ≤ r } B(x,r)=\{y|\ ||y-x||\le r\} B(x,r)={y∣ ∣∣y−x∣∣≤r},即由范数定义半径为r的球.这里范数可以是任意范数,因为所有范数定义了相同的相对内部
ps.相对内部要求内部点的周围$B(x,r)$在仿射包$\cap affC$中是集合的子集$\subseteq C$
ps.为什么说任意范数都一样,是因为不同范数都可以表示周围的概念,并且r可以是任意正数,所以范数类型不重要,不是内部的点除了外部点还有就是边界点,边界点的r不管取多小,它的周围都会超出边界

相对边界:$clC$ \ $relintC$ $c1C$表示$C$的闭包
相对边界的意思闭包上不在内部的点,其实就是最外面的一圈框框

凸集:任意两点的线段在集合之内,凸组合和仿射组合的区别是凸组合的系数都是零到壹之内的,它的系数和也是和为1
凸包:集合$X$的所有凸组合叫凸包,记为$convC$

锥:对于任意$x\in C,\theta \ge 0,都有\theta x\in C$称集合$C$是锥或者非负齐次.如果锥是凸的,叫凸锥.即对于任意$x_1,x_2\in C,{\theta }_1,{\theta }_2\ge 0$,都有$x_1{\theta }_1+x_2{\theta }_2\in C$,类似地锥也有组合叫锥组合也是点线性组合,它的系数为正
ps.凸锥的凸和凸包的凸的它们都表示线性组合在集合内,不过它们组合的条件不一样,凸包要求是线段,也就是权重和为1,且为正,锥只要求正.但是从空间的角度来看凸锥和锥的区别在于凸锥是连续的锥,不凸的锥是几条离散的线