Even continuity and topological equicontinuity in topologized semigroups

A topologized semigroup X having an evenly continuous resp., topologically equicontinuous, family RX of right translations is investigated. It is shown that: (1) every left semitopological semigroup X with an evenly continuous family RX is a topological semigroup, (2) a semitopological group X is a paratopological group if and only if the family RX is evenly continuous and (3) a semitopological group X is a topological group if and only if the family RX is topologically equicontinuous. In particular, we get that for any paratopological group X which is not a topological group, the family RX provides an example of a transitive group of homeomorphisms of X that is evenly continuous and not topologically equicontinuous. The last conclusion answers negatively a question posed by H.L. Royden.     

Equicontinuity and balanced topological groups

It was proved by V.G. Pestov in 1988 that a locally compact group G is balanced if and only if any countable subset of G is thin in G. This unexpected result was obtained by using a non-elementary transfinite induction involving properties of infinite ordinals. In the present work, this result is reconsidered in a more general context by using an approach which is comparable, in spirit, to Pestov's, but uses a notably simplified technique. Let X be a topological space, Y a uniform space and $\text{H}$ a set of continuous mappings of X into Y. First, new conditions concerning X are given under which $\text{H}$ is equicontinuous provided its countable subsets are. Next, X and Y are supposed equal to a topological group equipped with its right uniform structure, and the set $\text{H}$ taken into account is the group of all its inner automorphisms. We then obtain theorems such as the following which includes, as a special case, Pestov's result: Let G be a topological group; let us suppose that the space G is strongly functionally generated by the set of all its subspaces of countable o-tightness; then G is balanced if and only if any right uniformly discrete countable subset of G is thin in G. As an application, it is proved that if G satisfies the above hypothesis and is non-Archimedean, then G is balanced if and only if G is strongly functionally balanced.     

Topological-algebraic properties of function spaces with set-open topologies

For a Tychonoff space X, we denote by Cλ(X) the space of all real-valued continuous functions on X with set-open topology. In this paper, we study the topological-algebraic properties of Cλ(X). Our main results state that (1) Cλ(X) is a topological vector space (a topological group) iff λ is a family of C-compact sets and Cλ(X)=Cλ^′(X), where λ^′ consists of all C-compact subsets of every set of λ. In particular, if Cλ(X) is a topological group, then the set-open topology coincides with the topology of uniform convergence on a family λ; (2) a topological group Cλ(X) is ω-narrow iff λ is a family of metrizable compact subsets of X.     

Both compact and sequentially compact sets in abelian topological group

We show that every abelian topological group contains many interesting sets which are both compact and sequentially compact. Then we can deduce some useful facts, e.g.,

(1)

if G is a Hausdorff abelian topological group and μ:N²→G is countably additive, then the range μ(N²)={μ(A):A⊆N} is compact metrizable;

(2)

if X is a Hausdorff locally convex space and {xj}⊂X, then F={_∑j∈Δxj:Δ⊂N, Δ is finite} is relatively compact in (X,weak) if and only if F is relatively compact in X, and if and only if F is relatively compact in (X,F(M)) where F(M) is the Dierolf topology which is the strongest 〈X,X^′〉-polar topology having the same subseries convergent series as the weak topology.

     

On the existence of free topological groups

Given a Tychonoff space X and classes U and V of topological groups, we say that a topological group G = G(X, U, V) is a free (U,V)-group over X if (a) X is a subspace of G, (b) G ϵ U, and (c) every continuous f: X → H with H ϵ V extends uniquely to a continuous homomorphism f̄: G→H. For certain classes U and V, we consider the question of the existence of free (U,V)- groups. Our principal results are the following. Let PA and CA denote, respectively, the class ofpseudocompact Abelian groups and the class of compact Abelian groups. Then

• 1.(a) there is a free (PA,PA)-group over X iff; X=Ø and
• 2.(b) there is for each X a free (PA,CA)-group over X in which X is closed.

     

When is the Isbell topology a group topology?

Conditions on a topological space X under which the space C(X,R) of continuous real-valued maps with the Isbell topology κ is a topological group (topological vector space) are investigated. It is proved that the addition is jointly continuous at the zero function in Cκ(X,R) if and only if X is infraconsonant. This property is (formally) weaker than consonance, which implies that the Isbell and the compact-open topologies coincide. It is shown the translations are continuous in Cκ(X,R) if and only if the Isbell topology coincides with the fine Isbell topology. It is proved that these topologies coincide if X is prime (that is, with at most one non-isolated point), but do not even for some sums of two consonant prime spaces.     

Almost maximal spaces

A topological space X is called almost maximal if it is without isolated points and for every x∈X, there are only finitely many ultrafilters on X converging to x. We associate with every countable regular homogeneous almost maximal space X a finite semigroup Ult(X) so that if X and Y are homeomorphic, Ult(X) and Ult(Y) are isomorphic. Semigroups Ult(X) are projectives in the category F of finite semigroups. These are bands decomposing into a certain chain of rectangular components. Under MA, for each projective S in F, there is a countable almost maximal topological group G with Ult(G) isomorphic to S. The existence of a countable almost maximal topological group cannot be established in ZFC. However, there are in ZFC countable regular homogeneous almost maximal spaces X with Ult(X) being a chain of idempotents.     

Fréchet-Urysohn fans in free topological groups

In this paper we answer the question of T. Banakh and M. Zarichnyi constructing a copy of the Fréchet-Urysohn fan S_ω in a topological group G admitting a functorial embedding [0,1]⊂G. The latter means that each autohomeomorphism of [0,1] extends to a continuous homomorphism of G. This implies that many natural free topological group constructions (e.g. the constructions of the Markov free topological group, free abelian topological group, free totally bounded group, free compact group) applied to a Tychonov space X containing a topological copy of the space Q of rationals give topological groups containing S_ω.     

Fragmentability of groups and metric-valued function spaces

Let (X,τ) be a topological space and let ρ be a metric defined on X. We shall say that (X,τ) is fragmented by ρ if whenever ε>0 and A is a nonempty subset of X there is a τ-open set U such that U∩A≠∅ and ρ−diam(U∩A)<ε. In this paper we consider the notion of fragmentability, and its generalisation σ-fragmentability, in the setting of topological groups and metric-valued function spaces. We show that in the presence of Baireness fragmentability of a topological group is very close to metrizability of that group. We also show that for a compact Hausdorff space X, σ-fragmentability of (C(X),‖⋅_‖∞) implies that the space Cp(X;M) of all continuous functions from X into a metric space M, endowed with the topology of pointwise convergence on X, is fragmented by a metric whose topology is at least as strong as the uniform topology on C(X;M). The primary tool used is that of topological games.     

Automatic continuity and representation of group homomorphisms defined between groups of continuous functions

Let C(X,G) be the group of continuous functions from a topological space X into a topological group G with pointwise multiplication as the composition law, endowed with the uniform convergence topology. To what extent does the group structure of C(X,G) determine the topology of X? More generally, when does the existence of a group homomorphism H between the groups C(X,G) and C(Y,G) implies that there is a continuous map h of Y into X such that H is canonically represented by h? We prove that, for any topological group G and compact spaces X and Y, every non-vanishing C-isomorphism (defined below) H of C(X,G) into C(Y,G) is automatically continuous and can be canonically represented by a continuous map h of Y into X. Some applications to specific groups and examples are given in the paper.     

Combinations not tolerated by normal topological groups

We show that if X is not paracompact then one can find a compact space K such that X⊕K does not embed closedly into any normal topological group.     

When is c(x) a Clean Ring?

An element of a ring R is called clean if it is the sum of a unit and an idempotent and a subset A of R is called clean if every element of A is clean. A topological characterization of clean elements of C(X) is given and it is shown that C(X) is clean if and only if X is strongly zero-dimensional, if and only if there exists a clean prime ideal in C(X). We will also characterize topological spaces X for which the ideal C_K(X) is clean. Whenever X is locally compact, it is shown that C_K(X) is clean if and only if X is zero-dimensional.     

Actions of totally disconnected groups and equivariant singular homology

We study equivariant singular homology in the case of actions of totally disconnected locally compact groups on topological spaces. Theorem A says that if G is a totally disconnected locally compact group and X is a G-space, then any short exact sequence of covariant coefficient systems for G induces a long exact sequence of corresponding equivariant singular homology groups of the G-space X. In particular we consider the case where G is a totally disconnected compact group, i.e., a profinite group, and G acts freely on X. Of special interest is the case where G is a p-adic group, p a prime. The conjecture that no p-adic group, p a prime, can act effectively on a connected topological manifold, is namely known to be equivalent to the famous Hilbert-Smith conjecture. The Hilbert-Smith conjecture is the statement that, if a locally compact group G acts effectively on a connected topological manifold M, then G is a Lie group.     

Conway’s Question: The Chase for Completeness

We study various degrees of completeness for a Tychonoff space X. One of them plays a central role, namely X is called a Conway space if X is sequentially closed in its Stone–?ech compactification β X (a prominent example of Conway spaces is provided by Dieudonné complete spaces). The Conway spaces constitute a bireflective subcategory Conw of the category Tych of Tychonoff spaces. Replacing sequential closure by the general notion of a closure operator C, we introduce analogously the subcategory Conw _C of C-Conway spaces, that turns out to be again a bireflective subcategory of Tych. We show that every bireflective subcategory of Tych can be presented in this way by building a Galois connection between bireflective subcategories of Tych and closure operators of Top finer than the Kuratowski closure. Other levels of completeness are considered for the (underlying topological spaces of) topological groups. A topological group G is sequentially complete if it is sequentially closed in its Ra?kov completion ${ \ifmmode\expandafter\tilde\else\expandafter\~\fi{G}}$ . The sequential completeness for topological groups is stronger than Conway’s property, although they coincide in some classes of topological groups, for example: free (Abelian) topological groups, pseudocompact groups, etc.     

An algebraic version of Tamano's theorem for countably compact spaces

We show that if X is countably compact but not compact then one can find a compact space K such that X⊕K does not embed closedly into any normal topological group.     

Topological convexities, selections and fixed points

A convexity on a set X is a family of subsets of X which contains the whole space and the empty set as well as the singletons and which is closed under arbitrary intersections and updirected unions. A uniform convex space is a uniform topological space endowed with a convexity for which the convex hull operator is uniformly continuous. Uniform convex spaces with homotopically trivial polytopes (convex hulls of finite sets) are absolute extensors for the class of metric spaces; if they are completely metrizable then a continuous selection theorem à la Michael holds. Upper semicontinuous maps have approximate selections and fixed points, under the usual assumptions.     

Separable complete ANR's admitting a group structure are Hilbert manifolds

Let X be a complete-metrizable, separable ANR. The following two facts are shown: (a) if X admits a topological group structure, then either this is a Lie group structure or X is an l₂-manifold; (b) If X is a closed convex set in a complete metric linear space, then X is either locally compact or homeomorphic to l₂.     

Group-valued continuous functions with the topology of pointwise convergence

Let G be a topological group with the identity element e. Given a space X, we denote by Cp(X,G) the group of all continuous functions from X to G endowed with the topology of pointwise convergence, and we say that X is: (a) G-regular if, for each closed set F⊆X and every point x∈X?F, there exist f∈Cp(X,G) and g∈G?{e} such that f(x)=g and f(F)⊆{e}; (b) G^?-regular provided that there exists g∈G?{e} such that, for each closed set F⊆X and every point x∈X?F, one can find f∈Cp(X,G) with f(x)=g and f(F)⊆{e}. Spaces X and Y are G-equivalent provided that the topological groups Cp(X,G) and Cp(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 Cp(X,G). Since R-equivalence coincides with l-equivalence, this line of research “includes” major topics of the classical Cp-theory of Arhangel'ski? 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 Cp(X,G) is TAP, and (ii) for a metrizable NSS group G, a G^?-regular space X is compact if and only if Cp(X,G) is a TAP group of countable tightness. In particular, a Tychonoff space X is pseudocompact (compact) if and only if Cp(X,R) is a TAP group (of countable tightness). Demonstrating the limits of the result in (i), we give an example of a precompact TAP group G and a G-regular countably compact space X such that Cp(X,G) is not TAP.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, σ-compactness, the property of being a Lindelöf Σ-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.     

Group action on zero-dimensional spaces

Let X be a Tychonoff space, H(X) the group of all self-homeomorphisms of X and the evaluation function. Call an admissible group topology on H(X) any topological group topology on H(X) that makes the evaluation function a group action. Denote by LH(X) the upper-semilattice of all admissible group topologies on H(X) ordered by the usual inclusion. We show that if X is a product of zero-dimensional spaces each satisfying the property: any two non-empty clopen subspaces are homeomorphic, then LH(X) is a complete lattice. Its minimum coincides with the clopen-open topology and with the topology of uniform convergence determined by a T₂-compactification of X to which every self-homeomorphism of X continuously extends. Besides, since the left, the right and the two-sided uniformities are non-Archimedean, the minimum is also zero-dimensional. As a corollary, if X is a zero-dimensional metrizable space of diversity one, such as for instance the rationals, the irrationals, the Baire spaces, then LH(X) admits as minimum the closed-open topology induced by the Stone-?ech-compactification of X which, in the case, agrees with the Freudenthal compactification of X.