Proof of the Extreme Value Theorem

jgens
Gold Member
Messages
1,575
Reaction score
50

Homework Statement



Essentially, prove the Extreme Value Theorem.

Homework Equations



n/a

The Attempt at a Solution



Proof: Let a function f(x) be continuous on the closed interval [a,b]. Moreover, define a set A such that A={x ϵ [a,b]}. Since f(x) satisfies the condition for the Boundedness Theorem, sup{f(A)}= M. If f(x) does not attain its supremum in [a,b] then it must asymptotically converge to some valve infinitesimally near M in the interval [a,b]. We may define this value such that f(c_n ) > M-1/n, where as n→∞, f(c_n )→f(c). We are then left with the resultant inequality: M-1/n < f(c_n ) <M, and by the Squeeze Theorem, lim(x→c)f(x) = M. Therefore, under the initial premise of continuity, f(x) attains its supremum M at some value x=c within the closed interval [a,b].

Given that f(x) satisfies the Boundedness Theorem, we may also claim inf{f(A)} = m. If f(x) does not attain its infimum in [a,b] then it must asymptotically converge to some value infinitesimally near m in the interval [a,b]. We may define this value such that f(d_n) < m+1/n where as n→∞, f(d_n )→f(d). We are then left with the resultant inequality: m+1/n > f(d_n ) > m, and by the Squeeze Theorem, lim(x→d)f(x) = m. Therefore, under the initial premise of continuity, f(x) attains its infimum m at some value x=d within the closed interval [a,b].

Therefore, f(d)≤f(x)≤f(c) for all x ϵ [a,b]. Q.E.D.

Any suggestions would be appreciated since I'm fairly certain the above proof is incorrect - I'm not certain how I would fix any errors though.

Thanks.
 
Physics news on Phys.org
Your proof looks pretty good to me. Essentially, because f is continuous on the closed and bounded interval [a,b], f([a,b]) is also bounded and so has sup and inf (the "boundedness" theorem). f([a,b]) is also closed, which is what you show with your limit argument.
 
There are two things I don't understand about this problem. First, when finding the nth root of a number, there should in theory be n solutions. However, the formula produces n+1 roots. Here is how. The first root is simply ##\left(r\right)^{\left(\frac{1}{n}\right)}##. Then you multiply this first root by n additional expressions given by the formula, as you go through k=0,1,...n-1. So you end up with n+1 roots, which cannot be correct. Let me illustrate what I mean. For this...
Back
Top