Unit 1, lesson 2

Intuitive Definition of Limit

What it means for a function to approach a number as its input approaches a point, how to read limits from tables and graphs, and the ways a limit can fail to exist.

  • Theory part 3
  • Practice part 4
  • Motivation and Limits

Theory, part 3

Practice, part 4

Try to evaluate the function

f(x)=x2−1x−1f(x) = \frac{x^2 - 1}{x - 1}

at x=1x = 1 and you get 0/00/0, which is not a number. Yet for xx close to 11 the outputs sit very close to 22, and nothing strange happens nearby. A limit is the tool that captures this. It asks where the outputs are heading, and it does not care what happens at the point itself.

Key terms

Approaching a value

Definition Let ff be defined on an open interval containing aa, except possibly at aa itself. We say that f(x)f(x) approaches the number LL as xx approaches aa if the values f(x)f(x) can be made as close to LL as we like by taking xx sufficiently close to aa, on either side of aa, but not equal to aa.

In plain words However small a tolerance around LL you ask for, every input close enough to aa (other than aa) gives an output within that tolerance.

Example Here are some outputs of the function ff from the opening for inputs near a=1a = 1.

xx0.90.90.990.990.9990.9991.0011.0011.011.011.11.1
f(x)f(x)1.91.91.991.991.9991.9992.0012.0012.012.012.12.1

From both sides the values close in on 22. Algebra explains why. For every x≠1x \neq 1

x2−1x−1=(x−1)(x+1)x−1=x+1,\frac{x^2 - 1}{x - 1} = \frac{(x - 1)(x + 1)}{x - 1} = x + 1,

and x+1x + 1 is near 22 when xx is near 11.

Nearby inputs

Definition The limit of ff at aa depends only on the values f(x)f(x) for xx in some open interval around aa with x≠ax \neq a. In particular, if f(x)=g(x)f(x) = g(x) for every x≠ax \neq a in some open interval containing aa, then ff and gg have the same limit at aa, or neither has one.

In plain words Only the neighborhood counts. What ff does far away from aa, and what it does exactly at aa, has no effect on the limit.

Example The function ff from the opening and the function g(x)=x+1g(x) = x + 1 agree at every x≠1x \neq 1. The first is undefined at 11 and the second equals 22 there, but both approach 22 as xx approaches 11. Changing gg at x=50x = 50 to any value you like would not change that either.

Limit notation

Definition When f(x)f(x) approaches LL as xx approaches aa, we write

lim⁡x→af(x)=L,\lim_{x \to a} f(x) = L,

read “the limit of f(x)f(x) as xx approaches aa is LL”. An equivalent notation is f(x)→Lf(x) \to L as x→ax \to a. Here LL must be a real number.

In plain words The symbol lim⁡x→a\lim_{x \to a} is an instruction. Look at f(x)f(x) for xx near aa and report the number the outputs settle on.

Example For f(x)=2x+1f(x) = 2x + 1, inputs near 33 give outputs near 77, since

∣(2x+1)−7∣=2∣x−3∣\lvert (2x + 1) - 7 \rvert = 2\lvert x - 3 \rvert

is small whenever ∣x−3∣\lvert x - 3 \rvert is small. So lim⁡x→3(2x+1)=7\lim_{x \to 3} (2x + 1) = 7.

Function value versus limiting value

Definition The value f(a)f(a) and the limit lim⁡x→af(x)\lim_{x \to a} f(x) are different objects. The limit can exist while f(a)f(a) is undefined, the two can both exist and differ, and f(a)f(a) can exist while the limit does not.

In plain words The value f(a)f(a) is where the function actually is at aa. The limit is where it is heading as you come close to aa. They often match, but nothing forces them to.

Example Let

g(x)={x2,x≠2,1,x=2.g(x) = \begin{cases} x^2, & x \neq 2, \\ 1, & x = 2. \end{cases}

Then g(2)=1g(2) = 1, while for xx near 22 but not equal to it g(x)=x2g(x) = x^2 is near 44. So lim⁡x→2g(x)=4≠g(2)\lim_{x \to 2} g(x) = 4 \neq g(2). On a graph this looks like the parabola with one point lifted out of it and dropped to height 11.

Graphs and numerical tables

Definition A table of values f(x)f(x) for inputs xx approaching aa from both sides, or a graph of ff near aa, gives evidence for a limit and a guess for its value. Neither is a proof, because a table checks only finitely many inputs and a graph shows only what its scale and resolution allow.

In plain words Tables and graphs are good for guessing. Confirm the guess with algebra or with the precise definition that comes later in this unit.

Example A table supports a true guess for (sin⁡x)/x(\sin x)/x near 00, with xx in radians.

xx0.50.50.10.10.010.010.0010.001
sin⁡xx\frac{\sin x}{x}0.9588510.9588510.9983340.9983340.9999830.9999830.99999980.9999998

The function is even, so negative inputs give the same values, and the guess

lim⁡x→0sin⁡xx=1\lim_{x \to 0} \frac{\sin x}{x} = 1

is correct. Now take h(x)=sin⁡(π/x)h(x) = \sin (\pi/x) and the inputs x=1,0.1,0.01,0.001x = 1, 0.1, 0.01, 0.001. Every one of them gives h(x)=sin⁡(nπ)=0h(x) = \sin(n\pi) = 0 for a whole number nn, so the table suggests a limit of 00 at x=0x = 0. That guess is wrong, as the next term shows.

Oscillation

Definition A function oscillates near aa when, in every open interval around aa, its values keep swinging between numbers that stay a fixed distance apart. If there is a fixed d>0d > 0 such that every open interval around aa contains inputs x1,x2≠ax_1, x_2 \neq a with ∣f(x1)−f(x2)∣≥d\lvert f(x_1) - f(x_2) \rvert \ge d, then lim⁡x→af(x)\lim_{x \to a} f(x) does not exist.

In plain words The outputs never settle down. No matter how close to aa you zoom in, they still jump back and forth by at least dd.

Example Take f(x)=sin⁡(1/x)f(x) = \sin (1/x) near 00. For every positive whole number kk the inputs

xk=1π/2+2kπandyk=13π/2+2kπx_k = \frac{1}{\pi/2 + 2k\pi} \quad \text{and} \quad y_k = \frac{1}{3\pi/2 + 2k\pi}

give f(xk)=1f(x_k) = 1 and f(yk)=−1f(y_k) = -1. Both kinds of input get as close to 00 as we like as kk grows, so every interval around 00 contains outputs 11 and −1-1. With d=2d = 2 the limit fails to exist. The same reasoning applies to sin⁡(π/x)\sin (\pi/x), which is why the table above misled us.

Existence and nonexistence

Definition The limit lim⁡x→af(x)\lim_{x \to a} f(x) exists when there is a real number LL that f(x)f(x) approaches as xx approaches aa from both sides. Otherwise the limit does not exist. The common ways to fail are a jump, where the two sides head to different numbers, unbounded growth, where the values do not stay near any real number, and oscillation.

In plain words A limit exists only when one single real number works from both sides. If the two sides disagree, or the values blow up, or they keep swinging, there is no limit.

Example For the step function H(t)=0H(t) = 0 when t<0t < 0 and H(t)=1H(t) = 1 when t≥0t \ge 0, inputs just left of 00 give 00 and inputs just right of 00 give 11, so lim⁡t→0H(t)\lim_{t \to 0} H(t) does not exist. For 1/x21/x^2 near 00, the inputs x=±0.01x = \pm 0.01 already give 1000010000, and the outputs grow past every bound, so there is no real limit at 00 either.

Check yourself

  1. Let f(x)=x+3f(x) = x + 3 for x≠1x \neq 1 and f(1)=0f(1) = 0. Find f(1)f(1) and lim⁡x→1f(x)\lim_{x \to 1} f(x).
Show the answer

The value is f(1)=0f(1) = 0, but for xx near 11 and x≠1x \neq 1 the values x+3x + 3 are near 44, so lim⁡x→1f(x)=4\lim_{x \to 1} f(x) = 4.

  1. Guess the limit below and then confirm it with algebra.
lim⁡x→4x−4x−2\lim_{x \to 4} \frac{x - 4}{\sqrt{x} - 2}
Show the answer

Since x−4=(x−2)(x+2)x - 4 = (\sqrt{x} - 2)(\sqrt{x} + 2) for x≥0x \ge 0, the quotient equals x+2\sqrt{x} + 2 for x≥0x \ge 0 with x≠4x \neq 4. That approaches 4+2=4\sqrt{4} + 2 = 4, so the limit is 44.

  1. Does lim⁡x→0cos⁡(1/x)\lim_{x \to 0} \cos (1/x) exist?
Show the answer

No. For every positive whole number kk the function equals 11 at x=1/(2kπ)x = 1/(2k\pi) and −1-1 at x=1/((2k+1)π)x = 1/((2k + 1)\pi), and both kinds of input come arbitrarily close to 00. The function oscillates, so there is no limit.

How this lesson connects

It also uses Functions, algebra, coordinates and basic sine notation.