(i) Let be the set of all infinite sequences such that for all . Let be the collection of all subsets such that, for every there exists such that whenever . Prove that is a topology on .
(ii) Let a distance be defined on by
Prove that is a metric and that the topology arising from is the same as .