# Prove that $\mathbb{R}_l$ is not a second countable. ($\mathbb{R}_l$ are the real ones with the topology of the lower limit) [duplicate]

Prove that $\mathbb{R}_l$ is not a second countable. ($\mathbb{R}_l$ are the real ones with the topology of the lower limit)

I have tried to reason for the absurd and suppose that $\mathbb{R}_l$ has an countable basis but I can not find it, in that case any discrete subset of $\mathbb{R}_l$ would be countable, but I do not know how to find an countable base and if I find it I do not know how to find a discrete subset that is not countable.Could anyone help me, please? Thank you very much.

• Can you explain the notation? – ncmathsadist Nov 26 '17 at 23:45
• @ncmathsadist Yes, I already edited it. – user402543 Nov 26 '17 at 23:47

For those unfamiliar with $\mathbb{R}_{l}$ this is the space whose underlying set is (obviously) $\mathbb{R}$ and whose topology is generated by the sets $[a,b)$ where $a,b\in\mathbb{R}$ $a<b$.
Assume that $\mathcal{B}$ is a countable basis for $\mathbb{R}_{l}$. Then, given a point $x$ let $B_{x}\in\mathcal{B}$ be a basis element such that $x\in B_{x}\subseteq[x,x+1)$. Then if $x\neq y$ we have that $B_{x}\neq B_{y}$. Why? Because $\inf B_{x}=x$ and $\inf B_{y}=y$. From this we may deduce that $\mathcal{B}$ must be uncountable as there is an injective function from $\mathbb{R}_{l}$ to $\mathcal{B}$ defined by $x\mapsto B_{x}$.
• @ncmathsadist or traditionally “the Sorgenfrey line” $\mathbb{S}$. – Henno Brandsma Nov 27 '17 at 20:17