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: .
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
() Suppose . Given , the ε–δ definition gives such that .
In particular, if (the right-hand condition) or (the left-hand condition), we automatically have , so . Thus both one-sided limits equal .
() Conversely, suppose both one-sided limits equal . For a given , the left-hand limit gives working on , and the right-hand limit gives working on .
Set . Then any with lies either in or in , and in both cases . Hence .
Topics that use this theorem
Step-by-step proofs
No step-by-step proof yet for this theorem.
References
- James Stewart (2015). Calculus: Early Transcendentals
- David Jerison (2010). MIT 18.01SC Single Variable Calculus, Session 4: Limits and Continuity