Extending proper metrics
A metric \(d\) is said to be proper if all bounded closed subsets of the metric space \((X, d)\) are compact. Let \(Y\) and \(Z\) be topological spaces. A mapping \(f \colon Y \to Z\) is, by definition, proper if, for every compact \(K \subseteq Z\), the inverse image \(f^{-1}(K)\) is a compact subset of \(Y\). The author proves the following version of Tietze-Urysohn's theorem. \textbf{Theorem 1.} Let \(Y\) be a \(\sigma\)-compact locally compact Hausdorff space and let \(A\) be a closed subset of \(Y\). Then, for every continuous proper function \(f \colon A \to [0, \infty)\), there is a continuous proper function \(F \colon Y \to [0, \infty)\) such that \(F|_{A} = f\). Let \((X, \tau)\) be a metrizable topological space. Let us denote by \(\operatorname{Met}(X)\) the set of all metrics on \(X\) generating the same topology \(\tau\). Using Theorem 1, the author proves the next extension theorem for proper metrics. \textbf{Theorem 2.} Let \(X\) be a \(\sigma\)-compact locally compact Hausdorff space and let \(A\) be a nonempty closed subset of \(X\). Then, for every proper metric \(d \in \operatorname{Met}(A)\), there exists a proper metric \(\rho \in \operatorname{Met}(X)\) such that \(\rho|_{A \times A} = d\). Some interesting results describing the possible extensions of proper metrics \(d \in \operatorname{Met}(A)\) for the case when \(A\) is a proper retract of \(X\) are also obtained.
- A simple proof of Hausdorff's theorem on extending metrics
- An embedding, an extension, and an interpolation of ultrametrics
- An extension of Tietze's theorem
- Closed retracts and perfect retracts
- Continuous selections. I
- Controlling Tietze-Urysohn extensions
- Diameter and diametrical pairs of points in ultrametric spaces
- Dimension zero at all scales
- Extending a metric
- Extending continuous functions on zero-dimensional spaces
- Extension of functions on fully normal spaces
- Extension of mappings and pseudometrics
- scientific article; zbMATH DE number 4084570 (Why is no real title available?)
- scientific article; zbMATH DE number 1223845 (Why is no real title available?)
- scientific article; zbMATH DE number 1990664 (Why is no real title available?)
- scientific article; zbMATH DE number 1461253 (Why is no real title available?)
- Indivisible ultrametric spaces
- Metrization of weighted graphs
- Non-Archimedean Metrics in Topology
- Selected Selection Theorems
- Subdominant pseudoultrametric on graphs
- Summary on non-Archimedean valued fields
- EXTENDING THE MEASUREMENT OF TANGIBLES TO INTANGIBLES
- Extending pairs of metrics
- Extendability of semi-metrics to compactifications
- Extension of metrics in the asymptotic topology
- scientific article; zbMATH DE number 2187935 (Why is no real title available?)
- Constructions of Urysohn universal ultrametric spaces
- A factorization of metric spaces
- Extending proper metrics
- Spaces of metrics are Baire
- On isometric universality of spaces of metrics
This page was built for publication: Extending proper metrics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2679803)
