Points of openness and closedness of some mappings (Q2341419)

Let \(X\) and \(Y\) be topological spaces and \(f:X\to Y\) be a continuous map. We say that \(f\) is \textit{closed at \(y\in Y\)} if for every open neighbourhood \(W\subset X\) of \(f^{-1}(y)\) there is a neighbourhood \(V\) of \(y\) such that \(f^{-1}(V)\subset W\). \(f\) is \textit{open at \(x\in X\)} if it maps neighbourhoods of \(x\) into neighbourhoods of \(f(x)\). \(f\) is \textit{open at \(y\in Y\)} if for each open set \(A\subset X\), \(y\in f(A)\) implies \(y\in Int f(A)\). In the paper under review the authors study conditions on \(X\) and \(Y\) under which the set of \(y\in Y\) at which \(f\) is open, and the set of \(y\in Y\) at which \(f\) is closed are \(G_\delta\) sets in \(Y\). They generalize some results of S. Levi, R. Engelking and I. A. Vaĭnšteĭn. The main idea of these generalizations is to replace of the assumption that \(Y\) is first countable by the weaker one, that \(Y\) is a \(w\)-space. Recall that the notion of \(w\)-space has been introduced by \textit{G. Gruenhage} in [General Topology Appl. 6, 339--352 (1976; Zbl 0327.54019)]. A typical result: Let \(X\) be a completely metrizable space, \(Y\) be a Hausdorff \(w\)-space, and let\(f:X\to Y\) be a continuous map. Then the set of all points of \(Y\) at which \(f\) is closed is a \(G_\delta\) set.