Section 29: Problem 3 Solution
Working problems is a crucial part of learning mathematics. No one can learn topology merely by poring over the definitions, theorems, and examples that are worked out in the text. One must work part of it out for oneself. To provide that opportunity is the purpose of the exercises.
James R. Munkres
What we need from the map is that it preserves both compactness and openness. The continuity guarantees that if
is contained in a compact subspace then its image is contained in a compact subspace as well. The openness of the map guarantees that a neighborhood of
within the compact subspace maps into a neighborhood of the image within the compact subspace containing it. If a continuous function is not open, in general, we cannot guarantee the second property. To find a counterexample we need to consider some space which is locally compact but not compact (otherwise the continuity will be enough). Moreover, it must be mapped onto a space that is not locally compact. By now I know three types of spaces which are not locally compact:
(infinite products),
(infinite totally disconnected) and
(strictly finer than a compact Hausdorff topology). I think the second one should work. So we should take a locally compact but not compact space, for example, a locally compact unbounded subset of
and construct a continuous function that would map it onto
. Let
and
. Let
. Then
is a continuous (the preimage of any set is the union of open intervals) non-open (the image of a bounded open interval is not open in the range) map defined on a locally compact set
whose image is exactly
which is not locally compact. Cool!