Bourbaki

Exercise 24, § 2

General Topology, IX

Bourbaki marks this one as harder than the rest.

a) Let XX be a complete metric space, and let AA be a subset of XX which is the intersection of a countable family of open sets. Show that there exists a metric on AA with respect to which AA is a complete metric space, and which defines on AA the topology induced by that of XX and also defines a uniformity finer than that induced by the uniformity of XX [cf. §1§ 1, Exercise 16 b) and c)].

b) Conversely, let XX be a metrizable space and let AA be a subset of XX such that there exists a metric dd on AA which is compatible with the topology induced by that of XX and for which AA is a complete metric space. Show that AA is a countable intersection of open sets in XX. [For each integer n>0n > 0, consider the set GnG_n of points x∈A‾x \in \overline{A} which have an open neighbourhood UU such that the diameter of A∩UA \cap U (with respect to dd) is ⩽1/n\leqslant 1/n.]

Solution

No solution has been written yet.

Transcribed from the printed volume. Not translated.