sandwich theorem
함수의 극한과 관련된 정리이다. 압착 정리(pinching theorem), 스퀴즈 정리(squeeze theorem)라고도 부른다. 상계와 하계를 알고 그 극한값이 같다면 극한값을 구하기 어려운 함수의 극한값을 구하는 데에 사용할 수 있다.
함수
f,g,h와
L에 가까운
x에 대하여
x→alimf(x)=L=x→alimg(x)이고
f(x)≤h(x)≤g(x)이면
x→alimh(x)=L이다.
이 때, 함수
f를
h의 하계,
g를
h의 상계라 한다.
x→alimf(x)=L이므로 엡실론-델타 논법에 의해,
- ∀ε>0,∃δ1>0, ∀x:0<∣x−a∣<δ1⟹∣f(x)−L∣<ε
이다. 마찬가지로,
x→alimg(x)=L이므로
- ∀ε>0,∃δ2>0, ∀x:0<∣x−a∣<δ1⟹∣g(x)−L∣<ε
이다.
δ=min(δ1,δ2)이라 했을 때
0<∣x−a∣<δ이면
- L−ε<f(x)<L+ε
이고
- L−ε<g(x)<L+ε
이여서
- L−ε<f(x)≤h(x)≤g(x)<L+ε
임을 알 수 있다. 따라서
0<∣x−a∣<δ이면
- −ε<h(x)−L<ε
이다. 따라서 극한의 정의에 의해
x→alimh(x)=L이다.
- cosx≤xsinx≤1 이고 limx→0cosx=limx→01=1 이므로 limx→0xsinx=1 이다.