Continuous functions on locally pseudocompact groups (Q1295281)

From MaRDI portal
Revision as of 10:53, 30 July 2024 by Openalex240730090724 (talk | contribs) (Set OpenAlex properties.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Continuous functions on locally pseudocompact groups
scientific article

    Statements

    Continuous functions on locally pseudocompact groups (English)
    0 references
    0 references
    10 October 1999
    0 references
    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.
    0 references
    0 references
    Locally pseudocompact group
    0 references
    relatively pseudocompact subset
    0 references
    Dieudonné topological completion
    0 references
    Weil completion
    0 references
    exponential map
    0 references
    \(b_f\)-space
    0 references
    \(\Sigma\)-space
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers