Continuous functions on locally pseudocompact groups

DOI10.1016/S0166-8641(97)00127-2MaRDI QIDQ1295281zbMATH OpenOpenAlexFDO

Publication date 10 October 1999

Published in Topology and its Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0166-8641(97)00127-2

\(\Sigma\)-space \(b_f\)-space Dieudonné topological completion exponential map Locally pseudocompact group relatively pseudocompact subset Weil completion

Mathematics Subject Classification ID

Analysis on general topological groups (22A10) (C)- and (C^*)-embedding (54C45) Topological groups (topological aspects) (54H11)

Review text

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.

Recommendations

Cites work

Cited in

(13)

This page was built for publication: Continuous functions on locally pseudocompact groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1295281)