-homogeneity of Borel sets

DOI10.1007/S00153-011-0239-6MaRDI QIDQ634778zbMATH OpenOpenAlexFDO

Authors Alexey Ostrovsky

Publication date 16 August 2011

Published in Archive for Mathematical Logic (Search for Journal in Brave)

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

zbMATH Keywords

\(h\)-homogeneous spacesBorel setsWadge hierarchy

Mathematics Subject Classification ID

Descriptive set theory (03E15) Determinacy principles (03E60) 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)

Abstract: We give an affirmative answer to the following question: Is any Borel subset of a Cantor set $extbfC$ a sum of a countable number of pairwise disjoint $h$-homogeneous subspaces that are closed in $X$? It follows that every Borel set $Xsubsetextbf{R}^n$ can be partitioned into countably many $h$-homogeneous subspaces that are $G_{delta}$-sets in $X$.

Review text

A zero-dimensional topological space \(X\) is \(h\)-homogeneous if every nonempty clopen subset \(U \subseteq X\) is homeomorphic to \(X\). A zero-dimensional metric space \(X\) is called \(\sigma\)-homogeneous if it is a countable union of \(h\)-homogeneous subspaces that are closed in \(X\). The main result of this paper is that every Borel subset of the Cantor space is a \(\sigma\)-homogeneous space. As a corollary, one gets that every Borel set \(X \subseteq \mathbb{R}^n\) (for \(n \in \mathbb{N}\)) can be partitioned into countably many (zero-dimensional) \(h\)-homogeneous subspaces that are \(G_\delta\) in \(X\).

Recommendations

• Homogeneous Borel Sets
• On the equivalence of Borel sets
• Homogeneity and -discrete sets
• On -porous sets and Borel sets
• Π₁¹ Borel sets
• On the Borel σ-Field and the Baire Property
• scientific article; zbMATH DE number 3967429
• scientific article; zbMATH DE number 3975864
• scientific article; zbMATH DE number 3935931
• On Borel maps, calibrated -ideals, and homogeneity

Cites work

• Analytic sets and Borel isomorphisms
• Borel sets as sums of canonical elements
• scientific article; zbMATH DE number 3967429 (Why is no real title available?)
• scientific article; zbMATH DE number 370564 (Why is no real title available?)
• scientific article; zbMATH DE number 1897034 (Why is no real title available?)
• scientific article; zbMATH DE number 3096349 (Why is no real title available?)
• Maps of Borel sets
• ON A QUESTION OF L. V. KELDYSH CONCERNING THE STRUCTURE OF BOREL SETS
• On properties of \(h\)-homogeneous spaces of first category
• Zero-dimensional and linearly ordered bicompacta: properties of homogeneity type

Cited in

(17)

• On Borel sets with small cover: A problem of M. Laczkovich
• Borel sets which are null or non-\(\sigma\)-finite for every translation invariant measure
• Nonhomogeneity of Certain Baire Sets in βX
• On a Theorem of Holický and Zelený Concerning Borel Maps Without σ-Compact Fibers
• Hurewicz-like tests for Borel subsets of the plane
• scientific article; zbMATH DE number 3967429 (Why is no real title available?)
• Homogeneous Borel Sets
• scientific article; zbMATH DE number 3975864 (Why is no real title available?)
• ON BOREL SETS MODULO A ϑ-IDEAL
• On Borel sets belonging to every invariant ccc $\sigma $-ideal on $2^{\mathbb {N}}$
• Borel sets with σ-compact sections for nonseparable spaces
• Wadge-like reducibilities on arbitrary quasi-Polish spaces
• Wandering sets for a class of Borel isomorphisms of \([0,1)\)
• Zero-dimensional -homogeneous spaces
• Every finite-dimensional analytic space is \(\sigma \)-homogeneous
• On infinite-dimensional -homogeneous spaces
• Can a Borel group be generated by a Hurewicz subspace?

This page was built for publication: \(\sigma\)-homogeneity of Borel sets

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