English

Complementability of separable spaces $\mathcal{C}(K)$ in Banach spaces

Functional Analysis 2026-03-16 v1

Abstract

For a metric compact space LL and a Banach space EE, we provide a characterization of the complementability of the Banach space C(L)\mathcal{C}(L) of continuous functions on LL inside EE in terms of the existence of a certain tree in the product E×EE \times E^*, based on new descriptions of the Banach spaces C([1,ωα])\mathcal{C}([1, \omega^{\alpha}]) for countable ordinal numbers α\alpha and C(2ω)\mathcal{C}(2^{\omega}). Applying this general result in the case where E=C(K)E=\mathcal{C}(K) for some compact space KK, we further obtain a characterization of the existence of a positively 11-complemented positively isometric copy of C(L)\mathcal{C}(L) inside C(K)\mathcal{C}(K) in terms of the topology of KK and the space of probability Radon measures on KK. In the process, we also prove a variant of the classical Holszty\'{n}ski theorem for isometric embeddings onto complemented subspaces.

Keywords

Cite

@article{arxiv.2603.12922,
  title  = {Complementability of separable spaces $\mathcal{C}(K)$ in Banach spaces},
  author = {Jakub Rondoš and Damian Sobota},
  journal= {arXiv preprint arXiv:2603.12922},
  year   = {2026}
}
R2 v1 2026-07-01T11:18:19.495Z