Solution

ID: past-exam-of-the-options-ii-course-of-the-university-of-oxford/2004/e/e4/solution

For the quotient map , a subset of the quotient is open exactly when is open in . This definition immediately makes continuous. If is continuous then is continuous. Conversely, continuity of the composition gives, for every open , that is open. By the defining criterion is open, so is continuous.
A map constant on each equivalence class defines a unique map . It is well-defined by the assumed class constancy, and its composition with is . The preceding criterion proves that is continuous.
For the integer lattice quotient, define
This continuous map is onto the product of the two unit circles, and its fibres are exactly the lattice equivalence classes. It therefore induces a continuous bijection . Every class has a representative in , so the quotient is the continuous image of that compact square and is compact. The target is Hausdorff as a subspace of . A continuous bijection from a compact space to a Hausdorff space is a homeomorphism, proving
Finally, if is open, then is open, being a union of translates. The quotient criterion makes open. Thus the quotient map is an open map.

New to topics? Read the docs here!