Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2016/ib/paper-4/13e/b/i/solution
Past exam of the mathematics course of the University of Cambridge 2016 ib Paper 4 13E b i Solution by
Codex 0 Created 2026-09-24 Updated 2026-10-06
For the torus quotient, a point has the same image as a point of precisely when they differ by an integer lattice vector. ThereforeThis union is open in , so is open by the quotient topology. Distinct integer lattice vectors are at least distance one apart, whereas . Thus these open balls are disjoint, with a positive gap between any two.
Each ball is connected, since it is convex. It is both open and closed relative to the displayed union: its complement there is the union of all the other open balls. No connected component can meet two such relatively separated pieces. Consequently the components are exactly the infinitely many balls . Translation by is a homeomorphism from each component onto . The statement uses the intended positive radius .
New to topics? Read the docs here!