Section 2.2 · Field notes
Where a function is headed near a point — even when the point can't be trusted
A value the formula can't give you
Graph of f(x)=x−2x2−4. At x=2 it has no value (you'd divide by zero). So where is the graph headed as x nears 2? Tabulate just below and just above.
| from left | f(x) | from right | f(x) |
|---|---|---|---|
| 1 | 3 | 3 | 5 |
| 1.9 | 3.9 | 2.1 | 4.1 |
| 1.99 | 3.99 | 2.01 | 4.01 |
| 1.999 | 3.999 | 2.001 | 4.001 |
| 1.9999 | 3.9999 | 2.0001 | 4.0001 |
Table 2.2.1: Both columns close in on 4.
From both sides f(x) heads toward 4 — even though f(2)=00 has no value. It heads there without ever arriving.
Figure 2.2.1: f(x)=x−2x2−4 — the line y=x+2 with (2,4) punched out.
By the end of this section you will be able to
Why we approach instead of substitute
Factor and cancel:
x−2x2−4=x−2(x−2)(x+2)=x+2for x=2.
So f is the line y=x+2 with the single point (2,4) punched out. The cancellation is only legal for x=2 — which is why we approach the point instead of substituting it. (Evaluating limits exactly by factoring is the work of §2.3.)
A limit reads where a function is headed, not where it is — like reading which way a friend is walking through a crowd, even when you can't see exactly where they stand.
Definition 2.2.1 — Limit (intuitive)
Definition 2.2.1 — Limit
Let f(x) be defined for all x in an open interval containing a, except possibly at a itself, and let L be a real number. If all values of f(x) approach L as the values of x (=a) approach a, then the limit of f(x) as x approaches a is L:
x→alimf(x)=L.
Figure 2.2.2: The limit reports the neighborhood (shaded band around a), not the value at the point.
Read it: for f(x)=x−2x2−4, the value f(2) does not exist — yet x→2limf(x)=4.
Example 2.2.1 — A limit from a table
Evaluate x→0limxsinx using a table. The function is even, so the left and right columns match.
| x | sinx/x |
|---|---|
| ±0.1 | 0.99833 |
| ±0.01 | 0.99998 |
| ±0.001 | 0.9999998 |
Table 2.2.2: Both sides march toward 1.
x→0limxsinx=1.
Figure 2.2.3: y=xsinx settles on height 1 at x=0.
Try It Now 2.2.1 — Your turn
Simplify first: x−1x1−1=x(x−1)−(x−1)=−x1 for x=1.
Both columns march toward −1, so x→1limx−1x1−1=−1.
| x | f(x) | x | f(x) |
|---|---|---|---|
| 0.9 | -1.1111 | 1.1 | -0.9091 |
| 0.99 | -1.0101 | 1.01 | -0.9901 |
| 0.999 | -1.0010 | 1.001 | -0.9990 |
Table 2.2.3: Both sides close in on −1.
Example 2.2.3 — A limit from a graph
For the function g(x) shown, evaluate x→−1limg(x).
The marked point shows g(−1)=4, but the curve approaches height 3 from both sides: x→−1limg(x)=3.
The limit and the function value are allowed to disagree — the limit reports the neighborhood, not the isolated point.
Figure 2.2.4: g(−1)=4, yet x→−1limg(x)=3.
Theorem 2.2.1 — Two important limits
Tables and graphs rest on guesswork — a trend read, not a value proved. §2.3 builds algebraic limit laws that compute limits exactly. Two limits are so basic that every one of those laws leans on them.
Theorem 2.2.1 — Two important limits
For any real number a and constant c:
x→alimx=aandx→alimc=c.
The identity function f(x)=x marches along with x; a constant function never moves. These are the atomic building blocks inside every limit law from here on.
Two ways to fail · Example 2.2.4
A two-sided limit exists only if f(x) approaches a single real number from both sides. It can miss in two ways: oscillation (bounces forever) or blow-up (shoots to ±∞). Both read DNE for now.
Evaluate x→0limsin(x1). As x→0, 1/x blows up, so sin(1/x) oscillates faster and faster — never settling.
Along x=π2,3π2,5π2,… the value cycles 1,−1,1,−1,…. Different paths give different values, so x→0limsin(x1) DNE.
Figure 2.2.5: sin(1/x) oscillates without bound as x→0.
Some failures deserve their own notation
Saying "the limit does not exist" sometimes throws away useful information.
sin(1/x) genuinely wandered — nothing more to say. But recall g(x)=x−2∣x−2∣: it settles cleanly on −1 from the left and +1 from the right.
The two-sided limit fails, yet each side is perfectly well-behaved. That deserves its own notation.
Figure 2.2.6: g(x)=x−2∣x−2∣ — clean on each side, a jump at x=2.
Definition 2.2.2 — One-sided limits
Definition 2.2.2 — Left and right limits
From the left. If f(x) approaches L as x (x<a) approaches a: x→a−limf(x)=L.
From the right. If f(x) approaches L as x (x>a) approaches a: x→a+limf(x)=L.
Example: for g(x)=x−2∣x−2∣ the two-sided limit DNE, but the sides are clean — x→2−limg(x)=−1 and x→2+limg(x)=1.
Example 2.2.5 — Evaluating one-sided limits
f(x)={x+1x2−4if x<2,if x≥2.
Use the correct branch on each side: x→2−limf(x)=3,x→2+limf(x)=0.
Because the side limits differ, x→2limf(x) DNE — the graph jumps at x=2.
Figure 2.2.7: A jump at x=2: left limit 3, right limit 0.
Try It Now 2.2.4 — Your turn
Factor: ∣x2−4∣=∣x−2∣∣x+2∣.
x→2−limx−2∣x2−4∣=−4,x→2+limx−2∣x2−4∣=4.Left side −4; right side +4; two-sided DNE.
Theorem 2.2.2 — Relating one- and two-sided limits
Theorem 2.2.2 — One-sided and two-sided limits
x→alimf(x)=L⟺x→a−limf(x)=L and x→a+limf(x)=L.
The two-sided limit exists exactly when the two side limits agree on the same value. If they disagree, the two-sided limit does not exist.
Recording how a limit fails
Every function so far stayed bounded near its trouble point. But the third opening function never settles:
h(x)=(x−2)21 ⟶ +∞as x→2.
This is the blow-up failure flagged earlier. Rather than write "DNE", we record how it fails — with the symbol ∞.
Figure 2.2.8: h(x)=(x−2)21 climbs to +∞ on both sides of x=2.
Definitions 2.2.3 & 2.2.4
Definition 2.2.3 — Infinite limits
If f(x) increases without bound as x→a: x→alimf(x)=+∞; if it decreases without bound, x→alimf(x)=−∞. The same applies to x→a− and x→a+.
Definition 2.2.4 — Vertical asymptote
The line x=a is a vertical asymptote of f(x) if any one holds: x→a−limf(x)=±∞, x→a+limf(x)=±∞, x→alimf(x)=±∞.
Writing ±∞ records how the limit fails — by blowing up — instead of just "DNE". (Infinity describes behavior; it is not a real-number value.) Example: h(x)=(x−2)21 has x→2limh(x)=+∞, so x=2 is a vertical asymptote.
Example 2.2.6 — Recognizing an infinite limit
Evaluate the one- and two-sided limits of x1 at x=0.
| x | 1/x | x | 1/x |
|---|---|---|---|
| -0.01 | -100 | 0.01 | 100 |
| -0.001 | -1000 | 0.001 | 1000 |
Table 2.2.4: The two sides blow up in opposite directions.
x→0−limx1=−∞,x→0+limx1=+∞.So x→0limx1 DNE.
Figure 2.2.9: y=x1 with a vertical asymptote at x=0.
Theorem 2.2.3 — Infinite limits from positive integers
Even n
x→alim(x−a)n1=+∞.Both sides climb to +∞.
Odd n
x→a+lim(x−a)n1=+∞, x→a−lim(x−a)n1=−∞.
For a real number a and a positive integer n, either way the line x=a is a vertical asymptote.
Example 2.2.7 & Try It Now 2.2.6
Example 2.2.7 — f(x)=(x+3)41 at x=−3
Match (x−a)n1: a=−3, n=4 (even). Both sides shoot to +∞:
x→−3limf(x)=+∞.
The limit blows up, so x=−3 is a vertical asymptote.
Try It Now 2.2.6 — f(x)=(x−2)31 at x=2
n=3 is odd, so the sides go to opposite infinities:
x→2−lim(x−2)31=−∞, x→2+lim(x−2)31=+∞.
Answer: two-sided DNE; vertical asymptote at x=2.
Example 2.2.8 — Reading a graph
x=−4 (smooth): x→−4limf(x)=0, and f(−4)=0.
x=−2 (hole): x→−2limf(x)=3, but f(−2) is undefined.
x=1 (jump): lim−=6, lim+=3, two-sided DNE, f(1)=6.
x=3 (asymptote): both sides →−∞, f(3) undefined.
Figure 2.2.10: One graph, four behaviors: smooth, hole, jump, asymptote.
Four behaviors, one verdict each
Where is a function headed near a point — even when the point can't be trusted? One graph holds all four answers.
| Point on the graph | Limit verdict |
|---|---|
| smooth (x=−4) | exists; lim=f(a) |
| hole (x=−2) | exists; lim=f(a) |
| jump (x=1) | two-sided DNE; sides clean |
| asymptote (x=3) | infinite; vertical asymptote |
Table 2.2.5: The limit always reads the neighborhood.
When the neighborhood agrees, the limit exists; when it splits or blows up, we don't stop at "DNE" — we name how.
Figure 2.2.10: The four verdicts, all on one graph.
A limit reads where a function is heading near a point — through a hole, up to a jump, or off to ±∞. When the neighborhood agrees the limit exists; when it splits or blows up, we name exactly how it fails.
Next: §2.3 The Limit Laws — computing x→alimf(x) exactly, no table or graph required.