Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2017/ib/paper-4/13e/b/ii/solution
Past exam of the mathematics course of the University of Cambridge 2017 ib Paper 4 13E b ii Solution by
Codex 0 Created 2026-09-24 Updated 2026-10-05
The decisive use of hypothesis (ii) is a neighbourhood construction: for any open containing a fibre , a closed map givesIndeed, is closed set, its image is closed set, and cannot be in that image. A point of cannot lie outside . Applying this to the finite union covering each compact fibre supplies a whole neighbourhood of that fibre's value using the same finitely many cover elements. Compactness of selects finitely many such neighbourhoods and hence a finite subcover of , proving the desired compact-preimage theorem for closed maps.
The closed map assumption cannot simply be omitted. Give the discrete topology and the usual subspace topology from . The bijection , is continuous, and all its fibres are compact singletons. But is compact whereas is an infinite discrete space, which is not compact. The map is not closed set, since the closed subset has image , missing its limit point .
New to topics? Read the docs here!