Ultracompleteness of hyperspaces of compact sets (Q2392030): Difference between revisions

All spaces \(X\) considered are Tychonoff. For \(A \subseteq X\), \(\tau (A,X)\) is the family of all open subsets of \(X\) which contain \(A\). A family \(\beta \subseteq \tau (A,X)\) is an outer base of \(A\) in \(X\) if for every \(U\in \tau (A,X)\), there exists \(B \in \beta \) such that \(B\subseteq U\). The character \(\chi (A,X)\) of \(X\) at its subspace \(A\) is the minimum of cardinalities of all outer bases of \(A\) in \(X\). We say \(X\) is ultracomplete if \(\chi (X,\beta X) \leq \omega\) (that is, \(X\) has countable character in \(\beta X\)) where \(\beta X\) is the Stone--Čech compactification of \(X\). Also \(X\) is almost locally compact if the set of all points at which \(X\) is not locally compact is contained in a compact set of countable outer character. The hyperspace of all nonempty compact subsets of \(X\) endowed with the Vietoris topology is denoted by \(2^X\). In this paper, the author proves that \(2^X\) is almost locally compact if and only if \(X\) is locally compact. It is also proved that for a countably compact ultracompact space \(X\), the hyperspace \(F_n(X) = \{K \in 2^X\mid K\;\text{has at most }n\) points