English

A countable dense homogeneous topological vector space is a Baire space

General Topology 2023-09-28 v2

Abstract

We prove that every homogeneous countable dense homogeneous topological space containing a copy of the Cantor set is a Baire space. In particular, every countable dense homogeneous topological vector space is a Baire space. It follows that, for any nondiscrete metrizable space XX, the function space Cp(X)C_p(X) is not countable dense homogeneous. This answers a question posed recently by R. Hern\'andez-Guti\'errez. We also conclude that, for any infinite dimensional Banach space EE (dual Banach space EE^\ast), the space EE equipped with the weak topology (EE^\ast with the weak^\ast topology) is not countable dense homogeneous. We generalize some results of Hru\v{s}\'ak, Zamora Avil\'es, and Hern\'andez-Guti\'errez concerning countable dense homogeneous products.

Keywords

Cite

@article{arxiv.2002.07423,
  title  = {A countable dense homogeneous topological vector space is a Baire space},
  author = {Tadeusz Dobrowolski and Mikołaj Krupski and Witold Marciszewski},
  journal= {arXiv preprint arXiv:2002.07423},
  year   = {2023}
}

Comments

slightly modified and expanded version

R2 v1 2026-06-23T13:44:59.555Z