主張 Eを局所コンパクトハウスドルフ(以下LCHと略す)かつ第2可算公理を満たす空間とし， をE上の非負値連続関数で無限遠点で消える関数全体とする．このとき関数列 で任意の相異なるEの2点x,yに対してあるf_nがあってf_n(x)≠f_n(y)となるものが存在する．補…