The structure of extended real-valued metric spaces

DOI10.1007/S11228-013-0255-2MaRDI QIDQ2436680zbMATH OpenOpenAlexFDO

Publication date 25 February 2014

Published in Set-Valued and Variational Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11228-013-0255-2

bornology bounded set extended real-valued metric free union topology Hu's theorem isometry metric metric bornology partial function

Mathematics Subject Classification ID

Lipschitz (Hölder) classes (26A16) Differentiation (real functions of one variable): general theory, generalized derivatives, mean value theorems (26A24) Banach spaces of continuous, differentiable or analytic functions (46E15) Real-valued functions in general topology (54C30) Function spaces in general topology (54C35) Complete metric spaces (54E50) Topological spaces with richer structures (54E99)

Review text

Many mathematical structures that have an underlying topology, for example metrics and uniformities, also define various families of bounded sets. A natural class of bounded sets in a metric space is for example the collection of all subsets with finite diameter. A generalized family of bounded subsets of a given set \(X\) is called a bornology on \(X\). Both the collection of all Bourbaki bounded subsets and the collection of all totally bounded subsets of a uniform space are examples of bornologies. A set that is endowed with both a topology and a bornology is called a bornological universe. This article contributes to the recent line of research on the characterization of bornological universes. In particular, bornological universes that are defined by extended metrics are investigated. Here an extended metric is a distance function that satisfies the same axioms as a metric save that it can also attain the value infinity. The text starts with a few results on the structure of extended metric spaces and the definition of a \textit{universal space \(\Delta_X\)} for each Hausdorff space. The space \(\Delta_X\) is a complete extended metric space with the property that for each compatible extended metric \(d\) on \(X\) the space \((X, d)\) can be isometrically embedded into \(\Delta_X\). Moreover, for each compatible metric \(d\) on \(X\) the space that consists of all closed subsets of \(X\) endowed with the Hausdorff distance \(H_d\) can be isometrically embedded into this universal space. In the final section two natural bornologies \(\mathcal{B}_d\) and \(\mathcal{B}_d^w\) are associated with an extended metric \(d\). The author describes some of the properties of these bornologies and gives complete characterizations of bornologies \(\mathcal{B}\) that are equal to either \(\mathcal{B}_d\) of \(\mathcal{B}^w_d\) for some extended metric \(d\).

Recommendations

Cites work

Cited in

(16)

This page was built for publication: The structure of extended real-valued metric spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2436680)