Continuous functions on locally pseudocompact groups (Q1295281): Difference between revisions

This paper deals with locally pseudocompact groups, \(b_{f}\)-groups and the relationship existing between both concepts, having the exponential map as its main external tool. A subset \(B\) of a space \(X\) is called relatively pseudocompact if every continuous real-valued function on \(X\) is bounded on \(B\). A mapping \(f\) from a topological space \(X\) into a topological space \(Y\) is called \(b_{f}\)-continuous if the restriction of \(f\) to every relatively pseudocompact subspace of \(X\) can be extended to a continuous function on \(X\). Those spaces for which every \(b_{f}\)-continuous mapping is continuous are called \(b_{f}\)-spaces. By a \(b_{f}\)-group a topological group is simply meant which, as a topological space, is a \(b_f\)-space. After analyzing the properties of the exponential function with respect to the space of \(b_{f}\)-continuous real-valued functions, the author characterizes when a given topological group \(G\) is locally pseudocompact, studying the behaviour of the product \(G\times Y\) for each \(b_{f}\)-group \(Y\). This characterization allows to deduce that \(\Sigma\)-spaces of locally pseudocompact groups are always \(b_{f}\)-groups. Next, another characterization of locally pseudocompact groups is obtained in terms of the distribution of the functor of the Dieudonné topological completion. This motivates a study of the Dieudonné completion of some groups and spaces which arise naturally in topological groups such as products of groups for (homogeneous) coset spaces. It is shown, for instance, that the Dieudonné completion of an arbitrary product of locally pseudocompact groups is a topological group. The paper finishes with a characterization of when the product of two \(b_{f}\)-groups is a \(b_{f}\)-group.