Group topologies coarser than the Isbell topology

The Isbell, compact-open and point-open topologies on the set C(X,R) of continuous real-valued maps can be represented as the dual topologies with respect to some collections α(X) of compact families of open subsets of a topological space X. Those α(X) for which addition is jointly continuous at the zero function in Cα(X,R) are characterized, and sufficient conditions for translations to be continuous are found. As a result, collections α(X) for which Cα(X,R) is a topological vector space are defined canonically. The Isbell topology coincides with this vector space topology if and only if X is infraconsonant. Examples based on measure theoretic methods, that Cα(X,R) can be strictly finer than the compact-open topology, are given. To our knowledge, this is the first example of a splitting group topology strictly finer than the compact-open topology.     

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.     

Automatic continuity of biseparating homomorphisms defined between groups of continuous functions

Let C(X,T) be the group of continuous functions of a compact Hausdorff space X to the unit circle of the complex plane T with the pointwise multiplication as the composition law. We investigate how the structure of C(X,T) determines the topology of X. In particular, which group isomorphisms H between the groups C(X,T) and C(Y,T) imply the existence of a continuous map h of Y into X such that H is canonically represented by h. Among other results, it is proved that C(X,T) determines X module a biseparating group isomorphism and, when X is first countable, the automatic continuity and representation as Banach-Stone maps for biseparating group isomorphisms is also obtained.     

Adjoint bi-continuous semigroups and semigroups on the space of measures

For a given bi-continuous semigroup (T(t)) _t⩾0 on a Banach space X we define its adjoint on an appropriate closed subspace X° of the norm dual X′. Under some abstract conditions this adjoint semigroup is again bi-continuous with respect to the weak topology σ(X°,X). We give the following application: For Ω a Polish space we consider operator semigroups on the space C_b(Ω) of bounded, continuous functions (endowed with the compact-open topology) and on the space M(Ω) of bounded Baire measures (endowed with the weak*-topology). We show that bi-continuous semigroups on M(Ω) are precisely those that are adjoints of bi-continuous semigroups on C_b(Ω). We also prove that the class of bi-continuous semigroups on C_b(ω) with respect to the compact-open topology coincides with the class of equicontinuous semigroups with respect to the strict topology. In general, if is not a Polish space this is not the case.     

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.     

A remark about the interpolation of spaces of continuous, vector-valued functions

If A is a sectorial operator on a Banach space X, then the space C([0,1];(X,D(A))_θ,∞) is a subspace of the interpolation space (C([0,1];X),C([0,1];D(A)))_θ,∞. The inclusion is strict in general.     

Universal spaces of subdifferentials of sublinear operators ranging in the cone of bounded lower semicontinuous functions

We study Fréchet’s problem of the universal space for the subdifferentials ?P of continuous sublinear operators P: V → BC(X)_～ which are defined on separable Banach spaces V and range in the cone BC(X)_～ of bounded lower semicontinuous functions on a normal topological space X. We prove that the space of linear compact operators L ^c(? ², C(βX)) is universal in the topology of simple convergence. Here ? ² is a separable Hilbert space, and βX is the Stone-?ech compactification of X. We show that the images of subdifferentials are also subdifferentials of sublinear operators.     

Spaces of maps into topological group with the Whitney topology

Let X be a locally compact Polish space and G a non-discrete Polish ANR group. By C(X,G), we denote the topological group of all continuous maps endowed with the Whitney (graph) topology and by Cc(X,G) the subgroup consisting of all maps with compact support. It is known that if X is compact and non-discrete then the space C(X,G) is an l₂-manifold. In this article we show that if X is non-compact and not end-discrete then Cc(X,G) is an (R^∞×l₂)-manifold, and moreover the pair (C(X,G),Cc(X,G)) is locally homeomorphic to the pair of the box and the small box powers of l₂.     

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.     

Topologizing homeomorphism groups of rim-compact spaces

Let X be a Tychonoff space, H(X) the group of all self-homeomorphisms of X with the usual composition and the evaluation function. Topologies on H(X) providing continuity of the evaluation function are called admissible. Topologies on H(X) compatible with the group operations are called group topologies. Whenever X is locally compact T₂, there is the minimum among all admissible group topologies on H(X). That can be described simply as a set-open topology, further agreeing with the compact-open topology if X is also locally connected. We show the same result in two essentially different cases of rim-compactness. The former one, where X is rim-compact T₂ and locally connected. The latter one, where X agrees with the rational number space Q equipped with the euclidean topology. In the first case the minimal admissible group topology on H(X) is the closed-open topology determined by all closed sets with compact boundaries contained in some component of X. Moreover, whenever X is also separable metric, it is Polish. In the rational case the minimal admissible group topology on H(Q) is just the closed-open topology. In both cases the minimal admissible group topology on H(X) is closely linked to the Freudenthal compactification of X. The Freudenthal compactification in rim-compactness plays a key role as the one-point compactification does in local compactness. In the rational case we investigate whether the fine or Whitney topology on H(Q) induces an admissible group topology on H(Q) stronger than the closed-open topology.     

Function Spaces and Dieudonné Completeness

Abstract

For a completely regular space X and a normed space E let C_k (x, E) (resp., C_p (x, E)) be the set of all E-valued continuous maps on X endowed with the compact-open (resp., pointwise convergence) topology. It is shown that the set of all F-valued linear continuous maps on C_k (x, E) when equipped with the topology of uniform convergence on the members of some families of bounded subsets of C_k (x, E) is a complete uniform space if F is a Band space and X is Dieudonné complete. This result is applied to prove that Dieudonné completeness is preserved by linear quotient surjections from C_k (x, E) onto C_k (Y, E) (resp., from C_p (x, E) onto C_p (x, E)) provided E, F are Band spaces and Y is a k-space.     

An infraconsonant nonconsonant completely regular space

Let R denote the real numbers. We construct in ZFC a countable space X such that X has exactly one non-isolated point, X is infraconsonant, and X is not consonant. We conclude that X is a completely regular space such that Isbell topology on C(X,R) is a group topology that coincides with the natural (finest splitting) topology on C(X,R), but the Isbell and compact-open topologies on C(X,R) do not coincide. The example answers two open problems in the literature.     

On countable bounded tightness for spaces Cp(X)

It is well known that the space C_p([0,1]) has countable tightness but it is not Fréchet-Urysohn. Let X be a Cech-complete topological space. We prove that the space C_p(X) of continuous real-valued functions on X endowed with the pointwise topology is Fréchet-Urysohn if and only if C_p(X) has countable bounded tightness, i.e., for every subset A of C_p(X) and every x in the closure of A in C_p(X) there exists a countable and bounding subset of A whose closure contains x. We study also the problem when the weak topology of a locally convex space has countable bounded tightness. Additional results in this direction are provided.     

Domain representability of certain function spaces

Let Cp(X) be the space of all continuous real-valued functions on a space X, with the topology of pointwise convergence. In this paper we show that Cp(X) is not domain representable unless X is discrete for a class of spaces that includes all pseudo-radial spaces and all generalized ordered spaces. This is a first step toward our conjecture that if X is completely regular, then Cp(X) is domain representable if and only if X is discrete. In addition, we show that if X is completely regular and pseudonormal, then in the function space Cp(X), Oxtoby's pseudocompleteness, strong Choquet completeness, and weak Choquet completeness are all equivalent to the statement “every countable subset of X is closed”.     

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.     

Dunford-Pettis property

The following theorem is proved. If a locally convex space, quasi-complete for Mackey topology, has D-P (Dunford-Pettis) property then it has strict D-P property. Conversely, if (E′, σ(E′, E)) has a σ-compact dense subset and E has strict D-P property, then it has D-P property. Also it is proved that (C_b(X),$\text{F}$) where F=β₀, β, orβ₁, has strict D-P property and (C_b(X), β₀) has D-P property; if X contains a σ-compact dense subset then (C_b(X), β) and (C_b(X), β₁) have D-P property.     

On operations in C(X) determined by continuous functions

Let C(X) be the space of all continuous real-valued functions on a compact topological space. Then every continuous function $\varphi: {\mathbb{R}^{2}\to \mathbb{R}}$ defines an operation Φ:C(X)×C(X)→C(X), Φ(f,g)(x)=φ(f(x),g(x)) for x∈X. We show some sufficient and some necessary conditions for the openness and the weak openness of Φ.     

Range universal spaces

We characterize those topological spaces Y for which the Isbell and finest splitting topologies on the set C(X,Y) of all continuous functions from X into Y coincide for all topological spaces X. We also consider the same question for the coincidence of the restriction of the finest splitting topology on the upper semicontinuous set-valued functions to C(X,Y) and the finest splitting topology on C(X,Y). In the first case, the spaces in question are, after identifying points that are in each others closures, subsets of the two point Sierpiński space, which gives a converse and generalization of a result of S. Dolecki, G.H. Greco, and A. Lechicki. In the second case, the spaces in question are, after identifying points that are in each others closures, order bases for bounded complete continuous DCPOs with the Scott topology.     

Isometry Groups of Proper Hyperbolic Spaces

Let X be a proper hyperbolic geodesic metric space and let G be a closed subgroup of the isometry group Iso(X) of X. We show that if G is not elementary then for every p ∈ (1, ∞) the second continuous bounded cohomology group H²_cb(G, L^p(G)) does not vanish. As an application, we derive some structure results for closed subgroups of Iso(X). Partially supported by Sonderforschungsbereich 611.     

On separability of the functional space with the open-point and bi-point-open topologies

We study the property of separability of functional space C(X) with the open-point and bi-point-open topologies and show that it is consistent with ZFC that there is a set of reals of cardinality \({\mathfrak{c}}\) such that a set C(X) with the open-point topology is not a separable space. We also show in a set model (the iterated perfect set model) that for every set of reals X, C(X) with the bi-point-open topology is a separable space.