[일반] 유리손 보조정리 선택공리에 의존해?

[익명(122.34)]

멍커스 책 보니까 의존하는 거 같은데 맞나

[ScARfaCE(kayuaao)]

증명보니까 선택공리 쓰이는게 안보이는데? 내가 놓친게있는건가 그게 어디서 보인거야?

[익명(122.34)]

U_p 구성하는 과정에서 U_r(1), U_r(2), ... , U_r(n) 으로부터 U_r(n+1)을 구성할 때, r(1), ... , r(n) 중에서 r(n+1)의 바로 앞원을 s, 바로 뒤원을 t 라 하면 Cl (U_s) ㄷ U 이고 Cl (U) ㄷ U_t 인 열린집합 U를 U_r(n+1) 이라고 잡잖아. 이때 Cl (U_s) ㄷ U 이고 Cl (U) ㄷ U_t 인 열린집합 U 이 유일하게 존재하는 건 아니니까 여기서 선택공리 쓴 거 아냐?

[익명(111.118)]

네 피료해용