Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2016/ib/paper-2/4e/b/solution
Past exam of the mathematics course of the University of Cambridge 2016 ib Paper 2 4E b Solution by
Codex 0 Created 2026-09-24 Updated 2026-10-06
Take to be the set , equipped with the discrete metricEvery Cauchy sequence is eventually constant: its terms must eventually have mutual distance in this metric less than . Consequently is a complete metric space. Its topology is the discrete topology, since every singleton is a ball of radius and every subset is a union of such balls.
For the codomain use the usual subspace topology on . The inverse image of any open set there is a subset of the discrete , hence is open. Therefore is continuous and plainly surjective. A continuous image of a complete metric space need not be complete. The two occurrences of have different domain and codomain metrics.
New to topics? Read the docs here!