## Every continuous function bounded implies compact

February 18, 2009

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 $U \subset \mathbf{R}^n$ be such that every real-valued continuous function on ${}U$ is bounded. Prove that $U$ is compact.

You might think this is nothing but picturesque language — like calling a certain group “the Monster” — except that there are plenty of mathematicians who actually seem to think the way the labels suggest they do. The ex-Banach-spacer I mentioned above is only one example; spend some time among mathematicians and you will find many more. Indeed, such aversion to the unexpected has a distinguished historical pedigree, I am sorry to say. Who can forget the dismay with which Weierstrass‘s construction of a nondifferentiable continuous function was greeted? And even now there are still some people who are pissed off about Cantor’s discoveries, and who would sooner overthrow the standard axioms of mathematics than confront the “paradoxes” of the infinite. Even Hilbert, who had the good sense to regard infinitary mathematics as paradisal rather than paradoxical, nevertheless reacted with anger (!) to Gödel’s results on the limits of formalization, according to Constance Reid. One is reminded of the discoverer of the irrationality of $\sqrt{2}$, who, you will recall, was allegedly thrown overboard by his Pythagorean comrades.