Loading [MathJax]/jax/output/CommonHTML/jax.js
본문 바로가기
수학

최대 최소 정리 증명하기

by 여행과 수학 2022. 11. 4.
반응형

최대 최소 정리

f(x)[a,b]에서 연속이면, f(x)는 최댓값, 최솟값을 갖는다.

 

증명하기

f(x) 가 위로 유계가 아니라고 가정하자.

모든 자연수 n 에 대하여 an[a,b]이고, f(an)>n 인 수열 {an}을 설정하자. 이때 an은 유계이므로 B-W 정리에 의해 수렴하는 부분수열 {ank} 를 갖는다. 이때, limnank=A (A[a,b]) 라 하면 f 가 연속함수이므로 limkf(ank)=f(A)를 만족한다. 그러나 limnf(ank)>limnnk= 이므로 가정에 모순이다. 따라서 f(x)는 위로 유계이다. (아래로 유계도 같은 방법으로 증명)

 

f(x)의 상한을 S라 하면, 임의의 ϵ>0에 대하여 f(p)>Sϵ를 만족하는 p[a,b]가 존재한다.

( f는 연속함수이다.) 따라서 S1n<f(cn)<Scn[a,b]를 설정할 수 있다. 이 때, B-W 정리에 의해 수렴하는 부분수열 cnk를 가진다. 그 극한값을 limkf(cnk)=C 라 하자. f가 연속함수이므로 limkf(cnk=f(C) 이다.

 

limn(S1n)<limnf(cn)<limnS이면, 샌드위치 정리에 의해 limnf(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

728x90