Extending proper metrics
From MaRDI portal
Publication:6406127
DOI10.1016/J.TOPOL.2022.108387zbMATH Open1508.54008arXiv2207.12905MaRDI QIDQ6406127
Publication date: 26 July 2022
Abstract: We first prove a version of Tietze-Urysohn's theorem for proper functions taking values in non-negative real numbers defined on -compact locally compact Hausdorff spaces. As its application, we prove an extension theorem of proper metrics, which states that if is a -compact locally compact space, is a closed subset of , and is a proper metric on that generates the same topology of , then there exists a proper metric on such that generates the same topology of and . Moreover, if is a proper retraction, we can choose so that is quasi-isometric to . We also show analogues of theorems explained above for ultrametric spaces.
Metric spaces, metrizability (54E35) Special maps on topological spaces (open, closed, perfect, etc.) (54C10) Compact (locally compact) metric spaces (54E45)
This page was built for publication: Extending proper metrics