Contractibility of the hyperspace of sequences, harmonic fan (Q2182465)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Contractibility of the hyperspace of sequences, harmonic fan
scientific article

    Statements

    Contractibility of the hyperspace of sequences, harmonic fan (English)
    0 references
    0 references
    23 May 2020
    0 references
    The harmonic sequence (sometimes called the convergent sequence) is the subspace \(\{0\}\cup \{\frac{1}{n}\mid n\in\mathbb{N}\}\subset\mathbb{R}\). Any space homeomorphic to the harmonic sequence is called a harmonic sequence. For a given Hausdorff space \(X\), \(S_c(X)\) is the set of harmonic sequences in \(X\) with the Vietoris topology. If \(X\) happens to be a metrizable space, then this topology is the one that is induced by the Hausdorff metric from any metric that is compatible with the topology of \(X\). Various questions arise about such a hyperspace \(S_c(X)\), and the author lists several of these in the Introduction as Problems: {Problem 1.} If \(X\) is contractible then is \(S_c(X)\) contractible? {Problem 2.} Find families of such spaces \(X\) such that \(X\) is contractible and for which \(S_c(X)\) is contractible. {Problem 3.} Is the hyperspace \(S_c([0,1]^2)\) contractible? {Problem 4.} Let \(X\) be the cone over the Cantor fan. Is \(S_c(X)\) contractible? {Problem 5.} Does there exist a non-contractible continuum \(X\) for which \(S_c(X)\) is contractible? If \(X=S^1\), is \(S_c(X)\) contractible? There is also a question motivated by a result of \textit{J. Camargo} et al. [Colloq. Math. 160, No. 2, 183--211 (2020; Zbl 1454.54009)] where it was required that \(X\) be first countable. Is this condition essential? The answer is no, because first countability disappears in: {Corollary 6.} If \(X\) is contractible, then \(S_c(X)\) is pathwise connected. The harmonic fan is the cone over the harmonic sequence. Section 3 of the paper is dedicated to proving, {Theorem.} If \(X\) is the harmonic fan, then \(S_c(X)\) is contractible.
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    continuum
    0 references
    contractibility
    0 references
    dendrite
    0 references
    harmonic fan
    0 references
    hyperspace
    0 references
    hyperspace of nontrivial sequences
    0 references
    0 references