>>258
今の場合、w∈C_0(X) ではなく w∈C(X) なので、w はX上で非有界の可能性がある。
実際、>>239の w＝Σwj(x) は、一般には X 上で非有界である。そのような w に対して、

＞ｆの台をKとするとあるK_jに対してK⊂K_j、よってp_w(f)<=sup|w(x)|p_j(f)

この部分は p_w(f)<=sup|w(x)|p_j(f) ＝ ＋∞ p_j(f) となり、破綻する。