Proving Limit Laws

Learning Outcomes

  • Use the epsilon-delta definition to prove the limit laws
  • Describe the epsilon-delta definitions of one-sided limits and infinite limits

We now demonstrate how to use the epsilon-delta definition of a limit to construct a rigorous proof of one of the limit laws. The triangle inequality is used at a key point of the proof, so we first review this key property of absolute value.

Definition


The triangle inequality states that if [latex]a[/latex] and [latex]b[/latex] are any real numbers, then [latex]|a+b|\le |a|+|b|[/latex].

Proof

We prove the following limit law: If [latex]\underset{x\to a}{\lim}f(x)=L[/latex] and [latex]\underset{x\to a}{\lim}g(x)=M[/latex], then [latex]\underset{x\to a}{\lim}(f(x)+g(x))=L+M[/latex].

Let [latex]\varepsilon >0[/latex].

Choose [latex]\delta_1>0[/latex] so that if [latex]0<|x-a|<\delta_1[/latex], then [latex]|f(x)-L|<\varepsilon/2[/latex].

Choose [latex]\delta_2>0[/latex] so that if [latex]0<|x-a|<\delta_2[/latex], then [latex]|g(x)-M|<\varepsilon/2[/latex].

Choose [latex]\delta =\text{min}\{\delta_1,\delta_2\}[/latex].

Assume [latex]0<|x-a|<\delta[/latex].

Thus,

[latex]0<|x-a|<\delta_1[/latex] and [latex]0<|x-a|<\delta_2[/latex]

Hence,

[latex]\begin{array}{ll} |(f(x)+g(x))-(L+M)| & =|(f(x)-L)+(g(x)-M)| \\ & \le |f(x)-L|+|g(x)-M| \\ & <\dfrac{\varepsilon}{2}+\dfrac{\varepsilon}{2}=\varepsilon \end{array}[/latex]
[latex]\blacksquare[/latex]

 

We now explore what it means for a limit not to exist. The limit [latex]\underset{x\to a}{\lim}f(x)[/latex] does not exist if there is no real number [latex]L[/latex] for which [latex]\underset{x\to a}{\lim}f(x)=L[/latex]. Thus, for all real numbers [latex]L[/latex], [latex]\underset{x\to a}{\lim}f(x)\ne L[/latex]. To understand what this means, we look at each part of the definition of [latex]\underset{x\to a}{\lim}f(x)=L[/latex] together with its opposite. A translation of the definition is given in the table below.

Translation of the Definition of [latex]\underset{x\to a}{\lim}f(x)=L[/latex] and its Opposite
Definition Opposite
1. For every [latex]\varepsilon >0[/latex], 1. There exists [latex]\varepsilon >0[/latex] so that
2. there exists a [latex]\delta >0[/latex] so that 2. for every [latex]\delta >0[/latex],
3. if [latex]0<|x-a|<\delta[/latex], then [latex]|f(x)-L|<\varepsilon[/latex]. 3. There is an [latex]x[/latex] satisfying [latex]0<|x-a|<\delta[/latex] so that [latex]|f(x)-L|\ge \varepsilon[/latex].

Finally, we may state what it means for a limit not to exist. The limit [latex]\underset{x\to a}{\lim}f(x)[/latex] does not exist if for every real number [latex]L[/latex], there exists a real number [latex]\varepsilon >0[/latex] so that for all [latex]\delta >0[/latex], there is an [latex]x[/latex] satisfying [latex]0<|x-a|<\delta[/latex], so that [latex]|f(x)-L|\ge \varepsilon[/latex]. Let’s apply this in the example to show that a limit does not exist.

Example: Showing That a Limit Does Not Exist

Show that [latex]\underset{x\to 0}{\lim}\dfrac{|x|}{x}[/latex] does not exist. The graph of [latex]f(x)=\dfrac{|x|}{x}[/latex] is shown here:

A graph of a function with two segments. The first exists for x<0, and it is a line with no slope that ends at the y axis in an open circle at (0,-1). The second exists for x>0, and it is a line with no slope that begins at the y axis in an open circle (1,0).

Figure 4.

Watch the following video to see the worked solution to Example: Showing That a Limit Does Not Exist.

Finding Deltas Algebraically for Given Epsilons

Now that we have proven limits, we can now apply them with actual numbers for [latex]\varepsilon[/latex] and [latex]\delta[/latex]. Think of [latex]\varepsilon[/latex] as the error in the [latex]x[/latex]-direction and [latex]\delta[/latex] to be the error in the [latex]y[/latex]-direction. These have applications in engineering when these errors are considered tolerances. We want to know what the error intervals are, and we are trying to minimize these errors.

Example: Finding deltas algebraically, Part 1

Find an open interval about [latex]x_0[/latex] on which the inequality [latex]|f(x)-L| < 0[/latex] holds. Then give the largest value [latex]\delta > 0[/latex] such that for all [latex]x[/latex] satisfying [latex]0 < |x-x_0| < \delta[/latex] the inequality [latex]|f(x)-L| < \varepsilon[/latex] holds.

[latex]f(x)=2x-8, \,\, L=6, \,\, x_0=7, \,\, \varepsilon=0.14[/latex]

Example: Finding deltas algebraically, Part 2

Find an open interval about [latex]x_0[/latex] on which the inequality [latex]|f(x)-L| < 0[/latex] holds. Then give the largest value [latex]\delta > 0[/latex] such that for all [latex]x[/latex] satisfying [latex]0 < |x-x_0| < \delta[/latex] the inequality [latex]|f(x)-L| < \varepsilon[/latex] holds.

[latex]f(x)=\sqrt{x+4}, \,\, L=3, \,\, x_0=5, \,\, \varepsilon=1[/latex]

One-Sided and Infinite Limits

Just as we first gained an intuitive understanding of limits and then moved on to a more rigorous definition of a limit, we now revisit one-sided limits. To do this, we modify the epsilon-delta definition of a limit to give formal epsilon-delta definitions for limits from the right and left at a point. These definitions only require slight modifications from the definition of the limit. In the definition of the limit from the right, the inequality [latex]0

Definition


Limit from the Right: Let [latex]f(x)[/latex] be defined over an open interval of the form [latex](a,b)[/latex] where [latex]a

[latex]\underset{x\to a^+}{\lim}f(x)=L[/latex]

if for every [latex]\varepsilon >0[/latex], there exists a [latex]\delta >0[/latex] such that if [latex]0

 

Limit from the Left: Let [latex]f(x)[/latex] be defined over an open interval of the form [latex](a,b)[/latex] where [latex]a

[latex]\underset{x\to b^-}{\lim}f(x)=L[/latex]

if for every [latex]\varepsilon >0[/latex], there exists a [latex]\delta >0[/latex] such that if [latex]0

Example: Proving a Statement about a Limit From the Right

Prove that [latex]\underset{x\to 4^+}{\lim}\sqrt{x-4}=0[/latex].

Watch the following video to see the worked solution to Example: Proving a Statement about a Limit From the Right.

Try It

Find [latex]\delta[/latex] corresponding to [latex]\varepsilon[/latex] for a proof that [latex]\underset{x\to 1^-}{\lim}\sqrt{1-x}=0[/latex].

 

 

We conclude the process of converting our intuitive ideas of various types of limits to rigorous formal definitions by pursuing a formal definition of infinite limits. To have [latex]\underset{x\to a}{\lim}f(x)=+\infty[/latex], we want the values of the function [latex]f(x)[/latex] to get larger and larger as [latex]x[/latex] approaches [latex]a[/latex]. Instead of the requirement that [latex]|f(x)-L|<\varepsilon[/latex] for arbitrarily small [latex]\varepsilon[/latex] when [latex]0<|x-a|<\delta[/latex] for small enough [latex]\delta[/latex], we want [latex]f(x)>M[/latex] for arbitrarily large positive [latex]M[/latex] when [latex]0<|x-a|<\delta[/latex] for small enough [latex]\delta[/latex]. Figure 6 illustrates this idea by showing the value of [latex]\delta[/latex] for successively larger values of [latex]M[/latex].

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 [latex]\delta[/latex] for [latex]M[/latex] to show that [latex]\underset{x\to a}{\lim}f(x)=+\infty[/latex].

Definition


Let [latex]f(x)[/latex] be defined for all [latex]x\ne a[/latex] in an open interval containing [latex]a[/latex]. Then, we have an infinite limit

[latex]\underset{x\to a}{\lim}f(x)=+\infty[/latex]

if for every [latex]M>0[/latex], there exists [latex]\delta >0[/latex] such that if [latex]0<|x-a|<\delta[/latex], then [latex]f(x)>M[/latex].

Let [latex]f(x)[/latex] be defined for all [latex]x\ne a[/latex] in an open interval containing [latex]a[/latex]. Then, we have a negative infinite limit

[latex]\underset{x\to a}{\lim}f(x)=−\infty[/latex]

if for every [latex]M>0[/latex], there exists [latex]\delta >0[/latex] such that if [latex]0<|x-a|<\delta[/latex], then [latex]f(x)<−M[/latex].