16 Theory
Highlights of this Chapter: we prove two foundational results about continuous functions whose proofs have several steps in common:
- The Extreme Value Theorem: a continuous function achieves a max and min on any closed interval.
- The Intermediate Value Theorem: a continuous function must take every value between
and on the interval .
We will call the proof style introduced with these theorems “proof by continuity”. Finally, we investigate one further topic - uniform continuity - where this proof strategy also helps, and prove that a continuous function on a closed interval is uniformly continuous.
Here cover some of the important theorems about continuous functions that will prove useful during the development of calculus. Just like we have seen various ‘proof styles’ for sequences (recurrent themes in proofs, like ‘an
- Use whatever information you have to start, to construct a sequence of points.
- Use Bolzano Weierstrass to find a convergent subsequence.
- Apply
to that sequence and use continuity to know the result is also convergent.
This is to vague on its own to be useful, but in reading the proofs of the boundedness theorem, the extreme value theorem, and the intermediate value theorem below, look out for these three recurrent steps.
16.1 Extreme Values
Proposition 16.1 Let
Proof. Assume for the sake of contradiction that
But what is the value
Thus, no such sequence
Building off this result, one can prove that a continuous function actually achieves its upper and lower bounds on any closed interval. This result will play a role several times across the theory of functions and derivatives, so we give it a memorable name: the extreme value theorem (as maxima and minima taken collectively are called extrema).
Theorem 16.1 (The Extreme Value Theorem) Let
Proof. Let
Here we show this holds for the supremum, the infimum is left as an exercise below. Since
We don’t know that the points
Since
Exercise 16.1 Complete the proof of the extreme value theorem by showing that the infimum of a function on a closed interval is also realized as its value at a point.
16.2 Intermediate Values
The intermediate value theorem is the rigorous version of “you can draw the graph of a continuous function without picking up your pencil”.
One note: in the statement below we use the phrase
Theorem 16.2 (The Intermediate Value Theorem) Let
Proof. Without loss of generality we will assume that
This set is nonempty:
First, we show
Next, we show
Putting these together we know that
Historically, the intermediate value theorem was one of the reasons for developing much of analysis: mathematicians knew that whatever the correct formal definition of continuity was, it should certainly imply this! So, our proof of the intermediate value theorem (which embodies the intuitive notion of continuity) may be seen as evidence that we have chosen good definitions of continuity and convergence: they work as we expect!
Remark 16.1. It may seem at first that this is EQUIVALENT to continuity: if a function satisfies the intermediate value property, then its continuous. Try to prove it! Where do you get stuck?
Example 16.1 Consider the following function
Then
16.2.1 Applications of the IVT
The intermediate value theorem has many applications, as it is often the case that we know information about a function at several points, and want to infer information about its value at others. One immediate application is a way of finding roots:
Corollary 16.1 If
This suggests a means of finding the zeros of a function, which narrows in on them exponentially fast! Called “bisection”: find any two points where function changes sign. Divide region in half, evaluate at midpoint. Keep interval with different sign endpoints, repeat.
Second, this lets us understand something about the range of continuous functions:
Corollary 16.2 If
Here we allow the degenerate case
Another application is to prove the existence of certain inverse functions - we will look here at the example of roots. Of course, we already have a rigorous argument for the existence of
Example 16.2 For every
Proof. Let
Exercise 16.2 For any
Theorem 16.3 For every
16.2.2 Fixed Points
Another application of the intermediate value theorem beyond finding roots is to prove various fixed point theorems which guarantee that, under certain conditions on a function
Example 16.3 (A Fixed Point Theorem) Let
Example 16.4 There is a solution to the equation
Exercise 16.3 Prove that every cubic polynomial has a real root. Hint: show its enough to consider monic cubics
16.3 Uniform Continuity
There is one final tool that often proves useful when working with continuous functions, related to the
Thus, just looking at the definition, one may be tempted to also write down a stronger alternative, which says that you can use the same
Definition 16.1 (Uniform Continuity) A function
Sometimes when proving continuity using
Example 16.5
Here’s some scratch work: let
Proof. Let
Intuitively, what this means is that at our function
Example 16.6
Again, lets start with some scratch work. First, notice that we can easily see (via the sequence definition of continuity) that
Looking at
We want to make this less than
This gives us for each
Example 16.7 The function
Both of these functions have problems stemming from a function misbehaving at the boundary of an open interval, as when approaching this endpoint our allowed choices of
Indeed we can! This tells us that on closed intervals, continuous functions are even nicer behaved than we originally knew: they must be uniformly continuous.
Theorem 16.4 If
Proof. Assume for the sake of contradiction that
We can use this to produce a sequence: for
Thus, in fact we have two sequences
We will call the subsequences
Then since
Exercise 16.4 Let
(Note we can’t apply Bolzano Weierstrass individually to
Exercise 16.5 (Uniform Continuity and
Hint: try to simplify and overestimate the quantity