>>256
セミノルム族{p_j}は可算でL_cの連続セミノルムの半基底になる。

・連続セミノルムの半基底の証明
ｆの台をKとするとあるK_jに対してK⊂K_j、よってp_w(f)<=sup|w(x)|p_j(f)

二つのセミノルム族{p_j}と{pw}の定める局所凸位相は同じもの。