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 and an -value, , we say that “the limit of the function , as approaches , is a value ”:
if “ tends to ” as “ tends to .”
if “ approaches ” as “ approaches .”
if “ is near ” whenever “ is near .”
The problem with these definitions is that the words “tends,” “approach,” and especially “near” are not exact. In what way does the variable tend to, or approach, ? How near do and have to be to and , respectively?
The definition we describe in this section comes from formalizing 3. A quick restatement gets us closer to what we want:
If is within a certain tolerance level of , then the corresponding value is within a certain tolerance level of .
The traditional notation for the -tolerance is the lowercase Greek letter delta, or , and the -tolerance is denoted by lowercase epsilon, or . One more rephrasing of nearly gets us to the actual definition:
If is within units of , then the corresponding value of is within units of .
We can write “ is within units of ” mathematically as
Letting the symbol “” represent the word “implies,” we can rewrite as
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.
Let be an open interval containing , and let be a function defined on , except possibly at . The limit of , as approaches , is , denoted by
means that given any , there exists such that for all , if , then .
(Mathematicians often enjoy writing ideas without using any words. Here is the wordless definition of the limit:
Note the order in which and are given. In the definition, the -tolerance is given first and then the limit will exist if we can find an -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.
Show that .
SolutionBefore we use the formal definition, let’s try some numerical tolerances. What if the tolerance is 0.5, or ? How close to 4 does have to be so that is within 0.5 units of 2, i.e., ? In this case, we can proceed as follows:
So, what is the desired tolerance? Remember, we want to find a symmetric interval of values, namely . The lower bound of is 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 . See Figure 1.2.1.
Given the tolerance , we have found an tolerance, , such that whenever is within units of 4, then is within units of 2. That’s what we were trying to find.
Let’s try another value of .
What if the tolerance is 0.01, i.e., ? How close to 4 does have to be in order for to be within 0.01 units of 2 (or )? Again, we just square these values to get , or
What is the desired tolerance? In this case we must have , which is the minimum distance from 4 of the two bounds given above.
What we have so far: if , then and if , then . A pattern is not easy to see, so we switch to general try to determine symbolically. We start by assuming is within units of 2:
(Definition of absolute value) | |||
() | |||
(Add 2) | |||
(Square all) | |||
(Expand) | |||
(Rewrite in the desired form) | |||
(Rewrite in the desired form) |
The “desired form” in the last step is “.” Since we want this last interval to describe an tolerance around 4, we have that either or , whichever is smaller:
Since , the minimum is . That’s the formula: given an , set .
We can check this for our previous values. If , the formula gives and when , the formula gives .
So given any , set . Then if (and ), then , satisfying the definition of the limit. We have shown formally (and finally!) that .
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 ; 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
start with and conclude that
,
we actually start by assuming
, then perform some algebraic manipulations to give an inequality of the form
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 and use algebraic manipulations to conclude that , usually by using the same steps of our “scratch-work” in reverse order.
We will highlight this process in the following examples.
Show that
SolutionLet’s do this example symbolically from the start.
Scratch-Work:
We start our scratch-work by considering :
This suggests that we set ,
Given , choose . We assume
(Our choice of ) | ||||
(Multiply by 3) | ||||
(Simplify) | ||||
which is what we wanted to show. Thus .∎
Show that .
SolutionScratch-Work:
We start our scratch-work by considering :
This suggests that we set ,
Given , choose . We assume
which is what we wanted to show. Thus .∎
Show that .
SolutionScratch-Work:
We start our scratch-work by considering
:
(Now factor) | |||||
(1.2.1) |
We are at the phase of saying that something, where something. We want to turn that something into . Could we not set ?
We are close to an answer, but the catch is that must be a constant value (so it can’t contain ). 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 . If this is true, then would imply that , giving .
Now, back to the fraction . If , then (add 2 to all terms in the inequality). Taking reciprocals, we have
which implies | |||||
which implies | |||||
(1.2.2) |
This suggests that we set . This ends our scratch-work, and we begin the formal proof (which also helps us understand why this was a good choice of ).
Given , let . We want to show that when , then . We start with :
(for near 2, from Equation (1.2.2)) | ||||
which is what we wanted to show. Thus . ∎
We have arrived at 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 . Note how these dotted lines are within the dashed lines. That is perfectly fine; by choosing within the dotted lines we are guaranteed that will be within of 4.
In summary, given , set . Then implies (i.e. ) as desired. This shows that . Figure 1.2.2 gives a visualization of this; by restricting to values within of 2, we see that is within of .
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 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 , 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.
Which is given first in establishing a limit, the -tolerance or the -tolerance?
T/F: must always be positive.
T/F: must always be positive.
In Exercises 7–18., prove the given limit using an proof.
(Hint: use the fact that , with equality only when .)