4.II.14A

Metric and Topological Spaces
Part IB, 2007

(a) For a subset AA of a topological space XX, define the closure cl (A)(A) of AA. Let f:XYf: X \rightarrow Y be a map to a topological space YY. Prove that ff is continuous if and only if f(cl(A))cl(f(A))f(c l(A)) \subseteq c l(f(A)), for each AXA \subseteq X.

(b) Let MM be a metric space. A subset SS of MM is called dense in MM if the closure of SS is equal to MM.

Prove that if a metric space MM is compact then it has a countable subset which is dense in MM.