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 limx→a fx=L means the difference between fx and L can be made as small as desired for all values of x sufficiently close to -- but different from -- a.
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 f⁡x. The limit is a number designated by the letter L. The notation for the "limit of f⁡x as x approaches a" is
limx→a⁡f⁡x
If this limit is the number L, write
limx→a⁡f⁡x=L
As Definition 1.2.1 is read, keep in mind that all it is trying to say is that for x "near" a, the values of fx are "near" L. 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 fx as x approaches a is the number L, that is
limx→afx=L
if and only if for every ϵ>0 there exists a number δ>0 with the property that if 0<x−a<δ (and x is in the domain of f), then f⁡x−L<ϵ.
This definition rigorously captures the essence of "nearness." It says that if the values of f⁡x get arbitrarily close to the number L when x is sufficiently close to a,then L is the limit to those function values. The nearness to L of the values f⁡x is measured by f⁡x−L while the nearness of x to a is measured by x−a. The differences f⁡x−L must be smaller than ε, where ε represents any possible small number. These differences must be smaller than ε for all x close enough to x=a. The nearness of x to a is dictated by the inequality x−a<δ.
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 limx→3(3⁢x−4)=5.
Example 1.2.2
Use the EpsilonDelta maplet to show that limx→3(3⁢x−4)≠2.
Example 1.2.3
Use the EpsilonDelta maplet to verify limx→3x2−3⁢x+3=3.
Example 1.2.4
Use the EpsilonDelta maplet to verify limx→2lnx=ln2.
Using Definition 1.2.1 to Verify a Limit
Definition 1.2.1 can be used to prove or disprove that a given number L is, or is not, the limit. It cannot be used to find the value of L. Methods for finding L appear in the next few sections. In each of Examples 1.2.6-9, an animation captures the relationship between the intervals x−a<δ and fx−L<ϵ. 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 x=a inside of which function values fx remain within an ϵ-band around L. See the region shaded in yellow in Figure 1.2.2.
Solve the two equations
fa+δR=L+ϵ and fa−δL=L−ϵ
where both δL and δR are positive, and generally different. See the dotted red lines in Figure 1.2.2.
Choose δϵ≤minδL,δR. 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 0<x−a<δϵ ⇒ fx−L<ϵ, that is, that for all x-values in the δ-band around x=a, all the function values fx remain inside the ϵ-band around y=L. (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 x-values in the δ-band x−a<δ as x=a+t δϵ, where 0<t<1. Since t can be both positive and negative, these x-values correspond to all those inside the δ-band. Then, to show that fx−L<ϵ for these x-values, show instead that fa+t δϵ−L<ϵ. 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 f.
Note: For a function that decreases in the vicinity of x=a, the two equations for δL and δR would respectively be
fa+δR=L−ϵ and fa−δL=L+ϵ
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 limx→3(3⁢x−4)=5, the limit explored in Example 1.2.1.
Example 1.2.6
Use Definition 1.2.1 to verify limx→3 x2−9x−3=6.
Example 1.2.7
Use Definition 1.2.1 to verify limx→3x=3.
Example 1.2.8
Use Definition 1.2.1 to verify limx→3x2−3⁢x+3=3, 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
Compact Form
Long Form
two-sided
0⁢<⁢x−a<⁢δ
a−δ⁢<⁢x⁢<⁢a or a⁢<⁢x⁢<⁢a+δ
one-sided (right)
0⁢<⁢x−a<⁢δ and x⁢>⁢a
a⁢<⁢x⁢<⁢a+δ
one-sided (left)
0⁢<⁢x−a<⁢δ and x⁢<⁢a
a−δ⁢<⁢x⁢<⁢a
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 x=a is approached, and whether the function is increasing or decreasing in a neighborhood of x=a.
f is increasing at x=a
f is decreasing at x=a
Left-hand Limit
fa−δ=L−ϵ
fa−δ=L+ϵ
Right-hand Limit
fa+δ=L+ϵ
fa+δ=L−ϵ
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.
When using the definition of the limit to show limx→a fx=L, a useful picture would contain the following features:
the graph of the function near the limit point, x=a
a horizontal band centered at y=L with y−L<ϵ
a vertical band centered at x=a with x−a<δ (technically, the vertical line x=a should be excluded from this band)
If the value of δ is consistent with the definition of the limit, then each value of x in the vertical band (except, possibly, x=a) 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 (L ) is incorrect.
Table 1.2.3 Summary of highlights of Section 1.2
Examples
<< 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
Download Help Document