不等式

今日はずいぶんと暑い。もう初夏のようだ。 そう言えば、もう立夏は過ぎたのだっけ。 猫も床に寝そべっている。

今日もまたかけ蕎麦を食べて、 12時半から卒研その２。 ヘルダーの不等式の証明とか、 ミンコフスキの不等式とか。 ミンコフスキの不等式とは通常、 Lp ノルムの三角不等式のことを言う。 しかし、Lieb-Loss の教科書では、 直積空間の上の二重積分の形で表現されていて、 積分とベキ乗の交換の間に成り立つ不等式になっている。 実際、この系として通常の三角不等式が導かれるので、 一般化であることは確かだが、 私にはやや技巧的に思える。 こんな不等式が通常の問題から必要になるとは思えないのだが、 どうだろう？私の理解が浅いのかも知れないなあ、 と考えながら、続いて「数理計画法」。 双対定理の続きと、ゲーム理論との関係。 続いて、「情報処理演習」。 変数と printf() など。

夕食は作ってあったマリナーラソースで、 トマトと茄子のパスタ。 そろそろ茄子が安くなってきた。 茄子は油と良くあう素材だ。