Bounded sets in spaces and topological groups

We investigate C-compact and relatively pseudocompact subsets of Tychonoff spaces with a special emphasis given to subsets of topological groups. It is shown that a relatively pseudocompact subset of a space X is C-compact in X, but not vice versa. If, however, X is a topological group, then these properties coincide. A product of two C-compact (relatively pseudocompact) subsets A of X and B of Y need not be C-compact (relatively pseudocompact) in X x Y, but if one of the factors X, Y is a topological group, then both C-compactness and relative pseudocompactness are preserved. We Drove under the same assumption that, with A and B being bounded subsets of X and Y, the closure of A x B in upsilon(X x Y) is naturally homeomorphic to cl(upsilon X)A x cl(upsilon Y)B, where upsilon stands for the Hewitt realcompactification. One of our main technical tools is the notion of an R-factorizable group. We show that an R-factorizable subgroup H of an arbitrary group G is z-embedded in G. This fact is applied to prove that the group operations of an R-factorizable group G can always be extended to the realcompactification upsilon G of G, thus giving to upsilon G the topological group structure, We also prove that a C-compact subset A of a topological group G is relatively pseudocompact in the subspace B = A . A(-1) . A of G. (C) 2000 Elsevier Science B.V, All rights reserved.