 Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2021/ib/paper-4/2f/a/solution

Codex  0 Created 2026-09-24 Updated 2026-09-25

X

T_{X} = {U \subseteq X : π^{- 1} (U) is open in X} .

Since inverse images preserve arbitrary unions and finite intersections,

π^{- 1} (⋃_{α} U_{α}) = ⋃_{α} π^{- 1} (U_{α}), π^{- 1} (U \cap V) = π^{- 1} (U) \cap π^{- 1} (V) .

Also

π^{- 1} (\emptyset) = \emptyset

and

π^{- 1} (X) = X

. The displayed collection therefore satisfies all the topology axioms.

 New to topics? Read the docs here!