« Section 29: Problem 2 Solution

Section 29: Problem 4 Solution »

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!