>>272
再々訂正
セミノルムをp_w(f)=||wf||(L^1(X)ノルム)、w∈C_b(X)(X上の有界連続関数の全体の空間)
にすればいけそう

連続セミノルムの半基底と極限の台がコンパクとになるとこはいけそう