On metrization of the hit-or-miss topology using Alexandroff compactification (Q2481041)

The authors consider the hyperspace \(\mathcal F(E)\) of closed subsets of a Hausdorff topological space \(E\), endowed with the so-called Fell topology \(\tau_f\) (termed hit-or-miss topology in the paper) having subbase elements of the form \(\{A\in\mathcal F(E): A\cap U\neq\emptyset\}\) and \(\{A\in\mathcal F(E): A\cap K=\emptyset\}\), where \(U\subseteq E\) is open, and \(K\subseteq E\) is compact. The Fell topology has been extensively studied in the literature, and its various properties are well-established; in particular, \((\mathcal F(E),\tau_f)\) is always compact, and it is metrizable iff \(E\) is a locally compact 2nd countable space (HLCSC, in short). The authors provide an explicit metric for the hyperspace, if \(E\) is HLSCS, by embedding \((\mathcal F(E),\tau_f)\) into the space of nonempty closed subsets of the Alexandroff one-point compactification \(\omega E\) endowed with the Hausdorff metric topology. Note that in this case, the latter topology coincides with the so-called Vietoris topology, for which this embedding is known [see e.g. Proposition 4.5.2 in the monograph Theory of Correspondences by \textit{E. Klein} and \textit{A. Thompson} (Wiley, New York) (1984; Zbl 0556.28012)]. A comparison of the above metric to the Hausdorff-Buseman metric is given, and applications to hyperspace dynamics are discussed.