2.2: The Limit of a Function
- Page ID
- 112042
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)
( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\id}{\mathrm{id}}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\kernel}{\mathrm{null}\,}\)
\( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\)
\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\)
\( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)
\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)
\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)
\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vectorC}[1]{\textbf{#1}} \)
\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)
\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)
\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)- Using correct notation, describe the limit of a function.
- Use a table of values to estimate the limit of a function or to identify when the limit does not exist.
- Use a graph to estimate the limit of a function or to identify when the limit does not exist.
- Define one-sided limits and provide examples.
- Explain the relationship between one-sided and two-sided limits.
- Using correct notation, describe an infinite limit.
- Define a vertical asymptote.
The concept of a limit or limiting process, essential to the understanding of calculus, has been around for thousands of years. In fact, early mathematicians used a limiting process to obtain better and better approximations of areas of circles. Yet, the formal definition of a limit—as we know and understand it today—did not appear until the late 19th century. We therefore begin our quest to understand limits, as our mathematical ancestors did, by using an intuitive approach. At the end of this chapter, armed with a conceptual understanding of limits, we examine the formal definition of a limit.
We begin our exploration of limits by taking a look at the graphs of the functions
- \(f(x)=\dfrac{x^2−4}{x−2}\),
- \(g(x)=\dfrac{|x−2|}{x−2}\), and
- \(h(x)=\dfrac{1}{(x−2)^2}\),
which are shown in Figure \(\PageIndex{1}\). In particular, let’s focus our attention on the behavior of each graph at and around \(x=2\).
Each of the three functions is undefined at \(x=2\), but if we make this statement and no other, we give a very incomplete picture of how each function behaves in the vicinity of \(x=2\). To express the behavior of each graph in the vicinity of \(2\) more completely, we need to introduce the concept of a limit.
Intuitive Definition of a Limit
Let’s first take a closer look at how the function \(f(x)=(x^2−4)/(x−2)\) behaves around \(x=2\) in Figure \(\PageIndex{1}\). As the values of \(x\) approach \(2\) from either side of \(2\), the values of \(y=f(x)\) approach \(4\). Mathematically, we say that the limit of \(f(x)\) as \(x\) approaches \(2\) is \(4\). Symbolically, we express this limit as
\(\displaystyle \lim_{x \to 2} f(x)=4\).
From this very brief informal look at one limit, let’s start to develop an intuitive definition of the limit. We can think of the limit of a function at a number \(a\) as being the one real number \(L\) that the functional values approach as the \(x\)-values approach \(a\), provided such a real number \(L\) exists. Stated more carefully, we have the following definition:
Let \(f(x)\) be a function defined at all values in an open interval containing \(a\), with the possible exception of \(a\) itself, and let \(L\) be a real number. If all values of the function \(f(x)\) approach the real number \(L\) as the values of \(x(≠a)\) approach the number \(a\), then we say that the limit of \(f(x)\) as \(x\) approaches \(a\) is \(L\). (More succinct, as \(x\) gets closer to \(a\), \(f(x)\) gets closer and stays close to \(L\).) Symbolically, we express this idea as
\[\lim_{x \to a} f(x)=L. \label{limit}\]
We can estimate limits by constructing tables of functional values and by looking at their graphs. This process is described in the following Problem-Solving Strategy.
1. To evaluate \(\displaystyle \lim_{x \to a} f(x)\), we begin by completing a table of functional values. We should choose two sets of \(x\)-values—one set of values approaching \(a\) and less than \(a\), and another set of values approaching \(a\) and greater than \(a\). Table \(\PageIndex{1}\) demonstrates what your tables might look like.
\(x\) | \(f(x)\) | \(x\) | \(f(x)\) |
---|---|---|---|
\(a-0.1\) | \(f(a-0.1)\) | \(a+0.1\) | \(f(a+0.1)\) |
\(a-0.01\) | \(f(a-0.01)\) | \(a+0.01\) | \(f(a+0.01)\) |
\(a-0.001\) | \(f(a-0.001)\) | \(a+0.001\) | \(f(a+0.001)\) |
\(a-0.0001\) | \(f(a-0.0001)\) | \(a+0.0001\) | \(f(a+0.0001)\) |
Use additional values as necessary. | Use additional values as necessary. |
2. Next, let’s look at the values in each of the \(f(x)\) columns and determine whether the values seem to be approaching a single value as we move down each column. In our columns, we look at the sequence \(f(a−0.1)\), \(f(a−0.01)\), \(f(a−0.001)\), \(f(a−0.0001)\), and so on, and \(f(a+0.1), \;f(a+0.01), \;f(a+0.001), \;f(a+0.0001)\), and so on. (Note: Although we have chosen the \(x\)-values \(a±0.1, \;a±0.01, \;a±0.001, \;a±0.0001\), and so forth, and these values will probably work nearly every time, on very rare occasions we may need to modify our choices.)
3. If both columns approach a common \(y\)-value \(L\), we state \(\displaystyle \lim_{x \to a}f(x)=L\). We can use the following strategy to confirm the result obtained from the table or as an alternative method for estimating a limit.
4. Using a graphing calculator or computer software that allows us graph functions, we can plot the function \(f(x)\), making sure the functional values of \(f(x)\) for \(x\)-values near \(a\) are in our window. We can use the trace feature to move along the graph of the function and watch the \(y\)-value readout as the \(x\)-values approach \(a\). If the \(y\)-values approach \(L\) as our \(x\)-values approach \(a\) from both directions, then \(\displaystyle \lim_{x \to a}f(x)=L\). We may need to zoom in on our graph and repeat this process several times.
We apply this Problem-Solving Strategy to compute a limit in Examples \(\PageIndex{1A}\) and \(\PageIndex{1B}\).
Evaluate \(\displaystyle \lim_{x \to 0}\frac{\sin x}{x}\) using a table of functional values.
Solution
We have calculated the values of \(f(x)=\dfrac{\sin x}{x}\) for the values of \(x\) listed in Table \(\PageIndex{2}\).
\(x\) | \(\frac{\sin x}{x}\) | \(x\) | \(\frac{\sin x}{x}\) |
---|---|---|---|
-0.1 | 0.998334166468 | 0.1 | 0.998334166468 |
-0.01 | 0.999983333417 | 0.01 | 0.999983333417 |
-0.001 | 0.999999833333 | 0.001 | 0.999999833333 |
-0.0001 | 0.999999998333 | 0.0001 | 0.999999998333 |
Note: The values in this table were obtained using a calculator and using all the places given in the calculator output.
As we read down each \(\dfrac{\sin x}{x}\) column, we see that the values in each column appear to be approaching one. Thus, it is fairly reasonable to conclude that \(\displaystyle \lim_{x\to0}\frac{\sin x}{x}=1\). A calculator-or computer-generated graph of \(f(x)=\dfrac{\sin x}{x}\) would be similar to that shown in Figure \(\PageIndex{2}\), and it confirms our estimate.
Evaluate \(\displaystyle \lim_{x\to4}\frac{\sqrt{x}−2}{x−4}\) using a table of functional values.
Solution
As before, we use a table—in this case, Table \(\PageIndex{3}\)—to list the values of the function for the given values of \(x\).
\(x\) | \(\frac{\sqrt{x}−2}{x−4}\) | \(x\) | \(\frac{\sqrt{x}−2}{x−4}\) |
---|---|---|---|
3.9 | 0.251582341869 | 4.1 | 0.248456731317 |
3.99 | 0.25015644562 | 4.01 | 0.24984394501 |
3.999 | 0.250015627 | 4.001 | 0.249984377 |
3.9999 | 0.250001563 | 4.0001 | 0.249998438 |
3.99999 | 0.25000016 | 4.00001 | 0.24999984 |
After inspecting this table, we see that the functional values less than 4 appear to be decreasing toward 0.25 whereas the functional values greater than 4 appear to be increasing toward 0.25. We conclude that \(\displaystyle \lim_{x\to4}\frac{\sqrt{x}−2}{x−4}=0.25\). We confirm this estimate using the graph of \(f(x)=\dfrac{\sqrt{x}−2}{x−4}\) shown in Figure \(\PageIndex{3}\).
Estimate \(\displaystyle \lim_{x \to 1} \frac{\frac{1}{x}−1}{x−1}\) using a table of functional values. Use a graph to confirm your estimate.
- Hint
-
Use 0.9, 0.99, 0.999, 0.9999, 0.99999 and 1.1, 1.01, 1.001, 1.0001, 1.00001 as your table values.
- Answer
-
\[\lim_{x\to1}\frac{\frac{1}{x}−1}{x−1}=−1\nonumber\]
At this point, we see from Examples \(\PageIndex{1A}\) and \(\PageIndex{1b}\) that it may be just as easy, if not easier, to estimate a limit of a function by inspecting its graph as it is to estimate the limit by using a table of functional values. In Example \(\PageIndex{2}\), we evaluate a limit exclusively by looking at a graph rather than by using a table of functional values.
For \(g(x)\) shown in Figure \(\PageIndex{4}\), evaluate \(\displaystyle \lim_{x\to−1}g(x)\).
Solution:
Despite the fact that \(g(−1)=4\), as the \(x\)-values approach \(−1\) from either side, the \(g(x)\) values approach \(3\). Therefore, \(\displaystyle \lim_{x\to−1}g(x)=3\). Note that we can determine this limit without even knowing the algebraic expression of the function.
Based on Example \(\PageIndex{2}\), we make the following observation: It is possible for the limit of a function to exist at a point, and for the function to be defined at this point, but the limit of the function and the value of the function at the point may be different.
Use the graph of \(h(x)\) in Figure \(\PageIndex{5}\) to evaluate \(\displaystyle \lim_{x \to 2}h(x)\), if possible.
- Hint
-
What \(y\)-value does the function approach as the \(x\)-values approach \(2\)?
- Solution
-
\(\displaystyle \lim_{x \to 2}h(x)=−1.\)
Looking at a table of functional values or looking at the graph of a function provides us with useful insight into the value of the limit of a function at a given point. However, these techniques rely too much on guesswork. We eventually need to develop alternative methods of evaluating limits. These new methods are more algebraic in nature and we explore them in the next section; however, at this point we introduce two special limits that are foundational to the techniques to come.
Let \(a\) be a real number and \(c\) be a constant.
- \(\displaystyle \lim_{x \to a}x=a\)
- \(\displaystyle \lim_{x \to a}c=c\)
We can make the following observations about these two limits.
- For the first limit, observe that as \(x\) approaches \(a\), so does \(f(x)\), because \(f(x)=x\). Consequently, \(\displaystyle \lim_{x \to a}x=a\).
- For the second limit, consider Table \(\PageIndex{4}\).
\(x\) | \(f(x)=c\) | \(x\) | \(f(x)=c\) |
---|---|---|---|
\(a-0.1\) | \(c\) | \(a+0.1\) | \(c\) |
\(a-0.01\) | \(c\) | \(a+0.01\) | \(c\) |
\(a-0.001\) | \(c\) | \(a+0.001\) | \(c\) |
\(a-0.0001\) | \(c\) | \(a+0.0001\) | \(c\) |
Observe that for all values of \(x\) (regardless of whether they are approaching \(a\)), the values \(f(x)\) remain constant at \(c\). We have no choice but to conclude \(\displaystyle \lim_{x \to a}c=c\).
The Existence of a Limit
As we consider the limit in the next example, keep in mind that for the limit of a function to exist at a point, the functional values must approach a single real-number value at that point. If the functional values do not approach a single value, then the limit does not exist.
Evaluate \(\displaystyle\lim_{x \to 0}\sin(1/x)\) using a table of values.
Solution
Table \(\PageIndex{5}\) lists values for the function \(\sin(1/x)\) for the given values of \(x\).
\(x\) | \(\sin(1/x)\) | \(x\) | \(\sin(1/x)\) |
---|---|---|---|
-0.1 | 0.544021110889 | 0.1 | −0.544021110889 |
-0.01 | 0.50636564111 | 0.01 | −0.50636564111 |
-0.001 | −0.8268795405312 | 0.001 | 0.8268795405312 |
-0.0001 | 0.305614388888 | 0.0001 | −0.305614388888 |
-0.00001 | −0.035748797987 | 0.00001 | 0.035748797987 |
-0.000001 | 0.349993504187 | 0.000001 | −0.349993504187 |
After examining the table of functional values, we can see that the \(y\)-values do not seem to approach any one single value. It appears the limit does not exist. Before drawing this conclusion, let’s take a more systematic approach. Take the following sequence of \(x\)-values approaching \(0\):
\[\frac{2}{π},\;\frac{2}{3π},\;\frac{2}{5π},\;\frac{2}{7π},\;\frac{2}{9π},\;\frac{2}{11π},\;….\nonumber\]
The corresponding \(y\)-values are
\[1,\;-1,\;1,\;-1,\;1,\;-1,\;....\nonumber\]
At this point we can indeed conclude that \(\displaystyle \lim_{x \to 0} \sin(1/x)\) does not exist. (Mathematicians frequently abbreviate “does not exist” as DNE. Thus, we would write \(\displaystyle \lim_{x \to 0} \sin(1/x)\) DNE.) The graph of \(f(x)=\sin(1/x)\) is shown in Figure \(\PageIndex{6}\) and it gives a clearer picture of the behavior of \(\sin(1/x)\) as \(x\) approaches \(0\). You can see that \(\sin(1/x)\) oscillates ever more wildly between \(−1\) and \(1\) as \(x\) approaches \(0\).
Use a table of functional values to evaluate \(\displaystyle \lim_{x \to 2}\frac{∣x^2−4∣}{x−2}\), if possible.
- Hint
-
Use \(x\)-values 1.9, 1.99, 1.999, 1.9999, 1.99999 and 2.1, 2.01, 2.001, 2.0001, 2.00001 in your table.
- Answer
-
\(\displaystyle \lim_{x \to 2}\frac{∣x^2−4∣}{x−2}\) does not exist.
One-Sided Limits
Sometimes indicating that the limit of a function fails to exist at a point does not provide us with enough information about the behavior of the function at that particular point. To see this, we now revisit the function \(g(x)=|x−2|/(x−2)\) introduced at the beginning of the section (see Figure \(\PageIndex{1}\)(b)). As we pick values of \(x\) close to \(2\), \(g(x)\) does not approach a single value, so the limit as \(x\) approaches \(2\) does not exist—that is, \(\displaystyle \lim_{x \to 2}g(x)\) DNE. However, this statement alone does not give us a complete picture of the behavior of the function around the \(x\)-value \(2\). To provide a more accurate description, we introduce the idea of a one-sided limit. For all values to the left of \(2\) (or the negative side of \(2\)), \(g(x)=−1\). Thus, as \(x\) approaches \(2\) from the left, \(g(x)\) approaches \(−1\). Mathematically, we say that the limit as \(x\) approaches \(2\) from the left is \(−1\). Symbolically, we express this idea as
\[\lim_{x \to 2^−}g(x)=−1. \nonumber\]
Similarly, as \(x\) approaches \(2\) from the right (or from the positive side), \(g(x)\) approaches \(1\). Symbolically, we express this idea as
\[\lim_{x \to 2^+}g(x)=1.\nonumber\]
We can now present an informal definition of one-sided limits.
We define two types of one-sided limits.
Limit from the left:
Let \(f(x)\) be a function defined at all values in an open interval of the form \((z,a)\), and let \(L\) be a real number. If the values of the function \(f(x)\) approach the real number \(L\) as the values of \(x\) (where \(x<a\)) approach the number \(a\), then we say that \(L\) is the limit of \(f(x)\) as \(x\) approaches \(a\) from the left. Symbolically, we express this idea as
\[\lim_{x \to a^−}f(x)=L.\]
Limit from the right:
Let \(f(x)\) be a function defined at all values in an open interval of the form \((a,c)\), and let \(L\) be a real number. If the values of the function \(f(x)\) approach the real number \(L\) as the values of \(x\) (where \(x>a\)) approach the number \(a\), then we say that \(L\) is the limit of \(f(x)\) as \(x\) approaches \(a\) from the right. Symbolically, we express this idea as
\[\lim_{x \to a^+}f(x)=L.\]
For the function \(f(x)=\begin{cases}x+1, & \text{if }x<2\\ x^2−4, & \text{if }x≥2\end{cases}\), evaluate each of the following limits.
- \(\displaystyle \lim_{x \to 2^−}f(x)\)
- \(\displaystyle \lim_{x \to 2^+}f(x)\)
Solution
We can use tables of functional values again. Observe in Table \(\PageIndex{6}\) that for values of \(x\) less than \(2\), we use \(f(x)=x+1\) and for values of \(x\) greater than \(2\), we use \(f(x)=x^2−4.\)
\(x\) | \(f(x)=x+1\) | \(x\) | \(f(x)=x^2-4\) |
---|---|---|---|
1.9 | 2.9 | 2.1 | 0.41 |
1.99 | 2.99 | 2.01 | 0.0401 |
1.999 | 2.999 | 2.001 | 0.004001 |
1.9999 | 2.9999 | 2.0001 | 0.00040001 |
1.99999 | 2.99999 | 2.00001 | 0.0000400001 |
Based on this table, we can conclude that a. \(\displaystyle \lim_{x \to 2^−}f(x)=3\) and b. \(\displaystyle \lim_{x \to 2^+}f(x)=0\). Therefore, the (two-sided) limit of \(f(x)\) does not exist at \(x=2\). Figure \(\PageIndex{7}\) shows a graph of \(f(x)\) and reinforces our conclusion about these limits.
Use a table of functional values to estimate the following limits, if possible.
- \(\displaystyle \lim_{x→2^−}\frac{∣x^2−4∣}{x−2}\)
- \(\displaystyle \lim_{x→2^+}\frac{∣x^2−4∣}{x−2}\)
- Hint
-
Use \(x\)-values 1.9, 1.99, 1.999, 1.9999, 1.99999 to estimate \(\displaystyle \lim_{x→2^−}\frac{∣x^2−4∣}{x−2}\).
Use \(x\)-values 2.1, 2.01, 2.001, 2.0001, 2.00001 to estimate \(\displaystyle \lim_{x→2^+}\frac{∣x^2−4∣}{x−2}.\)
(These tables are available from a previous Checkpoint problem.)
- Solution a
-
a. \(\displaystyle \lim_{x→2^−}\frac{∣x^2−4∣}{x−2}=−4\)
- Solution b
-
\(\displaystyle \lim_{x→2^+}\frac{∣x^2−4∣}{x−2}=4\)
Let us now consider the relationship between the limit of a function at a point and the limits from the right and left at that point. It seems clear that if the limit from the right and the limit from the left have a common value, then that common value is the limit of the function at that point. Similarly, if the limit from the left and the limit from the right take on different values, the limit of the function does not exist. These conclusions are summarized in Note.
Let \(f(x)\) be a function defined at all values in an open interval containing \(a\), with the possible exception of \(a\) itself, and let \(L\) be a real number. Then,
\[\lim_{x \to a}f(x)=L\]
if and only if \(\displaystyle \lim_{x \to a^−}f(x)=L\) and \(\displaystyle \lim_{x \to a^+} f(x)=L\).
Infinite Limits
Evaluating the limit of a function at a point or evaluating the limit of a function from the right and left at a point helps us to characterize the behavior of a function around a given value. As we shall see, we can also describe the behavior of functions that do not have finite limits.
We now turn our attention to \(h(x)=1/(x−2)^2\), the third and final function introduced at the beginning of this section (see Figure \(\PageIndex{1}\)(c)). From its graph we see that as the values of \(x\) approach \(2\), the values of \(h(x)=1/(x−2)^2\) become larger and larger and, in fact, become infinite. Mathematically, we say that the limit of \(h(x)\) as \(x\) approaches \(2\) is positive infinity. Symbolically, we express this idea as
\[\lim_{x \to 2}h(x)=+∞. \nonumber\]
More generally, we define infinite limits as follows:
We define three types of infinite limits.
Infinite limits from the left: Let \(f(x)\) be a function defined at all values in an open interval of the form \((b,a)\).
i. If the values of \(f(x)\) increase without bound as the values of \(x\) (where \(x<a\)) approach the number \(a\), then we say that the limit as \(x\) approaches \(a\) from the left is positive infinity and we write \[\lim_{x \to a^−}f(x)=+∞.\]
ii. If the values of \(f(x)\) decrease without bound as the values of \(x\) (where \(x<a\)) approach the number \(a\), then we say that the limit as \(x\) approaches \(a\) from the left is negative infinity and we write \[\lim_{x \to a^−}f(x)=−∞.\]
Infinite limits from the right: Let \(f(x)\) be a function defined at all values in an open interval of the form \((a,c)\).
i. If the values of \(f(x)\) increase without bound as the values of \(x\) (where \(x>a\)) approach the number \(a\), then we say that the limit as \(x\) approaches \(a\) from the right is positive infinity and we write \[\lim_{x \to a^+}f(x)=+∞.\]
ii. If the values of \(f(x)\) decrease without bound as the values of \(x\) (where \(x>a\)) approach the number \(a\), then we say that the limit as \(x\) approaches \(a\) from the right is negative infinity and we write \[\lim_{x \to a^+}f(x)=−∞.\]
Two-sided infinite limit: Let \(f(x)\) be defined for all \(x≠a\) in an open interval containing \(a\)
i. If the values of \(f(x)\) increase without bound as the values of \(x\) (where \(x≠a\)) approach the number \(a\), then we say that the limit as \(x\) approaches \(a\) is positive infinity and we write \[\lim_{x \to a} f(x)=+∞.\]
ii. If the values of \(f(x)\) decrease without bound as the values of \(x\) (where \(x≠a\)) approach the number \(a\), then we say that the limit as \(x\) approaches \(a\) is negative infinity and we write \[\lim_{x \to a}f(x)=−∞.\]
It is important to understand that when we write statements such as \(\displaystyle \lim_{x \to a}f(x)=+∞\) or \(\displaystyle \lim_{x \to a}f(x)=−∞\) we are describing the behavior of the function, as we have just defined it. We are not asserting that a limit exists. For the limit of a function \(f(x)\) to exist at \(a\), it must approach a real number \(L\) as \(x\) approaches \(a\). That said, if, for example, \(\displaystyle \lim_{x \to a}f(x)=+∞\), we always write \(\displaystyle \lim_{x \to a}f(x)=+∞\) rather than \(\displaystyle \lim_{x \to a}f(x)\) DNE.
Evaluate each of the following limits, if possible. Use a table of functional values and graph \(f(x)=1/x\) to confirm your conclusion.
- \(\displaystyle \lim_{x \to 0^−} \frac{1}{x}\)
- \(\displaystyle \lim_{x \to 0^+} \frac{1}{x}\)
- \( \displaystyle \lim_{x \to 0}\frac{1}{x}\)
Solution
Begin by constructing a table of functional values.
\(x\) | \(\dfrac{1}{x}\) | \(x\) | \(\dfrac{1}{x}\) |
---|---|---|---|
-0.1 | -10 | 0.1 | 10 |
-0.01 | -100 | 0.01 | 100 |
-0.001 | -1000 | 0.001 | 1000 |
-0.0001 | -10,000 | 0.0001 | 10,000 |
-0.00001 | -100,000 | 0.00001 | 100,000 |
-0.000001 | -1,000,000 | 0.000001 | 1,000,000 |
a. The values of \(1/x\) decrease without bound as \(x\) approaches \(0\) from the left. We conclude that
\[\lim_{x \to 0^−}\frac{1}{x}=−∞.\nonumber\]
b. The values of \(1/x\) increase without bound as \(x\) approaches \(0\) from the right. We conclude that
\[\lim_{x \to 0^+}\frac{1}{x}=+∞. \nonumber\]
c. Since \(\displaystyle \lim_{x \to 0^−}\frac{1}{x}=−∞\) and \(\displaystyle \lim_{x \to 0^+}\frac{1}{x}=+∞\) have different values, we conclude that
\[\lim_{x \to 0}\frac{1}{x}\quad\text{DNE.} \nonumber\]
The graph of \(f(x)=1/x\) in Figure \(\PageIndex{8}\) confirms these conclusions.
Evaluate each of the following limits, if possible. Use a table of functional values and graph \(f(x)=1/x^2\) to confirm your conclusion.
- \(\displaystyle \lim_{x \to 0^−}\frac{1}{x^2}\)
- \(\displaystyle \lim_{x \to 0^+}\frac{1}{x^2}\)
- \(\displaystyle \lim_{x \to 0}\frac{1}{x^2}\)
Infinite Limits from Positive Integers
If \(n\) is a positive even integer, then
\[\lim_{x \to a}\frac{1}{(x−a)^n}=+∞.\label{infLim1}\]
If \(n\) is a positive odd integer, then
\[\lim_{x \to a^+}\frac{1}{(x−a)^n}=+∞\label{infLim2}\]
and
\[\lim_{x \to a^−}\frac{1}{(x−a)^n}=−∞.\label{infLim3}\]
We should also point out that in the graphs of \(f(x)=1/(x−a)^n\), points on the graph having \(x\)-coordinates very near to \(a\) are very close to the vertical line \(x=a\). That is, as \(x\) approaches \(a\), the points on the graph of \(f(x)\) are closer to the line \(x=a\). The line \(x=a\) is called a vertical asymptote of the graph. We formally define a vertical asymptote as follows:
Let \(f(x)\) be a function. If any of the following conditions hold, then the line \(x=a\) is a vertical asymptote of \(f(x)\).
\[\lim_{x \to a^−}f(x)=+∞\]
\[\lim_{x \to a^−}f(x)=−∞\]
\[\lim_{x \to a^+}f(x)=+∞\]
\[\lim_{x \to a^+}f(x)=−∞\]
\[\lim_{x \to a}f(x)=+∞\]
\[\lim_{x \to a}f(x)=−∞\]
Evaluate each of the following limits using Equations \ref{infLim1}, \ref{infLim2}, and \ref{infLim3} above. Identify any vertical asymptotes of the function \(f(x)=1/(x+3)^4.\)
- \(\displaystyle \lim_{x \to −3^−}\frac{1}{(x+3)^4}\)
- \(\displaystyle \lim_{x \to −3^+}\frac{1}{(x+3)^4}\)
- \(\displaystyle \lim_{x \to −3}\frac{1}{(x+3)^4}\)
Solution
We can use the above equations directly.
- \(\displaystyle \lim_{x \to −3^−}\frac{1}{(x+3)^4}=+∞\)
- \(\displaystyle \lim_{x \to −3^+}\frac{1}{(x+3)^4}=+∞\)
- \(\displaystyle \lim_{x \to −3}\frac{1}{(x+3)^4}=+∞\)
The function \(f(x)=1/(x+3)^4\) has a vertical asymptote of \(x=−3\).
Evaluate each of the following limits. Identify any vertical asymptotes of the function \(f(x)=\dfrac{1}{(x−2)^3}\).
- \(\displaystyle \lim_{x→2^−}\frac{1}{(x−2)^3}\)
- \(\displaystyle \lim_{x→2^+}\frac{1}{(x−2)^3}\)
- \(\displaystyle \lim_{x→2}\frac{1}{(x−2)^3}\)
- Answer a
-
\(\displaystyle \lim_{x→2^−}\frac{1}{(x−2)^3}=−∞\)
- Answer b
-
\(\displaystyle \lim_{x→2^+}\frac{1}{(x−2)^3}=+∞\)
- Answer c
-
\(\displaystyle \lim_{x→2}\frac{1}{(x−2)^3}\) DNE. The line \(x=2\) is the vertical asymptote of \(f(x)=1/(x−2)^3.\)
In the next example we put our knowledge of various types of limits to use to analyze the behavior of a function at several different points.
Use the graph of \(f(x)\) in Figure \(\PageIndex{10}\) to determine each of the following values:
- \(\displaystyle \lim_{x \to −4^−}f(x)\); \(\displaystyle \lim_{x \to −4^+}f(x)\); \(\displaystyle \lim_{x→−4}f(x);\;f(−4)\)
- \(\displaystyle \lim_{x \to −2^−}f(x\)); \(\displaystyle \lim_{x \to −2^+}f(x)\); \(\displaystyle \lim_{x→−2}f(x);\;f(−2)\)
- \( \displaystyle \lim_{x \to 1^−}f(x)\); \(\displaystyle \lim_{x \to 1^+}f(x)\); \(\displaystyle \lim_{x \to 1}f(x);\;f(1)\)
- \( \displaystyle \lim_{x \to 3^−}f(x)\); \(\displaystyle \lim_{x \to 3^+}f(x)\); \(\displaystyle \lim_{x \to 3}f(x);\;f(3)\)
Solution
Using the definitions above and the graph for reference, we arrive at the following values:
- \(\displaystyle \lim_{x \to −4^−}f(x)=0\); \(\displaystyle \lim_{x \to −4^+}f(x)=0\); \(\displaystyle \lim_{x \to −4}f(x)=0;\;f(−4)=0\)
- \(\displaystyle \lim_{x \to −2^−}f(x)=3\); \(\displaystyle \lim_{x \to −2^+}f(x)=3\); \(\displaystyle \lim_{x \to −2}f(x)=3;\;f(−2)\) is undefined
- \(\displaystyle \lim_{x \to 1^−}f(x)=6\); \(\displaystyle \lim_{x \to 1^+}f(x)=3\); \(\displaystyle \lim_{x \to 1}f(x)\) DNE; \(f(1)=6\)
- \(\displaystyle \lim_{x \to 3^−}f(x)=−∞\); \(\displaystyle \lim_{x \to 3^+}f(x)=−∞\); \(\displaystyle \lim_{x \to 3}f(x)=−∞\); \(f(3)\) is undefined
Evaluate \(\displaystyle\lim_{x \to 1}f(x)\) for \(f(x)\) shown here:
- Hint
-
Compare the limit from the right with the limit from the left.
- Answer
-
\(\displaystyle\lim_{x \to 1}f(x)\) does not exist
In the Chapter opener we mentioned briefly how Albert Einstein showed that a limit exists to how fast any object can travel. Given Einstein’s equation for the mass of a moving object
\[m=\dfrac{m_0}{\sqrt{1−\frac{v^2}{c^2}}}, \nonumber\]
what is the value of this bound?
Solution
Our starting point is Einstein’s equation for the mass of a moving object,
\[m=\dfrac{m_0}{\sqrt{1−\frac{v^2}{c^2}}}, \nonumber\]
where \(m_0\) is the object’s mass at rest, \(v\) is its speed, and \(c\) is the speed of light. To see how the mass changes at high speeds, we can graph the ratio of masses \(m/m_0\) as a function of the ratio of speeds, \(v/c\) (Figure \(\PageIndex{13}\)).
We can see that as the ratio of speeds approaches 1—that is, as the speed of the object approaches the speed of light—the ratio of masses increases without bound. In other words, the function has a vertical asymptote at \(v/c=1\). We can try a few values of this ratio to test this idea.
\(v/c\) | \(\sqrt{1-\frac{v^2}{c^2}}\) | \(m/m_o\) |
---|---|---|
0.99 | 0.1411 | 7.089 |
0.999 | 0.0447 | 22.37 |
0.9999 | 0.0141 | 70.7 |
Thus, according to Table \(\PageIndex{8}\):, if an object with mass 100 kg is traveling at 0.9999c, its mass becomes 7071 kg. Since no object can have an infinite mass, we conclude that no object can travel at or more than the speed of light.
Key Concepts
- A table of values or graph may be used to estimate a limit.
- If the limit of a function at a point does not exist, it is still possible that the limits from the left and right at that point may exist.
- If the limits of a function from the left and right exist and are equal, then the limit of the function is that common value.
- We may use limits to describe infinite behavior of a function at a point.
Key Equations
- Intuitive Definition of the Limit
\(\displaystyle \lim_{x \to a}f(x)=L\)
- Two Important Limits
\(\displaystyle \lim_{x \to a}x=a \qquad \lim_{x \to a}c=c\)
- One-Sided Limits
\(\displaystyle \lim_{x \to a^−}f(x)=L \qquad \lim_{x \to a^+}f(x)=L\)
- Infinite Limits from the Left
\(\displaystyle \lim_{x \to a^−}f(x)=+∞ \qquad \lim_{x \to a^−} f(x)=−∞\)
- Infinite Limits from the Right
\(\displaystyle \lim_{x \to a^+}f(x)=+∞ \qquad \lim_{x \to a^+} f(x)=−∞\)
- Two-Sided Infinite Limits
\(\displaystyle \lim_{x \to a}f(x)=+∞\): \(\displaystyle \lim_{x \to a^−}f(x)=+∞\) and \(\displaystyle \lim_{x \to a^+} f(x)=+∞\)
\(\displaystyle \lim_{x \to a}f(x)=−∞\): \(\displaystyle \lim_{x \to a^−}f(x)=−∞\) and \(\displaystyle \lim_{x \to a^+} f(x)=−∞\)
Glossary
- infinite limit
- A function has an infinite limit at a point \(a\) if it either increases or decreases without bound as it approaches \(a\)
- intuitive definition of the limit
- If all values of the function \(f(x)\) approach the real number \(L\) as the values of \(x(≠a)\) approach a, \(f(x)\) approaches L
- one-sided limit
- A one-sided limit of a function is a limit taken from either the left or the right
- vertical asymptote
- A function has a vertical asymptote at \(x=a\) if the limit as \(x\) approaches \(a\) from the right or left is infinite
Follow the procedures from Example \(\PageIndex{5}\).
a. \(\displaystyle \lim_{x \to 0^−}\frac{1}{x^2}=+∞\);
b. \(\displaystyle \lim_{x \to 0^+}\frac{1}{x^2}=+∞\);
c. \(\displaystyle \lim_{x \to 0}\frac{1}{x^2}=+∞\)
It is useful to point out that functions of the form \(f(x)=1/(x−a)^n\), where n is a positive integer, have infinite limits as \(x\) approaches \(a\) from either the left or right (Figure \(\PageIndex{9}\)). These limits are summarized in the above definitions.