Exercise 19, § 2
General Topology, IX
Bourbaki marks this one as harder than the rest.
In a metric space every relatively compact set is bounded. If is a topological space, show that the following conditions on are equivalent: there exists a metric on , compatible with its topology, such that every bounded subset of (with respect to this metric) is relatively compact; is locally compact and has a countable base. [To show that ), show that if every bounded set is relatively compact, then is locally compact and -compact. To show that ), note that is metrizable by the corollary to Proposition 12; if is a metric on compatible with the topology of , and if is the function defined in § 1, Exercise 15 d), take the uniformity on defined by the two pseudometrics and .]
Solution
No solution has been written yet.