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     

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.     

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.     

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”.     

On c-realcompact spaces

Abstract

The c-realcompact spaces are fully studied and most of the important and well-known properties of realcompact spaces are extended to these spaces. For a zero-dimensional space X, the space υ₀X, which is the counterpart of υX, the Hewitt realcompactification of X, is introduced and studied. It is shown that υ₀X, which is the smallest c-realcompact space between X and β₀X, plays the same role (with respect to C_c(X)) as υX does in the context of C(X). It is proved for strongly zero-dimensional spaces, c-realcompact spaces, realcompact spaces and N-compact spaces coincide. In particular, if X is a strongly zero-dimensional space, then υX = υ₀X. It is obsesrved that a zero-dimensional space X is pseudocompact if and only if C_c(X) = C*_c(X), or equivalently if and only if υ₀X = β₀ X. In particular, a zero-dimensional pseudocompact space is compact if and only if it is c-realcompact. It is shown that Lindelöf spaces, subspaces of the one-point compactification (resp., Lindelöffication) of a discrete space with a nonmeasurable cardinal, are c-realcompact space. If X is a pseudocompact space, it is observed that C(X) = C_c(X) if and only if βX is scattered. Finally, the simplest possible proof (with reasoning) among the known proofs, of the well-known fact that discrete spaces of cardinality less than or equal to that of the continuum are realcompact, is given.     

Note on function spaces with the topology of pointwise convergence

The note contains two examples of function spaces C _p (X) endowed with the pointwise topology. The first example is C _p (M), M being a planar continuum, such that C _p (M) ^m is uniformly homeomorphic to C _p (M) ⁿ if and only if m = n. This strengthens earlier results concerning linear homeomorphisms. The second example is a non-Lindelöf function space C _p (X), where X is a monolithic perfectly normal compact space all linearly orderable closed subspaces of which are metrizable. This example is obtained under the additional set-theoretical axiom . This solves a problem of Arhangelskiĭ.     

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]).     

An Algebraic Characterization of Blumberg Spaces

Abstract

Let X be a topological space and let C(X) be the ring of continuous real-valued functions on X. We study T′(X) as an over-ring of C(X), where T′(X) denotes the set of all real-valued functions on X such that for each f ∈ T′(X) there exists a dense open subspace D of X such that f|D ∈ C(D). In this paper new algebraic characterizations of discrete spaces, open-hereditarily irresolvable spaces, and Blumberg spaces are obtained.     

Remarks on Linear Homeomorphisms of Function Spaces

It is proved that whenever X and Y are completely regular -spaces of pointwise countable type and the spaces C _p(X) and C _p(Y) of real-valued continuous functions on X and Y, respectively, endowed with the topology of pointwise convergence, are linearly homeomorphic, the X is locally compact iff Y is locally compact. This extends the McCoy and Ntantu result.     

The spaces Cp(X): decomposition into a countable union of bounded subspaces and completeness properties

A Tychonoff space X has to be finite if C_p(X) is σ-countably compact [23]. However, this is not true if only σ-pseudocompactness of C_p(X) is assumed. It is proved that C_p(X) is σ-pseudocompact iff X is pseudocompact and b-discrete. The technique developed yields an example showing that the theorem of Grothendieck [7] cannot be extended over the class of pseudocompact spaces. Some generalizations of the results of Lutzer and McCoy [9] are obtained. We establish also that ∏{C_p(X_t):tϵT} is a Baire space in case C_p(X_t) is Baire for each t ∈ T.     

Exact and explicit analytic solutions of an extended Jabotinsky functional differential equation

A Banach space X will be called extensible if every operator E → X from a subspace E ⊂ X can be extended to an operator X → X. Denote by dens X. The smallest cardinal of a subset of X whose linear span is dense in X, the space X will be called automorphic when for every subspace E ⊂ X every into isomorphism T: E → X for which dens X/E = dens X/TE can be extended to an automorphism X → X. Lindenstrauss and Rosenthal proved that c ₀ is automorphic and conjectured that c ₀ and ℓ₂ are the only separable automorphic spaces. Moreover, they ask about the extensible or automorphic character of c ₀(Γ), for Γ uncountable. That c ₀(Γ) is extensible was proved by Johnson and Zippin, and we prove here that it is automorphic and that, moreover, every automorphic space is extensible while the converse fails. We then study the local structure of extensible spaces, showing in particular that an infinite dimensional extensible space cannot contain uniformly complemented copies of ℓ _n ^p , 1 ≤ p < ∞, p ≠ 2. We derive that infinite dimensional spaces such as L _p (μ), p ≠ 2, C(K) spaces not isomorphic to c ₀ for K metric compact, subspaces of c ₀ which are not isomorphic to c ₀, the Gurarij space, Tsirelson spaces or the Argyros-Deliyanni HI space cannot be automorphic. The work of the first author has been supported in part by project MTM2004-02635     

The compact-open topology: A new perspective

This paper studies the compact-open topology on the set KC(X) of all real-valued functions defined on a Tychonoff space, which are continuous on compact subsets of X. In addition to metrizability, separability and second countability of this topology on KC(X), various kinds of topological properties of this topology are studied in detail. Actually the motivation for studying the compact-open topology on KC(X) lies in the attempt of having a simpler proof for the characterization of a completeness property of the compact-open topology on C(X), the set of all real-valued continuous functions on X.     

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.     

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.     

Special Uniform Approximations of Continuous Vector-Valued Functions. Part I: Special Approximations in CX(T)

In this paper, we give special uniform approximations of functions u from the spaces C_X(T) and C_∞(T,X), with elements of the tensor products C_Γ(T)X, respectively C₀(T,Γ)X, for a topological space T and a Γ-locally convex space X. We call an approximation special, if satisfies additional constraints, namely supp vu⁻¹(X\{0}) and (T) co(u(T)) (resp. co(u(T){0})). In Section 3, we give three distinct applications, which are due exactly to these constraints: a density result with respect to the inductive limit topology, a Tietze–Dugundji's type extension new theorem and a proof of Schauder–Tihonov's fixed point theorem.     

Images and Open Subspaces of SV Spaces

A topological space is finitely an F-space if its Stone–?ech compactification is a union of finitely many closed F-spaces and a space is SV if C(X) has the property that C(X)/P is a valuation domain for each prime ring ideal P of C(X). This article studies the images under open continuous functions and the open subspaces of spaces that are finitely an F-space or are SV. It is shown that an open continuous image of a compact space that is finitely an F-space is finitely an F-space and an open continuous image of certain SV spaces is SV. Also, it is shown cozerosets, but not necessarily open sets, of SV spaces are SV spaces and a similar situation holds for spaces that are finitely an F-space.     

p-Lattice Summing Operators

In this paper we study the spaces ∞_p(E, X) of p-lattice summing operators from a Banach space E to a Banach lattice X. The main results characterize those E and X for which Δ_p(E, X) = II_p(E, X) and we show that ∞(E, X)=Δ₂(E, X) for an infinite dimensional Banach lattice X of finite cotype if and only if E is isomorphic to a Hilbert space.     

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.     

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.