Riesz の定理と線形計画問題

Boyd と Vanderbeiの本に目を通していて気がついたが、Riesz の定理はLPなどによるモデル化でも重要である。
たとえば、目的関数が <c,x> と表現されるが、これですべての線形関数を表現できることが Riesz の定理で示される。
SDP の場合にも、<C, X> の C が対称行列だけであるが、これもすべての線形関数を表現できる。
このようなあたりに、Hilbert 空間での知識の蓄積を垣間見ることができる。

短期目標：証明読み直しを明日までに
今日の作業内容：証明のメモ書き作成 2h
今日のランチ：サイゼリヤ　ほうれんそうのスパゲッティとドリンクバー
明日の予測作業時間：3h