>>355
バナッハ空間Bの下半連続なセミノルムpとする。セミノルムpの単位球V_p={x∈B|p(x)<=1}は閉集合なのでベール性質をもつ。
V_pは内点を持つのでpは0で連続。よって任意の点でpは連続。