Paper 4, Section II, E

Metric and Topological Spaces | Part IB, 2017

Let f:XYf: X \rightarrow Y be a continuous map between topological spaces.

(a) Assume XX is compact and that ZXZ \subseteq X is a closed subset. Prove that ZZ and f(Z)f(Z) are both compact.

(b) Suppose that

(i) f1({y})f^{-1}(\{y\}) is compact for each yYy \in Y, and

(ii) if AA is any closed subset of XX, then f(A)f(A) is a closed subset of YY.

Show that if KYK \subseteq Y is compact, then f1(K)f^{-1}(K) is compact.

[\left[\right. Hint: Given an open cover f1(K)iIUif^{-1}(K) \subseteq \bigcup_{i \in I} U_{i}, find a finite subcover, say f1({y})f^{-1}(\{y\}) \subseteq iIyUi\bigcup_{i \in I_{y}} U_{i}, for each yKy \in K; use closedness of X\iIyUiX \backslash \bigcup_{i \in I_{y}} U_{i} and property (ii) to produce an open cover of KK.]

Typos? Please submit corrections to this page on GitHub.