Limit of a Function — From Intuition to Precision
Imagine you are walking toward a wall. You never actually touch the wall, but you can get arbitrarily close to it — a millimetre away, then a micrometre, then a nanometre. The wall is a limit: a value you approach but may never reach.
That is the core idea of a limit in mathematics. We ask: What value does a function f(x) get close to, as x gets close to some number c? The answer, if it exists, is called the limit of f(x) as x approaches c, written:
limx→cf(x)=L
The function need not even be defined at x=c. The limit cares only about behaviour near c, not at c itself.
Intuitive Example
Consider f(x)=x−1x2−1. At x=1, this function is undefined (division by zero). But what happens as x gets very close to 1?
| x | f(x) |
|---|
| 0.9 | 1.9 |
| 0.99 | 1.99 |
| 0.999 | 1.999 |
| 1.001 | 2.001 |
| 1.01 | 2.01 |
| 1.1 | 2.1 |
The values crowd around 2. So we say:
limx→1x−1x2−1=2
Even though f(1) does not exist, the limit does.
The limit is about approach, not arrival. A function can have a limit at a point where it is undefined, or where its value is different from the limit.
One-Sided Limits
Approaching c from the left (smaller values) and from the right (larger values) can give different results. We write:
- Left-hand limit: x→c−limf(x)
- Right-hand limit: x→c+limf(x)
If both one-sided limits exist and are equal, then the two-sided limit exists and equals that common value.
Example: f(x)=x∣x∣ at x=0.
- From the left (x<0): ∣x∣=−x, so f(x)=−1. Thus x→0−limf(x)=−1.
- From the right (x>0): ∣x∣=x, so f(x)=1. Thus x→0+limf(x)=1.
Since the one-sided limits differ, x→0limx∣x∣ does not exist.
A common mistake: assuming a limit exists just because the function is defined at the point. The limit cares about nearby behaviour, not the point itself.
The Precise Definition (Epsilon-Delta)
The intuitive idea — "gets arbitrarily close" — is made rigorous with the ϵ-δ definition.
limx→cf(x)=L
means: For every ϵ>0, there exists a δ>0 such that if 0<∣x−c∣<δ, then ∣f(x)−L∣<ϵ.
In plain language: No matter how tight a tolerance ϵ you set around L, you can find a neighbourhood of width δ around c (excluding c itself) such that every x in that neighbourhood gives an f(x) within ϵ of L.
Think of a game: You (the challenger) pick any small ϵ>0. I (the mathematician) must produce a δ>0 that works. If I can always do it, the limit exists.
Example: Prove x→2lim(3x−1)=5.
We need: ∣(3x−1)−5∣<ϵ whenever 0<∣x−2∣<δ.
Simplify: ∣3x−6∣=3∣x−2∣<ϵ.
So ∣x−2∣<3ϵ. Choose δ=3ϵ. Then:
If 0<∣x−2∣<δ, then ∣(3x−1)−5∣=3∣x−2∣<3δ=ϵ.
Done. The limit is proved.
Why Limits Matter
Limits are the foundation of calculus. Derivatives are limits of slopes of secant lines. Integrals are limits of sums of areas of rectangles. Without limits, calculus has no logical basis.
For now, remember: A limit answers the question "Where are you heading?" not "Where are you?"