English

Countable spaces, realcompactness, and the pseudointersection number

General Topology 2024-11-20 v1 Logic

Abstract

All spaces are assumed to be Tychonoff. Given a realcompact space XX, we denote by Exp(X)\mathsf{Exp}(X) the smallest infinite cardinal κ\kappa such that XX is homeomorphic to a closed subspace of Rκ\mathbb{R}^\kappa. Our main result shows that, given a cardinal κ\kappa, the following conditions are equivalent: (1)(1) There exists a countable crowded space XX such that Exp(X)=κ\mathsf{Exp}(X)=\kappa, (2)(2) pκc\mathfrak{p}\leq\kappa\leq\mathfrak{c}. In fact, in the case dκc\mathfrak{d}\leq\kappa\leq\mathfrak{c}, every countable dense subspace of 2κ2^\kappa provides such an example. This will follow from our analysis of the pseudocharacter of countable subsets of products of first-countable spaces. Finally, we show that a scattered space of weight κ\kappa has pseudocharacter at most κ\kappa in any compactification. This will allow us to calculate Exp(X)\mathsf{Exp}(X) for an arbitrary (that is, not necessarily crowded) countable space.

Keywords

Cite

@article{arxiv.2310.17984,
  title  = {Countable spaces, realcompactness, and the pseudointersection number},
  author = {Claudio Agostini and Andrea Medini and Lyubomyr Zdomskyy},
  journal= {arXiv preprint arXiv:2310.17984},
  year   = {2024}
}

Comments

16 pages

R2 v1 2026-06-28T13:03:35.238Z