Cp(Y∣X)C_{p}\left( Y|X\right) denotes the real-valued continuous functions on Y⊆XY\subseteq X having continuous extensions to a Tychonoff space XX, with pointwise topology inherited from Cp(Y)C_{p}(Y). We recently proved Cp(Y)C_{p}(Y) is distinguished ⇔\Leftrightarrow it is a large subspace of RY\mathbb{R}^{Y}. We prove Cp(Y∣X)C_{p}\left( Y|X\right) is always a large subspace of Cp(Y)C_{p}(Y). Thus Cp(Y∣X)C_{p}\left( Y|X\right) is always quasibarrelled; always has a feral strong dual; has a quasibarrelled countable enlargement ⇔\Leftrightarrow YY is infinite; is distinguished ⇔\Leftrightarrow Cp(Y)C_{p}(Y) is distinguished; is a Montel space ⇔\Leftrightarrow YY is discrete and CC-embedded in XX. `Nice' countable covers for Cp(Y∣X)C_{p}\left( Y|X\right) yield potent summary theorems that solve open problems, characterize PP-spaces anew, and complete the list of Velichko variations. For example, Summary III: Assume YY is dense in XX. YY is a PP-space, or XX is pseudocompact, or both ⇔\Leftrightarrow Cp(Y∣X)C_{p}\left( Y|X\right) is countably covered by sets that are, respectively, relatively sequentially complete in Cp(Y)C_{p}(Y), or bounded, or both. Putting Y=XY=X, one quickly comprehends Velichko variations à la Arkhangel'skiĭ.

Contact details are reproduced from the original publication and may be historical.

Juan Carlos Ferrando

Centro de Investigación Operativa, Universidad Miguel Hernández, Elche, Spain

jc.ferrando@umh.es

Stephen A. Saxon

Dept. of Mathematics, University of Florida, Gainesville, U.S.A.

  1. A. V. Arkhangel’skiĭ: Topological Function Spaces, Kluwer, Dordrecht (1992).https://doi.org/10.1007/978-94-011-2598-7Google Scholar
  2. T. Banakh, J. Kąkol, J. P. Schürz: ω ω -base and infinite-dimensional compact sets in locally convex spaces, Rev. Mat. Complut. 35/2 (2022) 599–614.https://doi.org/10.1007/s13163-021-00397-9Google Scholar
  3. H. Buchwalter, J. Schmets: Sur quelques propriétés de l’espace Cs (T), J. Math. Pures Appl. 52 (1973) 337–352.Google Scholar
  4. J. C. Ferrando: Descriptive topology for analysts, RACSAM 114/2 (2020), art.no. 107, 34p.https://doi.org/10.1007/s13398-020-00837-zGoogle Scholar
  5. J. C. Ferrando: Approximation by pointwise bounded sets of continuous functions, Topology Appl. 317 (2022), art.no. 108191.https://doi.org/10.1016/j.topol.2022.108191Google Scholar
  6. J. C. Ferrando, J. Kąkol: Metrizable bounded sets in C(X) spaces and distinguished Cp (X) spaces, J. Convex Analysis 26 (2019) 1337–1346.https://doi.org/10.68381/jca26070Google Scholar
  7. J. C. Ferrando, J. Kąkol: Distinguished vector-valued function spaces and injective tensor products, Bull. Belg. Math. Soc. Simon Stevin 28 (2021) 709–721.https://doi.org/10.36045/j.bbms.210812Google Scholar
  8. J. C. Ferrando, J. Kąkol, A. Leiderman, S. A. Saxon: Distinguished Cp (X) spaces, RACSAM 115/1 (2021), art.no. 27, 18p.https://doi.org/10.1007/s13398-020-00967-4Google Scholar
  9. J. C. Ferrando, J. Kąkol, J., S. A. Saxon: Characterizing P -spaces X in terms of Cp (X), J. Convex Analysis 22 (2015) 905–915.https://doi.org/10.68381/jca22048Google Scholar
  10. J. C. Ferrando, J. Kąkol, S. A. Saxon: Examples of nondistinguished function spaces Cp (X), J. Convex Analysis 26 (2019) 1347–1348.https://doi.org/10.68381/jca26071Google Scholar
  11. J. C. Ferrando, S. A. Saxon: If not distinguished, is Cp (X) even close?, Proc. Amer. Math. Soc. 149 (2021) 2583–2596.https://doi.org/10.1090/proc/15439Google Scholar
  12. J. C. Ferrando, S. A. Saxon: Distinguished Cp (X) spaces and the strongest locally convex topology, RACSAM 117/4 (2023), art.no. 166, 20p.https://doi.org/10.1007/s13398-023-01498-4Google Scholar
  13. D. Gulick: Duality theory for the topology of simple convergence, J. Math. Pures Appl. 52 (1973) 453–472.Google Scholar
  14. A. Haydon: Three examples in the theory of spaces of continuous functions, C. R. Acad. Sci. Sér. A 276 (1973) 685–687.Google Scholar
  15. J. Kąkol, W. Kubiś, M. López-Pellicer: Descriptive Topology in Selected Topics of Functional Analysis, Springer, Berlin (2011).https://doi.org/10.1007/978-1-4614-0529-0Google Scholar
  16. J. Kąkol, A. Leiderman: A characterization of X for which spaces Cp (X) are distinguished and its applications, Proc. Amer. Math. Soc., Ser. B 8 (2021) 86–99.https://doi.org/10.1090/bproc/76Google Scholar
  17. J. Kąkol, A. Leiderman: Basic properties of X for which the space Cp (X) is distinguished, Proc. Amer. Math. Soc., Ser. B 8 (2021) 267–280.https://doi.org/10.1090/bproc/95Google Scholar
  18. J. Kąkol, A. Leiderman: On linear continuous operators between distinguished spaces Cp (X), RACSAM 115/4 (2021), art.no. 199, 11p.https://doi.org/10.1007/s13398-021-01121-4Google Scholar
  19. J. Kąkol, S. A. Saxon, A. R. Todd: Pseudocompact spaces X and df -spaces Cc (X), Proc. Amer. Math. Soc. 132 (2004) 1703–1712.https://doi.org/10.1090/S0002-9939-04-07279-XGoogle Scholar
  20. A. Leiderman, V. V. Tkachuk: Pseudocompact ∆-spaces are often scattered, Monatshefte f. Math. 197 (2022) 493–503.https://doi.org/10.1007/s00605-021-01628-3Google Scholar
  21. S. López-Alfonso, M. López-Pellicer, S. Moll-López: Distinguished property in tensor products and weak* dual spaces, Axioms 2021, 10(3), 151.https://doi.org/10.3390/axioms10030151Google Scholar
  22. P. Pérez Carreras, J. Bonet: Barrelled Locally Convex Spaces, North-Holland Mathematics Studies 131, North-Holland, Amsterdam (1987).Google Scholar
  23. R. Pol: Private communication (2022).Google Scholar
  24. I. Tweddle, S. A. Saxon: Bornological countable enlargements, Proc. Edinb. Math. Soc. 46 (2003) 35–44.https://doi.org/10.1017/S0013091501000591Google Scholar
  25. I. Tweddle, F. E. Yeomans: On the stability of barrelled topologies II, Glasgow Math. J. 21 (1980) 91–95.https://doi.org/10.1017/S0017089500004043Google Scholar

J. C. Ferrando, S. A. Saxon. “The Ever Large Subspace C_p(Y|X): Distinguished, Montel, Covered Nicely?.” Journal of Convex Analysis 33 (2026), No. 1&2, 361–375. https://doi.org/10.68381/jca33022