[일반] 그러니까 제가 궁금한 건 이것이에요

[기괴공학도(mecheng98)]

/ 앞까진 이해가 되는데
어떻게 그 성질로부터
"N이 정렬순서집합임"
을 알 수 있죠?
제 머리로는 힘드네요

- 희망의 등불

[겨울_(silhouet72)]

N의 임의의 nonempty subset(say, A)을 잡고, 여기서 적당히 원소 n을 뽑아내자. 이제 A의 원소에서 n 이하인 것들을 전부 모아놓은 집합(say, B)은 {0,...,n}의 subset이니 최소원이 있고, 이게 바로 A의 최소원이다. 이런 식으로 하면 되지 않을까요

[ExHentai.org(nsa15464)]

이렇게도 well ordering 증명 되네 기억해둬야지

[기괴공학도(mecheng98)]

그렇네요. 이런 생각은 어떻게 할까요?? - 훈다리 훈다리

[기괴공학도(mecheng98)]

정말 감사합니다. 제가 2시간 고민한 걸 10분 안에 해결하시네요. 대단하십니다. - 훈다리 훈다리