최대 최소 정리
f(x)가 [a,b]에서 연속이면, f(x)는 최댓값, 최솟값을 갖는다.
증명하기
f(x) 가 위로 유계가 아니라고 가정하자.
모든 자연수 n 에 대하여 an∈[a,b]이고, f(an)>n 인 수열 {an}을 설정하자. 이때 an은 유계이므로 B-W 정리에 의해 수렴하는 부분수열 {ank} 를 갖는다. 이때, limn→∞ank=A (A∈[a,b]) 라 하면 f 가 연속함수이므로 limk→∞f(ank)=f(A)를 만족한다. 그러나 limn→∞f(ank)>limn→∞nk=∞ 이므로 가정에 모순이다. 따라서 f(x)는 위로 유계이다. (아래로 유계도 같은 방법으로 증명)
f(x)의 상한을 S라 하면, 임의의 ϵ>0에 대하여 f(p)>S−ϵ를 만족하는 p∈[a,b]가 존재한다.
(∴ f는 연속함수이다.) 따라서 S−1n<f(cn)<S인 cn∈[a,b]를 설정할 수 있다. 이 때, B-W 정리에 의해 수렴하는 부분수열 cnk를 가진다. 그 극한값을 limk→∞f(cnk)=C 라 하자. f가 연속함수이므로 limk→∞f(cnk=f(C) 이다.
limn→∞(S−1n)<limn→∞f(cn)<limn→∞S이면, 샌드위치 정리에 의해 limn→∞f(cn)=S 이다. (∴f(C)=S(c∈[a,b])
따라서 f(x)는 최댓값 S를 갖는다.
B-W 정리
볼차노 바이어슈트라스 정리(B-W 정리) 증명하기
볼차노 바이어슈트라스 정리 유계인 수열은 수렴하는 부분수열을 가진다. 증명방법 xn을 유계 수열이라 하자. 그러면 모든 자연수 n에 대하여 |xn|≤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 |
댓글