Theorems covering limits and continuity of functions

From Applied Science

Depending on the teacher and on which type of calculus course it is being taught, those theorems may be left unproven because they require a level of abstraction that not everyone is familiar with. There is also a matter of time constrains. It's not always feasible to do the proofs.

The theorems below always assume functions to be continuous, because if they aren't continuous in some interval we are unable to state many properties. There are always two different points [math]\displaystyle{ a }[/math] and [math]\displaystyle{ b }[/math], because if [math]\displaystyle{ a = b }[/math] we don't have an interval and cannot state anything about the function except for checking whether the function is defined there or not. With the graph of functions we can show the theorem in action and make the mathematical reasoning more accessible.

Before progressing to the theorems we can already make some questions: what if the function has a point in which the limit is infinity? Then the function cannot be continuous at that point. Therefore, we can't have a maximum or minimum value there because infinity is not a number. What if the limit doesn't exist? At best we can state that the function is bounded between two extremes, but with the limit being undefined we are unable to conclude anything from a value that we can't know for sure. Can you answer the question of which number is greater than the other if you don't know the numbers in the first place? It's impossible! By assuming the functions to be continuous in a certain interval we are ruling out some cases which would invalidate the theorems otherwise.

Weierstrass' extreme value theorem

What this theorem states is that if we choose two different points in between a closed interval, one of the points is a maximum while the other is a minimum. The interval has to be closed because if we consider an open interval we are accepting values at which the limit may be infinity, which would invalidate the theorem. Remember that infinity is not part of the real numbers. We cannot calculate a function at infinity, but we can calculate the limit at infinity. By having the interval closed we guarantee that the function is defined and has a finite limit.

Suppose we have the function [math]\displaystyle{ f(x) = 1/x }[/math]. If the interval is open and contains the zero, we won't ever divide by zero. However, by being open we can get infinitely close to zero and this means to accept that the function is not bounded because it's going to infinity. If the interval is closed and excludes the zero, maybe it has the number 0.0001 which is finite and [math]\displaystyle{ f(0.0001) }[/math] is finite. Anything in between 0.0001 and 0 is not part of the interval.

Rolle's theorem

What this theorem states is that in between two points of the function with the same height, there is going to be a point where the derivative is zero. Think about this: if the function is strictly crescent or strictly decrescent it's impossible for it to have an horizontal tangent in between two points. The only way for this to happen is to have the function's graph be a loop, which violates the definition of a function. If we have [math]\displaystyle{ f(a) = f(b) }[/math], then either the function is constant in that interval or it must invert its rate of change somewhere in between the two points.

Mean value theorem

What this theorem states is that we have a secant line that passes through two points of the function. In between the two points there must be a tangent line that is parallel to the secant.

Cauchy's mean value theorem