Countable compacta of continuity for projective functions

DOI10.1016/J.TOPOL.2011.03.005MaRDI QIDQ536066zbMATH OpenOpenAlexFDO

Authors Václav Vlasák

Publication date 16 May 2011

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

Full work available at URL https://doi.org/10.1016/j.topol.2011.03.005

zbMATH Keywords

Borel setscontinuitydeterminacy axiom.projective classesVietoris topology

Mathematics Subject Classification ID

Descriptive set theory (03E15) Classes of sets (Borel fields, (sigma)-rings, etc.), measurable sets, Suslin sets, analytic sets (28A05) Descriptive set theory (topological aspects of Borel, analytic, projective, etc. sets) (54H05)

Review text

For a Polish space \(X\) let \(\mathcal{K}(X)\) denote the space of all compact subsets of \(X\) equipped with the Vietoris topology. In the paper under review the author investigates connections between complexity of a function \(f\) from a Polish space \(X\) to a Polish space \(Y\) and complexity of the set \(\widetilde C(f)=\{K\in \mathcal{K}(X)\); \(f|_K\) is continuous and \(K\) has exactly one limit point\}. In the main result he shows that for each positive integer \(n\) the following conditions are equivalent: (1)~\(\widetilde{C}(f)\in\Delta_n^1(\mathcal{K}(X))\); (2)~\(\widetilde{C}(f)\in \Sigma^1_n(\mathcal{K}(X))\); (3)~\(f\) is \(\Delta_n^1\)-measurable. In particular, \(f\) is Borel iff \(\widetilde{C}(f)\) is Borel.

Recommendations

• Compact sets of continuity for Borel functions
• Ideals of compact sets associated with Borel functions.
• Descriptive Complexity of Function Spaces
• Borel and projective sets from the point of view of compact sets
• Collections of compact sets and functions having \(G_\delta\)-graphs

Cites work

• Collections of compact sets and functions having \(G_\delta\)-graphs
• Compact sets of continuity for Borel functions
• scientific article; zbMATH DE number 722611 (Why is no real title available?)
• Ideals of compact sets associated with Borel functions.
• The Structure of σ-Ideals of Compact Sets

Cited in

(9)

• On projective mappings
• Classification of the spaces C_p^(X) within the Borel-Wadge hierarchy for a projective space X
• Borel and projective sets from the point of view of compact sets
• On a relationship between countable functionals and projective trees
• Descriptive Complexity of Function Spaces
• Effective properties in compact sets of Borel functions
• Closed-constructible functions are piecewise closed
• The descriptive set-theoretic complexity of the set of points of continuity of a multi-valued function (extended abstract)
• Compact sets of continuity for Borel functions

This page was built for publication: Countable compacta of continuity for projective functions

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