[일반] kahn 위상 질문요.

[익명(175.223)]

C밖에 있는 점을 포함하는 open set이 C와 만나지 않는다는게 왜 normal일때 보장되나요?
또 밑에도 어떻게 Oy와 Ox가 disjoint하도록 잡을 수 있는겁니까?ㅠ

[익명(present29)]

normal의 정의를 읽어봅시다

[익명(175.223)]

근데 저거는 normal의 정의가 아니라 regular의 정의 같은데

[익명(present29)]

확실하진 않은데 아마 기억상 Kahn에선 normal이 Hausdorff라고 가정해서 singleton도 closed set일거임

[익명(175.223)]

헉 singleton 을 생각을 못했어요 ㄷㄷ 감사합니다