Left and right uniform structures on functionally balanced groups (Q2499789)

Let \(G\) be a Hausdorff topological group. \(G\) is said to be balanced, or a SIN group, if its left and right uniform structures are the same. \(G\) is said to be functionally balanced, or an FSIN group, if any left uniformly continuous bounded real-valued function on \(G\) is also right uniformly continuous. Being FSIN for a group is equivalent to the statement that for every \(A\subset G\) and for each neighborhood \(V\) of the identity \(e\) in \(G\), there exists a neighborhood \(U\) of \(e\) in \(G\) such that \(AU\subset VA\). Similarly, \(G\) is said to be countably functionally balanced, or \(\aleph_0\)-FSIN, if this property is satisfied by at least all countable subsets \(A\) of \(G\). All SIN groups are FSIN and the authors consider the question whether there are FSIN groups that are not SIN. To this end, the authors show that whenever \(C\) is a class of subspaces of \(G\) containing all (but not only) precompact subsets of \(G\) for which it is true that for every real valued discontinuous function on \(G\) there is a set \(A\in C\) such that the restriction mapping \(f_{| A}\) has no continuous extension to \(G\); then the three conditions SIN, FSIN and \(\aleph_0\)-FSIN are equivalent. \(G\) is said to be inframetrizable if there is a sequence \((V_n)_{n\in \mathbb{N}}\) of neighborhoods of \(e\) such that for each neighborhood \(U\) of \(e\) there is \(n\in \mathbb{N}\) and a finite set \(F\subset G\) such that \(V_n\subset UF\). The class of inframetrizable groups includes all locally precompact groups and all almost metrizable groups. The authors prove that for every inframetrizable group the three conditions SIN, FSIN and \(\aleph_0\)-FSIN are equivalent.