Compactifications of a Pixley-Roy hyperspace (Q891257): Difference between revisions

Let \(X\) be a Hausdorff space and \(PR(X)\) the space of all nonempty finite subsets of \(X\) with the Pixley-Roy topology, that is, the topology generated by the sets of the form \([A, U]=\{B \in PR(X) : A \subset B \subset U\}\), where \(A\in PR(X)\) and \(U\) is open in \(X\). A space \(X\) is said to have countable tightness if whenever \(p \in X\) and \(p \in \overline{A}\) there is a countable subset \(B\) of \(A\) such that \(p \in \overline{B}\). In [Topol.\ Proc.\ 46, 213--232 (2015; Zbl 1322.54004)], \textit{A. Dow} and \textit{J. Moore} noted that no compactification of the Pixley-Roy hyperspace of the Cantor set has countable tightness. In this paper, the condition that \(PR(X)\) has a compactification of countable tightness is studied. In particular, the authors prove that the following five conditions are equivalent for an infinite Hausdorff space \(X\):{\parindent=6mm \begin{itemize} \item[(1)] \(PR(X)\) has a compactification of countable tightness;\item [(2)] \(X\) is first countable, and each nonempty finite set \(F \subset X\) is contained in an open set \(U(F) \subset X\) in such a way that every uncountable family of nonempty finite sets of \(X\) contains some \(F\) and \(G\) with \(F \setminus U(G) \neq \emptyset\) or \(G \setminus U(F) \neq \emptyset\);\item [(3)] \(PR(X)\) is a strongly metaLindelöf Moore space;\item [(4)] \(PR(X)\) has a strongly point-countable base consisting of clopen subsets;\item [(5)] \(PR(X)\) has a zero-dimensional Corson compactification \(K\) such that \(w(K) = w(PR(X)) =|X|\). \end{itemize}} By applying this theorem and theorems of \textit{T. C. Przymusinski} [Fundam. Math. 113, 201--219 (1981; Zbl 0485.54007)] and \textit{A. V. Arkhangel'skij} [Topological function spaces. Transl. from the Russian by R. A. M. Hoksbergen. Mathematics and its Applications, Soviet Series. 78. Dordrecht etc.: Kluwer Academic Publishers. ix, 205 p. (1992; Zbl 0758.46026)], the authors prove that the following four conditions are equivalent for a metrizable space \(X\):{\parindent=6mm \begin{itemize} \item[(1)] \(PR(X)\) has a compactification of countable tightness;\item [(2)] \(X\) is \(\sigma\)-discrete, that is, it is the union of countably many closed discrete subspaces;\item [(3)] \(PR(X)\) is metrizable;\item [(4)] \(PR(X)\) has an Eberlein compactification \(K\) such that \(w(K) = w(PR(X)) =|X|\). \end{itemize}} Other characterizations and conditions for \(PR(X)\) having an Eberlein compactification are also discussed.