Continuity at a Point
Before we look at a formal definition of what it means for a function to be continuous at a point, let’s consider various functions that fail to meet our intuitive notion of what it means to be continuous at a point. We then create a list of conditions that prevent such failures.
Our first function of interest is shown in Figure 2.32. We see that the graph of \(f \left(\right. x \left.\right)\) has a hole at a. In fact, \(f \left(\right. a \left.\right)\) is undefined. At the very least, for \(f \left(\right. x \left.\right)\) to be continuous at a, we need the following condition:
However, as we see in Figure 2.33, this condition alone is insufficient to guarantee continuity at the point a. Although \(f \left(\right. a \left.\right)\) is defined, the function has a gap at a. In this example, the gap exists because \(\underset{x \rightarrow a}{\text{lim}} f \left(\right. x \left.\right)\) does not exist. We must add another condition for continuity at a—namely,
However, as we see in Figure 2.34, these two conditions by themselves do not guarantee continuity at a point. The function in this figure satisfies both of our first two conditions, but is still not continuous at a. We must add a third condition to our list:
Now we put our list of conditions together and form a definition of continuity at a point.
Definition
A function \(f \left(\right. x \left.\right)\) is continuous at a point a if and only if the following three conditions are satisfied:
- \(f \left(\right. a \left.\right)\) is defined
- \(\underset{x \rightarrow a}{\text{lim}} f \left(\right. x \left.\right)\) exists
- \(\underset{x \rightarrow a}{\text{lim}} f \left(\right. x \left.\right) = f \left(\right. a \left.\right)\)
A function is discontinuous at a point a if it fails to be continuous at a.
The following procedure can be used to analyze the continuity of a function at a point using this definition.
Problem-Solving Strategy
Determining Continuity at a Point
- Check to see if \(f \left(\right. a \left.\right)\) is defined. If \(f \left(\right. a \left.\right)\) is undefined, we need go no further. The function is not continuous at a. If \(f \left(\right. a \left.\right)\) is defined, continue to step 2.
- Compute \(\underset{x \rightarrow a}{\text{lim}} f \left(\right. x \left.\right) .\) In some cases, we may need to do this by first computing \(\underset{x \rightarrow a^{-}}{\text{lim}} f \left(\right. x \left.\right)\) and \(\underset{x \rightarrow a^{+}}{\text{lim}} f \left(\right. x \left.\right) .\) If \(\underset{x \rightarrow a}{\text{lim}} f \left(\right. x \left.\right)\) does not exist (that is, it is not a real number), then the function is not continuous at a and the problem is solved. If \(\underset{x \rightarrow a}{\text{lim}} f \left(\right. x \left.\right)\) exists, then continue to step 3.
- Compare \(f \left(\right. a \left.\right)\) and \(\underset{x \rightarrow a}{\text{lim}} f \left(\right. x \left.\right) .\) If \(\underset{x \rightarrow a}{\text{lim}} f \left(\right. x \left.\right) \neq f \left(\right. a \left.\right) ,\) then the function is not continuous at a. If \(\underset{x \rightarrow a}{\text{lim}} f \left(\right. x \left.\right) = f \left(\right. a \left.\right) ,\) then the function is continuous at a.
The next three examples demonstrate how to apply this definition to determine whether a function is continuous at a given point. These examples illustrate situations in which each of the conditions for continuity in the definition succeed or fail.
Example 2.26
Determining Continuity at a Point, Condition 1
Using the definition, determine whether the function \(f \left(\right. x \left.\right) = \left(\right. x^{2} - 4 \left.\right) / \left(\right. x - 2 \left.\right)\) is continuous at \(x = 2 .\) Justify the conclusion.
Solution
Let’s begin by trying to calculate \(f \left(\right. 2 \left.\right) .\) We can see that \(f \left(\right. 2 \left.\right) = 0 / 0 ,\) which is undefined. Therefore, \(f \left(\right. x \left.\right) = \frac{x^{2} - 4}{x - 2}\) is discontinuous at 2 because \(f \left(\right. 2 \left.\right)\) is undefined. The graph of \(f \left(\right. x \left.\right)\) is shown in Figure 2.35.
Example 2.27
Determining Continuity at a Point, Condition 2
Using the definition, determine whether the function \(\begin{aligned} f \left(\right. x \left.\right) = \left{\right. - x^{2} + 4 & \text{if} x \leq 3 \\ 4 x - 8 & \text{if} x > 3 \end{aligned}\) is continuous at \(x = 3 .\) Justify the conclusion.
Solution
Let’s begin by trying to calculate \(f \left(\right. 3 \left.\right) .\)
Thus, \(f \left(\right. 3 \left.\right)\) is defined. Next, we calculate \(\underset{x \rightarrow 3}{\text{lim}} f \left(\right. x \left.\right) .\) To do this, we must compute \(\underset{x \rightarrow 3^{-}}{\text{lim}} f \left(\right. x \left.\right)\) and \(\underset{x \rightarrow 3^{+}}{\text{lim}} f \left(\right. x \left.\right) :\)
and
Therefore, \(\underset{x \rightarrow 3}{\text{lim}} f \left(\right. x \left.\right)\) does not exist. Thus, \(f \left(\right. x \left.\right)\) is not continuous at 3. The graph of \(f \left(\right. x \left.\right)\) is shown in Figure 2.36.
Example 2.28
Determining Continuity at a Point, Condition 3
Using the definition, determine whether the function \(\begin{aligned} f \left(\right. x \left.\right) = \left{\right. \frac{\text{sin} x}{x} & \text{if} x \neq 0 \\ 1 & \text{if} x = 0 \end{aligned}\) is continuous at \(x = 0 .\)
Solution
First, observe that
Next,
Last, compare \(f \left(\right. 0 \left.\right)\) and \(\underset{x \rightarrow 0}{\text{lim}} f \left(\right. x \left.\right) .\) We see that
Since all three of the conditions in the definition of continuity are satisfied, \(f \left(\right. x \left.\right)\) is continuous at \(x = 0 .\)
Checkpoint 2.21
Using the definition, determine whether the function \(\begin{aligned} f \left(\right. x \left.\right) = \left{\right. 2 x + 1 & \text{if} x < 1 \\ 2 & \text{if} x = 1 \\ - x + 4 & \text{if} x > 1 \end{aligned}\) is continuous at \(x = 1 .\) If the function is not continuous at 1, indicate the condition for continuity at a point that fails to hold.
By applying the definition of continuity and previously established theorems concerning the evaluation of limits, we can state the following theorem.
Theorem 2.8
Continuity of Polynomials and Rational Functions
Polynomials and rational functions are continuous at every point in their domains.
Proof
Previously, we showed that if \(p \left(\right. x \left.\right)\) and \(q \left(\right. x \left.\right)\) are polynomials, \(\underset{x \rightarrow a}{\text{lim}} p \left(\right. x \left.\right) = p \left(\right. a \left.\right)\) for every polynomial \(p \left(\right. x \left.\right)\) and \(\underset{x \rightarrow a}{\text{lim}} \frac{p \left(\right. x \left.\right)}{q \left(\right. x \left.\right)} = \frac{p \left(\right. a \left.\right)}{q \left(\right. a \left.\right)}\) as long as \(q \left(\right. a \left.\right) \neq 0 .\) Therefore, polynomials and rational functions are continuous on their domains.
□
We now apply Continuity of Polynomials and Rational Functions to determine the points at which a given rational function is continuous.
Example 2.29
Continuity of a Rational Function
For what values of x is \(f \left(\right. x \left.\right) = \frac{x + 1}{x - 5}\) continuous?
Solution
The rational function \(f \left(\right. x \left.\right) = \frac{x + 1}{x - 5}\) is continuous for every value of x except \(x = 5 .\)
Checkpoint 2.22
For what values of x is \(f \left(\right. x \left.\right) = 3 x^{4} - 4 x^{2}\) continuous?
This lesson is part of:
Limits