On the Cantor-Bendixson derivative, resolvable ranks, and perfect set theorems of A. H. Stone
type: Item
instance of: scholarly article
title: On the Cantor-Bendixson derivative, resolvable ranks, and perfect set theorems of A. H. Stone
zbMATH Open document ID: 0924.03093
DOI: 10.1007/BF02808178
author: Jozef Chaber
author: R. Pol
published in: Israel Journal of Mathematics
publication date: 1999-11-08T00:00:00Z
review text: Let \(X\) be a compact metric space and let \(2^X\) be the space of compact subsets of \(X\) with the Hausdorff metric. A Borel derivative on \(2^X\) is a Borel map \(D:2^X\to 2^X\) such that \(D(K)\subset K\) for \(K\in 2^X\). For example, the Cantor-Bendixson derivative is a Borel derivative. The iterations of \(D\) are defined inductively as follows: \(D^0(K)=K\), \(D^{\alpha+1}(K)=D(D^\alpha(K))\), and \(D^\alpha(K)=\bigcap_{\beta<\alpha}D^\beta(K)\) for limit \(\alpha\). The rank \(\delta:2^X\to\omega_1\cup\{\infty\}\) determined by \(D\) assigns to a compact set \(K\) the minimal \(\xi\) with \(D^{\xi+1}(K)=\emptyset\), if such \(\xi\) exists, or \(\infty\) if \(D^\xi(K)\neq\emptyset\) for all \(\xi\). The main result of the paper says that for any analytic set \(A\) in \(2^X\) if for some \(Z\subset A\) the set \(\{\xi:Z\cap\delta^{-1}(\{\xi\})\neq\emptyset\}\) is stationary in \(\omega_1\), then for all but non-stationary many \(\xi<\omega_1\) each \(F_\sigma\) set containing \(A\cap\delta^{-1}(\{\xi\})\) intersects both \(Z\cap\bigcup_{\alpha<\xi}\delta^{-1}(\{\xi\})\) and \(Z\cap\bigcup_{\alpha>\xi}\delta^{-1}(\{\xi\})\). With a Borel derivative \(D:2^X\to 2^X\) a partial order \(\preccurlyeq\) on \(2^X\) is determined by \(L\preccurlyeq K\) iff \(L=D^\alpha(K)\) for some \(\alpha\). The second main result of the paper says that if an analytic set \(A\subseteq 2^X\) intersects stationary many layers \(\delta^{-1}(\{\xi\})\) then \(A\) contains an \(\preccurlyeq\)-antichain intersecting all but non-stationary many layers \(\delta^{-1}(\{\xi\})\) in a Cantor set. These results are presented in a more general framework of resolvable ranks introduced in the paper.
reviewed by: Miroslav Repický
Mathematics Subject Classification ID: 03E15
Mathematics Subject Classification ID: 54E40
Mathematics Subject Classification ID: 54H05
zbMATH DE Number: 1310635
zbMATH Keywords: Borel derivative
zbMATH Keywords: Cantor-Bendixson derivative
zbMATH Keywords: perfect set theorem
zbMATH Keywords: resolvable ranks
zbMATH Keywords: stationary set
zbMATH Keywords: analytic set
MaRDI profile type: Publication
cites work: On the Borel class of the derived set operator. II
cites work: On a perfect set theorem of A. H. Stone and N. N. Lusin’s constituents
cites work: On Souslin sets and embeddings in integer-valued function spaces on \(\omega_1\)
cites work: Q4227935
cites work: Q4281184
cites work: Topology and descriptive set theory
cites work: Q3833021
cites work: Set theory. An introduction to independence proofs
cites work: Q5541832
cites work: Set theory. With an introduction to descriptive set theory. Translation of the original Polish edition. 2nd, completely revised ed
cites work: Q4875415
cites work: Independent sets in topological algebras
cites work: Note on decompositions of metrizable spaces II
cites work: Note on category in Cartesian products of metrizable spaces
cites work: Covering analytic sets by families of closed set
cites work: Q5722778
cites work: Non-separable Borel, sets, II
full work available at URL: https://doi.org/10.1007/bf02808178
OpenAlex ID: W2077534088
description: scientific article; zbMATH DE number 1310635