[해석학] 실수의 완전성 공리


위 정의는 공리이므로 당연하다고 생각하고 앞으로 전개될 내용들에 증명을 하지 않고 사용해도 된다.

이 실수의 완전성 공리를 이용하여 다음과 같은 정리가 등장한다.


즉, 실수가 존재하면 그 실수보다 큰 자연수는 항상 존재한다는 의미이다. 이 정리는 매우 자주쓰이기 때문에 잘 알아두도록 하자.

다음은 이 정리를 변형한 정리이다.


다음 정리를 직접 증명해보자



'수학 이론 > 순수수학' 카테고리의 다른 글

[해석학] interval  (0) 2017.07.27
[해석학] 유리수의 조밀성  (2) 2017.07.26
[해석학] √2가 존재하는가?  (2) 2017.07.25
[해석학] sup, inf 예제  (2) 2017.07.21
[해석학] Sup(상계), Inf(하계)  (0) 2017.07.21
더보기

댓글

MathGrammer

하고싶은거 공부하고 하고싶은거 하는 사람의 블로그