Exercise 24, § 2
General Topology, IX
Bourbaki marks this one as harder than the rest.
a) Let be a complete metric space, and let be a subset of which is the intersection of a countable family of open sets. Show that there exists a metric on with respect to which is a complete metric space, and which defines on the topology induced by that of and also defines a uniformity finer than that induced by the uniformity of [cf. , Exercise 16 b) and c)].
b) Conversely, let be a metrizable space and let be a subset of such that there exists a metric on which is compatible with the topology induced by that of and for which is a complete metric space. Show that is a countable intersection of open sets in . [For each integer , consider the set of points which have an open neighbourhood such that the diameter of (with respect to ) is .]
Solution
No solution has been written yet.