Chapter 1: Limits
Section 1.2: Precise Definition of a Limit
|
Introduction
|
|
Section 1.1 provided an intuitive introduction to the notion of a mathematical limit. This intuition was captured in an informal definition. In fact, the statement means the difference between and can be made as small as desired for all values of sufficiently close to -- but different from --
The development of general tools for working with and applying limits requires a more precise definition of limit. This section gives a formal definition of the limit, one that provides a framework upon which a wide range of useful techniques will be developed.
The first step is to develop a graphical interpretation of the precise definition. Next, the algebraic manipulations involved in applying the precise definition will be explored for four examples. The section concludes with a more precise definition of one-sided limits first seen in Section 1.1.
|
|
Essentials
|
|
|
Precise Definition of Limit
|
|
Definition 1.2.1 is a precise definition of the limit of the real-valued function . The limit is a number designated by the letter . The notation for the "limit of as approaches " is
If this limit is the number , write
As Definition 1.2.1 is read, keep in mind that all it is trying to say is that for "near" , the values of are "near" . But also keep in mind that it took nearly 100 years for the mathematics community to settle on this form of the statement of what "near" should mean.
Definition 1.2.1
|
The limit of as approaches is the number , that is
if and only if for every there exists a number with the property that if (and is in the domain of f), then
|
|
|
This definition rigorously captures the essence of "nearness." It says that if the values of get arbitrarily close to the number when is sufficiently close to then is the limit to those function values. The nearness to of the values is measured by while the nearness of to is measured by . The differences must be smaller than ε, where ε represents any possible small number. These differences must be smaller than ε for all close enough to . The nearness of to is dictated by the inequality
Because this definition might be difficult to fathom at first, several examples that interpret this definition graphically are provided.
|
|
Graphical Interpretation of the Limit
|
|
The precise definition of a limit expressed in Definition 1.2.1 took mathematicians more than a century to formulate. The central idea expressed by it is easier to grasp if it can be seen graphically. The EpsilonDelta maplet is an interactive tool for visualizing the roles of and in Definition 1.2.1. Its use is illustrated in Examples 1.2.1-4.
Example 1.2.1
|
Use the EpsilonDelta maplet to verify .
|
Example 1.2.2
|
Use the EpsilonDelta maplet to show that .
|
Example 1.2.3
|
Use the EpsilonDelta maplet to verify .
|
Example 1.2.4
|
Use the EpsilonDelta maplet to verify .
|
|
|
|
|
Using Definition 1.2.1 to Verify a Limit
|
|
Definition 1.2.1 can be used to prove or disprove that a given number is, or is not, the limit. It cannot be used to find the value of . Methods for finding appear in the next few sections. In each of Examples 1.2.6-9, an animation captures the relationship between the intervals and . Then, the following "algorithm" is applied to find , and to verify that it satisfies Definition 1.2.1.
•
|
The essence of Definition 1.2.1 is finding a -band around inside of which function values remain within an -band around . See the region shaded in yellow in Figure 1.2.2.
|
•
|
Solve the two equations
|
and
where both and are positive, and generally different. See the dotted red lines in Figure 1.2.2.
•
|
Choose . See the black arrows and the region shaded yellow in Figure 1.2.2.
|
|
>
|
f:=x->x^2-3*x+3:
g:=x->3/2+(1/2)*sqrt(-3+4*x):
p1:=plot(f,2..3.5,color=black):
p2:=plot(3,x=2..3,color=blue):
p3:=plot([[x,4,x=0..g(4)],[x,2,x=0..g(2)]],color=red,linestyle=dot):
p4:=plots:-textplot({[2.3,4.2,typeset(y=L+epsilon)],[2.28,1.8,typeset(y=L-epsilon)],[2.2,3.2,typeset(y=L)],[2.3,3.64,typeset(` f`(a+delta))],[2.3,2.44,typeset(` f`(a-delta))]},align=LEFT,font=[Times,12]):
p5:=plot([[g(2),t*f(g(2)),t=0..1],[g(4),t*f(g(4)),t=0..1],[3,t*f(3),t=0..1]],color=red,linestyle=dot):
p6:=plots:-textplot({[g(2),-.2,typeset(a-delta[L])],[g(4),-.2,typeset(a+delta[R])],[3,-.2,typeset(a)],[(3+XR)/2,.7,typeset(delta)],[(3+XL)/2,.7,typeset(delta)]}):
XL:=2.75:
XR:=3.25:
p7:=plottools:-polygon([[XL,0],[XL,f(XL)],[0,f(XL)],[0,f(XR)],[XR,f(XR)],[XR,0]],color=yellow,transparency=.8):
p8:=plottools:-arrow([3,.5],Vector([XR-3,0]),.01,.1,.1,double_arrow):
p9:=plottools:-arrow([3,.5],Vector([XL-3,0]),.01,.1,.1,double_arrow):
plots:-display(p||(1..9), view=[2..3.5,-.3..5],tickmarks=[[-1,5],[-1,8]],labels=[" ",""]);
restart;
|
|
Figure 1.2.2 Schematic for Definition 2.1
|
|
|
|
|
|
•
|
The final step is to show that ⇒ , that is, that for all -values in the -band around , all the function values remain inside the -band around . (Having found a candidate for , it's much easier to establish the validity of the appropriate inequalities than it is to use inequalities to find in the first place.)
This demonstration is expedited by expressing the -values in the -band as , where . Since can be both positive and negative, these -values correspond to all those inside the -band. Then, to show that for these -values, show instead that . The following four examples will verify that these steps form an algorithm that can be applied to a variety of functions without having to make radical modifications because of the peculiar properties of the function .
|
Note: For a function that decreases in the vicinity of , the two equations for and would respectively be
and
The use of Definition 1.2.1 to verify a limit is illustrated in Examples 1.2.5-8.
Example 1.2.5
|
Use Definition 1.2.1 to verify , the limit explored in Example 1.2.1.
|
Example 1.2.6
|
Use Definition 1.2.1 to verify .
|
Example 1.2.7
|
Use Definition 1.2.1 to verify .
|
Example 1.2.8
|
Use Definition 1.2.1 to verify , the limit explored in Example 1.2.3.
|
|
|
|
|
Modifications for One-Sided Limits
|
|
For two-sided limits, values of the independent variable on both sides of the limit point must be considered (assuming they are in the domain of the function). One-sided limits only consider values of the independent variable on one side of the limit point. These differences are summarized in Table 1.2.4.
Type of Limit
|
Values of Independent Variable
|
two-sided
|
|
or
|
one-sided (right)
|
and
|
|
one-sided (left)
|
and
|
|
Table 1.2.4 Distinctions between two-sided and one-sided limits
|
|
|
Definition 1.2.1 can be applied to a one-sided limit with the same technique used in Examples 1.2.6 - 9. However, the equation determining must be selected from Table 1.2.5, which takes into account how is approached, and whether the function is increasing or decreasing in a neighborhood of .
|
is increasing at
|
is decreasing at
|
Left-hand Limit
|
|
|
Right-hand Limit
|
|
|
Table 1.2.5 Applying Definition 2.1 to one-sided limits
|
|
|
|
|
Précis
|
|
Table 1.2.3 summarizes some of the main points of the section.
1.
|
When using the definition of the limit to show , a useful picture would contain the following features:
|
•
|
the graph of the function near the limit point,
|
•
|
a horizontal band centered at with
|
•
|
a vertical band centered at with
(technically, the vertical line should be excluded from this band)
|
2.
|
If the value of is consistent with the definition of the limit, then each value of in the vertical band (except, possibly, ) will produce a function value that is within the horizontal band. If there is even one function value outside this horizontal band then either the value of is too large for this or the limit value ( ) is incorrect.
|
|
Table 1.2.3 Summary of highlights of Section 1.2
|
|
|
|
|
|
Examples
|
|
Example 1.2.1
|
Use the EpsilonDelta maplet to verify .
|
Example 1.2.2
|
Use the EpsilonDelta maplet to show that .
|
Example 1.2.3
|
Use the EpsilonDelta maplet to verify .
|
Example 1.2.4
|
Use the EpsilonDelta maplet to verify .
|
Example 1.2.5
|
Use Definition 1.2.1 to verify , the limit explored in Example 1.2.1.
|
Example 1.2.6
|
Use Definition 1.2.1 to verify .
|
Example 1.2.7
|
Use Definition 1.2.1 to verify .
|
Example 1.2.8
|
Use Definition 1.2.1 to verify , the limit explored in Example 1.2.3.
|
|
|
|
<< Previous Section Table of Contents Next Section >>
© Maplesoft, a division of Waterloo Maple Inc., 2024. All rights reserved. This product is protected by copyright and distributed under licenses restricting its use, copying, distribution, and decompilation.
For more information on Maplesoft products and services, visit www.maplesoft.com
|