안녕하세요
해석학 기본이론 책에서 2.4.1 (2)를 증명할 때
(1)에서 sup(A+B) 가 존재하는걸 보였던 것처럼
(2)에서도 inf(A+B)가 존재한다는 걸 먼저 보여야 하나요?
만약 그렇다면 정리 2.3.3을 서술하는 대신 '완비성공리에 의해'라고 써도 되나요?
첫댓글 네, 먼저 inf(A+B)의 존재성을 언급해주는게 맞습니다. 완비성공리는 상한에 대한 내용이므로 정리 2.3.3을 적어주셔야 합니다.
첫댓글 네, 먼저 inf(A+B)의 존재성을 언급해주는게 맞습니다. 완비성공리는 상한에 대한 내용이므로 정리 2.3.3을 적어주셔야 합니다.