ハウスドルフ 非ハウスドルフ U V x y U V x y 交わらない開集合で分離 どんな近傍も重なる