Lemma 5.21.6. Let f : X \to Y be a continuous map of topological spaces. Let T \subset Y be a subset. If f is open and T is a closed nowhere dense subset of Y, then also f^{-1}(T) is a closed nowhere dense subset of X. If f is surjective and open, then T is closed nowhere dense if and only if f^{-1}(T) is closed nowhere dense.
Proof. Omitted. (Hint: In the first case the interior of f^{-1}(T) maps into the interior of T, and in the second case the interior of f^{-1}(T) maps onto the interior of T.) \square
Comments (0)
There are also: