Difference between revisions of "Maximum-minimum theorem"
Hashtagmath (talk | contribs) (→See Also) |
|||
(2 intermediate revisions by one other user not shown) | |||
Line 32: | Line 32: | ||
==References== | ==References== | ||
− | R.G. Bartle, D.R. Sherbert, <i>Introduction to Real Analysis</i> | + | R.G. Bartle, D.R. Sherbert, <i>Introduction to Real Analysis</i>, John Wiley & Sons |
==See Also== | ==See Also== | ||
<UL> | <UL> | ||
− | <LI>Calculus</LI> | + | <LI>[[Calculus]]</LI> |
− | <LI>Bolzano's theorem</LI> | + | <LI>[[Bolzano's theorem]]</LI> |
+ | <LI>[[Closed set]]</LI> | ||
+ | <LI>[[Topology]]</LI> | ||
</UL> | </UL> | ||
+ | |||
+ | [[Category:Theorems]] |
Latest revision as of 11:14, 30 May 2019
The Maximum-minimum theorem is a result about continous functions that deals with a property of intervals rather than that of the function itself.
Contents
Statement
Let
Let be continous on
Then, has an absolute maximum and an absolute minimum on
Proof
We will first show that is bounded on ...(1)
Assume if possible such that
As is bounded, is bounded.
By the Bolzano-Weierstrass theorem, there exists a sunsequence of which converges to .
As is closed, . Hence, is continous at , and by the sequential criterion for limits is convergent, contradicting the assumption.
Similarly we can show that is bounded below
Now, Let
By the Gap lemma, , such that
As is bounded, by Bolzano-Weierstrass theorem, has a subsequence that converges to
As is continous at ,
i.e.
References
R.G. Bartle, D.R. Sherbert, Introduction to Real Analysis, John Wiley & Sons