« Section 34: Problem 6 Solution

Section 34: Problem 8 Solution »

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.