AIMS Mathematics (May 2024)

Covering properties of $ C_{p}\left(Y|X\right) $

  • Juan C. Ferrando,
  • Manuel López-Pellicer,
  • Santiago Moll-López

DOI
https://doi.org/10.3934/math.2024862
Journal volume & issue
Vol. 9, no. 7
pp. 17743 – 17757

Abstract

Read online

Let $ X $ be an infinite Tychonoff space, and $ Y $ be a topological subspace of $ X $. In this paper, we study some covering properties of the subspace $ C_{p}\left(Y|X\right) $ of $ C_{p}\left(Y\right) $ consisting of those functions $ f\in C\left(Y\right) $ which admit a continuous extension to $ X $ equipped with the relative topology of $ C_{p}\left(Y\right) $. Among other results, we show that $ \left(i\right) $ $ C_{p}(Y|X) $ has a fundamental bounded resolution if and only if $ Y $ is countable; when $ X $ is realcompact and $ Y $ is closed in $ X $, we have $ \left(ii\right) $ if $ C_{p}(Y|X) $ admits a resolution of convex compact sets that swallows the local null sequences in $ C_{p}(Y|X) $, then $ Y $ is countable and discrete; $ \left(iii\right) $ if $ C_{p}(Y|X) $ admits a compact resolution that swallows the compact sets, then $ Y $ is also countable and discrete, and, as a corollary, we deduce that $ C_{p}(Y|X) $ admits a compact resolution that swallows the compact sets if and only if $ C_{p}(Y|X) $ is a Polish space. We also prove that $ \left(iv\right) $ for a metrizable space $ X $, $ C_{p}\left(X\right) $ is a quasi-$ \left(LB\right) $-space if and only if $ X $ is $ \sigma $-compact, and hence for a subspace $ Y $ of $ X $, the space $ C_{p}\left(Y|X\right) $ is a quasi-$ \left(LB\right) $-space. We include some examples and observations that answer natural questions raised in this paper.

Keywords