■

体調あまりよくならず。いままでの疲れが結構あるんだろうなぁ。夏だし。とはいえ今夜ちゃんと寝れば多少は違うんじゃないかという気はします。

Hahn-Banachの定理を復習したりしました。1次元分拡張すればZornの補題が使えて終わりなので、条件を満たすように拡張するにはどうすれば良いか調べると自然と証明が得られるわけですね。