Section 30: Problem 15 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
It is the space of all continuous on
functions with the uniform metric. We need to show that the space is separable (and, therefore, being metric, it is also second-countable). Consider any finite subset of
that includes both end points. There are countably many such sets. Now consider all functions that takes rational values at the points of such a finite set and are linear between the points. They are all continuous functions (use the Pasting Lemma from §18 or the fact that the function is bounded, therefore, the image lies within a compact Hausdorff space and the result from §26 tells us that it is continuous iff its graph is closed) well-defined uniquely by the condition above (all points in a finite set are isolated and for each point not in the set there is the closest point below and another above), and there are countably many of such functions. All we need to show that any continuous function can be approximated by functions from this collection. This is quite easy to show using the results from §27. A continuous function from a compact metric space to a metric space is uniformly continuous. For a given
find
such that if
then
. Take a finite set of points
of
such that the distance between a pair of successive point is less than
. For each point
find a rational number
and construct the dense function
. Note that
. Then for any
we have
.