Read · 2 min
Suppose you're drawing back and forth on a number line (a one-dimensional figure), without ever lifting your pencil. Let's say you start at time (your pencil first touches the line at time ) and finish at time (your pencil leaves the line at time ).
After time , you look at your beautiful picture. Then the boundedness theorem, intermediate value theorem, and extreme value theorem together state the profound fact that...
... YOU DREW A LINE SEGMENT!
But actually! More formally, let's suppose someone kept track of your pencil the whole time, so your pencil was at position (on the number line) at time .
Then because you never lifted your pencil, is a continuous function. Also, since you started at and finished at , is defined for in the closed interval .
Then your picture is simply the set of points , for . Two other ways of writing this are , or more compactly, .
Now
(1) The boundedness theorem says your picture is bounded---your picture doesn't go "off to infinity".
More formally, there exist real numbers such that for all .
It's important that is a closed interval, because otherwise this picture intuition doesn't apply (even if is continuous)---you must have started and ended somewhere! (The boundedness theorem is false for open or half-open intervals, as you'll see in the link---but the reason our real-world intuition doesn't work is because you never "could've" drawn any of the counterexamples, even if the universe were infinite, etc. It all boils down to the need for a starting and ending point.)
(2) The intermediate value theorem says your picture has no gaps: if you drew at time and at time , then you drew everything on the number line between and . In other words, given (1), the intermediate value theorem more or less says that you drew a finite "continuous" interval.
It's important that is continuous, or in other words that you never lifted your pencil. Otherwise it's easy to come up with counterexamples to the intermediate value theorem, as you can see in the link.
(3) The extreme value theorem says your picture has a rightmost point and a leftmost point. In other words, together with (1) and (2), the extreme value theorem says that you drew a closed interval: a LINE SEGMENT, as claimed earlier!
More formally, reaches a maximum and minimum on the interval .
It's important that is a closed interval, because otherwise this picture intuition doesn't apply (even if is continuous and bounded)---you must have started and ended somewhere! (As a silly example, suppose we're considering the function on , so 's not defined at . Well, if we plot on the number line, then it doesn't have a leftmost point---we're missing . But just as in (1), you never could've drawn this in the first place---if you were able to draw at times , then you'd have to have drawn at time anyway!)
