Difference between revisions of "Squeeze Theorem"

Latest revision as of 14:36, 1 December 2015

The Squeeze Theorem (also called the Sandwich Theorem or the Squeeze Play Theorem) is a relatively simple theorem that deals with calculus, specifically limits.

Squeeze Theorem

Theorem

Suppose $f(x)$ is between $g(x)$ and $h(x)$ for all $x$ in a neighborhood of the point $S$ . If $g$ and $h$ approach some common limit $L$ as $x$ approaches $S$ , then $\lim_{x\to S}f(x)=L$ .

Proof

If $f(x)$ is between $g(x)$ and $h(x)$ for all $x$ in the neighborhood of $S$ , then either $g(x)\leq f(x) \leq h(x)$ or $h(x)\leq f(x)\leq g(x)$ for all $x$ in this neighborhood. The two cases are the same up to renaming our functions, so assume without loss of generality that $g(x)\leq f(x) \leq h(x)$ .

We must show that for all $\varepsilon >0$ there is some $\delta > 0$ for which $|x-S|<\delta$ implies $|f(x)-L|<\varepsilon$ .

Now since $\lim_{x\to S}g(x)=\lim_{x\to S}h(x)=L$ , there must exist $\delta_1,\delta_2>0$ such that

$|x-S|<\delta_1 \Rightarrow |g(x)-L|<\varepsilon \textrm{ and } |x-S|<\delta_2 \Rightarrow |h(x)-L|<\varepsilon.$

Now let $\delta = \min\{\delta_1,\delta_2\}$ . If $|x-S|<\delta$ then

$-\varepsilon < g(x) - L \leq f(x) - L \leq h(x) - L < \varepsilon.$

So $|f(x)-L|<\varepsilon$ . Now by the definition of a limit we get $\lim_{x\to S}f(x)=L$ as desired.

Applications and examples

The Squeeze Theorem can be used to evaluate limits that might not normally be defined. An example is the function $f(x)=x^2 e^{\sin\frac{1}{x}}$ with the limit $\lim_{x\to 0} f(x)$ . The limit is not normally defined, because the function oscillates infinitely many times around 0, but it can be evaluated with the Squeeze Theorem as following. Create two functions, $x^2$ and $-x^2$ . It is easy to see that around 0, the function in question is squeezed between these two functions, and the limit as both of these approach 0 is 0, so $\lim_{x\to 0} f(x)$ is 0.

This article is a stub. Help us out by expanding it.

@@ Line 1: / Line 1: @@
-The '''Squeeze Play Theorem''' is a relatively simple [[theorem]] that deals with [[calculus]], specifically [[limit]]s.
+The '''Squeeze Theorem''' (also called the '''Sandwich Theorem''' or the '''Squeeze Play Theorem''') is a relatively simple [[theorem]] that deals with [[calculus]], specifically [[limit]]s.
+[[Image:Squeeze theorem example.jpg|thumb|Squeeze Theorem]]
 ==Theorem==
-Suppose <math>f(x)</math> is between <math>g(x)</math> and <math>h(x)</math> for all <math>x</math> in the neighborhood of <math>S</math>. If <math>g</math> and <math>h</math> approach some common limit L as <math>x</math> approaches <math>S</math>, then <math>\lim_{x\to S}f(x)=L</math>.
+Suppose <math>f(x)</math> is between <math>g(x)</math> and <math>h(x)</math> for all <math>x</math> in a [[neighborhood]] of the point <math>S</math>. If <math>g</math> and <math>h</math> approach some common limit <math>L</math> as <math>x</math> approaches <math>S</math>, then <math>\lim_{x\to S}f(x)=L</math>.
+===Proof===
+If <math>f(x)</math> is between <math>g(x)</math> and <math>h(x)</math> for all <math>x</math> in the neighborhood of <math>S</math>, then either <math>g(x)\leq f(x) \leq h(x)</math> or <math>h(x)\leq f(x)\leq g(x)</math> for all <math>x</math> in this neighborhood.  The two cases are the same up to renaming our [[function]]s, so assume without loss of generality that <math>g(x)\leq f(x) \leq h(x)</math>.
+We must show that for all <math>\varepsilon >0</math> there is some <math>\delta > 0</math> for which <math>|x-S|<\delta</math> implies <math>|f(x)-L|<\varepsilon</math>.
+Now since <math>\lim_{x\to S}g(x)=\lim_{x\to S}h(x)=L</math>, there must exist <math>\delta_1,\delta_2>0</math> such that
+<cmath>|x-S|<\delta_1 \Rightarrow |g(x)-L|<\varepsilon \textrm{  and  } |x-S|<\delta_2 \Rightarrow |h(x)-L|<\varepsilon.</cmath>
+Now let <math>\delta = \min\{\delta_1,\delta_2\}</math>. If <math>|x-S|<\delta</math> then
+<math>-\varepsilon < g(x) - L \leq f(x) - L \leq h(x) - L < \varepsilon.</math>
+So <math>|f(x)-L|<\varepsilon</math>. Now by the definition of a limit we get <math>\lim_{x\to S}f(x)=L</math> as desired.
+== Applications and examples==
+The Squeeze Theorem can be used to evaluate limits that might not normally be defined. An example is the function <math>f(x)=x^2 e^{\sin\frac{1}{x}}</math>  with the limit <math>\lim_{x\to 0} f(x)</math>. The limit is not normally defined, because the function oscillates infinitely many times around 0, but it can be evaluated with the Squeeze Theorem as following. Create two functions, <math>x^2</math> and <math>-x^2</math>. It is easy to see that around 0, the function in question is squeezed between these two functions, and the limit as both of these approach 0 is 0, so <math>\lim_{x\to 0} f(x)</math> is 0.
-==Proof==
+{{stub}}
-If <math>f(x)</math> is between <math>g(x)</math> and <math>h(x)</math> for all <math>x</math> in the neighborhood of <math>S</math>, then either <math>g(x)<f(x)<h(x)</math> or <math>h(x)<f(x)<g(x)</math> for all <math>x</math> in the neighborhood of <math>S</math>. The second case is basically the first case, so we just need to prove the first case.
-If <math>g(x)</math> increases to <math>L</math>, then <math>f(x)</math> goes to either <math>L</math> or <math>M</math>, where <math>M>L</math>. If <math>h(x)</math> decreases to <math>L</math>, then <math>f(x)</math> goes to either <math>L</math> or <math>N</math>, where <math>N<L</math>. Since <math>f(x)</math> can't go to <math>M</math> or <math>N</math>, then <math>f(x)</math> must go to <math>L</math>. Therefore, <math>lim_{x\to S}f(x)=L</math>.
 ==See Also==
 *[[Limit]]

Page

Toolbox

Search

Difference between revisions of "Squeeze Theorem"

Latest revision as of 14:36, 1 December 2015

Contents

Theorem

Proof

Applications and examples

See Also