Vladimir V. Tkachuk
A nice subclass of functionally countable spaces

Comment.Math.Univ.Carolin. 59,3 (2018) 399-409.

Abstract:A space $X$ is {functionally countable} if $f(X)$ is countable for any continuous function $f\colon X \to {\mathbb{R}}$. We will call a space $X$ {exponentially separable} if for any countable family ${\mathcal{F}}$ of closed subsets of $X$, there exists a countable set $A\subset X$ such that $A\cap \bigcap {\mathcal{G}}\neq\emptyset$ whenever ${\mathcal{G}}\subset {\mathcal{F}}$ and $\bigcap {\mathcal{G}}\neq\emptyset$. Every exponentially separable space is functionally countable; we will show that for some nice classes of spaces exponential separability coincides with functional countability. We will also establish that the class of exponentially separable spaces has nice categorical properties: it is preserved by closed subspaces, countable unions and continuous images. Besides, it contains all Lindel\"of $P$-spaces as well as some wide classes of scattered spaces. In particular, if a scattered space is either Lindel\"of or ${\omega}$-bounded, then it is exponentially separable.

Keywords: countably compact space; Lindel\"of space; Lindel\"of $P$-space; functionally countable space; exponentially separable space; retraction; scattered space; extent; Sokolov space; weakly Sokolov space; function space

DOI: DOI 10.14712/1213-7243.2015.254
AMS Subject Classification: 54G12 54G10 54C35 54D65