MathLabs
TheoremProved

Existence of a limit via one-sided limits

Statement

A two-sided limit exists if and only if both one-sided limits exist and are equal: lim⁡x→x0f(x)=L  ⟺  lim⁡x→x0−f(x)=lim⁡x→x0+f(x)=L\lim_{x\to x_0} f(x)=L \iff \lim_{x\to x_0^-} f(x)=\lim_{x\to x_0^+} f(x)=L.

Why is it true?

Walking toward a doorway from the left hallway and from the right hallway only lands you in the same room if both hallways actually meet at the same door.

Proof sketch

(⇒\Rightarrow) Suppose lim⁡x→x0f(x)=L\lim_{x\to x_0} f(x) = L. Given ε>0\varepsilon>0, the ε–δ definition gives δ>0\delta>0 such that 0<∣x−x0∣<δ⇒∣f(x)−L∣<ε0<|x-x_0|<\delta\Rightarrow |f(x)-L|<\varepsilon.

In particular, if x0<x<x0+δx_0<x<x_0+\delta (the right-hand condition) or x0−δ<x<x0x_0-\delta<x<x_0 (the left-hand condition), we automatically have 0<∣x−x0∣<δ0<|x-x_0|<\delta, so ∣f(x)−L∣<ε|f(x)-L|<\varepsilon. Thus both one-sided limits equal LL.

(⇐\Leftarrow) Conversely, suppose both one-sided limits equal LL. For a given ε>0\varepsilon>0, the left-hand limit gives δ1>0\delta_1>0 working on (x0−δ1,x0)(x_0-\delta_1,x_0), and the right-hand limit gives δ2>0\delta_2>0 working on (x0,x0+δ2)(x_0,x_0+\delta_2).

Set δ=min⁡(δ1,δ2)>0\delta=\min(\delta_1,\delta_2)>0. Then any xx with 0<∣x−x0∣<δ0<|x-x_0|<\delta lies either in (x0−δ1,x0)(x_0-\delta_1,x_0) or in (x0,x0+δ2)(x_0,x_0+\delta_2), and in both cases ∣f(x)−L∣<ε|f(x)-L|<\varepsilon. Hence lim⁡x→x0f(x)=L\lim_{x\to x_0} f(x) = L. ■\blacksquare

Topics that use this theorem

Step-by-step proofs

No step-by-step proof yet for this theorem.

References

  1. James Stewart (2015). Calculus: Early Transcendentals
  2. David Jerison (2010). MIT 18.01SC Single Variable Calculus, Session 4: Limits and Continuity