定理から導く証明にようやく成功した。丸一週間費やしたことになる。定理から導けるという話自体は知っていた。これは大ヒントであって,そういう意味では証明は九割がた済んでいたわけである。定理を素朴に使ってみたところ,弱双対定理と呼ばれる,もっとずっと簡単に導ける不等式しか得られなかった。定理の択一性がちゃんと利用できそうな定式化が思いついた。その時点ではまだ完全な証明に至らなかった。それからさらに三日経った今日,ようやく最後のピースが埋まった。その最後のピースは結局のところ弱双対定理であった。久々に新しいことを学んだ気がする。条件と呼ばれるものや,凸汎関数の劣微分作用素へと進んでいきたいものである。よる証明の,4年前に理解できなかったところを理解したいものである。定理を導けることも知られており,それは実際,かなり容易である。自身が開発した単体法をうまく用いたのではないかと推測される。ある線形計画法のテキストの中にはその方針で先に双対定理を導いているものも多いように思われる。定理の証明自体も,凸集合の分離という幾何学的な捉え方ではなく,掃き出し法のような純代数的な式変形と数学的帰納法によるものがある。した手法もやはり学ぶべきであろうから,きちんと取り組んだ際にはその手法を用いて双対定理が示せないか考えてみたいものである。ゲーム理論の古典的テキストの関連個所もついでに調査しようと思っている。定理との関連も見ておきたい。私自身は数学の実務への応用にはほとんど関心がないが,例えばある問題に対する解をどう見出すかといった手続きを具体的に追及するという方向性には興味がある。それは構成的,もしくは操作論的な立場というものが気になっているからである。定理などの実際の内容に興味があるというより,その定理の内容をどう理解するかといったものの見方に強い関心があるのである。したがって,新しい定理を見出すよりも,よく知られている定理の別証明を考えたり,他の定理との関連を見出そうとすることばかりに気が向いてしまう。いう意味ではプロの研究者には向いていないのであろう。最先端でバリバリ結果を出すよりも,古い文献に埋もれてあれこれ妄想している方が幸せなのである。線形計画法の双対定理。最近の画像[もっと見る]Radoの不等式とPopoviciuの不等式。1年前Radoの不等式とPopoviciuの不等式。