\(\mathbb R\)-factorizability and \(\omega \)-uniform continuity in topological groups (Q428805): Difference between revisions

Given a uniform space \((X,\mathcal{U})\), the authors say that a function \(f: X \to \mathbb{R}\) is \(\omega\)-uniformly continuous if for every \(\epsilon > 0\) there is a countable family \(\mathcal{V} \subseteq \mathcal{U}\) satisfying that for each \(x \in X\) there is \(V_x \in \mathcal{V}\) such that \(f[V_x[x]] \subseteq (f(x) - \epsilon,f(x)+\epsilon)\). Let \(G\) be a group and \(M\) a metric space. A function \(f: G \to M\) is called \(\omega\)-uniformly continuous if \(f\) is both left and right \(\omega\)-uniformly continuous. The topological group \(G\) has property \(\omega\)-\(U\) if every continuous function \(f: G \to \mathbb{R}\) is \(\omega\)-uniformly continuous, and \(G\) has property strong \(\omega\)-\(U\) if every continuous function \(f: G \to M\) to a metric space \(M\) is \(\omega\)-uniformly continuous. It is shown that a topological group \(G\) is \(\mathcal{M}\)-factorizable if and only if it is \(\omega\)-balanced and has property strong \(\omega-U\). As a consequence, the authors prove that an \(\mathcal{M}\)-factorizable topological group is preserved by a quotient homomorphism. This answers affirmatively Problem 8.4.4 of the book [\textit{A. V. Arhangel'skii} and \textit{M. Tkachenko}, Topological groups and related structures. Hackensack, NJ: World Scientific; Paris: Atlantis Press (2008; Zbl 1323.22001)]. Some other results related to property \(\omega\)-\(U\) are proved: Every Lindelöf topological group and every totally bounded topological group have property \(\omega\)-\(U\); and a topological group is \(\mathbb{R}\)-factorizable if and only if it is an \(\omega\)-narrow group with property \(\omega\)-\(U\).