The ϵâmetric spaces, with ϵ a regular ordinal number, are sets equipped with a distance valued in a totally ordered abelian group having as character ϵ, but satisfying the usual formal properties of a real metric. The ϵâmetric spaces fill a large and attractive class of peculiar uniform spaces, those with a linearly ordered base. In this paper we investigate hypertopologies associated with ϵâmetric spaces, in particular the Hausdorff topology induced by the Bourbaki-Hausdorff uniformity associated with their natural underlying uniformity. We show that two ϵâmetrics on a same topological space X induce on the hyperspace CL(X), the set of all non-empty closed sets of X, the same Hausdorff topology if and only if they are uniformly equivalent. Moreover, we explore, again in the ϵâmetric setting, the relationship between the Kuratowski and Hausdorff convergences on CL(X) and prove that an ϵâsequence Aαα<ϵwhich admits A as Kuratowski limit converges to A in the Hausdorff topology if and only if the join of A with all Aαis ϵâcompact.
Hypertopologies on ω_µ-Metric spaces
Di Concilio, Anna;Guadagni, Clara
2017-01-01
Abstract
The ϵâmetric spaces, with ϵ a regular ordinal number, are sets equipped with a distance valued in a totally ordered abelian group having as character ϵ, but satisfying the usual formal properties of a real metric. The ϵâmetric spaces fill a large and attractive class of peculiar uniform spaces, those with a linearly ordered base. In this paper we investigate hypertopologies associated with ϵâmetric spaces, in particular the Hausdorff topology induced by the Bourbaki-Hausdorff uniformity associated with their natural underlying uniformity. We show that two ϵâmetrics on a same topological space X induce on the hyperspace CL(X), the set of all non-empty closed sets of X, the same Hausdorff topology if and only if they are uniformly equivalent. Moreover, we explore, again in the ϵâmetric setting, the relationship between the Kuratowski and Hausdorff convergences on CL(X) and prove that an ϵâsequence Aαα<ϵwhich admits A as Kuratowski limit converges to A in the Hausdorff topology if and only if the join of A with all Aαis ϵâcompact.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.