チコノフ空間formula_11とそのハウスドルフなコンパクト化formula_21に対してformula_11上の関数空間formula_133を考える。