Let be continuous. If it were unbounded, one could choose with . The Bolzano-Weierstrass theorem gives a subsequence , but continuity would then give , contradicting unboundedness.
Now let . Choose with . A convergent subsequence and continuity give at its limit. Applying the same argument to shows that the infimum is attained. This proves the extreme value theorem on a closed bounded interval.
The function
is continuous and bounded, but attains neither its infimum nor its supremum . For the second example, enumerate the rationals in as and set
Every nondegenerate interval contains infinitely many rational numbers, hence some with arbitrarily large ; therefore is unbounded on every such interval.
For the running extrema, compactness lets us write
The function is uniformly continuous on . Given , choose such that whenever . If and , every new value with is at most . Since ,
Interchanging handles the other order. Applying this argument to proves continuity of as well.
Finally fix and put . For each positive integer , there must be some with . Otherwise, for some the continuous function would satisfy on the interval . By the intermediate value theorem, would have a constant sign there. The values
would then increase or decrease by at least at every step, contradicting boundedness of . Thus and

Articles by others on the same topic (0)

There are currently no matching articles.