Strong zero-dimensionality of hyperspaces (Q1957137)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Strong zero-dimensionality of hyperspaces
scientific article

    Statements

    Strong zero-dimensionality of hyperspaces (English)
    0 references
    0 references
    0 references
    24 September 2010
    0 references
    All spaces are assumed to be Tychonoff. For a space \(X\), let \(2^X\) be the collection of all nonempty closed subsets of \(X\) equipped with the Vietoris topology \(\tau_V\). Recall that \(\tau_V\) has a base consisting of all sets \(\langle \mathcal V \rangle\) of the form \(\langle \mathcal V \rangle =\left\{ F \in 2^X: F \subseteq \mathcal V,\;V \cap F \neq \emptyset\;\text{for all }\;V \in \mathcal V \right\},\) where \(\mathcal V\) runs through all finite families of open subsets in \(X\). Let \({\mathcal K}(X)\) be the subspace of \(2^X\), consisting of all nonempty compact subsets of \(X\). Then, \(2^X\) and \({\mathcal K}(X)\) are called hyperspaces of \(X\). All ordinals are considered as topological spaces equipped with the order topology. In the theory of hyperspaces, it is well-known that \(2^X\) is Tychonoff iff \(X\) is normal, and \({\mathcal K}(X)\) is Tychonoff iff \(X\) is Tychonoff. It was observed by \textit{V.~M. Ivanova} in [Dokl. Akad. Nauk SSSR 101, 601--603 (1955; Zbl 0064.16805)] that \(2^\omega\) is not normal, where \(\omega\) is the first infinite ordinal. Further, it was shown by \textit{N. Kemoto} in [Topology Appl. 154, No. 2, 358--363 (2007; Zbl 1116.54006)] that for any non-zero ordinal \(\alpha\), \({\mathcal K}(\alpha)\) is normal iff \(\text{cf}(\alpha)=\alpha\) whenever \(\text{cf}(\alpha)\) is uncountable. In the paper under review, the authors consider strong zero-dimensionality of hyperspaces of ordinals. Here, a space \(X\) is called strongly zero-dimensional if its Stone-Čech compactification \(\beta X\) has a base consisting of clopen sets. The authors show that \(2^\omega\) is strongly zero-dimensional and \({\mathcal K}(\alpha)\) is strongly zero-dimensional for every non-zero ordinal \(\alpha\). The proof of the second claim involves some techniques of elementary submodels.
    0 references
    0 references
    strongly zero-dimensional
    0 references
    normal
    0 references
    hyperspace
    0 references
    ordinal
    0 references
    elementary submodel
    0 references

    Identifiers