Every subspace of $\mathbb{R}$ with the lower limit topology is separable

Question

Let us consider the lower limit topology $τ=\{G⊂R: (∀x∈G)(∃ϵ>0)([x,x+ϵ)⊂G)\}$ on $\mathbb{R}$. I am trying to show that any subspace of $(\mathbb{R},τ)$ is separable, but couldn't find the countable subset in a subspace $X$ of $\mathbb{R}$ which is dense. Any hint will be appreciated.

Answer 1

First, to show that a subspace $ \newcommand{\clrl}{\mathrm{cl}_{\mathbb{R}}} \newcommand{\clsl}{\mathrm{cl}_{\text{S}}} Y$ of a topological space $X$ is separable, it suffices to find a countable $A \subseteq Y$ such that $\overline{A} = \overline{Y}$ (and actually, $\overline{A} \supseteq Y$ will suffice).

(The idea presented below is not entirely dissimilar to the ideas in this previous answer of mine.)

I'll let $\clrl$ and $\clsl$ denote the closure operators on the real line (usual metric topology) and the lower-limit topology, respectively. Since the lower-limit topology is finer than the metric topology, then $\clrl ( A ) \supseteq \clsl ( A )$ for any $A \subseteq \mathbb{R}$.

Lemma: For any $A \subseteq \mathbb{R}$ the difference $\clrl ( A ) \setminus \clsl ( A )$ is countable.

proof outline. Given $x \in \clrl ( A ) \setminus \clsl ( A )$ there must be a $b_x > x$ such that $[ x , b_x ) \cap A = \varnothing$. We can show that $[x,b_x) \cap [y,b_y) = \varnothing$ for distinct $x , y \in \clrl (A) \setminus \clsl (A)$. Thus $\{ [ x , b_x ) : x \in \clrl ( A ) \setminus \clsl ( A ) \}$ is a family of pairwise disjoint nonempty open sets in the lower-limit topology, and since the lower-limit topology is separable this family cannot be uncountable. $\dashv$

Given $Y \subseteq \mathbb{R}$, to show that $Y$ as a subspace of the lower-limit topology is separable we first note that since the real line is second-countable (and therefore hereditarily separable) there is a countable $A_0 \subseteq Y$ such that $\clrl ( A_0 ) = \clrl ( Y )$. By the lemma above $Y \setminus \clsl ( A_0 ) \subseteq \clrl ( A_0 ) \setminus \clsl ( A_0 )$ is countable, and so $A = A_0 \cup ( Y \setminus \clsl ( A_0 ) ) \subseteq Y$ is also countable. It is fairly straightforward to show that $\clsl (A) \supseteq Y$.