Exercise 5, § 3
General Topology, X
Let be a completely regular space. a) If every point of the space has a countable fundamental system of neighbourhoods, then there exists an increasing sequence of compact subsets of such that every compact subset of is contained in some ; and is then metrizable for any metrizable space . b) is metrizable and of countable type if and only if all the compact subspaces are metrizable (use Exercise 4). For every metrizable space of countable type, is then metrizable and of countable type.
Solution
No solution has been written yet.