PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: High Entry average rating: No information on entry rating
[parent] proof of least and greatest value of function (Proof)

$f$ is continuous, so it will transform compact sets into compact sets. Thus since $[a,b]$ is compact, $f([a,b])$ is also compact. $f$ will thus attain on the interval $[a,b]$ a maximum and a minimum value because real compact sets are closed and bounded.

Consider the maximum and later use the same argument for $-f$ to consider the minimum.

By a known theorem if the maximum is attained in the interior of the domain, $c \in ]a,b[$ then $f(c) {is a maximum} \implies f'(c)=0$ , since $f$ is differentiable.

If the maximum isn't attained in $]a,b[$ and since it must be attained in $[a,b]$ either $f(a)$ or $f(b)$ is a maximum.

For the minimum consider $-f$ and note that $-f$ will verify all conditions of the theorem and that a maximum of $-f$ corresponds to a minimum of $f$ and that $-f'(c)=0 \iff f'(c)=0$ .




"proof of least and greatest value of function" is owned by cvalente.
(view preamble | get metadata)

View style:

See Also: Fermat's theorem (stationary points), Heine-Borel theorem, compactness is preserved under a continuous map


This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: theorem, differentiable, domain, interior, argument, bounded, closed, real, interval, compact, compact sets, Transform, continuous

This is version 2 of proof of least and greatest value of function, born on 2006-04-24, modified 2006-04-24.
Object id is 7865, canonical name is ProofOfLeastAndReatestValueOfFunction.
Accessed 1583 times total.

Classification:
AMS MSC26B12 (Real functions :: Functions of several variables :: Calculus of vector functions)

Pending Errata and Addenda
None.
[ View all 1 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add example | add (any)