コンパクトハウスドルフ空間上で定義されたに対して