Paper 1, Section I, F
Part II, 2010
Let be a non-empty complete metric space with no isolated points, an open dense subset of and a countable dense subset of .
(i) Stating clearly any standard theorem you use, prove that is a dense subset of .
(ii) If is only assumed to be uncountable and dense in , does it still follow that is dense in ? Justify your answer.