凸壳可以看作是点集合的边界，其精确定义如下：
设集合S是n维空间的k个点组成的集合，即S={x1,x2,...xk},xi是n维向量。定义S的凸壳Conv(S)为：
Conv(S)＝{x=λ1*x1+λ2*x2+...+λk*xk | λ1+λ2+ . . .+λk=1}