Closed-constructible functions are piecewise closed (Q387209)

This work is a continuation of the author's investigation on the decomposability of Borel functions into countably many strictly simpler functions, a theme which has been widely considered in the literature by many authors and which is also related to the problem of the preservation of Borel classes by simple Borel functions (see \textit{A.\ Ostrovsky} [Acta Math.\ Hung.\ 133, No.\ 4, 372--375 (2011; Zbl 1299.26006)], [Fundam.\ Math.\ 213, No.\ 2, 191--195 (2011; Zbl 1230.54018)], and [Topology Appl.\ 159, No.\ 7, 2004--2008 (2012; Zbl 1242.26005)]). The main result of the paper is the following. Call a subset \(A\) of a topological space \(X\) \textit{constructible} if it belongs to the smallest algebra of subsets of \(X\) containing all its open sets. (Equivalently, \(A\) is constructible if it can be written as a finite union of locally closed sets, i.e.\ of sets which are the intersection of an open and a closed set.) If a continuous function \(f : X \to Y\) between separable metrizable spaces maps closed subsets of \(X\) onto constructible sets in \(Y\), then \(f\) is \textit{piecewise closed}, that is: there is a countable closed cover \(\mathcal{C}\) of \(X\) such that \(f \restriction C\) is closed for every \(C \in \mathcal{C}\).