Proof of the Extreme Value Theorem

Click For Summary
SUMMARY

The discussion centers on the proof of the Extreme Value Theorem, which states that a continuous function f(x) on a closed interval [a,b] attains both its supremum and infimum. The proof utilizes the Boundedness Theorem to establish that if f(x) does not attain its supremum M or infimum m, it must asymptotically approach these values. By applying the Squeeze Theorem, the proof confirms that f(x) reaches its maximum at some point c and minimum at some point d within the interval [a,b]. The conclusion is that f(d) ≤ f(x) ≤ f(c) for all x in [a,b].

PREREQUISITES
  • Understanding of the Extreme Value Theorem
  • Familiarity with the Boundedness Theorem
  • Knowledge of the Squeeze Theorem
  • Concept of continuity in real analysis
NEXT STEPS
  • Study the implications of the Extreme Value Theorem in optimization problems
  • Explore the Boundedness Theorem in greater detail
  • Learn about the applications of the Squeeze Theorem in calculus
  • Examine continuity and its role in real-valued functions
USEFUL FOR

Mathematics students, educators, and anyone interested in real analysis or the foundations of calculus will benefit from this discussion.

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.
 

Similar threads

Replies
3
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 12 ·
Replies
12
Views
2K
Replies
3
Views
2K
  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 12 ·
Replies
12
Views
2K
  • · Replies 26 ·
Replies
26
Views
3K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 14 ·
Replies
14
Views
3K
Replies
2
Views
2K