Paper 4, Section I,
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.
Typos? Please submit corrections to this page on GitHub.