位相線形空間の双対(>>57)については Hahn-Banach の定理が
基本的である。これについては過去スレ006の769で E がノルム空間の
場合に証明した。
ここでは Bourbaki に従ってそれをやや拡張して述べる。
準備として凸垂と凸関数、前順序線形空間などについて述べる。