ハウスドルフ空間じゃない位相空間って必要か？