Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2026/iii/paper-152/4/a/solution

Let be the quotient map. The images for satisfy the face and intersection axioms, so is a fan.
To prove completeness, take , choose a lift , and choose in the relative interior of . Since is complete, each lies in some cone of . There are finitely many cones, so one cone contains for an unbounded sequence . Closedness gives . Because lies in the relative interior of the cone and is a face of , this forces . Finally,
Thus every point of the quotient lies in the support of , proving that it is a complete fan.

New to topics? Read the docs here!