双極定理

双極定理について

双極定理は数学の分野、特に凸解析における重要な理論の一つです。この定理は、ある錐がその双極と等しいための必要かつ十分条件を提供します。双極定理は、フェンシェル＝モローの定理の特別なケースとして理解されています。

定理の概要

数学における双極定理は、次のように定義されます。任意の線型空間
X の中で、空でない集合 C が与えられたとき、双極錐 C^{oo} は次のように表現されます。

C^{oo} = cl(co{λc : λ ≥ 0, c ∈ C})

ここで、co は凸包を示し、cl は閉包を表します。この定理は、具体的に双極錐を表すための方法を提供しています。

特別な場合

特に、C が空でない閉凸錐である場合、必要かつ十分な条件は次の形式で示されます。

C^{++} = (C^{+})^{+}

この条件が成り立つとき、C^{++} = C^{oo} = C という関係が成り立ちます。ここで、(・)^{+} は正の双対錐を指します。この結果は、より一般的な場合においても適用可能であり、C が凸錐であれば、双極錐は単純に次のように表現されます。

C^{oo} = cl C

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

双極定理は、フェンシェル＝モローの定理とも深く関わっています。この関連において、ある錐 C に対する指示函数 f(x) は次のように定義されます。

f(x) = δ(x|C) = { 0 (x ∈ C) ; +∞ (それ以外) }

ここで、δ(x|C) は C に関連する指示関数です。このとき、凸共役は以下のように示されます。

f^{}(x^{}) = δ(x^{}|C^{o}) = sup_{x ∈ C} ⟨x^{}, x⟩

この表現により、C に対する支持函数が導かれます。さらに、f^{}(x) = δ(x|C^{oo}) という形でも表現され、C = C^{oo} であるための必要十分条件は f = f^{} が成り立つことに帰結します。

結論

双極定理は、線型空間における集合の性質や双極性の理解に寄与する重要な役割を果たします。この定理は、数学の様々な分野における解析に利用され、特に最適化理論や経済学においても応用が見られます。そのため、双極定理の理解は、凸解析における深い洞察をもたらします。

参考文献

この定理に関するさらなる詳細は、専門的な数学書や文献を参照することをお勧めします。

もう一度検索