샌드위치 정리

최근 수정 시각 : 2023-05-16 18:53:33 | 조회수 : 53
압착 정리샌드위치 정리


sandwich theorem

함수의 극한과 관련된 정리이다. 압착 정리(pinching theorem), 스퀴즈 정리(squeeze theorem)라고도 부른다. 상계와 하계를 알고 그 극한값이 같다면 극한값을 구하기 어려운 함수의 극한값을 구하는 데에 사용할 수 있다.

목차

1. 진술
2. 증명
3. 예시
4. 영상

1. 진술

함수 f,g,hf, g, hLL에 가까운 xx에 대하여 limxaf(x)=L=limxag(x)\lim\limits_{x\to a}f(x)=L=\lim\limits_{x\to a}g(x)이고 f(x)h(x)g(x)f(x)\leq h(x)\leq g(x)이면 limxah(x)=L\lim\limits_{x\to a}h(x)=L이다.

이 때, 함수 ffhh의 하계, gghh의 상계라 한다.

2. 증명

limxaf(x)=L\lim\limits_{x\to a}f(x)=L이므로 엡실론-델타 논법에 의해,
  • ε>0,δ1>0, x:0<xa<δ1    f(x)L<ε\forall\varepsilon>0, \exists \delta_1>0, \ \forall x : 0<|x-a|<\delta_1 \implies |f(x)-L|<\varepsilon
이다. 마찬가지로, limxag(x)=L\lim\limits_{x\to a}g(x)=L이므로
  • ε>0,δ2>0, x:0<xa<δ1    g(x)L<ε\forall\varepsilon>0, \exists \delta_2>0, \ \forall x : 0<|x-a|<\delta_1 \implies |g(x)-L|<\varepsilon
이다. δ=min(δ1,δ2)\delta = \min(\delta_1, \delta_2)이라 했을 때 0<xa<δ0<|x-a|<\delta이면
  • Lε<f(x)<L+εL-\varepsilon < f(x) <L+\varepsilon
이고
  • Lε<g(x)<L+εL-\varepsilon < g(x) <L+\varepsilon
이여서
  • Lε<f(x)h(x)g(x)<L+εL-\varepsilon < f(x) \le h(x) \le g(x) < L +\varepsilon
임을 알 수 있다. 따라서 0<xa<δ0<|x-a|<\delta이면
  • ε<h(x)L<ε-\varepsilon < h(x) - L < \varepsilon
이다. 따라서 극한의 정의에 의해 limxah(x)=L\lim\limits_{x\to a}h(x)=L이다.

3. 예시

  • cosxsinxx1\cos x \leq \frac{\sin x}{x} \leq 1 이고 limx0cosx=limx01=1\lim_{x \to 0} \cos x = \lim_{x \to 0} 1 = 1 이므로 limx0sinxx=1\lim_{x \to 0} \frac{\sin x}{x}=1 이다.

4. 영상



이 문서의 내용 중 전체 또는 일부는 오메가에서 가져왔으며 CC BY-NC-SA 3.0에 따라 이용할 수 있습니다.