Mean value theorem

  • Thread starter eddo
  • Start date
  • #1
48
0
Prove: If f : U → R is continuous on U, and E ⊂ U is closed and bounded, then
f attains an absolute minimum and maximum on E.

I have no idea even where to start on this. Intuitively it's so obvious that i don't know what to do. The definitions given by the teachers that I have to work with are as follows:

A set F ⊆ Rn is closed if, for every convergent sequence {xi}(from i=1 to infinity) ⊆ F,
we have limxn(as n goes to infinity)⊆F
(in other words it contains its limit points)

A bounded set is one for which there exists r such that the set is contained in Nr(0).
(in other words some ball around the origin of any size contains the set.)

F continuous on u means for all c in F, lim(as x approaches c) exists and equals F(c).

A compact set is one which is closed and bounded, so E in this proof is compact.

I know that what needs to be shown is that there exists xm and xM such that:
f(xm)<=f(x)<=f(xM) for all x in E.

any advice? hints? etc.. on how to start this? I suspect that the mean value theorem might have something to do with it, but I'm not sure how to incorporate it. Thanks for any help.
 

Answers and Replies

  • #2
Galileo
Science Advisor
Homework Helper
1,989
6
Hint: Consider the supremum of f(E).
 
  • #3
matt grime
Science Advisor
Homework Helper
9,395
3
Depending on your familiarity with these ideas:

Let K be the image of E, under F. Let C be a covering of K by open sets. Consider the inverse image of the sets in C by f. What do you know about compact sets? Can you use this here, what about mapping back to K? Is K thus compact?
 
Last edited:
  • #4
48
0
Unfortunately im not familiar with most of these terms. What's the supremum? What does a covering of K by open sets mean? I'm pretty sure I get the image part. Does the image of E under F simply mean the range of F if the domain were restriced to E?
 
  • #5
1,569
2
eddo said:
Unfortunately im not familiar with most of these terms. What's the supremum? What does a covering of K by open sets mean? I'm pretty sure I get the image part. Does the image of E under F simply mean the range of F if the domain were restriced to E?
An upper bound for a set F (subset of R) is a real number M such that for all x in F, x <= M.

Example: Let F=(-oo,3]. Then 666 is an upper bound for F, as are 3 and 5 and any number not less than 3.

The supremum of a set F (subset of R) is the least upper bound of F.

Example: Let F=(-oo,3]. Then 3 is the supremum of F. 3 is also the supremum of (-oo,3).

A set G is open if for all x in G, there is an interval (x-d, x+d) fully contained in G. In other words, a d>0 such that (x-d,x+d) is a subset of G.

A covering of K by open sets means a family of sets, W, such that each member of W is open and K is a subset of the union of all sets in W. (The union of all sets in W is the set of all points in some element of W.)

For example, Let W={(-oo,n):n &isin; Z}. W is an open covering of the set K=[36,666].

The image of E under f, denoted f(E), is the set of elements in the range mapped to by some element of E. So y is in f(E) iff f(x)=y for some x in E.
 
  • #6
matt grime
Science Advisor
Homework Helper
9,395
3
If you're not familiar with those things (and it would take too long to learn for the difficulty of the question, and you'll learn them later anyway) then it can be done from more "basic" analysis, ie the epsilon delta arguments.

There are several variations though (do you know about cauchy sequences?) here's some of the ways to do it. Warning it is a solution, but it goes quite slowly so you can read bits of it and see if you can predict the rest. It starts with two proofs that use compactness and then gives one that doesn't presume you know about it

http://www.dpmms.cam.ac.uk/~wtg10/bounded.html
 
  • #7
48
0
Thank you all, I'll give it another try. I'm pretty sure it's the epsilon delta type proof he's looking for. If I'm still stuck before it's due I'll take a look at the link.
 

Related Threads on Mean value theorem

  • Last Post
Replies
4
Views
1K
  • Last Post
Replies
8
Views
2K
  • Last Post
Replies
3
Views
2K
Replies
4
Views
7K
  • Last Post
Replies
11
Views
4K
  • Last Post
Replies
2
Views
2K
  • Last Post
Replies
4
Views
2K
  • Last Post
Replies
2
Views
1K
  • Last Post
Replies
2
Views
7K
  • Last Post
Replies
5
Views
5K
Top