双極定理
ある線型空間 X {\displaystyle X} 内の任意の空でない集合 C ⊂ X {\displaystyle C\subset X} に対し、双極錐 C o o = ( C o ) o {\displaystyle C^{oo}=(C^{o})^{o}} は次で与えられる。
C o o = cl  ( co  { λ c : λ ≥ 0 , c ∈ C } ) {\displaystyle C^{oo}=\operatorname {cl} (\operatorname {co} \{\lambda c:\lambda \geq 0,c\in C\})}
ここで co {\displaystyle \operatorname {co} } は凸包を表す。