Closed-constructible functions are piecewise closed

DOI10.1016/J.TOPOL.2013.06.013MaRDI QIDQ387209zbMATH OpenOpenAlexFDO

Authors Alexey Ostrovsky

Publication date 20 December 2013

Published in Topology and its Applications (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1205.6045

zbMATH Keywords

closed functionconstructible setlocally closed setpiecewise closed function

Mathematics Subject Classification ID

Descriptive set theory (03E15) Classification of real functions; Baire classification of sets and functions (26A21) Classes of sets (Borel fields, (sigma)-rings, etc.), measurable sets, Suslin sets, analytic sets (28A05) Special maps on topological spaces (open, closed, perfect, etc.) (54C10) Special maps on metric spaces (54E40)

Abstract: A subset $BsubsetY$ is constructible if it is an element of the smallest family that contains all open sets and is stable under finite intersections and complements. A function $f:XoY$ is said to be piece-wise closed if $X$ can be written as a countable union of closed sets $Z_n$ such that $f$ is closed on every $Z_n.$ We prove that if a continuous function $f$ takes each closed set into a constructible subset of $Y$, then $f$ is piece-wise closed.

Review text

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}\).

Recommendations

• Open-constructible functions
• An alternative approach to the decomposition of functions
• Countable compacta of continuity for projective functions
• Decomposing Borel functions and structure at finite levels of the Baire hierarchy
• Preservation of the Borel class under open-LC functions

Cites work

• An alternative approach to the decomposition of functions
• F_σ-mappings and the invariance of absolute Borel classes
• New basic result in classical descriptive set theory: preservation of completeness
• On a question by Alexey Ostrovsky concerning preservation of completeness
• Piece-wise closed functions
• Piece-wise closed functions: Corrigendum
• Piece‐wise closed functions and almost discretely σ‐decomposable families
• Preservation of the Borel class under open-LC functions
• Resolvable maps preserve complete metrizability
• The structure of LC-continuous functions

Cited in

(8)

• Generalization of sequences and convergence in metric spaces
• An alternative approach to the decomposition of functions
• scientific article; zbMATH DE number 1107486 (Why is no real title available?)
• Countably open and closed functions
• Open-constructible functions
• On repeated sequential closures of constructible functions in valuations
• On the Structure of Finite Level and ω-Decomposable Borel Functions
• Decomposing Borel functions and structure at finite levels of the Baire hierarchy

This page was built for publication: Closed-constructible functions are piecewise closed

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q387209)