Covering versus partitioning with the Cantor space
type: Item
instance of: scholarly article
title: Covering versus partitioning with the Cantor space
author: W. R. Brian
published in: Topology and its Applications
publication date: 2022-12-08T00:00:00Z
full work available at URL: https://arxiv.org/abs/2103.05725
review text: In this extremely pleasant paper, the author investigates the relationship between ``being coverable'' and ``being partitionable'', for various topological spaces. If \(X\) and \(Y\) are topological spaces, we say that \(X\) is \textit{\(Y\)-coverable} if \(X\) can be covered by homeomorphic copies of \(Y\); and we say that \(X\) is \textit{\(Y\)-partitionable} if it can be partitioned into homeomorphic copies of \(Y\). Thus, clearly, being \(Y\)-partitionable implies being \(Y\)-coverable, and the paper under review explores various circumstances under which the converse implication holds. After the first section containing an introduction, Section 2 establishes as its main result that every first countable space \(X\) with \(|X|\leq\mathfrak c\) is \(2^\omega\)-partitionable iff it is \(2^\omega\)-coverable. There is also a nice example showing that the condition \(|X|\leq\mathfrak c\) is necessary, and the bound of \(\mathfrak c\) is sharp. The next section's main result is that, for a metrizable space \(X\) satisfying \(|X|\leq\mathfrak c^{+\omega}\), being \(2^\omega\)-partitionable is equivalent to being \(2^\omega\)-coverable. The section also contains several lemmas leading to the construction of an example showing that the condition \(|X|\leq\mathfrak c^{+\omega}\) is necessary, and the bound of \(\mathfrak c^{+\omega}\) is sharp. Finally, in Section 4, the main result states that, for a completely metrizable space \(X\), four conditions are equivalent: being \(2^\omega\)-partitionable, being \(2^\omega\)-coverable, having no nonempty open \(\sigma\)-discrete subspace, and having no isolated points. There is, at the end, a short final section showing that the previous results (from all previous sections) remain true when one replaces \(2^\omega\) with any zero-dimensional Polish space without isolated points. A few final comments establish that the hypothesis that the incumbent space contains no isolated points is necessary, even though, on the other hand, …
Mathematics Subject Classification ID: 54E35
Mathematics Subject Classification ID: 54B05
Mathematics Subject Classification ID: 54E50
Mathematics Subject Classification ID: 03E10
Mathematics Subject Classification ID: 03E05
Mathematics Subject Classification ID: 03E75
zbMATH DE Number: 7628722
zbMATH Keywords: partitions
zbMATH Keywords: coverings
zbMATH Keywords: Cantor space
zbMATH Keywords: Baire space
reviewed by: David J. Fernández-Bretón
MaRDI profile type: Publication
OpenAlex ID: W3134568825
cites work: Topological partitions
cites work: Partitions of \(2^\omega\) and completely ultrametrizable spaces
cites work: Q3994935
cites work: On families of mutually exclusive sets
cites work: Q4323294
cites work: A Direct Proof that a Linearly Ordered Space is Hereditarily Collectionwise Normal
cites work: Paracompactness and product spaces
cites work: On σ-Discreteness and Borel Isomorphism
cites work: Q3847394
DOI: 10.1016/J.TOPOL.2022.108280
description: scientific article; zbMATH DE number 7628722