위 정의는 상계와 하계가 존재하기 위한 조건들이다.
lower bound와 upper bound가 존재할 때 supremum이라는 녀석과 infimum이라는 녀석을 새로 정의를 한다.
supremum은 the least upper bound로써 upper bound 중에서 가장 작은녀석을 뜻하고
infimum은 the greatest lower bound로써 lower bound 중에서 가장 큰 녀석을 뜻한다.
이와 같이 정의는 매우 단순하다. 그렇지만 실상 문제를 풀어보면 절대로 간단하지 않다 ㅜㅜ
'수학 이론 > 순수수학' 카테고리의 다른 글
[해석학] interval (0) | 2017.07.27 |
---|---|
[해석학] 유리수의 조밀성 (2) | 2017.07.26 |
[해석학] √2가 존재하는가? (2) | 2017.07.25 |
[해석학] 실수의 완전성 공리 (0) | 2017.07.25 |
[해석학] sup, inf 예제 (2) | 2017.07.21 |
댓글