원래 X 공간이 locally hausdorff인건 어디서 쓰이는거임?