Paper 4, Section II, E

Metric and Topological Spaces | Part IB, 2017

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

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

(b) Suppose that

(i) f−1({y})f^{-1}(\{y\}) is compact for each y∈Yy \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 K⊆YK \subseteq Y is compact, then f−1(K)f^{-1}(K) is compact.

[\left[\right. Hint: Given an open cover f−1(K)⊆⋃i∈IUif^{-1}(K) \subseteq \bigcup_{i \in I} U_{i}, find a finite subcover, say f−1({y})⊆f^{-1}(\{y\}) \subseteq ⋃i∈IyUi\bigcup_{i \in I_{y}} U_{i}, for each y∈Ky \in K; use closedness of X\⋃i∈IyUiX \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.