In many cases, you can compute by plugging a in for x:
This situation arises often enough that it has a name.
Definition. A function is continuous at a if
This definition really comprises three things, each of which you need to check to show that f is continuous at a:
What does this mean geometrically? Here are the three criteria above in pictorial language:
The first criterion means that there can't be a hole or gap in the graph. This also rules out vertical asymptotes. Here are some pictures of these kinds of discontinuities:
The second criterion means that the graph can't "jump" at a. This is a jump discontinuity:
A jump discontinuity occurs when the left and right-hand limits aren't equal.
The third criterion means that the graph is "filled in" at as you'd expect. You don't get close to a expecting one value and then find that is something different, as you do below:
This is called a removable discontinuity because you could make the function continuous by filling in the hole. In terms of limits, it means that exists, but .
Here are some classes of continuous functions:
Example. is continuous for all x, since it's a polynomial.
is continuous for all x except odd multiples of . ( is undefined at odd multiples of .)
is continuous for . ( is undefined for .)
Example. What kind of discontinuity does have at ?
the limit is defined. However, is undefined. Therefore, there is a removable discontinuity at . I could make the function continuous at by defining .
Example. What kind of discontinuity does
have at ?
the left and right-hand limits aren't equal. Therefore, there is a jump discontinuity at .
You can use operations on functions to create new continuous functions.
Example. Since and are continuous for all x, their sum and their product are continuous for all x.
The quotient is continuous for all x except (where the quotient is undefined).
Composition is an important method for constructing continuous functions. For example, is continuous for all x. The polynomial is also continuous for all x. Hence, the composite
is continuous for all x.
Where is f continuous?
The function is continuous except possibly at the "break points" between the three pieces. I must check the points and separately.
Since the left- and right-hand limits do not agree,
Hence, f is not continuous at .
The left- and right-hand limits agree, so
Now , so
Therefore, f is continuous at .
Conclusion: f is continuous for all x except .
Where is f continuous?
f is a quotient of two polynomials, so it is continuous at all points except those which make the bottom equal to 0.
Hence, f is continuous for all x except and .
However, the discontinuity at is a removable discontinuity:
is undefined, but if I defined , then the new f would be continuous at .
On the other hand, the discontinuity at is a vertical asymptote; no matter how I define , the function will still be discontinuous at .
Continuous functions possess the intermediate value property. Roughly put, it says that a if continuous function goes from one value to another, it doesn't skip any values in between. This corresponds to the geometric intuition that the graph of a continuous function doesn't have any gaps, jumps, or holes. Here is the precise statement.
Theorem. Let be a continuous function on the interval . If m is a number between and , then
The theorem is illustrated in the picture below:
Try it for yourself: Pick any height m between and . Move horizontally from your chosen height to the graph, then downward from the graph till you hit the x-axis. The place where you hit the x-axis is c. You'll always be able to do this if f is continuous. The intuitive idea is that, being continuous, f can't skip any values in going from to .
A proof of the Intermediate Value Theorem uses some deep properties of the real numbers, and is beyond the scope of this discussion. As you saw above, the result is geometrically obvious.
Here's a subtle point:
You can know something exists without being able to find it.
If I take your car keys and throw them into a nearby corn field, you know that your keys are in the field --- but finding them is a different story!
The Intermediate Value Theorem says there is a number c such that . It doesn't tell you how to find it, though you can usually approximate c as closely as you want.
And by the way --- there may be more than one number c which works.
Example. Suppose f is a continuous function, , and . Prove that for some number x between 4 and 7, .
Since and are continuous, is continuous. Plug in 4 and 7:
42 is between 27 and 51, so I can apply the Intermediate Value Theorem to . It says that there is a number x between 4 and 7 such that .
Example. Approximate a solution to the equation
Here's the graph:
It looks as though there's a root between -0.5 and 0.
A clever person might say at this point: "Why not just look up the general formula for solving a 5-th degree equation?" After all, there's the general quadratic formula for quadratics ... and there's a general cubic formula and a general quartic formula, though you'd probably have to look them up in a book of tables.
Unfortunately, you'll never find a general quintic formula in any book of tables. Nils Henrik Abel showed almost 150 years ago that there's no general quintic, and Evariste Galois showed a little later that you won't have any luck with higher degree equations, either.
You can still approximate the root, and the Intermediate Value Theorem guarantees that there is one.
and f (being a polynomial) is surely continuous. In this situation, the IVT says that f can't go from negative to positive without passing through 0 somewhere in between.
I'll approximate the root by bisection. At each step, I'll know the root is caught between two numbers. I'll plug the midpoint into f. The root is now on one side or the other, and I just keep going.
This is exactly what common sense would lead you to do.
Here's the computation:
At this point, the root c is caught between -0.125 (the last x which made f positive) and -0.15625 (the last x which made f negative). These two numbers are 0.03125 apart. Hence, the midpoint is within of the actual root. The estimate is therefore good to within 1 or 2 one-hundredths.
Bruce Ikenaga's Home Page
Copyright 2005 by Bruce Ikenaga