Algebraic reflexivity of the isometry group of some spaces of Lipschitz functions

We show that the isometry groups of Lip(X,d) and lip(X,dα) with α∈(0,1), for a compact metric space (X,d), are algebraically reflexive. We also prove that the sets of isometric reflections and generalized bi-circular projections on such spaces are algebraically reflexive. In order to achieve this, we characterize generalized bi-circular projections on these spaces.     

Weakly K-analytic spaces and the three-space property for analyticity

Let (E,E^′) be a dual pair of vector spaces. The paper studies general conditions which allow to lift analyticity (or K-analyticity) from the weak topology σ(E,E^′) to stronger ones in the frame of (E,E^′). First we show that the Mackey dual of a space Cp(X) is analytic iff the space X is countable. This yields that for uncountable analytic spaces X the Mackey dual of Cp(X) is weakly analytic but not analytic. We show that the Mackey dual E of an (LF)-space of a sequence of reflexive separable Fréchet spaces with the Heinrich density condition is analytic, i.e. E is a continuous image of the Polish space NN. This extends a result of Valdivia. We show also that weakly quasi-Suslin locally convex Baire spaces are metrizable and complete (this extends a result of De Wilde and Sunyach). We provide however a large class of weakly analytic but not analytic metrizable separable Baire topological vector spaces (not locally convex!). This will be used to prove that analyticity is not a three-space property but we show that a metrizable topological vector space E is analytic if E contains a complete locally convex analytic subspace F such that the quotient E/F is analytic. Several questions, remarks and examples are included.     

On the existence of continuous (approximate) roots of algebraic equations

The present paper considers the existence of continuous roots of algebraic equations with coefficients being continuous functions defined on compact Hausdorff spaces. For a compact Hausdorff space X, C(X) denotes the Banach algebra of all continuous complex-valued functions on X with the sup norm ∥⋅_∥∞. The algebra C(X) is said to be algebraically closed if each monic algebraic equation with C(X) coefficients has a root in C(X). First we study a topological characterization of a first-countable compact (connected) Hausdorff space X such that C(X) is algebraically closed. The result has been obtained by Countryman Jr, Hatori-Miura and Miura-Niijima and we provide a simple proof for metrizable spaces.Also we consider continuous approximate roots of the equation zn−f=0 with respect to z, where f∈C(X), and provide a topological characterization of compact Hausdorff space X with dimX?1 such that the above equation has an approximate root in C(X) for each f∈C(X), in terms of the first ?ech cohomology of X.     

The range of a vector measure

Let X be a completely regular Hausdorff space and E be a locally convex Hausdorff space. Then C_b(X) ? E is dense in (C_b(X, E), β₀), (C_b(X), β) ?_?E = (C_b(X) ? E, β) and (C_b(X), β₁) ?_?E = (C_b(X) ? E, β₁). For a separable space E, (C_b(X, E), β₀) is separable if and only if X is separably submetrizable. As a corollary, for a locally compact paracompact space X, if (C_b(X, E), β₀) is separable, then X is metrizable.     

On the root closedness of continuous function algebras

For a compact Hausdorff space X, C(X) denotes the algebra of all complex-valued continuous functions on X. For a positive integer n, we say that C(X) is n-th root closed if, for each f∈C(X), there exists g∈C(X) such that f=gn. It is shown that, for each integer m?2, there exists a compact Hausdorff space Xm such that C(Xm) is m-th root closed, but not n-th root closed for each integer n relatively prime to m. This answers a question posed by Countryman Jr. [R.S. Countryman Jr., On the characterization of compact Hausdorff X for which C(X) is algebraically closed, Pacific J. Math. 20 (1967) 433-438] et al.     

Embeddings and frames of function spaces

For every Tychonoff space X we denote by Cp(X) the set of all continuous real-valued functions on X with the pointwise convergence topology, i.e., the topology of subspace of RX. A set P is a frame for the space Cp(X) if Cp(X)⊂P⊂RX. We prove that if Cp(X) embeds in a σ-compact space of countable tightness then X is countable. This shows that it is natural to study when Cp(X) has a frame of countable tightness with some compactness-like property. We prove, among other things, that if X is compact and the space Cp(X) has a Lindelöf frame of countable tightness then t(X)?ω. We give some generalizations of this result for the case of frames as well as for embeddings of Cp(X) in arbitrary spaces.     

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.     

Extension problems for accretive sets in Banach spaces

This paper contains both negative and positive results concerning the possibility of extending accretive sets in Banach spaces to m-accretive sets. On the one hand, it is shown that if a closed convex subset C of a reflexive strictly convex Banach space E is not a nonexpansive retract of E, then no accretive A such that clco(D(A)) = C can be extended to an m-accretive set B with D(B) ?C, and that if a non-Hilbert E is reflexive and smooth, then there is an accretive set A ?E × E which has no m-accretive extension. On the other hand, we establish positive results and then apply them to the study of the asymptotic behavior of nonlinear semigroups, the construction of zeros of accretive sets, and the characterization of invariant sets for nonlinear semigroups.     

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.     

Coincidence of the Isbell and fine Isbell topologies

Let C(X,Y) be the set of all continuous functions from a topological space X into a topological space Y. We find conditions on X that make the Isbell and fine Isbell topologies on C(X,Y) equal for all Y. For zero-dimensional spaces X, we show there is a space Z such that the coincidence of the Isbell and fine Isbell topologies on C(X,Z) implies the coincidence on C(X,Y) for all Y. We then consider the question of when the Isbell and fine Isbell topologies coincide on the set of continuous real-valued functions. Our results are similar to results established for consonant spaces.     

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.     

Remotality of Closed Bounded Convex Sets in Reflexive Spaces

Let X be a Banach space and E be a closed bounded subset of X. For x ? X, we define D(x, E) = sup{‖ x ? e‖:e ? E}. The set E is said to be remotal (in X) if, for every x ? X, there exists e ? E such that D(x, E) = ‖x ? e‖. The object of this paper is to characterize those reflexive Banach spaces in which every closed bounded convex set is remotal. Such a result enabled us to produce a convex closed and bounded set in a uniformly convex Banach space that is not remotal. Further, we characterize Banach spaces in which every bounded closed set is remotal.     

On spaces of p-adic vector measures

LetX be a Hausdorff zero-dimensional topological space,K(X) the algebra of all clopen subsets of X, E a Hausdorff locally convex space over a non-Archimedean valued field and C _b (X) the space of all bounded continuous -valued functions on X. The space M(K(X),E), of all bounded finitely-additive measures m: K(X) → E, is investigated. If we equip C _b (X) with the topologies β _o , β, β _u , τ _b or β _ob , it is shown that, for E (compete, the corresponding spaces of continuous linear operators from C _b (X) to E (are algebraically isomorphic to certain subspaces of M(K(X),E). The text was submitted by the author in English.     

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.     

Groups of homeomorphisms on C(X) and pointwise limits

This study looks at some subgroups of the group H(C(X)) of homeomorphisms on the space C(X) of continuous real-valued functions on a topological space X, where C(X) has the compact-open topology. The main result shows that, for certain spaces X, the subgroup of H(C(X)) generated by the algebraic and vertical homeomorphisms on C(X) is dense in H(C(X)) with the pointwise topology. Also, for X equal to the unit interval, a subgroup of H(C(X)) is developed using integration of the members of C(X), and this subgroup is used as an example and to illustrate certain properties that subgroups of H(C(X)) can have.     

Finitely locally finite coverings of Banach spaces

A well-known result due to H. Corson states that, for any covering τ by closed bounded convex subsets of any Banach space X containing an infinite-dimensional reflexive subspace, there exists a compact subset C of X that meets infinitely many members of τ. We strengthen this result proving that, even under the weaker assumption that X contains an infinite-dimensional separable dual space, an (algebraically) finite-dimensional compact set C with that property can always be found.     

A stability property for locally uniformly rotund renorming

It is proved that C(K,E) (the space of all continuous functions on a Hausdorff compact space K taking values in a Banach space E) admits an equivalent locally uniformly rotund norm if C(K) and E do so. Moreover, if the equivalent LUR norms on C(K) and E are lower semicontinuous with respect to some weak topologies, the LUR norm on C(K,E) can be chosen to be lower semicontinuous with respect to an appropriate weak topology. As a consequence we prove that if X and Y are two Hausdorff compacta and C(X), C(Y) admit equivalent (pointwise lower semicontinuous) LUR norms, then so does C(X×Y).     

Complementation and decompositions in some weakly Lindelöf Banach spaces

Let Γ denote an uncountable set. We consider the questions if a Banach space X of the form C(K) of a given class (1) has a complemented copy of c₀(Γ) or (2) for every c₀(Γ)⊆X has a complemented c₀(E) for an uncountable E⊆Γ or (3) has a decomposition X=A⊕B where both A and B are nonseparable. The results concern a superclass of the class of nonmetrizable Eberlein compacts, namely Ks such that C(K) is Lindelöf in the weak topology and we restrict our attention to Ks scattered of countable height. We show that the answers to all these questions for these C(K)s depend on additional combinatorial axioms which are independent of ZFC ± CH. If we assume the P-ideal dichotomy, for every c₀(Γ)⊆C(K) there is a complemented c₀(E) for an uncountable E⊆Γ, which yields the positive answer to the remaining questions. If we assume ♣, then we construct a nonseparable weakly Lindelöf C(K) for K of height ω+1 where every operator is of the form cI+S for c∈R and S with separable range and conclude from this that there are no decompositions as above which yields the negative answer to all the above questions. Since, in the case of a scattered compact K, the weak topology on C(K) and the pointwise convergence topology coincide on bounded sets, and so the Lindelöf properties of these two topologies are equivalent, many results concern also the space Cp(K).     

On the <Emphasis Type="Italic">σ</Emphasis>-countable compactness of spaces of continuous functions with the set-open topology

For a Tychonoff space X, we obtain a criterion of the σ-countable compactness of the space of continuous functions C(X) with the set-open topology. In particular, for the class of extremally disconnected spaces X, we prove that the space C _λ(X) is σ-countably compact if and only if X is a pseudocompact space, the set X(P) of all P-points of the space X is dense in X, and the family λ consists of finite subsets of the set X(P).     

Some upper bounds for density of function spaces

Let Cα(X,Y) be the set of all continuous functions from X to Y endowed with the set-open topology where α is a hereditarily closed, compact network on X which is closed under finite unions. We proved that the density of the space Cα(X,Y) is at most iw(X)⋅d(Y) where iw(X) denotes the i-weight of the Tychonoff space X, and d(Y) denotes the density of the space Y when Y is an equiconnected space with equiconnecting function Ψ, and Y has a base consists of Ψ-convex subsets of Y. We also prove that the equiconnectedness of the space Y cannot be replaced with pathwise connectedness of Y. In fact, it is shown that for each infinite cardinal κ, there is a pathwise connected space Y such that π-weight of Y is κ, but Souslin number of the space Ck([0,1],Y) is κ².