2007-11-25 「解析学の基礎」 math book Mackey の定理の証明がおもしろい.局所凸空間上の連続線型汎関数は,有界性を判定するのに十分なくらいたくさんある,という定理.Hahn-Banach の定理はもちろんだが,Baire のカテゴリー定理も使う.