4X
What Is Continuity?
I’m sure that in your first pre-calculus class, you learned about the continuity of functions. If asked to define what this meant, most people would say, “A function is continuous if the graph of said function can be drawn without lifting the pencil or having any jumps.” Up until the late seventeenth century, this definition was more than sufficient. The Intermediate Value Property is one way to more precisely define continuity.
Definition 5.27: (Intermediate Value Property) Let f be defined on an interval I. Suppose that for each a, b ∈ I with f(a) 6= f(b), and for each d between f(a) and f(b), there exists c between a and b for which f(c) = d. We then say that f has the intermediate value property (IVP) on I. (Thompson et al. 305)
Example 5.28: Let F(x) = sin x−1 if x =/ 0
0 if x = 0.
The graph of F is shown below. You may wish to verify that F has the IVP. In particular, F
assumes every value in the interval [−1, 1] infinitely often in every neighborhood of x = 0. ◭
We haven’t yet made precise the phrase “the graph has no jumps,” but the IVP seems to convey that
idea well enough. Since this property is so easy to describe and appears to have content that is easy to
visualize, why not take it as the definition of continuity?
Before attempting to answer that question, let us offer a competing phrase to capture the idea of
continuity: “If x is near x0, then f(x) is near f(x0).” As stated, this phrase is not precise, but we can
make it precise using the limit concept. This phrase could be interpreted really as asserting that
f(x0) = lim f(x).
x→x0
According to this criterion our function F of Example 5.28 would not be continuous at x0 = 0, because
F(0) = 0, but limx→0 F(x) does not exist.
We shall see presently that the definition based on limits allows the development of a useful theory.
We’ll see that the class of continuous functions [as defined using equation (2)] is closed under addition
and multiplication, and that such functions have many other desirable properties. For example, the class
is closed under certain kinds of limits of sequences, and every continuous function on [a, b] is integratible.
On the other hand (as is shown in the exercises), none of the analogous statements is valid for the class of functions defined by IVP. Thus a theory of continuity based on the limit concept allows a rich structure and enjoys wide applicability, whereas one based on the IVP is rather limited. In addition, the fundamental notion of limit extends to much more general settings than R. In contrast, extensions of IVP, while possible, are peripheral to mathematical analysis. (Thompson et al. 306-307)
Continuity goes beyond just a overall generalization of the behavior of a function. It is also important that the points on a graph themselves are continuous.
Definition 5.29: (Continuous) Let f be defined in a neighborhood of x0. The function f is continuous at x0 provided limx→x0 f(x) = f(x0). (Thompson et al. 309)
This means that th