1 Limits

1.2 Epsilon-Delta Definition of a Limit

This section introduces the formal definition of a limit. Many refer to this as “the epsilon-delta,” definition, referring to the letters ϵ and δ of the Greek alphabet.

Before we give the actual definition, let’s consider a few informal ways of describing a limit. Given a function y=f(x) and an x-value, c, we say that “the limit of the function f, as x approaches c, is a value L”:

1.

if “y tends to L” as “x tends to c.”

2.

if “y approaches L” as “x approaches c.”

3.

if “y is near L” whenever “x is near c.”

The problem with these definitions is that the words “tends,” “approach,” and especially “near” are not exact. In what way does the variable x tend to, or approach, c? How near do x and y have to be to c and L, respectively?

The definition we describe in this section comes from formalizing 3. A quick restatement gets us closer to what we want:

𝟑.

If x is within a certain tolerance level of c, then the corresponding value y=f(x) is within a certain tolerance level of L.

The traditional notation for the x-tolerance is the lowercase Greek letter delta, or δ, and the y-tolerance is denoted by lowercase epsilon, or ϵ. One more rephrasing of 𝟑 nearly gets us to the actual definition:

𝟑′′.

If x is within δ units of c, then the corresponding value of y is within ϵ units of L.

We can write “x is within δ units of c” mathematically as

|x-c|<δ,which is equivalent to   c-δ<x<c+δ.

Letting the symbol “” represent the word “implies,” we can rewrite 𝟑′′ as

|x-c|<δ|y-L|<ϵ  or  c-δ<x<c+δL-ϵ<y<L+ϵ.

The point is that δ and ϵ, being tolerances, can be any positive (but typically small) values. Finally, we have the formal definition of the limit with the notation seen in the previous section.

Definition 1.2.1 The Limit of a Function f

Let I be an open interval containing c, and let f be a function defined on I, except possibly at c. The limit of f(x), as x approaches c, is L, denoted by

limxcf(x)=L,

means that given any ϵ>0, there exists δ>0 such that for all xc, if |x-c|<δ, then |f(x)-L|<ϵ.

(Mathematicians often enjoy writing ideas without using any words. Here is the wordless definition of the limit:

limxcf(x)=Lϵ>0,δ>0 s.t. 0<|x-c|<δ|f(x)-L|<ϵ.)

Note the order in which ϵ and δ are given. In the definition, the y-tolerance ϵ is given first and then the limit will exist if we can find an x-tolerance δ that works.

An example will help us understand this definition. Note that the explanation is long, but it will go through all steps necessary to understand the ideas.

Example 1.2.1 Evaluating a limit using the definition

Show that limx4x=2.

SolutionBefore we use the formal definition, let’s try some numerical tolerances. What if the y tolerance is 0.5, or ϵ=0.5? How close to 4 does x have to be so that y is within 0.5 units of 2, i.e., 1.5<y<2.5? In this case, we can proceed as follows:

1.5<y<2.51.5<x<2.51.52<x<2.522.25<x<6.25.

So, what is the desired x tolerance? Remember, we want to find a symmetric interval of x values, namely 4-δ<x<4+δ. The lower bound of 2.25 is 1.75 units from 4; the upper bound of 6.25 is 2.25 units from 4. We need the smaller of these two distances; we must have δ1.75. See Figure 1.2.1.

margin: 24612}ϵ=.5}ϵ=.5 Choose ϵ>0. Then … xy24612}ϵ=.5}ϵ=.5 width = 1.75 width = 2.25 … choose δ smaller than each of these xy With ϵ=0.5, we pick any δ<1.75. Figure 1.2.1: Illustrating the ϵ-δ process. Λ

Given the y tolerance ϵ=0.5, we have found an x tolerance, δ1.75, such that whenever x is within δ units of 4, then y is within ϵ units of 2. That’s what we were trying to find.

Let’s try another value of ϵ.

What if the y tolerance is 0.01, i.e., ϵ=0.01? How close to 4 does x have to be in order for y to be within 0.01 units of 2 (or 1.99<y<2.01)? Again, we just square these values to get 1.992<x<2.012, or

3.9601<x<4.0401.

What is the desired x tolerance? In this case we must have δ0.0399, which is the minimum distance from 4 of the two bounds given above.

What we have so far: if ϵ=0.5, then δ1.75 and if ϵ=0.01, then δ0.0399. A pattern is not easy to see, so we switch to general ϵ try to determine δ symbolically. We start by assuming y=x is within ϵ units of 2:

|y-2|<ϵ
-ϵ<y-2<ϵ (Definition of absolute value)
-ϵ<x-2<ϵ (y=x)
2-ϵ<x<2+ϵ (Add 2)
(2-ϵ)2<x<(2+ϵ)2 (Square all)
4-4ϵ+ϵ2<x<4+4ϵ+ϵ2 (Expand)
4-(4ϵ-ϵ2)<x<4+(4ϵ+ϵ2) (Rewrite in the desired form)
-(4ϵ-ϵ2)<x-4<(4ϵ+ϵ2) (Rewrite in the desired form)

The “desired form” in the last step is “-𝑠𝑜𝑚𝑒𝑡ℎ𝑖𝑛𝑔<x-4<𝑠𝑜𝑚𝑒𝑡ℎ𝑖𝑛𝑔.” Since we want this last interval to describe an x tolerance around 4, we have that either δ4ϵ-ϵ2 or δ4ϵ+ϵ2, whichever is smaller:

δmin{4ϵ-ϵ2,4ϵ+ϵ2}.

Since ϵ>0, the minimum is δ4ϵ-ϵ2. That’s the formula: given an ϵ, set δ4ϵ-ϵ2.

We can check this for our previous values. If ϵ=0.5, the formula gives δ4(0.5)-(0.5)2=1.75 and when ϵ=0.01, the formula gives δ4(0.01)-(0.01)2=0.399.

So given any ϵ>0, set δ4ϵ-ϵ2. Then if |x-4|<δ (and x4), then |f(x)-2|<ϵ, satisfying the definition of the limit. We have shown formally (and finally!) that limx4x=2.

The previous example was a little long in that we sampled a few specific cases of ϵ before handling the general case. Normally this is not done. The previous example is also a bit unsatisfying in that 4=2; why work so hard to prove something so obvious? Many ϵ-δ proofs are long and difficult to do. In this section, we will focus on examples where the answer is, frankly, obvious, because the non-obvious examples are even harder. In the next section we will learn some theorems that allow us to evaluate limits analytically, that is, without using the ϵ-δ definition.

We will follow a general pattern to work through δ-ϵ problems. In some sense, each starts out “backwards.” That is, while we want to

  1. (a)

    start with |x-c|<δ and conclude that

  2. (b)

    |f(x)-L|<ϵ,

we actually start by assuming

  1. (a)

    |f(x)-L|<ϵ, then perform some algebraic manipulations to give an inequality of the form

  2. (b)

    |x-c|< something.

When we have properly done this, the something on the “greater than” side of the inequality becomes our δ. We can refer to this as the “scratch-work” phase of our proof. Once we have δ, we can formally start with |x-c|<δ and use algebraic manipulations to conclude that |f(x)-L|<ϵ, usually by using the same steps of our “scratch-work” in reverse order.

We will highlight this process in the following examples.

Example 1.2.2 Evaluating a limit using the definition

Show that limx1(3x-5)=-2

SolutionLet’s do this example symbolically from the start.

Scratch-Work:

We start our scratch-work by considering |f(x)-(-2)|<ϵ:

|f(x)-(-2)| <ϵ
|3x-5+2| <ϵ
|3x-3| <ϵ
3|x-1| <ϵ
|x-1| <ϵ3

This suggests that we set δ=ϵ3,

  • Proof


    Given ϵ>0, choose δ=ϵ3. We assume |x-1|<δ

    |x-1| <δ
    |x-1| <ϵ3 (Our choice of δ)
    3|x-1| <ϵ33 (Multiply by 3)
    |3x-3| <ϵ (Simplify)
    |3x-5+2| <ϵ
    |3x-5-(-2)| <ϵ,

    which is what we wanted to show. Thus limx1(3x-5)=-2.∎

Example 1.2.3 Evaluating a limit using the definition

Show that limx2(4-32x)=1.

SolutionScratch-Work:

We start our scratch-work by considering |f(x)-1|<ϵ:

|f(x)-1| <ϵ
|4-32x-1| <ϵ
|3-32x| <ϵ
|-32(-2+x)| <ϵ
32|x-2| <ϵ
|x-2| <2ϵ3

This suggests that we set δ=2ϵ3,

  • Proof


    Given ϵ>0, choose δ=2ϵ3. We assume |x-2|<δ

    |x-2| <δ
    |x-2| <2ϵ3
    32|x-2| <2ϵ332
    |-32(x-2)| <ϵ
    |-32x+3| <ϵ
    |4-32x-1| <ϵ,

    which is what we wanted to show. Thus limx2(4-32x)=1.∎

Example 1.2.4 Evaluating a limit using the definition

Show that limx2x2=4.

SolutionScratch-Work: We start our scratch-work by considering
|f(x)-4|<ϵ:

|f(x)-4| <ϵ
|x2-4| <ϵ (Now factor)
|(x-2)(x+2)| <ϵ
|x-2| <ϵ|x+2|. (1.2.1)

We are at the phase of saying that |x-2|< something, where something=ϵ/|x+2|. We want to turn that something into δ. Could we not set δ=ϵ|x+2|?

We are close to an answer, but the catch is that δ must be a constant value (so it can’t contain x). There is a way to work around this, but we do have to make an assumption. Remember that ϵ is supposed to be a small number, which implies that δ will also be a small value. In particular, we can (probably) assume that δ<1. If this is true, then |x-2|<δ would imply that |x-2|<1, giving 1<x<3.

Now, back to the fraction ϵ|x+2|. If 1<x<3, then 3<x+2<5 (add 2 to all terms in the inequality). Taking reciprocals, we have

15< 1|x+2|<13 which implies
15< 1|x+2| which implies
ϵ5< ϵ|x+2|. (1.2.2)

This suggests that we set δϵ5. This ends our scratch-work, and we begin the formal proof (which also helps us understand why this was a good choice of δ).

  • Proof


    Given ϵ, let δϵ/5. We want to show that when |x-2|<δ, then |x2-4|<ϵ. We start with |x-2|<δ:

    |x-2| <δ
    |x-2| <ϵ5
    |x-2| <ϵ5<ϵ|x+2| (for x near 2, from Equation (1.2.2))
    |x-2||x+2| <ϵ
    |(x-2)(x+2)| <ϵ
    |x2-4| <ϵ,

    which is what we wanted to show. Thus limx2x2=4. ∎

We have arrived at |x2-4|<ϵ as desired. Note again, in order to make this happen we needed δ to first be less than 1. That is a safe assumption; we want ϵ to be arbitrarily small, forcing δ to also be small.

We have also picked δ to be smaller than “necessary.” We could get by with a slightly larger δ, as shown in Figure 1.2.2. The dashed outer lines show the boundaries defined by our choice of ϵ. The dotted inner lines show the boundaries defined by setting δ=ϵ/5. Note how these dotted lines are within the dashed lines. That is perfectly fine; by choosing x within the dotted lines we are guaranteed that f(x) will be within ϵ of 4.

margin: 24}ϵδlength of ϵ length of δ=ϵ/5 xy Figure 1.2.2: Choosing δ=ϵ/5 in Example 1.2.4. Λ

In summary, given ϵ>0, set δϵ/5. Then |x-2|<δ implies |x2-4|<ϵ (i.e. |y-4|<ϵ) as desired. This shows that limx2x2=4. Figure 1.2.2 gives a visualization of this; by restricting x to values within δ=ϵ/5 of 2, we see that f(x) is within ϵ of 4.

To better understand the definition of a limit, experiment with the Geogebra app at http://ggbm.at/RtY27ybS.

The portions of the graph outside of the ϵ tolerance are highlighted in red. If you get everything within ϵ, then the graph turns green. You can also put in a piecewise defined function using If[ condition , then , else ], such as If[ x>0 , x^2 , -x ]. (If you have trouble moving L around, you may need to use the up and down arrows on your keyboard.)

This formal definition of the limit is not an easy concept grasp. Our examples are actually “easy” examples, using “simple” functions like polynomials, square-roots and exponentials. It is very difficult to prove, using the techniques given above, that limx0(sinx)/x=1, as we approximated in the previous section.

There is hope. The next section shows how one can evaluate complicated limits using certain basic limits as building blocks. While limits are an incredibly important part of calculus (and hence much of higher mathematics), rarely are limits evaluated using the definition. Rather, the techniques of the following section are employed.

Exercises 1.2

 

Terms and Concepts

  1. 1.
    What is wrong with the following “definition” of a limit? “The limit of f(x), as x approaches a, is K” means that given any δ>0 there exists ϵ>0 such that whenever |f(x)-K|<ϵ, we have |x-a|<δ.
  2. 2.

    Which is given first in establishing a limit, the x-tolerance or the y-tolerance?

  3. 3.

    T/F: ϵ must always be positive.

  4. 4.

    T/F: δ must always be positive.

Problems

  1. 5.
    Use the graph below of f to find a number δ such that if 0<|x-2|<δ, then |f(x)-1|<0.5.11.4122.450.511.52xy
  2. 6.
    Use the graph below of f to find a number δ such that if 0<|x-2|<δ, then |f(x)-1|<0.3.11.2922.950.711.3xy

In Exercises 7–18., prove the given limit using an ϵ-δ proof.

  1. 7.

    limx4(2x+5)=13

  2. 8.

    limx5(3-x)=-2

  3. 9.

    limx5(4x-12)=8

  4. 10.

    limx3(5-2x)=-1

  5. 11.

    limx3(x2-3)=6

  6. 12.

    limx4(x2+x-5)=15

  7. 13.

    limx1(2x2+3x+1)=6

  8. 14.

    limx2(x3-1)=7

  9. 15.

    limx25=5

  10. 16.

    limx0(e2x-1)=0

  11. 17.

    limx11x=1

  12. 18.

    limx0sinx=0 (Hint: use the fact that |sinx||x|, with equality only when x=0.)

Modern Campus CMS