On complemented copies of the space c₀ in spaces C_p(X\times Y)

DOI10.1007/S11856-022-2334-2arXiv2007.14723MaRDI QIDQ6346089FDOQ6346089

Authors: Jerzy Kąkol, Witold Marciszewski, Damian Sobota, Lyubomyr Zdomskyy

Publication date: 29 July 2020

Abstract: Cembranos and Freniche proved that for every two infinite compact Hausdorff spaces

X

and

Y

the Banach space

C (X i m e s Y)

of continuous real-valued functions on

X i m e s Y

endowed with the supremum norm contains a complemented copy of the Banach space

c_{0}

. We extend this theorem to the class of

C_{p}

-spaces, that is, we prove that for all infinite Tychonoff spaces

X

and

Y

the space

C_{p} (X i m e s Y)

of continuous functions on

X i m e s Y

endowed with the pointwise topology contains either a complemented copy of

m a t h b b R^{o m e g a}

or a complemented copy of the space

(c_{0})_{p} = (x_{n})_{n i n o m e g a} i n m a t h b b R^{o} m e g a c o l o n x_{n} o 0

, both endowed with the product topology. We show that the latter case holds always when

X i m e s Y

is pseudocompact. On the other hand, assuming the Continuum Hypothesis (or even a weaker set-theoretic assumption), we provide an example of a pseudocompact space

X

such that

C_{p} (X i m e s X)

does not contain a complemented copy of

(c_{0})_{p}

. As a corollary to the first result, we show that for all infinite Tychonoff spaces

X

and

Y

the space

C_{p} (X i m e s Y)

is linearly homeomorphic to the space

C_{p} (X i m e s Y) i m e s m a t h b b R

, although, as proved earlier by Marciszewski, there exists an infinite compact space

X

such that

C_{p} (X)

cannot be mapped onto

C_{p} (X) i m e s m a t h b b R

by a continuous linear surjection. This provides a positive answer to a problem of Arkhangel'ski for spaces of the form

C_{p} (X i m e s Y)

. Another corollary asserts that for every infinite Tychonoff spaces

X

and

Y

the space

C_{k} (X i m e s Y)

of continuous functions on

X i m e s Y

endowed with the compact-open topology admits a quotient map onto a space isomorphic to one of the following three spaces:

m a t h b b R^{o} m e g a

,

(c_{0})_{p}

or

c_{0}

.

Mathematics Subject Classification ID

Topological linear spaces of continuous, differentiable or analytic functions (46E10) Function spaces in general topology (54C35)

This page was built for publication: On complemented copies of the space $c_0$ in spaces $C_p(X\times Y)$

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6346089)