$\mathbb{R}_{\ell}$ is not second countable

259 Views Asked by At

For each $x\in \mathbb{R}_{\ell}$, there exist $r_1,r_2$ rational numbers such that $r_1<x<r_2$. Then take $\cal{B}=\{[r_1,r_2):r_1<x<r_2,x\in \mathbb{R}_{\ell}\}$.

Then, for each $x\in\mathbb{R}_{\ell}$, there exists a $B\in\cal{B}$ such that $x\in B$.

Also for $B_1,B_2\in \cal{B}$ (say, $B_1=[r_1,r_2)$ and $B_2=[r_3,r_4)$), if WLOG $r_1<r_2\le r_3<r_4$, then $B_1\cap B_2=\emptyset$ and if $r_1<r_3<r_2<r_4$, then $B_1\cap B_2=[r_3,r_2)$, which is also in $\cal{B}$.

Thus $\cal{B}$ satisfies all the properties of a basis of a topology. Since $\cal{B}$ is countable, $\mathbb{R}_{\ell}$ is second countable.

I cannot understand why it is not a basis for $\mathbb{R}_{\ell}$?

1

There are 1 best solutions below

4
On BEST ANSWER

A set like $A=[\sqrt2,1+\sqrt2)$ is open in the lower-limit topology, but isn't a union of sets $[a,b)$ with $a$, $b$ rational. So $\mathcal{B}$ isn't a basis for $\Bbb R_l$.