### ${\aleph}_{0}$-spaces and images of separable metric spaces.

Skip to main content (access key 's'),
Skip to navigation (access key 'n'),
Accessibility information (access key '0')

A space $X$ is functionally countable if $f\left(X\right)$ is countable for any continuous function $f: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}\ne \varnothing $ whenever $\mathcal{G}\subset \mathcal{F}$ and $\bigcap \mathcal{G}\ne \varnothing $. 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...

We examine when a space $X$ has a zero set universal parametrised by a metrisable space of minimal weight and show that this depends on the $\sigma $-weight of $X$ when $X$ is perfectly normal. We also show that if $Y$ parametrises a zero set universal for $X$ then $hL\left({X}^{n}\right)\le hd\left(Y\right)$ for all $n\in \mathbb{N}$. We construct zero set universals that have nice properties (such as separability or ccc) in the case where the space has a $K$-coarser topology. Examples are given including an $S$ space with zero set universal parametrised by an $L$ space (and...

A subset $A$ of a metric space $(X,d)$ is central iff for every Katětov map $f:X\to \mathbb{R}$ upper bounded by the diameter of $X$ and any finite subset $B$ of $X$ there is $x\in X$ such that $f\left(a\right)=d(x,a)$ for each $a\in A\cup B$. Central subsets of the Urysohn universal space $\mathbb{U}$ (see introduction) are studied. It is proved that a metric space $X$ is isometrically embeddable into $\mathbb{U}$ as a central set iff $X$ has the collinearity property. The Katětov maps of the real line are characterized.

A space $X$ is functionally countable (FC) if for every continuous $f:X\to \mathbb{R}$, $\left|f\right(X\left)\right|\le \omega $. The class of FC spaces includes ordinals, some trees, compact scattered spaces, Lindelöf P-spaces, $\sigma $-products in ${2}^{\kappa}$, and some L-spaces. We consider the following three versions of functional separability: $X$ is 1-FS if it has a dense FC subspace; $X$ is 2-FS if there is a dense subspace $Y\subset X$ such that for every continuous $f:X\to \mathbb{R}$, $\left|f\right(Y\left)\right|\le \omega $; $X$ is 3-FS if for every continuous $f:X\to \mathbb{R}$, there is a dense subspace $Y\subset X$ such that $\left|f\right(Y\left)\right|\le \omega $. We give examples distinguishing...

The classical Erdös spaces are obtained as the subspaces of real separable Hilbert space consisting of the points with all coordinates rational or all coordinates irrational, respectively. One can create variations by specifying in which set each coordinate is allowed to vary. We investigate the homogeneity of the resulting subspaces. Our two main results are: in case all coordinates are allowed to vary in the same set the subspace need not be homogeneous, and by specifying different sets for different...