- Last updated

- Save as PDF

- Page ID
- 5286

\( \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}}\)

Learning Objectives

In this section, we strive to understand the ideas generated by the following important questions:

- What does it mean graphically to say that \(f\) has limit \(L\) as \(x → a\)? How is this connected to having a left-hand limit at \(x = a\) and having a right-hand limit at \(x = a\) ?
- What does it mean to say that a function \(f\) is continuous at \(x = a\)? What role do limits play in determining whether or not a function is continuous at a point?
- What does it mean graphically to say that a function \(f\) is differentiable at \(x = a\)? How is this connected to the function being locally linear?
- How are the characteristics of a function having a limit, being continuous, and being differentiable at a given point related to one another?

## Introduction

In Section 1.2, we learned about how the concept of limits can be used to study the trend of a function near a fixed input value. As we study such trends, we are fundamentally interested in knowing how well-behaved the function is at the given point, say \(x = a\). In this present section, we aim to expand our perspective and develop language and understanding to quantify how the function acts and how its value changes near a particular point. Beyond thinking about whether or not the function has a limit \(L\) at \(x = a\), we will also consider the value of the function \(f (a)\) and how this value is related to \(lim_{x→a} f (x)\), as well as whether or not the function has a derivative \(f '(a)\) at the point of interest. Throughout, we will build on and formalize ideas that we have encountered in several settings.

We begin to consider these issues through the following preview activity that asks you to consider the graph of a function with a variety of interesting behaviors.

Preview Activity \(\PageIndex{1}\)

A function \(f\) defined on \(−4 < x < 4\) is given by the graph in Figure 1.7.1. Use the graph to answer each of the following questions. Note: to the right of \(x = 2\), the graph of \(f\) is exhibiting infinite oscillatory behavior similar to the function \(\sin( \frac{π}{ x })\) that we encountered in the key example early in Section 1.2.

(a) For each of the values \(a\) = −3, −2, −1, 0, 1, 2, 3, determine whether or not \(\lim_{x→a} f (x)\) exists. If the function has a limit \(L\) at a given point, state the value of the limit using the notation \(\lim_{x→a} f (x)= L\). If the function does not have a limit at a given point, write a sentence to explain why.

* Figure \(\PageIndex{1}\): The graph of *\(y = f (x)\)

*.*

(b) For each of the values of a from part (a) where \(f\) has a limit, determine the value of \(f (a)\) at each such point. In addition, for each such a value, does \(f (a)\) have the same value as \(\lim_{x→a} f (x)\) ?

(c) For each of the values \(a\) = −3, −2, −1, 0, 1, 2, 3, determine whether or not \(f '(a)\) exists. In particular, based on the given graph, ask yourself if it is reasonable to say that f has a tangent line at \((a, f (a))\) for each of the given \(a\)-values. If so, visually estimate the slope of the tangent line to find the value of \(f '(a)\).

## Having a limit at a point

In Section 1.2, we first encountered limits and learned that we say that \(f\) has limit \(L\) as \(x\) approaches a and write \(lim_{x→a} f (x) = L\) provided that we can make the value of f (x) as close to \(L\) as we like by taking \(x\) sufficiently close (but not equal to) \(a\). Here, we expand further on this definition and focus in more depth on what it means for a function not to have a limit at a given value.

Essentially there are two behaviors that a function can exhibit at a point where it fails to have a limit. In Figure 1.7.2, at left we see a function \(f\) whose graph shows \(a\) jump at \(a\) = 1. In particular, if we let \(x\) approach 1 from the left side, the value of \(f\) approaches 2, while if we let \(x\) go to 1 from the right, the value of \(f\) tends to 3. Because the value of \(f\) does not approach a single number as \(x\) gets arbitrarily close to 1 from both sides, we know that \(f\) does not have a limit at \(a\) = 1.

Since \(f\) does approach a single value on each side of \(a\) = 1, we can introduce the notion of* left *and *right *(or *one-sided*) *limits*. We say that \(f\) *has limit *\(L_1\)* as* \(x\) *approaches* \(a\)* from the left* and write

\[\lim_{ x→a ^{−} }f (x) = L_{1}\]

provided that we can make the value of \(f (x)\) as close to \(L_1\) as we like by taking \(x\) sufficiently close to a while always having \(x < a\). In this case, we call \(L_1\) the left-hand limit of \(f\) as \(x\) approaches \(a\). Similarly, we say \(L_2\) i*s the right-hand limit of* \(f\) *as *\(x\)* approaches *\(a\) and write

\[\lim_{ x→a ^{+}} f (x) = L_2\]

provided that we can make the value of \(f (x)\) as close to \(L_2\) as we like by taking \(x\) sufficiently close to a while always having \(x > a\). In the graph of the function \(f\) in Figure 1.7.2, we see that

\[\lim_{ x→1 ^{−}} f (x) = 2 \text{ and} \lim _{x→1 ^{+}} f (x) = 3\]

and precisely because the left and right limits are not equal, the overall limit of \(f\) as \(x → 1\) fails to exist.

**Figure \(\PageIndex{2}\)**: Functions f and g that each fail to have a limit at a = 1.

For the function \(g\) pictured at right in Figure 1.7.2, the function fails to have a limit at \(a = 1\) for a different reason. While the function does not have a jump in its graph at \(a = 1\), it is still not the case that \(g\) approaches a single value as \(x\) approaches 1. In particular, due to the infinitely oscillating behavior of \(g\) to the right of \(a = 1\), we say that the right-hand limit of \(g\) as \(x → 1^{ +}\) does not exist, and thus \(lim_{ x→1} g(x)\) does not exist. To summarize, anytime either a left- or right-hand limit fails to exist or the left- and right-hand limits are not equal to each other, the overall limit will not exist. Said differently,

A function \(f\) has limit \(L\) as \(x → a\) if and only if

\[lim _{x→a ^{−}} f (x) = L = lim_{ x→a^{ +}} f (x).\]

That is, a function has a limit at \(x = a\) if and only if both the left- and right-hand limits at \(x = a \) exist and share the same value.

In Preview Activity 1.7, the function \(f\) given in Figure 1.7.1 only fails to have a limit at two values: at \(a = −2\) (where the left- and right-hand limits are 2 and −1, respectively) and at \(x = 2\), where \(lim_{x→2^{ +}} f (x)\) does not exist). Note well that even at values like a = −1 and a = 0 where there are holes in the graph, the limit still exists.

Activity \(\PageIndex{2}\)

Consider a function that is piecewise-defined according to the formula

\[f ( x ) = \left\{ \begin{array} { l l l } { 3 ( x + 2 ) + 2 } & { \text { for } - 3 < x < - 2 } \\ { \frac { 2 } { 3 } ( x + 2 ) + 1 } & { \text { for } - 2 \leq x < - 1 } \\ { \frac { 2 } { 3 } ( x + 2 ) + 1 } & { \text { for } - 1 < x < 1 } \\ { 2 } & { \text { for } x = 1 } \\ { 4 - x } & { \text { for } x > 1 } \end{array} \right.\]

Use the given formula to answer the following questions.

* Figure \(\PageIndex{3}\)*:

*Axes for plotting the function \(y = f (x)\) in Activity 1.18.*

(a) For each of the values \(a\) = −2, −1, 0, 1, 2, compute \(f (a)\).

(b) For each of the values \(a\) = −2, −1, 0, 1, 2, determine \(lim _{x→a ^{−}} f (x)\) and \(lim _{x→a^ {+}} f (x)\).

(c) For each of the values \(a\) = −2, −1, 0, 1, 2, determine \(\lim _ { x \rightarrow a } f ( x )\). If the limit fails to exist, explain why by discussing the left- and right-hand limits at the relevant \(a\)-value.

(d) For which values of \(a\) is the following statement true? \[\lim _ { x \rightarrow a } f ( x ) \neq f ( a )\]

(e) On the axes provided in Figure 1.7.3, sketch an accurate, labeled graph of \(y = f (x)\). Be sure to carefully use open circles (◦) and filled circles (•) to represent key points on the graph, as dictated by the piecewise formula.

## Being continuous at a point

Intuitively, a function is continuous if we can draw it without ever lifting our pencil from the page. Alternatively, we might say that the graph of a continuous function has no jumps or holes in it. We first consider three specific situations in Figure 1.7.4 where all three functions have a limit at \(a = 1\), and then work to make the idea of continuity more precise.

* Figure \(\PageIndex{4}\): Functions* \(f\)

*,*\( g\)

*, and*\(h\)

*that demonstrate subtly different behaviors at*\(a = 1\)

*.*

Note that \(f\) (1) is not defined, which leads to the resulting hole in the graph of \(f\) at \(a = 1\). We will naturally say that \(f\) is *not continuous* at \(a = 1\). For the next function \(g\) in in Figure 1.7.4, we observe that while \(lim_{x→1} g(x) = 3\), the value of \(g\) (1) = 2, and thus the limit does not equal the function value. Here, too, we will say that \(g\) is *not continuous*, even though the function is defined at \(a = 1\). Finally, the function \(h\) appears to be the most well-behaved of all three, since at \(a = 1\) its limit and its function value agree. That is,

\[\lim _ { x \rightarrow 1 } h ( x ) = 3 = h ( 1 ).\]

With no hole or jump in the graph of \(h\) at \(a = 1\), we desire to say that \(h\) is *continuous* there. More formally, we make the following definition.

Definition 1.7

A function \(f\) is *continuous *at \(x = a\) provided that

(a) \(f\) has a limit as \(x → a\),

(b) \(f\) is defined at \(x = a\), and

(c) \(\lim _ { x \rightarrow a } f ( x ) = f ( a ).\)

Conditions (a) and (b) are technically contained implicitly in (c), but we state them explicitly to emphasize their individual importance. In words, (c) essentially says that a function is continuous at \(x = a\) provided that its limit as \(x → a \) exists and equals its function value at \(x = a\). If a function is continuous at every point in an interval \([a, b]\), we say the function is “continuous on \([a, b]\).” If a function is continuous at every point in its domain, we simply say the function is “continuous.” Thus, continuous functions are particularly nice: to evaluate the limit of a continuous function at a point, all we need to do is evaluate the function.

Activity \(\PageIndex{3}\)

This activity builds on your work in Preview Activity 1.7, using the same function \(f\) as given by the graph that is repeated in Figure 1.7.5

(a) At which values of \(a\) does \(\lim _ { x \rightarrow a } f ( x )\) not exist?

(b) At which values of \(a\) is \(f(a)\) not defined?

(c) At which values of \(a\) does \(f\) have a limit, but \(\lim _ { x \rightarrow a } f ( x ) \neq f ( a )\)?

(d) State all values of \(a\) for which \(f\) is not continuous at \(x = a\).

(e) Which condition is stronger, and hence implies the other:\(f\) has a limit at \(x = a\) or \(f\) is continuous at \(x = a\)? Explain, and hence complete the following sentence: “If \(f\) __ __ at \(x = a\), then \(f\) __ __ at \(x = a\),” where you complete the blanks with* has a limit* and* is continuous*, using each phrase once.

**Figure \(\PageIndex{5}\):***The graph of \(y = f (x)\) for Activity 1.19.*

## Being differentiable at a point

We recall that a function \(f\) is said to be differentiable at \(x = a\) whenever \(f ^ { \prime } ( a )\) exists. Moreover, for \(f ^ { \prime } ( a )\) to exist, we know that the function \(y = f ( x )\) must have a tangent line at the point \(( a , f ( a ) )\), since \(f ^ { \prime } ( a )\) is precisely the slope of this line. In order to even ask if \(f\) has a tangent line at \(( a , f ( a ) )\), it is necessary that \(f\) be continuous at \(x = a\): if \(f\) fails to have a limit at \(x = a\), if \(f ( a )\) is not defined, or if \(f ( a )\) does not equal the value of \(\lim _ { x \rightarrow a } f ( x )\), then it doesn’t even make sense to talk about a tangent line to the curve at this point.

Indeed, it can be proved formally that if a function \(f\) is differentiable at x = a, then it must be continuous at \(x = a\). So, if \(f\) is not continuous at \(x = a\), then it is automatically the case that \(f\) is not differentiable there. For example, in Figure 1.7.4 from our early discussion of continuity, both \(f\) and \(g\) fail to be differentiable at \(x = 1\) because neither function is continuous at \(x = 1\). But can a function fail to be differentiable at a point where the function is continuous?

In Figure 1.7.6, we revisit the situation where a function has a sharp corner at a point, something we encountered several times in Section 1.4. For the pictured function \(f\), we observe that \(f\) is clearly continuous at \(a = 1\), since \(\lim _ { x \rightarrow 1 } f ( x ) = 1 = f ( 1 )\).

But the function \(f\) in Figure 1.7.6 is not differentiable at \(a = 1\) because \(f ^ { \prime } ( 1 )\) fails to exist. One way to see this is to observe that \(f ^ { \prime } ( x ) = - 1\) for every value of \(x\) that is less than 1, while \(f ^ { \prime } ( x ) = - 1\) for every value of \(x\) that is greater than 1. That makes it seem that either +1 or −1 would be equally good candidates for the value of the derivative at \(x = 1\). Alternately, we could use the limit definition of the derivative to attempt to compute \(f ^ { \prime } ( x ) = - 1\), and discover that the derivative does not exist. A similar problem will be investigated in Activity 1.20. Finally, we can also see visually that the function \(f\) in Figure 1.7.6 does not have a tangent line. When we zoom in on (1, 1) on the graph of \(f\), no matter how closely we examine the function, it will always look like a “V”, and never like a single line, which

* Figure \(\PageIndex{6}\): A function *\(f\)

*t*

*hat is continuous at*\(a= 1\)

*but not differentiable at*\(a = 1\)

*; at right, we zoom in on the point*\((1, 1)\)

*in a magnified version of the box in the left-hand plot.*

tells us there is no possibility for a tangent line there.

To make a more general observation, if a function does have a tangent line at a given point, when we zoom in on the point of tangency, the function and the tangent line should appear essentially indistinguishable^{7} . Conversely, if we have a function such that when we zoom in on a point the function looks like a single straight line, then the function should have a tangent line there, and thus be differentiable. Hence, a function that is differentiable at \(x = a\) will, up close, look more and more like its tangent line at \(( a , f ( a ) )\), and thus we say that a function is differentiable at \(x = a\) is *locally linear*.

To summarize the preceding discussion of differentiability and continuity, we make several important observations.

- If \(f\) is differentiable at \(x = a\), then \(f\) is continuous at \(x = a\). Equivalently, if \(f\) fails to be continuous at \(x = a\), then f will not be differentiable at \(x = a\).
- A function can be continuous at a point, but not be differentiable there. In particular, a function \(f\) is not differentiable at \(x = a\) if the graph has a sharp corner (or cusp) at the point (a, f (a)).
- If f is differentiable at \(x = a\), then \(f\) is locally linear at \(x = a\). That is, when a function is differentiable, it looks linear when viewed up close because it resembles its tangent line there.

Activity \(\PageIndex{4}\)

In this activity, we explore two different functions and classify the points at which each is not differentiable. Let \(g\) be the function given by the rule \(g ( x ) = | x |\), and let \(f\)be the function that we have previously explored in Preview Activity 1.7, whose graph is given again in Figure 1.41.

(a) Reasoning visually, explain why \(g\) is differentiable at every point \(x\) such that \(x \neq 0\).

(b) Use the limit definition of the derivative to show that \(g ^ { \prime } ( 0 ) = \lim _ { h \rightarrow 0 } \frac { | h | } { h }\).

(c) Explain why \( g ^ { \prime } ( 0 )\) fails to exist by using small positive and negative values of \(h\).

**Figure \(\PageIndex{7}\)**: The graph of \(y = f (x)\) for Activity 1.20.

(d) State all values of \(a\) for which \(f\) is not differentiable at \(x = a\). For each, provide a reason for your conclusion.

(e) True or false: if a function \(p\) is differentiable at \(x = b\), then \(\lim _ { x \rightarrow b } p ( x )\)must exist. Why?

## Summary

In this section, we encountered the following important ideas:

- A function \(f\) has limit \(L \) as \(x → a\) if and only if \(f\) has a left-hand limit at \(x = a\), has a right-hand limit at \(x = a\), and the left- and right-hand limits are equal. Visually, this means that there can be a hole in the graph at \(x = a\), but the function must approach the same single value from either side of \(x = a\).
- A function \(f\) is continuous at \(x = a\) whenever \(f ( a )\) is defined, \(f\) has a limit as \(x → a\), and the value of the limit and the value of the function agree. This guarantees that there is not a hole or jump in the graph of \(f\) at \(x = a\).
- A function \(f\) is differentiable at \(x = a\) whenever \(f'(a)\) exists, which means that \(f\) has a tangent line at \(( a , f ( a ))\) and thus \(f\) is locally linear at the value \(x = a\). Informally, this means that the function looks like a line when viewed up close at \(( a , f ( a ))\) and that there is not a corner point or cusp at \(( a , f ( a ))\).
- Of the three conditions discussed in this section (having a limit at \(x = a\), being continuous at \(x = a\), and being differentiable at \(x = a\)), the strongest condition is being differentiable, and the next strongest is being continuous. In particular, if \(f\) is differentiable at \(x = a\), then \(f\) is also continuous at \(x = a\), and if \(f\) is continuous at \(x = a\), then \(f\) has a limit at \(x = a\).

^{7}See, for instance, http://gvsu.edu/s/6J for an applet (due to David Austin, GVSU) where zooming in shows the increasing similarity between the tangent line and the curve.

## Contributors and Attributions

Matt Boelkins (Grand Valley State University), David Austin(Grand Valley State University), Steve Schlicker (Grand Valley State University)