Now that we have explored the concept of continuity at a point, we extend that idea to continuity over an interval. As we develop this idea for different types of intervals, it may be useful to keep in mind the intuitive idea that a function is continuous over an interval if we can use a pencil to trace the function between any two points in the interval without lifting the pencil from the paper. In preparation for defining continuity on an interval, we begin by looking at the definition of what it means for a function to be continuous from the right at a point and continuous from the left at a point.

A function is continuous over an open interval if it is continuous at every point in the interval. A function [latex]f(x)[/latex] is continuous over a closed interval of the form [latex][a,b][/latex] if it is continuous at every point in [latex](a,b)[/latex] and is continuous from the right at [latex]a[/latex] and is continuous from the left at [latex]b[/latex]. Analogously, a function [latex]f(x)[/latex] is continuous over an interval of the form [latex](a,b][/latex] if it is continuous over [latex](a,b)[/latex] and is continuous from the left at [latex]b[/latex]. Continuity over other types of intervals are defined in a similar fashion.

Requiring that [latex]\underset{x\to a^+}{\lim}f(x)=f(a)[/latex] and [latex]\underset{x\to b^-}{\lim}f(x)=f(b)[/latex] ensures that we can trace the graph of the function from the point [latex](a,f(a))[/latex] to the point [latex](b,f(b))[/latex] without lifting the pencil. If, for example, [latex]\underset{x\to a^+}{\lim}f(x)\ne f(a)[/latex], we would need to lift our pencil to jump from [latex]f(a)[/latex] to the graph of the rest of the function over [latex](a,b][/latex].

The Composite Function Theorem allows us to expand our ability to compute limits. In particular, this theorem ultimately allows us to demonstrate that trigonometric functions are continuous over their domains.

Watch the following video to see examples of solving limits of composite functions.

Before we move on to the next example, recall that earlier, in the section on limit laws, we showed [latex]\underset{x\to 0}{\lim} \cos x=1= \cos (0)[/latex]. Consequently, we know that [latex]f(x)= \cos x[/latex] is continuous at 0. In the next example we see how to combine this result with the composite function theorem.

The proof of the next theorem uses the composite function theorem as well as the continuity of [latex]f(x)= \sin x[/latex] and [latex]g(x)= \cos x[/latex] at the point 0 to show that trigonometric functions are continuous over their entire domains.

Proof

We begin by demonstrating that [latex]\cos x[/latex] is continuous at every real number. To do this, we must show that [latex]\underset{x\to a}{\lim}\cos x = \cos a[/latex] for all values of [latex]a[/latex].

[latex]\begin{array}{lllll}\underset{x\to a}{\lim}\cos x & =\underset{x\to a}{\lim}\cos((x-a)+a) & & & \text{rewrite} \, x \, \text{as} \, x-a+a \, \text{and group} \, (x-a) \\ & =\underset{x\to a}{\lim}(\cos(x-a)\cos a - \sin(x-a)\sin a) & & & \text{apply the identity for the cosine of the sum of two angles} \\ & = \cos(\underset{x\to a}{\lim}(x-a)) \cos a - \sin(\underset{x\to a}{\lim}(x-a))\sin a & & & \underset{x\to a}{\lim}(x-a)=0, \, \text{and} \, \sin x \, \text{and} \, \cos x \, \text{are continuous at 0} \\ & = \cos(0)\cos a - \sin(0)\sin a & & & \text{evaluate cos(0) and sin(0) and simplify} \\ & =1 \cdot \cos a - 0 \cdot \sin a = \cos a \end{array}[/latex]

The proof that [latex]\sin x[/latex] is continuous at every real number is analogous. Because the remaining trigonometric functions may be expressed in terms of [latex]\sin x[/latex] and [latex]\cos x,[/latex] their continuity follows from the quotient limit law.

[latex]_\blacksquare[/latex]

As you can see, the composite function theorem is invaluable in demonstrating the continuity of trigonometric functions. As we continue our study of calculus, we revisit this theorem many times.

The Intermediate Value Theorem

Functions that are continuous over intervals of the form [latex][a,b][/latex], where [latex]a[/latex] and [latex]b[/latex] are real numbers, exhibit many useful properties. Throughout our study of calculus, we will encounter many powerful theorems concerning such functions. The first of these theorems is the Intermediate Value Theorem.

The Intermediate Value Theorem

---

Let [latex]f[/latex] be continuous over a closed, bounded interval [latex][a,b][/latex]. If [latex]z[/latex] is any real number between [latex]f(a)[/latex] and [latex]f(b)[/latex], then there is a number [latex]c[/latex] in [latex][a,b][/latex] satisfying [latex]f(c)=z[/latex]. (See Figure 7).

Figure 7. There is a number [latex]c \in [a,b][/latex] that satisfies [latex]f(c)=z[/latex].

Example: Application of the Intermediate Value Theorem

Show that [latex]f(x)=x- \cos x[/latex] has at least one zero.

Show Solution

Since [latex]f(x)=x-\cos x[/latex] is continuous over [latex](−\infty,+\infty)[/latex], it is continuous over any closed interval of the form [latex][a,b][/latex]. If you can find an interval [latex][a,b][/latex] such that [latex]f(a)[/latex] and [latex]f(b)[/latex] have opposite signs, you can use the Intermediate Value Theorem to conclude there must be a real number [latex]c[/latex] in [latex](a,b)[/latex] that satisfies [latex]f(c)=0[/latex]. Note that

[latex]f(0)=0 - \cos (0)=-1<0[/latex]

and

[latex]f(\frac{\pi}{2})=\frac{\pi}{2} - \cos \frac{\pi}{2}=\frac{\pi}{2}>0[/latex]

 

Using the Intermediate Value Theorem, we can see that there must be a real number [latex]c[/latex] in [latex][0,\pi/2][/latex] that satisfies [latex]f(c)=0[/latex]. Therefore, [latex]f(x)=x- \cos x[/latex] has at least one zero.

Watch the following video to see the worked solution to Example: When Can You Apply the Intermediate Value Theorem?.