PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: High Entry average rating: No information on entry rating
squeeze rule (Theorem)

Squeeze rule for sequences

Let $f,g,h:\N\to\R$ be three sequences of real numbers such that $$f(n)\le g(n)\le h(n)$$ for all $n$ . If $\lim_{n\to\infty}f(n)$ and $\lim_{n\to\infty}h(n)$ exist and are equal, say to $a$ , then $\lim_{n\to\infty}g(n)$ also exists and equals $a$ .

The proof is fairly straightforward. Let $\e$ be any real number $>0$ . By hypothesis there exist $M,N\in\N$ such that $$|a-f(n)|<\e\text{ for all }n\ge M$$ $$|a-h(n)|<\e\text{ for all }n\ge N$$ Write $L=\max(M,N)$ . For $n\ge L$ we have

  • if $g(n)\ge a$ : $$|g(n)-a|=g(n)-a\le h(n)-a<\e$$
  • else $g(n)<a$ and: $$|g(n)-a|=a-g(n)\le a-f(n)<\e$$
So, for all $n\ge L$ , we have $|g(n)-a|<\e$ , which is the desired conclusion.

Squeeze rule for functions

Let $f,g,h:S\to\R$ be three real-valued functions on a neighbourhood $S$ of a real number $b$ , such that $$f(x)\le g(x)\le h(x)$$ for all $x\in S-\{b\}$ . If $\lim_{x\to b}f(x)$ and $\lim_{x\to b}h(x)$ exist and are equal, say to $a$ , then $\lim_{x\to b}g(x)$ also exists and equals $a$ .

Again let $\e$ be an arbitrary positive real number. Find positive reals $\alpha$ and $\beta$ such that $$|a-f(x)|<\e\text{ whenever }0<|b-x|<\alpha$$ $$|a-h(x)|<\e\text{ whenever }0<|b-x|<\beta$$ Write $\delta=\min(\alpha,\beta)$ . Now, for any $x$ such that $|b-x|<\delta$ , we have

  • if $g(x)\ge a$ : $$|g(x)-a|=g(x)-a\le h(x)-a<\e$$
  • else $g(x)<a$ and: $$|g(x)-a|=a-g(x)\le a-f(x)<\e$$
and we are done.




"squeeze rule" is owned by Daume. [ owner history (1) ]
(view preamble | get metadata)

View style:

Other names:  squeeze theorem, squeeze test
Log in to rate this entry.
(view current ratings)

Cross-references: positive, neighbourhood, functions, conclusion, hypothesis, proof, real numbers, sequences
There are 3 references to this entry.

This is version 1 of squeeze rule, born on 2003-07-20.
Object id is 4483, canonical name is SqueezeRule.
Accessed 8336 times total.

Classification:
AMS MSC26A03 (Real functions :: Functions of one variable :: Foundations: limits and generalizations, elementary topology of the line)

Pending Errata and Addenda
None.
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | prove | add result | add corollary | add example | add (any)