Open-constructible functions (Q471494)

Let \(X, Y\) be separable metrizable and null-dimensional spaces and \(f:X\to Y\) be a continuous bijection which takes open sets to resolvable sets. Theorem 1 says that there is a countable scattered partition of \(X\) into closed sets \(C_n\) such that each restriction \(f\restriction C_n:C_n\to f(C_n)\) is open. For comparison we recall that \textit{J. E. Jayne} and \textit{C. A. Rogers} proved in [J. Math. Pures Appl., IX. Sér. 61, 177--205 (1982; Zbl 0514.54026), Theorem 12]: If \(X\), \(Y\) are Suslin subsets of some complete metric spaces and \(f\) is a bijection such that the respective first Borel class is preserved by \(f\) and by \(f^{-1}\), then \(f\) is a piecewise homeomorphism, i.e. there is an increasing sequence of closed sets \(F_n\) covering \(X\) such that the restrictions \(f\restriction F_n\) are homeomorphisms (and \(f(F_n)\)'s are closed). Thus Theorem 1 implies that the claim of the theorem by Jayne and Rogers, in the particular case of a continuous function and of null-dimensional separable spaces \(X\) and \(Y\), does not need ``analyticity'' of the spaces if a stronger measurability of \(f^{-1}\) is assumed. The method of the proof of Theorem 1 gives in the same time the existence of the same decomposition of a continuous surjection \(f:X\to Y\) between separable metrizable and null-dimensional spaces \(X\) and \(Y\) under the assumption that \(f\) maps discrete subspaces of \(X\) into scattered sets.