A Tychonoff space $X$ is defined to have *countable separation* if some (equivalently, any) compactification $bX$ of $X$ contains a countable family $\mathcal U$ of open sets such that for any points $x\in X$ and $y\in bX\setminus X$ there is a set $U\in\mathcal U$ containing exactly one point of the doubleton $\{x,y\}$. The class of spaces with countable separation is very rich: for every compact Hausdorff space $K$ the family of subspaces of $K$ having countable separation is a $\sigma$-algebra, closed under the Suslin $A$-operation. This notion was indroduced by Kenderov, Kortezov and Moors in 2001 (at least).

It can be shown that each metrizable space of density at most continuum has countable separation. On the other hand, by tranfinite induction it is possible to construct a metrizable space of density $\beth_\omega$ without countable separation (this follows from the fact that each Tychonoff space $(X,\tau)$ of cardinality $|X|\ge|\tau^\omega|>\mathfrak c$ contains a subspace $Y$ without countable separation).

Let us recall that $\beth_\omega=\sup_{n\in\omega}\beth_n$ where $\beth_0=\omega$ and $\beth_{n+1}=2^{\beth_n}$, so $\beth_\omega$ is rather large. The key property of the cardinal $\kappa=\beth_\omega$ in this context is that $|\kappa^\omega|=2^\kappa>\mathfrak c$.

**Question:** What is the smallest density of a metrizable space without countable separation? Can it be equal to $\mathfrak c^+$? Or it is always $\ge \aleph_\omega$?

It can be shown that every (complete) metric space $X$ of cardinality $|X|=\mathfrak c^+$ contains a subset $B\subset X$ such that for every uncountable Polish subspace $P$ of $X$ both sets $P\cap B$ and $P\setminus B$ are not empty. Such set $B$ will be called a *Bernstein set* in $X$.

**Question.** Can a Bernstein set $B$ in the Hilbert space $\ell_2(\mathfrak c^+)$ of density $\mathfrak c^+$ have countable separation?

A negative answer to the last question would follows from the affirmative answer to this problem.

2more comments