切线锥

给定一个 子集 和一个 点 ，切线锥 在 关于 被定义为集合

其中 是距离函数的左上 Dini 导数

凸分析中的一个经典结果将 描述为向量 向量 在 的集合，对于这些向量，存在序列 序列 在 和 在 使得 位于 对于所有 （Borwein）。直观地，切线锥 由 极限 组成，这些极限是 方向 指向 点 接近 在 中。