Group-valued continuous functions with the topology of pointwise convergence

Abstract

We denote by C_p(X,G) the group of all continuous functions from a space X to a topological group G endowed with the topology of pointwise convergence. We say that spaces X and Y are G-equivalent provided that the topological groups C_p(X,G) and C_p(Y,G) are topologically isomorphic. We investigate which topological properties are preserved by G-equivalence, with a special emphasis being placed on characterizing topological properties of X in terms of those of C_p(X,G). Since R-equivalence coincides with l-equivalence, this line of research "includes" major topics of the classical C_p-theory of Arhangel'skii as a particular case (when G = R). We introduce a new class of TAP groups that contains all groups having no small subgroups (NSS groups). We prove that: (i) for a given NSS group G, a G-regular space X is pseudocompact if and only if C_p(X,G) is TAP, and (ii) for a metrizable NSS group G, a G^*-regular space X is compact if and only if C_p(X,G) is a TAP group of countable tightness. In particular, a Tychonoff space X is pseudocompact (compact) if and only if C_p(X,R) is a TAP group (of countable tightness). We show that Tychonoff spaces X and Y are T-equivalent if and only if their free precompact Abelian groups are topologically isomorphic, where T stays for the quotient group R/Z. As a corollary, we obtain that T-equivalence implies G-equivalence for every Abelian precompact group G. We establish that T-equivalence preserves the following topological properties: compactness, pseudocompactness, sigma-compactness, the property of being a Lindelof Sigma-space, the property of being a compact metrizable space, the (finite) number of connected components, connectedness, total disconnectedness. An example of R-equivalent (that is, l-equivalent) spaces that are not T-equivalent is constructed.

Two references were added and one reference was updated. Question 11.1 was resolved in arXiv:0909.2381 [math.GN]. The bibliographic information related to Theorem 10.2 was corrected. Minor typos were corrected as well.

References in corpus (2)

• NSS and TAP properties in topological groups close to being compact
• Metrizable TAP, HTAP and STAP groups

Cited by in corpus (11)

• Selective sequential pseudocompactness
• Completeness and compactness properties in metric spaces, topological groups and function spaces
• Direct sums and products in topological groups and vector spaces
• NSS and TAP properties in topological groups close to being compact
• On the Strong Feller Property of Stochastic Delay Differential Equations with Singular Drift
• Productivity of sequences with respect to a given weight function
• Selectively pseudocompact groups without non-trivial convergent sequences
• Free non-archimedean topological groups
• Characterizing Lie groups by controlling their zero-dimensional subgroups
• Representation of Group Isomorphisms I
• Representation of group isomorphisms. The compact case