在凸优化里面看到 pointed cone 这个概念,翻译为尖锥。若
K
K
K 为一个尖锥,则
if
x
∈
K
, and
−
x
∈
K
⇒
x
=
0
⃗
\text{if } x\in K \text{, and } -x\in K\Rightarrow x=\vec{0}
if x∈K, and −x∈K⇒x=0
几何意义上:非尖锥中存在一条无限长的直线在锥中。
下面两个图片清晰地展示出尖锥与非尖锥的区别
尖锥:
非尖锥:
~