ハウスドルフ空間 loading ...