[일반] 복소수집합도 자연수집합처럼 최소원을 가지도록 정렬할 수 있나요??

[익명(211.198)]

가능하다는 사실은 알고 있는데 구체적으로 어떻게 정렬해야하는지는 아직 모르는건가요??

- dc official App

[AKIRAx(chrislee93)]

선택공리 없이는 안될걸

[익명(211.198)]

선택공리만 가정하면 할 수 있다는건가요?? ㄷㄷ.. 무시무시하네요 - dc App

[ultraproduct(ultraproduct)]

애초애 아무 set이든 네가 말한 ordering이 존재한다는 게 선택공리와 동치임.

[5둥리카일렝이(lillollool)]

실수집합에대해서도 아직 못찾았다그러긴하던데

[ultraproduct(ultraproduct)]

선택공리 없으면 그런 것이 존재한다는 보장이 없음.

[웨리(223.39)]

헐 - dc App

[익명(143.248)]

zfc에선 constructive하게 표현할수없다는게 증명되있을걸

[GROTHENDIECK(grothendieck00)]

와 이런건 어케 증명하냐

[익명(61.83)]

그냥 반페구간이면 최소원소를 갖잖아

[익명(211.246)]

복소수 집합 전체를 말한거였어요.. 복소수 집합의 부분집합이 아니라 ㅇㅅㅇ - dc App

[익명(61.83)]

전체이면 존재하지 않을텐데

[익명(210.216)]

윗분이 선택공리만 가정하면 복소수가 아니라 아무 집합이나 가져와도 가능하다고 답해주셨는데.. - dc App

[익명(61.83)]

복소수 접체 집합은 불가능함 ;;