双対錐と極錐

双対錐（そうついすい、）と極錐（きょくすい、）は、数学の凸解析の分野において密接に関連する概念である。
双対錐.
例えばユークリッド空間 R"n" などの、位相的双対 "X*" を備える線型空間 "X" に対し、その部分集合 "C" の双対錐 "C*" は次の集合で定義される。
ここで は "X" と "X*" の間の双対組、すなわち である。
"C" が凸集合や線型錐でない場合でも、"C*" は常に凸錐である。
代替的に、多くの研究者は実ヒルベルト空間（ユークリッド内積を備える R"n" など）の文脈において双対錐を定義している。それは次の集合で定義され、しばしば内的双対錐（internal dual cone）と呼ばれる。
この後者の "C*" の定義によると、"C" が錐であるときに、次の性質が成り立つことが分かる：
自己双対錐.
ベクトル空間 "X" 内の錐 "C" が自己双対（self-dual）であるとは、内積 ⟨⋅,⋅⟩ に関する内的双対錐が "C" に等しいような内積を "X" が備えることが出来ることを言う。実ヒルベルト空間における内的双対錐として双対錐を定義する研究者はしばしば、錐が自己双対であるとはそれがその内的双対と等しいことであると定義する。これは、内積の変化を許す上述の定義とは異なる。例えば、上述の定義では楕円型基を備える R"n" 内の錐は自己双対である。なぜならば、内積はその基を球状に変えることができ、R"n" 内の球状の基はその内的双対に等しいからである。
R"n" の非負の象限とすべての半正定値行列の空間は、楕円型の基を備えるため、自己双対錐である（しばしば球錐やローレンツ錐、アイスクリーム錐などと呼ばれる）。したがってそのような基を備える R3 内のすべての錐は、奇数個の頂点を持つ正多角形の凸包である。
少し変わった例として、基が「家」の形をした R3 内の錐が挙げられる。すなわち、ある正方形と、その外側の点を正方形の一辺と結ぶことで構成される正三角形の凸包である。
極錐.
"X" 内のある集合 "C" に対し、"C" の極錐は次の集合で定義される。
極錐は双対錐に -1 を掛けたものであることが分かる。すなわち、"Co" = −"C*" である。
"X" 内の閉凸錐 "C" に対し、極錐は "C" の極集合と等しい。