Paper 4, Section I,
Part IB, 2021
Let be a topological space with an equivalence relation, the set of equivalence classes, , the quotient map taking a point in to its equivalence class.
(a) Define the quotient topology on and check it is a topology.
(b) Prove that if is a topological space, a map is continuous if and only if is continuous.
(c) If is Hausdorff, is it true that is also Hausdorff? Justify your answer.