双極定理

数学において、双極定理（そうきょくていり、テンプレート:Lang-en-short）とは、錐がその双極と等しいための必要十分条件を与える凸解析の一定理である。双極定理は、フェンシェル＝モローの定理の特別な場合と見なすことが出来るテンプレート:Rp。

定理の内容

ある線型空間 $X$ 内の任意の空でない集合 $C\subset X$ に対し、双極錐 $C^{oo}=(C^o{)}^o$ は次で与えられる。

$C^{oo}=\mathrm{cl}(\mathrm{co}\{\lambda c:\lambda \ge 0,c\in C\})$

ここで $\mathrm{co}$ は凸包を表すテンプレート:Rp。

特別な場合

$C\subset X$ が空でない閉凸錐であるための必要十分条件は、$C^{++}=(C^{+}{)}^{+}$ であるときに $C^{++}=C^{oo}=C$ であることである。ここで $(\cdot {)}^{+}$ は正の双対錐を表す。

あるいはより一般に、$C$ が凸錐であるなら双極錐は次で与えられる。

$C^{oo}=\mathrm{cl}C.$

フェンシェル＝モローの定理との関係

$f(x)=\delta (x|C)=\{\begin{array}{cc}0& \text{if }x\in C\\ +\mathrm{\infty }& \text{else}\end{array}$ はある錐 $C$ に対する指示函数とする。このとき、凸共役 $f^{*}(x^{*})=\delta (x^{*}|C^o)={\delta }^{*}(x^{*}|C)=\underset{x\in C}{\sup }⟨x^{*},x⟩$ は $C$ に対するテンプレート:仮リンクであり、$f^{**}(x)=\delta (x|C^{oo})$ である。したがって、$C=C^{oo}$ であるための必要十分条件は、$f=f^{**}$ であるテンプレート:Rp。