Section 34: Problem 7 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
Let
. Let
be an open set containing
such that it is metrizable in the subspace topology. Then
is locally compact (Corollary 29.3) and Hausdorff. Let
be a neighborhood of
in
such that
is compact. Then
is a compact Hausdorff metrizable subspace containing
. Using Exercise 3, we conclude that the subspace topology of
is generated by a countable basis.
is open in
and second-countable as well (in the subspace topology). Now cover
with such neighborhoods for all points and find a finite subcovering
. Consider the finite union
of all countable subspace bases. Suppose
. Then there is
containing
.
is a neighborhood of
in
, and it contains a basis sub-neighborhood that is open in
and belongs to
. So,
is second-countable, therefore, according to Exercise 3, it is metrizable.