The hyperspace \(F_n^K(X)\) (Q2043535)

A continuum is a compact connected nondegenerate metric space. By a hyperspace of a continuum \(X\) we mean a specified collection of subsets of \(X\) endowed with the Hausdorff metric. Given a continuum and \(n\in \mathbb{N}\), we consider its hyperspaces \(2^X = \{A \subseteq X \colon A \text{ is a nonempty} \text{ closed subset of } X \}\) and \(\mathcal{F}_n(X)\) consisting of all elements of \(2^X\) with at most \(n\) points. We topologize this set with the Hausdorff metric. The quotient spaces between hyperspaces are a powerful tool to study a continuum. The objective of this paper under review is to introduce the hyperspace \(F^K_n (X)\) and to present some results on this hyperspace. To see the construction of the hyperspace, we consider \(K \in F_n(X)\), thus \(F_n(K, X) = \{A \in F_n(X) \colon K\subseteq A\}\subseteq F_n(X)\) and we define the hyperspace: \(F^K_n (X) = F_n(X)/F_n(K, X)\) which is obtained from \(F_n(X)\) by shrinking \(F_n(K, X)\) to a one point set, endowed with the quotient topology. Some results of the paper are the following: Theorem. Let \(X\) be a continuum, \(n > 1\) and \(K \in F_n(X)\). Then, \(X\) is locally connected if and only if \(F^K_n (X)\) is locally connected. Theorem. Let \(X\) be a continuum, \(n > 1\) and \(K \in F_n(X)\). Then, the following statements are equivalent: (1) \(X\) contains arcs. (2) \(F_n(X)\) contains arcs. (3) \(F^K_n (X)\) contains arcs. Theorem. Let \(X\) be a continuum and \(n > 1\). If \(K \in F_n(X)\setminus F_1(X)\), then \(F^K_n (X)\) is aposyndetic.