锥、凸锥、锥包

锥Cones

如果对于任意$x\in C$和$\theta \ge 0$，都有$\theta x\in C$，我们称集合C是锥cones，或者非负齐次(nonnegative homogeneous )的。如果集合C是锥，并且是凸的，则称C为凸锥(convex cone)，即对任意$x_1,x_2\in C$和${\theta }_1,{\theta }_2\ge 0$，都有
$${\theta }_1{x}_1+{\theta }_2{x}_2\in C$$
凸锥与凸集和仿射集合的定义不同的是:

• 仿射集合要求${\theta }_1+\cdots +{\theta }_k=1$
• 凸集要求${\theta }_1+\cdots +{\theta }_k=1,{\theta }_i\ge 0,i=1,\cdots ,k.$
• 凸锥要求${\theta }_i\ge 0,i=1,\cdots ,k.$

集合C的锥包（conic hull of a set C）是C中所有锥组合(conic conbinations)的集合，即
{ θ 1 x 1 + ⋯ + θ k x k ∣ x i ∈ C , θ i ≥ 0 , i = 1 , ⋯   , k } \{\theta_1x_1+\cdots+\theta_kx_k| x_i\in C,\theta_i\geq 0,i=1,\cdots,k\} {θ1​x1​+⋯+θk​xk​∣xi​∈C,θi​≥0,i=1,⋯,k}