최대 최소 정리
f(x)가 [a,b]에서 연속이면, f(x)는 최댓값, 최솟값을 갖는다.
증명하기
f(x) 가 위로 유계가 아니라고 가정하자.
모든 자연수 n 에 대하여 an∈[a,b]이고, f(an)>n 인 수열 {an}을 설정하자. 이때 an은 유계이므로 B-W 정리에 의해 수렴하는 부분수열 {ank} 를 갖는다. 이때, lim (A \in [a,b]) 라 하면 f 가 연속함수이므로 \lim_{k \to \infty}f(a_{n_k})=f(A)를 만족한다. 그러나 \lim_{n \to \infty}f(a_{n_k})> \lim_{n \to \infty}n_k = \infty 이므로 가정에 모순이다. 따라서 f(x)는 위로 유계이다. (아래로 유계도 같은 방법으로 증명)
f(x)의 상한을 S라 하면, 임의의 \epsilon >0에 대하여 f(p)>S-\epsilon를 만족하는 p \in [a,b]가 존재한다.
(\therefore f는 연속함수이다.) 따라서 S-\frac{1}{n} < f(c_n) <S인 c_n \in [a,b]를 설정할 수 있다. 이 때, B-W 정리에 의해 수렴하는 부분수열 c_{n_k}를 가진다. 그 극한값을 \lim_{k \to \infty}f(c_{n_k})=C 라 하자. f가 연속함수이므로 \lim_{k \to \infty}f(c_{n_k}=f(C) 이다.
\lim_{n \to \infty}(S-\frac{1}{n})< \lim_{n \to \infty}f(c_n)< \lim_{n \to \infty}S이면, 샌드위치 정리에 의해 \lim_{n \to \infty}f(c_n)=S 이다. (\therefore f(C)=S (c \in [a,b])
따라서 f(x)는 최댓값 S를 갖는다.
B-W 정리
볼차노 바이어슈트라스 정리(B-W 정리) 증명하기
볼차노 바이어슈트라스 정리 유계인 수열은 수렴하는 부분수열을 가진다. 증명방법 x_n을 유계 수열이라 하자. 그러면 모든 자연수 n에 대하여 |x_n| \leq M 을 만족한다. 이 때, [-M,0], [0.M] 중
mathtravel.tistory.com
'수학' 카테고리의 다른 글
로피탈 정리 증명하는 법 (0) | 2022.11.05 |
---|---|
롤의 정리 증명하기(Roll's theorem) (0) | 2022.11.05 |
단조수렴정리 증명하기 (0) | 2022.11.04 |
볼차노 바이어슈트라스 정리(B-W 정리) 증명하기 (0) | 2022.11.04 |
축소구간정리 증명하기 (0) | 2022.11.04 |
댓글