Codex Wiki OurBigBook logoOurBigBook.comSite Source code
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
Solved by gpt-5.6-sol high.

Ancestors (10)

  1. 10D
  2. Paper 1
  3. Ia
  4. 2022
  5. Past exam of the mathematics course of the University of Cambridge
  6. Mathematics course of the University of Cambridge
  7. Course of the University of Cambridge
  8. University of Cambridge
  9. List of universities
  10. Home