Definition of a Limit
The Formal Definition of Limit
The ideas of the previous examples and practice problems can be stated for general functions and limits, and they provide the basis for the definition of limit which is given in the box. The use of the lower case Greek letters (epsilon)
and (delta) in the definition is standard, and this definition is sometimes called the "epsilon-delta" definition of limit.
In this definition, represents the given distance on either side of the limiting value , and is the distance on each side of the point on the -axis that we have been finding in the previous
examples. This definition has the form of a "challenge and reponse:" for any positive challenge (make within of ), there is a positive response (start with
within of and ).
Example 4: In Fig. 11a, , and a value for is given graphically as a length. Find a length for that satisfies the definition
of limit (so "if is within of and , then is within of ").
Solution: Follow the steps outlined in Example 3. The length for is shown in Fig. 11b, and any shorter length for also satisfies the definition.
Practice 4: In Fig. 12, , and a value for is given graphically as a length. Find a length for that satisfies the definition of limit.
Solution: We need to show that
"for every given there is a so that
Actually there are two things we need to do. First, we need to find a value for (typically depending on ), and, second, we need to show that our really does satisfy the "if then" part of the definition.
i. Finding is similar to part (c) in Example 1 and Practice 1: assume is within units of 7 and solve for . If , then and , so is within units of 3. Put
ii. To show that satisfies the definition, we merely reverse the order of the steps in part i. Assume that is within units of 3. Then so
we can conclude that is within units of 7. This formally verifies that .
The method used to prove the values of the limits for these particular linear functions can also be used to prove the following general result about the limits of linear functions.
Case 1: . Then is simply a constant function, and any value for satisfies the definition. Given any value of , let (any positive value for works). If is is within 1 unit of , then , so we have shown that for any , there is a which satisfies the definition.
Case 2: . Then . For any , put . If is within of , then
Then the distance between and is so is within of . (Fig. 13)
In each case, we have shown that "given any , there is a " that satisfies the rest of the definition is satisfied.
If there is even a single value of for which there is no , then the function does not satisfy the definition, and we say that the limit "does not exist".
Example 6: Let as is shown in Fig. 14.
Use the definition to prove that does not exist.
Solution: One common proof technique in mathematics is called "proof by contradiction," and that is the method we use here. Using that method in this case, (i) we assume that the limit does exist and equals some number , (ii) we show that this assumption leads to a contradiction, and (iii) we conclude that the assumption must have been false. Therefore, we conclude that the limit does not exist.
(i) Assume that the limit exists: for some value for . Let . (The definition says "for every ε" so we can pick this value. Why we chose this value for shows up later in the proof). Then, since we are assuming that the limit exists, there is a so that if is within of 1 then is within of .
(ii) Let be between 1 and . Then so . Also, is within of 1 so 4 is within of , and is between and 4.5: .
Let be between 1 and . Then so . Also, is within of 1 so 2 is within of , and is between and .
(iii) The two inequalities in bold print provide the contradiction we were hoping to find. There is no value that simultaneously satisfies and , so we can conclude that our assumption was false and that does not have a limit as .
Practice 6: Use the definition to prove that does not exist (Fig. 15).
Two Limit Theorems
The theorems and their proofs are included here so you can see how such proofs proceed - you have already used these theorems to evaluate limits of functions. There are rigorous proofs of all of the other limit properties, but they are somewhat more complicated than the proofs given here.
Proof: Case : The Theorem is true but not very interesting: .
Case : Since , then, by the definition, for every there is a so that whenever For any , we know and pick a value of that satisfies whenever . When
is within of ") then is within of L") so (multiplying each side by ) and is within of
Proof: Assume that and . Then, given any , we know and that there are deltas for and and , so that
if , then ("if is within of , then is within of ", and
if , then ("if is within of , then is within of ").
Let be the smaller of and If , then and so