Cofinal completeness of the Hausdorff metric topology
Volume 208 / 2010
Fundamenta Mathematicae 208 (2010), 75-85
MSC: Primary 54B20; Secondary 54E35, 54E45, 54E50.
DOI: 10.4064/fm208-1-5
Abstract
A net in a Hausdorff uniform space is called cofinally Cauchy if for each entourage, there exists a cofinal (rather than residual) set of indices whose corresponding terms are pairwise within the entourage. In a metric space equipped with the associated metric uniformity, if each cofinally Cauchy sequence has a cluster point, then so does each cofinally Cauchy net, and the space is called cofinally complete. Here we give necessary and sufficient conditions for the nonempty closed subsets of the metric space equipped with Hausdorff distance to be cofinally complete.
