The Precise Definition of a Limit: Learn It 3

One-Sided and Infinite Limits

One-Sided Limits

After gaining an intuitive understanding of limits and moving to a more rigorous definition, we now revisit one-sided limits. We modify the epsilon-delta definition of a limit to give formal definitions for limits from the right and left at a point. These definitions only require slight modifications from the standard limit definition. In the definition of the limit from the right, the inequality 0<xa<δ replaces 0<|xa|<δ, which ensures that we only consider values of x that are greater than (to the right of) a. Similarly, in the definition of the limit from the left, the inequality δ<xa<0 replaces 0<|xa|<δ, which ensures that we only consider values of x that are less than (to the left of) a.

one-sided limits definitions

Limit from the Right: Let f(x) be defined over an open interval of the form (a,b) where a<b. Then,

limxa+f(x)=L
 

if for every ε>0, there exists a δ>0 such that if 0<xa<δ, then |f(x)L|<ε.

 

Limit from the Left: Let f(x) be defined over an open interval of the form (a,b) where a<b. Then,

limxbf(x)=L
 

if for every ε>0, there exists a δ>0 such that if 0<bx<δ, then |f(x)L|<ε.

Prove that limx4+x4=0.

Infinite Limits

To understand infinite limits, we look at how functions behave as x approaches a certain value a. For limxaf(x)=+, we want f(x) to get arbitrarily large as x approaches a. Instead of the requirement that |f(x)L|<ε for arbitrarily small ε when 0<|xa|<δ for small enough δ, we want f(x)>M for arbitrarily large positive M when 0<|xa|<δ for small enough δ. The figure below illustrates this idea by showing the value of δ for successively larger values of M.

Two graphs side by side. Each graph contains two curves above the x axis separated by an asymptote at x=a. The curves on the left go to infinity as x goes to a and to 0 as x goes to negative infinity. The curves on the right go to infinity as x goes to a and to 0 as x goes to infinity. The first graph has a value M greater than zero marked on the y axis and a horizontal line drawn from there (y=M) to intersect with both curves. Lines are drawn down from the points of intersection to the x axis. Delta is the smaller of the distances between point a and these new spots on the x axis. The same lines are drawn on the second graph, but this M is larger, and the distances from the x axis intersections to point a are smaller.
Figure 6. These graphs plot values of δ for M to show that limxaf(x)=+.

infinite limit definition

Let f(x) be defined for all xa in an open interval containing a. Then, we have an infinite limit

limxaf(x)=+
 

if for every M>0, there exists δ>0 such that if 0<|xa|<δ, then f(x)>M.

 

Let f(x) be defined for all xa in an open interval containing a. Then, we have a negative infinite limit

limxaf(x)=
 

if for every M>0, there exists δ>0 such that if 0<|xa|<δ, then f(x)<M.