(i) Let X be the set of all infinite sequences (ϵ1,ϵ2,…) such that ϵi∈{0,1} for all i. Let τ be the collection of all subsets Y⊂X such that, for every (ϵ1,ϵ2,…)∈Y there exists n such that (η1,η2,…)∈Y whenever η1=ϵ1,η2=ϵ2,…,ηn=ϵn. Prove that τ is a topology on X.
(ii) Let a distance d be defined on X by
d((ϵ1,ϵ2,…),(η1,η2,…))=n=1∑∞2−n∣ϵn−ηn∣
Prove that d is a metric and that the topology arising from d is the same as τ.