편집을 취소할 수 있습니다. 이 편집을 되돌리려면 아래의 바뀐 내용을 확인한 후 게시해주세요.
최신판 | 당신의 편집 | ||
7번째 줄: | 7번째 줄: | ||
증명을 이해하려면 [[단조 수렴 정리]]와 [[유계]]에 대한 지식이 필요하며, 이를 알면 상당히 간단하다. 증명은 다음과 같다. | 증명을 이해하려면 [[단조 수렴 정리]]와 [[유계]]에 대한 지식이 필요하며, 이를 알면 상당히 간단하다. 증명은 다음과 같다. | ||
:<math>\left\{a_n\right\}</math>는 단조 증가하는 수열이고, 위로 유계이다 (<math>b_1</math>이 한 | :<math>\left\{a_n\right\}</math>는 단조 증가하는 수열이고, 위로 유계이다 (<math>b_1</math>이 한 상한이다.). 따라서 단조 수렴 정리에 의해 <math>\lim_{n\to\infty}a_n=A</math>가 실수로서 존재하고, 각 자연수 <math>k</math>에 대해 <math>A=\sup_na_n\leq b_k</math>이다.<ref>만약 아니면 폐구간에 관한 가정에 모순</ref> 따라서 모든 자연수 <math>k</math>에 대해 <math>a_k\leq A\leq b_k</math>이다. 즉 <math>A</math>는 모든 폐구간 <math>I_k</math>에 속해있다. 이제 모든 자연수 <math>n</math>에 대해 <math>B\in I_n</math>이라 가정하자. 그럼 모든 자연수 <math>n</math>에 대해 <math>a_n\leq B\leq b_n</math>이고, <math>0\leq B-a_n\leq b_n-a_n</math>이다. 그런데 <math>\lim_{n\to\infty}\left(b_n-a_n\right)=0</math>이므로, 샌드위치 정리에 의해 <math>\lim_{n\to\infty}\left(B-a_n\right)=0</math>이다. 이는 곧, <math>B=\lim_{n\to\infty}a_n=A</math>를 의미하고, <math>A</math>가 모든 폐구간에 포함된 유일한 실수라는 것을 보인다. | ||
중요한 점은 모든 구간이 '''폐구간'''이어야 한다는 사실이다. 반열린 구간이나 개구간에 대해서는 일반적으로 성립하지 않는다. | 중요한 점은 모든 구간이 '''폐구간'''이어야 한다는 사실이다. 반열린 구간이나 개구간에 대해서는 일반적으로 성립하지 않는다. | ||