Uniform continuity in \({\omega}_{\mu}\)-metric spaces and uc \({\omega}_{\mu}\)-metric extendability (Q2400103): Difference between revisions

In this paper the authors study natural forms of \(uc\)-ness for the \(\omega_{\mu}\)-metric spaces (which fill a large class of uniform spaces containing the usual metric ones) and extend them to various different formulations of the metric \(uc\)-ness. The authors show their equivalence with the initial one in Theorems 3.4 and 3.5 and prove that the class of \(uc\) \(\omega_{\mu}\)-metric spaces is strictly located in between those of \(\omega_{\mu}\)-compact spaces and complete ones by exhibiting examples of \(uc\) \(\omega_{\mu}\)-metric spaces which are neither \(\omega_{\mu}\)-compact nor globally uniformly discrete (since any \(\omega_{\mu}\)-compact spaces is \(uc\) and any \(uc\) \(\omega_{\mu}\)-metric space is complete). In addition, the authors focus on the existence of an \(\omega_{\mu}\)-metrizable space of dense topological extensions carrying a \(uc\) \(\omega_{\mu}\)-metric. They prove that an \(\omega_{\mu}\)-metrizable space \(X\) is \(uc\)-extendable if and only if there exists a compatible \(\omega_{\mu}\)-metric \(d\) on \(X\) such that the set \(X'\) of all accumulation points in \(X\) is crowded (Theorem 4.1). The authors obtain the extension result by considering the uniform completion associated with a compatible remetrization of the \(\omega_{\mu}\)-metric \(d\).