凸錐

【とつすい (convex cone)】

ベクトル空間の部分集合 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle S\,} で次の条件を満たすものを錐という.

$x\in S,\alpha \geq 0\Longrightarrow \alpha x\in S\,$

特に凸集合であるような錐を凸錐という. 錐 $S\,$ に対して構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle S^* := \{ y \, | \, x^{\top} y \le 0, \ \forall \, x \in S \}\,} で定義される凸錐 $S^{*}\,$ を $S\,$ の極錐という. 凸錐および極錐は, 非線形計画問題の最適性条件を特徴付ける際に基本的な役割を果たす.