Paper 4, Section II, E
Part IB, 2017
Let be a continuous map between topological spaces.
(a) Assume is compact and that is a closed subset. Prove that and are both compact.
(b) Suppose that
(i) is compact for each , and
(ii) if is any closed subset of , then is a closed subset of .
Show that if is compact, then is compact.
Hint: Given an open cover , find a finite subcover, say , for each ; use closedness of and property (ii) to produce an open cover of .]