[대학교이상] RCA urysohn 질문

[익명(118.235)]

얘는 위상에서 나오는 Normal space상에서의 urysohn lemma랑 관련있는것같은데 이거 적용해서 rca urysohn lemma증명가능함? 뭐 one point compactification써서 증명하면 되는건가 구체적으로 어케하는거임?

[익명(106.101)]

그냥 똑같은거잖아

[익명(118.235)]

위상에선 normal상에서 다루던데? 모르겠네 진짜모름

[익명(106.101)]

statement 자체는 똑같은거같은데 증명에선 compact써서함?

[익명(118.235)]

A,B가 disjoint closed subset of normal space X이면 f(A)={0}, f(B)={1}을 만족하는 X에서 [0,1]로가는 연속함수 f가 존재한다. 이거랑 저게 같나 진짜로 좀만 더 생각해봄

[익명(118.235)]

아 됐다 LCH one point compactification 해서 compact hausdorff로 만들어서 urysohn쓰면 끝나네

[익명(106.101)]

굿