It occurs to me that it might be nice to post solutions to miscellaneous mathematical exercises at least once in a while.

I saw this one on a chalkboard earlier today; evidently the room was serving as the venue for an analysis class. It’s exactly the sort of elementary exercise that usually takes me a day to solve, if I’m lucky. But this time, I’m happy to report, I managed to figure it out in just a few minutes (while ostensibly listening to a lecture on something else).

Problem: Let be such that every real-valued continuous function on is bounded. Prove that is compact.

Solution: By the Heine-Borel Theorem, it suffices to show that is closed and bounded. Since the norm function is continuous, it is bounded on by assumption; but this is the very definition of what it means for to be a bounded set. To prove that is closed, suppose is adherent to but not in . Then, because , the map is a continuous function on . However, as is adherent to , for every there exists a point such that (so that ). Thus is unbounded, contrary to the hypothesis that every continuous function on is bounded.

Easy, right? Well, it’s certainly not hard to hit upon the idea of constructing an unbounded function on a non-compact set. The difficulty is that we have absolutely no information about the set — so how can we possibly write down a suitable function, one that is unbounded specifically on ? This is where the norm comes in — it’s the one explicit function that comes free with your space, and which you can always reach for when you have nothing else. Add in the Heine-Borel Theorem, which relates compactness to the behavior of the norm, together with the idea that largeness is the reciprocal of smallness (e.g. of distance), and you’re pretty much done.

Advertisements

Like this:

LikeLoading...

Related

This entry was posted on Wednesday, February 18th, 2009 at 3:50 pm and is filed under mathematics. You can follow any responses to this entry through the RSS 2.0 feed.
You can leave a response, or trackback from your own site.

6 Responses to Every continuous function bounded implies compact

When I first read the front page of this post, my eyes glossed over the fact that U was in R^n, so I tried to prove it for all spaces in general. At first I thought I hit upon of way of turning an open cover of U into an open cover of f(U), taking a finite subcover of f(U) (since f(U) is bounded, and must be closed, or else f could be composed with a function g:R->R which sends an excluded boundary point of f(U) to infinity, creating an unbounded function), but this method has at least two flaws. Namely, the image of an open set in U need not be open in f(U), and f need not be 1-to-1, so the preimage of f(T) need not equal T, for some open subset T of U. Still, it intuitively feels to me that the statement ought to hold true in general; at least, I haven’t been able to figure out what a counterexample would look like. Any thoughts for attacking the general case?

Perhaps surprisingly, the general case is actually false. For a counterexample, see here.

The property of every continuous real-valued function being bounded is called “pseudocompactness”. Apparently it’s equivalent to countable compactness for normal Hausdorff spaces. (I don’t know off the top of my head how difficult a result this is; it might be worth trying to come up with a proof.)

Yes, these musicians could possibly be better off than you or I,
however the fact of the matter is the fact
that when you steal music from and Psychopathic
Records artist, they start cutting their staff,
many of which are essential to their career’s progression. While most people aren’t familiar using the URL they’re looking for, understanding the title for your movie or TV show that you want to download may bring you to the file immediately. When your personal machine is managing a torrent of data coming across the network connection and writing a great deal of that information for the hard drive, you may expect decreased performance in other operations.

When I first read the front page of this post, my eyes glossed over the fact that U was in R^n, so I tried to prove it for all spaces in general. At first I thought I hit upon of way of turning an open cover of U into an open cover of f(U), taking a finite subcover of f(U) (since f(U) is bounded, and must be closed, or else f could be composed with a function g:R->R which sends an excluded boundary point of f(U) to infinity, creating an unbounded function), but this method has at least two flaws. Namely, the image of an open set in U need not be open in f(U), and f need not be 1-to-1, so the preimage of f(T) need not equal T, for some open subset T of U. Still, it intuitively feels to me that the statement ought to hold true in general; at least, I haven’t been able to figure out what a counterexample would look like. Any thoughts for attacking the general case?

Tortoise,

Perhaps surprisingly, the general case is actually false. For a counterexample, see here.

The property of every continuous real-valued function being bounded is called “pseudocompactness”. Apparently it’s equivalent to countable compactness for normal Hausdorff spaces. (I don’t know off the top of my head how difficult a result this is; it might be worth trying to come up with a proof.)

For proofs of the equivalence in metric spaces, see:

http://www.math.niu.edu/~rusin/known-math/99/cpt_metric

Great posts…thanks a lot.

Corporate Functions Melbourne…Every continuous function bounded implies compact « Mathemusicality…

Yes, these musicians could possibly be better off than you or I,

however the fact of the matter is the fact

that when you steal music from and Psychopathic

Records artist, they start cutting their staff,

many of which are essential to their career’s progression. While most people aren’t familiar using the URL they’re looking for, understanding the title for your movie or TV show that you want to download may bring you to the file immediately. When your personal machine is managing a torrent of data coming across the network connection and writing a great deal of that information for the hard drive, you may expect decreased performance in other operations.