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
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
continuum
0 references
contractibility
0 references
dendrite
0 references
harmonic fan
0 references
hyperspace
0 references
hyperspace of nontrivial sequences
0 references