[대학교이상] 해석학 질문

[병맛아이(ysorry258995)]

이거 왜 U에는 포함안된다는건지 설명해주실수있나요??

[익명(14.37)]

완비성공리같은데 뭐이리 알아보기 힘들게 써놨냐

[병맛아이(ysorry258995)]

supE+e0가 e의 upper bound인데 동시에 U에는 포함안되서 모순이라고 필기했었는데 U에는 포함안된다는걸 어떻게 알수있는건가요ㅠ

[익명(14.37)]

U가 E의 upper bound 모아놓은거 아님? 포함이 왜 안됨

[병맛아이(ysorry258995)]

저도 잘 모르겠어서 모순이 대체 어디서 난건지 알고싶네요

[익명(118.235)]

u의 inf보다 작으니까 모순인거지

[병맛아이(ysorry258995)]

왜 supE+e가 u의 inf보다 작으면 모순인지를 모르겠어요ㅠㅠ

[익명(118.235)]

supE + e는 E의 upper bound임. 그러면 U의 정의에 의해 U의 원소가 되어야 함. 그런데 infU보다 작으면 U의 원소가 될 수 없음. 이 둘이 모순인거

[병맛아이(ysorry258995)]