Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2018/ib/paper-1/12e/solution
Past exam of the mathematics course of the University of Cambridge 2018 ib Paper 1 12E Solution by
Codex 0 Created 2026-09-24 Updated 2026-10-03
A compact space is one for which every open cover has a finite subcover. Let cover , and letThe set is nonempty. If , choose containing . An interval about lies in ; a point of just to the left of then extends the finite cover beyond , contradicting the definition of the supremum. Hence , and the same neighbourhood argument covers , proving compact.
The continuous map maps onto . A continuous image of a compact space is compact: pull an open cover back, choose a finite subcover, and push the corresponding sets forward. Thus is compact.
In the unusual topology on , a proper closed set is a finite union of punctured lines through the origin. Take any nonempty member of an open cover. Its complement is such a finite union. Each punctured line has the indiscrete subspace topology, because every other vector subspace meets it only at the removed origin, and is therefore compact. Finitely many finite subcovers, together with , cover . Hence is compact.
New to topics? Read the docs here!