Products of bounded subsets of paratopological groups (Q2347047)

Recall that a space \(X\) is feebly compact if every locally finite family of open sets is finite. Pseudocompact spaces are Tychonoff spaces that are feebly compact. A subset \(B\) of a space \(X\) is said te be bounded in \(X\) if every locally finite family of open sets in \(X\) contains only finitely many elements that meet \(B\). In the literature several generalizations are known of the theorem of \textit{W. W. Comfort} and \textit{K. A. Ross} [Pac. J. Math. 16, 483--496 (1966; Zbl 0214.28502)] on the productivity of pseudocompact spaces. One of them (obtained by the second author [Ukr. Math. J. 41, No. 3, 334--338 (1989); translation from Ukr. Mat. Zh. 41, No. 3, 377--382 (1989; Zbl 0698.22004); Ukr. Math. J. 41, No. 7, 802--806 (1989); translation from Ukr. Mat. Zh. 41, No. 7, 939--944 (1989; Zbl 0698.22005)]) states that if \(B_i\) is a bounded subset of a topological group \(G_i\) for each \(i\in I\), then \(\prod_{i\in I}B_i\) is bounded in \(\prod_{i\in I}G_i\). Recently, \textit{O. A. Ravsky} [``Pseudocompact paratopological groups'', \url{arXiv:1003.5343}] proved that an arbitrary product of feebly compact paratopological groups is feebly compact. This result motivated the authors of the paper under review to ask about the productivity of bounded subsets of paratopological groups. To state the main result let us recall several definitions. A paratopological group is a group with a topology in which the multiplication is jointly continuous. If \((G,\tau)\) is a paratopological group, then \((G,\tau^{-1})\) with \(\tau^{-1}=\{U^{-1}:U\in\tau\}\) is again a paratopological group and the least upper bound topology \(\tau^*=\tau\vee\tau^{-1}\) is a group topology on \(G\). A paratopological group \(G\) is said to be \(\omega\)-narrow if for every neighborhood \(U\) of the neutral element there exists a countable set \(C\subseteq G\) such that \(CU=UC=G\). \(G\) is totally \(\omega\)-narrow if \(G^*=(G,\tau^*)\) is \(\omega\)-narrow. The authors prove that if \(B_i\) is a bounded subset of a totally \(\omega\)-narrow paratopological group \(G_i\) for each \(i\in I\), then \(\prod_{i\in I}B_i\) is bounded in \(\prod_{i\in I}G_i\). They find several other conditions for paratopological groups \(G_i\) with the same conclusion.