해석학 이론 정리 2.4.1

[wls5661]

안녕하세요

해석학 기본이론 책에서 2.4.1 (2)를 증명할 때

(1)에서 sup(A+B) 가 존재하는걸 보였던 것처럼

(2)에서도 inf(A+B)가 존재한다는 걸 먼저 보여야 하나요?

만약 그렇다면 정리 2.3.3을 서술하는 대신 '완비성공리에 의해'라고 써도 되나요?

[김성희]

네, 먼저 inf(A+B)의 존재성을 언급해주는게 맞습니다. 완비성공리는 상한에 대한 내용이므로 정리 2.3.3을 적어주셔야 합니다.