Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2016/ib/paper-4/13e/b/i/solution

For the torus quotient, a point has the same image as a point of precisely when they differ by an integer lattice vector. Therefore
This 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!