Completeness properties of the pseudocompact-open topology on <Emphasis Type="Italic">C</Emphasis>(<Emphasis Type="Italic">X</Emphasis>)

This is a study of the completeness properties of the space C _ps (X) of continuous real-valued functions on a Tychonoff space X, where the function space has the pseudocompact-open topology. The properties range from complete metrizability to the Baire space property. Dedicated to Professor Robert A. McCoy     

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.     

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.     

A theorem of Riesz type with Pettis integrals in topological vector spaces

Let X be a locally convex Hausdorff space and let C₀(S,X) be the space of all continuous functions f:S→X, with compact support on the locally compact space S. In this paper we prove a Riesz representation theorem for a class of bounded operators T:C₀(S,X)→X, where the representing integrals are X-valued Pettis integrals with respect to bounded signed measures on S. Under the additional assumption that X is a locally convex space, having the convex compactness property, or either, X is a locally convex space whose dual X^′ is a barrelled space for an appropriate topology, we obtain a complete identification between all X-valued Pettis integrals on S and the bounded operators T:C₀(S,X)→X they represent. Finally we give two illustrations of the representation theorem proved, in the particular case when X is the topological dual of a locally convex space.     

Strict Topologies as Topological Algebras

Let X be a completely regular Hausdorff space, C_b(X) the space of all scalar-valued bounded continuous functions on X with strict topologies. We prove that these are locally convex topological algebras with jointly continuous multiplication. Also we find the necessary and sufficient conditions for these algebras to be locally m-convex.     

Weak selections and weak orderability of function spaces

It is proved that for a zero-dimensional space X, the function space C _p (X, 2) has a Vietoris continuous selection for its hyperspace of at most 2-point sets if and only if X is separable. This provides the complete affirmative solution to a question posed by Tamariz-Mascarúa. It is also obtained that for a strongly zero-dimensional metrizable space E, the function space C _p (X, E) is weakly orderable if and only if its hyperspace of at most 2-point sets has a Vietoris continuous selection. This provides a partial positive answer to a question posed by van Mill and Wattel.     

On quasi-Souslin C c (X) spaces

We prove that the space C _c (X) of the real-valued continuous functions with the compact-open topology is quasi-Souslin iff it is K-analytic. This implies that C _c (X) is K-analytic iff it is dominated by the irrationals. Partially supported by the project MTM2005-01182 of the Spanish Ministry of Education and Science, co-financed by the European Community (Feder projects).     

Nonexpansive selections of metric projections in spaces of continuous functions

A subset A of a metric space X is said to be a nonexpansive proximinal retract (NPR) of X if the metric projection from X to A admits a nonexpansive selection. We study the structure of NPR's in the space C(K) of continuous functions on a compact Hausdorff space K. The main results are a characterization of finite-codimensional and of finite-dimensional NPR subspaces of C(K) and a complete characterization of all NPR subsets of .     

Unbounded Disjointness Preserving Linear Functionals

Let X be a locally compact Hausdorff space and C ₀(X) the Banach space of continuous functions on X vanishing at infinity. In this paper, we shall study unbounded disjointness preserving linear functionals on C ₀(X). They arise from prime ideals of C ₀(X), and we translate it into the cozero set ideal setting. In particular, every unbounded disjointness preserving linear functional of c ₀ can be constructed explicitly through an ultrafilter on complementary to a cozero set ideal. This ultrafilter method can be extended to produce many, but in general not all, such functionals on C ₀(X) for arbitrary X. We also make some remarks where C ₀(X) is replaced by a non-commutative C*-algebra.     

Composition Operators and Vector-valued BMOA

Analytic composition operators are studied on X-valued versions of BMOA, the space of analytic functions on the unit disk that have bounded mean oscillation on the unit circle, where X is a complex Banach space. It is shown that if X is reflexive and C _φ is compact on BMOA, then C _φ is weakly compact on the X-valued space BMOA _C (X) defined in terms of Carleson measures. A related function-theoretic characterization is given of the compact composition operators on BMOA.     

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.     

A Simple Proof of the Borel Extension Theorem and Weak Compactness of Operators

Let T be a locally compact Hausdorff space and let C ₀(T) be the Banach space of all complex valued continuous functions vanishing at infinity in T, provided with the supremum norm. Let X be a quasicomplete locally convex Hausdorff space. A simple proof of the theorem on regular Borel extension of X-valued -additive Baire measures on T is given, which is more natural and direct than the existing ones. Using this result the integral representation and weak compactness of a continuous linear map u: C ₀(T) X when c ₀ X are obtained. The proof of the latter result is independent of the use of powerful results such as Theorem 6 of [6] or Theorem 3 (vii) of [13].     

Sum and intersection of summand ideals in C(X)

Summand sum property (SSP) and summand intersection property (SIP) of modules are studied in [8] and [15] respectively. In this paper we give some topological characterizations of these properties in C(X). It is shown that the ring C(X) has SIPif and only if every intersection of closed-open subsets of Xhas a closed interior. This characterization then shows that for a large class of topological spaces, such as locally connected spaces and extremally disconnected spaces, the ring C(X) has SIP. It is also shown that C(X) has SSPif and only if the space Xhas only finitely many components. Finally, using summand ideals of C(X), we will give several algebraic characterizations of some disconnected spaces.     

A Hilbert cube compactification of the function space with the compact-open topology

Let X be an infinite, locally connected, locally compact separable metrizable space. The space C(X) of real-valued continuous functions defined on X with the compact-open topology is a separable Fréchet space, so it is homeomorphic to the psuedo-interior s = (−1, 1)^ℕ of the Hilbert cube Q = [−1, 1]^ℕ. In this paper, generalizing the Sakai-Uehara’s result to the non-compact case, we construct a natural compactification $ \bar C $ \bar C (X) of C(X) such that the pair ($ \bar C $ \bar C (X), C(X)) is homeomorphic to (Q, s). In case X has no isolated points, this compactification $ \bar C $ \bar C (X) coincides with the space USCC _F (X,      

2-Summing operators on C([0, 1], lp) with values in l1

Let Ω be a compact Hausdorff space, X a Banach space, C(Ω, X) the Banach space of continuous X-valued functions on Ω under the uniform norm, U: C(Ω, X) → Y a bounded linear operator and U ^#, U _# two natural operators associated to U. For each 1 ≤ s < ∞, let the conditions (α) U ∈ Π _s (C(Ω, X), Y); (β)U ^# ∈ Π _s (C(Ω), Π _s (X, Y)); (γ) U _# ε Π _s (X, Π _s (C(Ω), Y)). A general result, [10, 13], asserts that (α) implies (β) and (γ). In this paper, in case s = 2, we give necessary and sufficient conditions that natural operators on C([0, 1], l _p ) with values in l ₁ satisfies (α), (β) and (γ), which show that the above implication is the best possible result.     

On A(X) → TC(X) for some X

Let X be a connected based space and p be a two-regular prime number. If the fundamental group of X has order p, we compute the two-primary homotopy groups of the homotopy fiber of the trace map A(X) → TC(X) relating algebraic K-theory of spaces to topological cyclic homology. The proof uses a theorem of Dundas and an explicit calculation of the cyclotomic trace map K(ℤ[C_p])→ TC(ℤ[C_p]).     

Multilinear Operators on C(K, X) Spaces

Given Banach spaces X, Yand a compact Hausdorff space K, we use polymeasures to give necessary conditions for a multilinear operator from C(K, X) into Yto be completely continuous (resp. unconditionally converging). We deduce necessary and sufficient conditions for Xto have the Schur property (resp. to contain no copy of c ₀), and for Kto be scattered. This extends results concerning linear operators.     

A Nagata-like theorem for certain function spaces

Let X be a space, and let A be a zero-dimensional topological ring. In this paper we will consider a few natural questions that arise when studying the space C _p (X, A), the ring of continuous functions from X to A, endowed with the topology of pointwise convergence. It will be shown that the zero-dimensionality of the codomain plays a vital role in this study. An upper and lower bound will be determined for the density of C _p (X, A) using the density of A and the weight of X. The character of C _p (X, A) will be computed, thus characterizing when C _p (X, A) is metrizable. Lastly, we will consider the topological dual space of C _p (X, A) and use it to prove a Nagata-like theorem.     

The Lindel?f number of Cp(X)×Cp(X) for strongly zero-dimensional X

We prove that if X is a strongly zero-dimensional space, then for every locally compact second-countable space M, C _p (X, M) is a continuous image of a closed subspace of C _p (X). It follows in particular, that for strongly zero-dimensional spaces X, the Lindel?f number of C _p (X)×C _p (X) coincides with the Lindel?f number of C _p (X). We also prove that l(C _p (X ⁿ )^κ) ≤ l(C _p (X)^κ) whenever κ is an infinite cardinal and X is a strongly zero-dimensional union of at most κcompact subspaces.     

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.