Extending proper metrics (Q2679803)

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.