Extreme value theorem explained

f is continuous on the closed and bounded interval [a,b] , then f must attain a maximum and a minimum, each at least once. That is, there exist numbers c and d in [a,b] such that:$$f(c)\; \backslash leq\; f(x)\; \backslash leq\; f(d)\backslash quad\; \backslash forall\; x\backslash in\; [a,b].$$

The extreme value theorem is more specific than the related boundedness theorem, which states merely that a continuous function

f on the closed interval [a,b] is bounded on that interval; that is, there exist real numbers m and M such that:$$m\; \backslash le\; f(x)\; \backslash le\; M\backslash quad\; \backslash forall\; x\; \backslash in\; [a,\; b].$$ This does not say that M and m are necessarily the maximum and minimum values of f on the interval [a,b], which is what the extreme value theorem stipulates must also be the case.

The extreme value theorem is used to prove Rolle's theorem. In a formulation due to Karl Weierstrass, this theorem states that a continuous function from a non-empty compact space to a subset of the real numbers attains a maximum and a minimum.

History

The extreme value theorem was originally proven by Bernard Bolzano in the 1830s in a work Function Theory but the work remained unpublished until 1930. Bolzano's proof consisted of showing that a continuous function on a closed interval was bounded, and then showing that the function attained a maximum and a minimum value. Both proofs involved what is known today as the Bolzano - Weierstrass theorem.^[1]

Functions to which the theorem does not apply

The following examples show why the function domain must be closed and bounded in order for the theorem to apply. Each fails to attain a maximum on the given interval.

f(x) = x defined over [ 0 , inf ty) is not bounded from above.f(x) = (x)/(1+ x) defined over [ 0 , inf ty) is bounded but does not attain its least upper bound 1 .f(x) = (1)/(x) defined over ( 0 , 1 ] is not bounded from above.f(x) = 1- x defined over ( 0 , 1 ] is bounded but never attains its least upper bound 1 .

Defining

f( 0 ) =0 in the last two examples shows that both theorems require continuity on [a,b] .

Generalization to metric and topological spaces

When moving from the real line

R to metric spaces and general topological spaces, the appropriate generalization of a closed bounded interval is a compact set. A set K is said to be compact if it has the following property: from every collection of open sets U _{\alpha} such that $\backslash bigcup\; U\_\backslash alpha\; \backslash supset\; K$, a finite subcollection U _{\alpha _{1}} ,\ldots,U _{\alpha _{n}} can be chosen such that $\backslash bigcup\_^n\; U\_\; \backslash supset\; K$. This is usually stated in short as "every open cover of K has a finite subcover". The Heine–Borel theorem asserts that a subset of the real line is compact if and only if it is both closed and bounded. Correspondingly, a metric space has the Heine–Borel property if every closed and bounded set is also compact.

The concept of a continuous function can likewise be generalized. Given topological spaces

V, W , a function f:V\to W is said to be continuous if for every open set U\subset W , f ^{-1} (U)\subset V is also open. Given these definitions, continuous functions can be shown to preserve compactness:^[2]

In particular, if

W = R , then this theorem implies that f(K) is closed and bounded for any compact set K , which in turn implies that f attains its supremum and infimum on any (nonempty) compact set K . Thus, we have the following generalization of the extreme value theorem:

Slightly more generally, this is also true for an upper semicontinuous function. (see compact space#Functions and compact spaces).

Proving the theorems

We look at the proof for the upper bound and the maximum of

f . By applying these results to the function - f , the existence of the lower bound and the result for the minimum of f follows. Also note that everything in the proof is done within the context of the real numbers.

We first prove the boundedness theorem, which is a step in the proof of the extreme value theorem. The basic steps involved in the proof of the extreme value theorem are:

1. Prove the boundedness theorem.
2. Find a sequence so that its image converges to the supremum of

f .

1. Show that there exists a subsequence that converges to a point in the domain.
2. Use continuity to show that the image of the subsequence converges to the supremum.

Proof from first principles

Statement      If

f(x) is continuous on [a,b] then it attains its supremum on [a,b]

Extension to semi-continuous functions

If the continuity of the function f is weakened to semi-continuity,then the corresponding half of the boundedness theorem and the extreme value theorem hold and the values –∞ or +∞, respectively, from the extended real number line can be allowed as possible values.

A function

f : [a, b] \to [ -inf ty, inf ty) is said to be upper semi-continuous if $$\backslash limsup\_\; f(y)\; \backslash le\; f(x)\; \backslash quad\; \backslash forall\; x\; \backslash in\; [a,\; b].$$

Applying this result to -f proves a similar result for the infimums of lower semicontinuous functions. A function

f : [a, b] \to [ -inf ty, inf ty) is said to be lower semi-continuous if $$\backslash liminf\_\; f(y)\; \backslash geq\; f(x)\backslash quad\; \backslash forall\; x\; \backslash in\; [a,\; b].$$

A real-valued function is upper as well as lower semi-continuous, if and only if it is continuous in the usual sense. Hence these two theorems imply the boundedness theorem and the extreme value theorem.

Further reading

• Book: Adams, Robert A. . Calculus : A Complete Course . Reading . Addison-Wesley . 1995 . 0-201-82823-5 . 706–707 .
• Book: Protter, M. H. . Murray H. Protter . C. B. . Morrey . Charles B. Morrey Jr. . A First Course in Real Analysis . New York . Springer . 1977 . 0-387-90215-5 . 71–73 . The Boundedness and Extreme–Value Theorems . https://books.google.com/books?id=NgX3BwAAQBAJ&pg=PA71 .

External links

• A Proof for extreme value theorem at cut-the-knot
• Extreme Value Theorem by Jacqueline Wandzura with additional contributions by Stephen Wandzura, the Wolfram Demonstrations Project.
  • Mizar system proof: http://mizar.org/version/current/html/weierstr.html#T15

Notes and References

1. Paul . Rusnock . Angus . Kerr-Lawson . Bolzano and Uniform Continuity . Historia Mathematica . 32 . 3 . 2005 . 303–311 . 10.1016/j.hm.2004.11.003 .
2. Book: Rudin, Walter. Principles of Mathematical Analysis. McGraw Hill. 1976. 0-07-054235-X. New York. 89–90.