直线和线段
设
x1
和
x2
为
Rn
空间中两个点,且
x1≠x2
,那么
组成了一条穿过 x1 和 x2 的直线。如果 θ=0 ,则 y=x2 ,如果 θ=1 , y=x1 。当 θ∈[0,1] 时, y 组成了
彷射集合
如果有集合
C⊆Rn
,且穿过集合
C
中任意两点的直线仍然在集合
推广到多个点。如果
θ1+⋯+θk=1
,则称
θ1x1+⋯+θkxk
为
x1,⋯,xk
的彷射组合。一个仿射集合包含集合内任意点的仿射组合,即如果
C
仿射,
如果集合
C
仿射,且
是一个子空间。
证明:
设 v1,v2∈V , α,β∈R ,根据 V 的定义有
因为 C 仿射且
我们称集合 C∈Rn 中点的所有仿射组合构成的集合为 C 的仿射包。记为
仿射包是包含 C 的最小的仿射集合,也就是说,如果
几个例子:
1. 单点集的仿射包是它本身。
2. 包含两个点(两点不同)的集合的仿射包是穿过它们的直线。
3. 包含三个点(三点不共线)的集合的仿射包是穿过它们的平面。
凸集
如果集合
C
中任意两点间的线段仍然在
类似,我们称 θ1x1+⋯+θkxk 为 x1,⋯,xk 的凸组合,其中 θ1+⋯+θk=1 ,且 θi⩾0,i=1,⋯,k 。一个凸集包含集合内所有点的凸组合。
我们称集合 C 中所有点的凸组合组成的集合为集合
凸包总是凸的,是包含 C 的最小凸集。
凸组合的概念可以推广到无穷级数、积分以及大多数形式的概率分布。比如,假设
且
x1,x2,⋯∈C
,
C
为凸集。这时,如果级数
更一般地,假设
p:Rn→R
为定义在
C
上的概率密度。那么,如果积分
锥
如果对于
∀x∈C
和
θ⩾0
都有
θx∈C
,我们就称集合
C
是锥或者非负齐次。如果对于
我们就称 C 为凸锥。
在二维平面上,具有此类形式的点构成一个以0为起点的扇形。
具有
集合
C
的锥包是
锥包是包含
C
<script type="math/tex" id="MathJax-Element-91">C</script>的最小的凸锥。