Squeeze Theorem/Sequences/Real Numbers
Theorem
Let $\sequence {x_n}$, $\sequence {y_n}$ and $\sequence {z_n}$ be sequences in $\R$.
Let $\sequence {y_n}$ and $\sequence {z_n}$ both be convergent to the following limit:
- $\ds \lim_{n \mathop \to \infty} y_n = l, \lim_{n \mathop \to \infty} z_n = l$
Suppose that:
- $\forall n \in \N: y_n \le x_n \le z_n$
Then:
- $x_n \to l$ as $n \to \infty$
that is:
- $\ds \lim_{n \mathop \to \infty} x_n = l$
Thus, if $\sequence {x_n}$ is always between two other sequences that both converge to the same limit, $\sequence {x_n} $ is said to be sandwiched or squeezed between those two sequences and itself must therefore converge to that same limit.
Corollary
Let $\sequence {y_n}$ be a sequence in $\R$ which is null, that is:
- $y_n \to 0$ as $n \to \infty$
Let:
- $\forall n \in \N: \size {x_n - l} \le y_n$
Then $x_n \to l$ as $n \to \infty$.
Proof
From Negative of Absolute Value: Corollary 1:
- $\size {x - l} < \epsilon \iff l - \epsilon < x < l + \epsilon$
Let $\epsilon > 0$.
We need to prove that:
- $\exists N: \forall n > N: \size {x_n - l} < \epsilon$
As $\ds \lim_{n \mathop \to \infty} y_n = l$ we know that:
- $\exists N_1: \forall n > N_1: \size {y_n - l} < \epsilon$
As $\ds \lim_{n \mathop \to \infty} z_n = l$ we know that:
- $\exists N_2: \forall n > N_2: \size {z_n - l} < \epsilon$
Let $N = \max \set {N_1, N_2}$.
Then if $n > N$, it follows that $n > N_1$ and $n > N_2$.
So:
- $\forall n > N: l - \epsilon < y_n < l + \epsilon$
- $\forall n > N: l - \epsilon < z_n < l + \epsilon$
But:
- $\forall n \in \N: y_n \le x_n \le z_n$
So:
- $\forall n > N: l - \epsilon < y_n \le x_n \le z_n < l + \epsilon$
and so:
- $\forall n > N: l - \epsilon < x_n < l + \epsilon$
So:
- $\forall n > N: \size {x_n - l} < \epsilon$
Hence the result.
$\blacksquare$
Also known as
This result is also known, in the UK in particular, as the sandwich theorem or the sandwich rule.
In that culture, the word sandwich traditionally means specifically enclosing food between two slices of bread, as opposed to the looser usage of the open sandwich, where the there is only one such slice.
Hence, in idiomatic British English, one can refer to the (often uncomfortable) situation of being between two entities as being sandwiched between them.
As the idiom is not universal globally, the term squeeze theorem is preferred on $\mathsf{Pr} \infty \mathsf{fWiki}$, for greatest comprehension.
Sources
- 1977: K.G. Binmore: Mathematical Analysis: A Straightforward Approach ... (previous) ... (next): $\S 4$: Convergent Sequences: $\S 4.10$: Theorem (the sandwich theorem)