The structure of extended real-valued metric spaces
DOI10.1007/s11228-013-0255-2zbMath1287.54025MaRDI QIDQ2436680
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
metric; isometry; bounded set; bornology; partial function; extended real-valued metric; free union topology; Hu's theorem; metric bornology
54E50: Complete metric spaces
54C35: Function spaces in general topology
54E99: Topological spaces with richer structures
26A16: Lipschitz (Hölder) classes
26A24: Differentiation (real functions of one variable): general theory, generalized derivatives, mean value theorems
46E15: Banach spaces of continuous, differentiable or analytic functions
54C30: Real-valued functions in general topology