Equicontinuity and balanced topological groups. (Q1421965)

The main concepts used in the paper under review are the following: A subset \(A\) of a topological group \(G\) is called {thin in} \(G\) provided for each neighborhood \(V\) of the identity \(e\) in \(G\) there exists a neighborhood \(U\) of \(e\) such that \(\bigcup_{g\in G}g^{-1}Ug\subset V.\) A topological space \(X\) is said to be of countable {o-}{tightness} provided for every \(x\in X\) and every collection \(\mathfrak{A}\) of open subsets of \(X\) such that \(x\in\overline{\cup\mathfrak{A}}\) there exists a countable subcollection \(\mathfrak{A}_0\) of \(\mathfrak{A}\) such that \(x\in\overline{\cup\mathfrak{A}_0}.\) A topological space \(X\) is said to be {strongly functionally generated by the set of all its subspaces of countable o-tightness} provided for every discontinuous function \(f:X\rightarrow \mathbb{R}\) there exists a subspace \(A\) of countable {o-}tightness such that \(f\mid A\) is discontinuous. The author gives sufficient conditions on a topological group under which the left and right uniform structures coincide. The main results of the paper are: Theorem 2.3. Let \(X\) be a topological space, \(Y\) a uniform space and \(\mathfrak{H}\) a subset of \(C(X,Y),\) where \(C(X,Y)\) is the set of all continuous functions of \(X\) in \(Y.\) Let us suppose that the space \(X\) is strongly functionally generated by the set of all its subspaces of countable o-tightness. The following statements are equivalent: (1) \(\mathfrak{H}\) is equicontinuous. (2) Each countable subset of \(\mathfrak{H}\) is equicontinuous. Theorem 3.2. Let \(G\) be a topological group. Let us suppose that the space \(G\) is strongly functionally generated by the set of all its subspaces of countable o-tightness. Then the following statements are equivalent: (1) The left and right uniform structures on \(G\) coincide. (2) Each countable subset of \(G\) is thin in \(G.\) \begin{itemize}\item[(3)] Each right uniformly discrete countable subset of \(G\) is thin in \(G.\) Theorem 4.3. Let \(G\) be a topological group having a fundamental system of neighborhoods consisting of subgroups. Let us suppose that the space \(G\) is strongly functionally generated by the set of all its subspaces of countable o-tightness. Then the following statements are equivalent: (1) The left and right uniform structures on \(G\) coincide. (2) Each right uniformly continuous real-valued function on \(G\) is left uniformly continuous.\end{itemize}