About this time of year, you find someone, hopefully one of your students, asking, “If I’m finding where a function is increasing, is the interval open or closed?”

Do you have an answer?

This is a good time to teach some things about definitions and theorems.

The place to start is to ask what it means for a function to be increasing. Here is the definition:

A function is increasing on an interval if, and only if, for all (any, every) pairs of numbers

x_{1}<x_{2}in the interval,f(x_{1}) <f(x_{2}).”

(For decreasing on an interval, the second inequality changes to *f*(*x*_{1}) > *f*(*x*_{2}). All of what follows applies to decreasing with obvious changes in the wording.)

- Notice that functions increase or decrease on intervals, not at individual points. We will come back to this in a minute.
- Numerically, this means that for every possible pair of points, the one with the larger
*x*-value always produces a larger function value. - Graphically, this means that as you move to the right along the graph, the graph is going up.
- Analytically, this means that we can prove the inequality in the definition.

For an example of this last point consider the function *f*(*x*) = *x*^{2}. Let *x*_{2 }= *x*_{1} + *h* where *h* > 0. Then in order for *f*(*x*_{1}) < *f*(*x*_{2}) it must be true that

This can only be true if Thus, *x*^{2} is increasing only if

Now, of course, we rarely, if ever, go to all that trouble. And it is even more trouble for a function that increases on several intervals. The usual way of finding where a function is increasing is to look at its derivative.

Notice that the expression looks a lot like the numerator of the original limit definition of the derivative of *x*^{2} at *x* = *x*_{1}, namely . If *h* > 0, where the function is increasing the numerator is positive and the derivative is positive also. Turning this around we have a theorem that says, If for all *x* in an interval, then the function is increasing on the interval. That makes it much easier to find where a function is increasing, we simplify find where its derivative is positive.

There is only a slight problem in that the theorem does not say what happens if the derivative is zero somewhere on the interval. If that is the case, we must go back to the definition of increasing on an interval or use a different method. For example, the function *x*^{3} is increasing everywhere, even though its derivative at the origin is zero.

Let’s consider another example. The function sin(*x*) is increasing on the interval (among others) and decreasing on . It bothers some that is in both intervals and that the derivative of the function is zero at *x* = . This is not a problem. Sin() is larger than all the other values is both intervals, so by the definition, and not the theorem, the intervals are correct.

It is generally true that if a function is continuous on the closed interval [*a*,*b*] and increasing on the open interval (*a*,*b*) then it must be increasing on the closed interval [*a*,*b*] as well.

Returning to the first point above: functions increase or decrease on intervals not at points. You do find questions in books and on tests that ask, “Is the function increasing at *x* = *a*.” The best answer is to humor them and answer depending on the value of the derivative at that point. Since the derivative is a limit as *h* approaches zero, the function must be defined on some interval around *x* = *a* in which *h* is approaching zero. So, answer according to the value of the derivative on that interval.

You can find more on this here.

Case Closed.

Slightly revised from a posted published on November 2, 2012.

Thanks, Lin. The formatting on this blog isn’t allowing me to see the mathematical expressions and inequalities you have typed here. Is there a preferred browser or is there a pdf document that you could share?

LikeLike

Pamela

Sorry for the inconvenience. This is a problem at WordPress, not your browser. I am away from home and only have an iPad with me so I cannot fix it now. I will fix the problem over the weekend when I get home.

LikeLike