I can prove that $(a,b)$ where $a,b$ are rational numbers form a countable base for the topology on $\mathbb{R}$.
But, how to show that the collection $[a,b]$ where $a$ and $b$ are rational numbers, is not a base for a topology on $\mathbb{R}$?
I can prove that $(a,b)$ where $a,b$ are rational numbers form a countable base for the topology on $\mathbb{R}$.
But, how to show that the collection $[a,b]$ where $a$ and $b$ are rational numbers, is not a base for a topology on $\mathbb{R}$?
Note that to be a base for a topology on a set $X$, a collection $\mathcal{B}$ need only satisfy the following two conditions:
Now the collection $\mathcal{B}$ of closed intervals in $\mathbb{R}$ with rational endpoints clearly satisfies the first condition. As for the second condition, it depends on the details. If you allow degenerate intervals such as $[a,a] = \{ a \}$, then $\mathcal{B}$ will satisfy the second condition. If not, then it won't: consider $[ 0 , 1 ] \cap [ 1 , 2 ]$.
The collection you mention is a base for a topology on $\mathbb R$. It is a base for a topology different than the standard topology on $\mathbb R$ for which you described a countable basis. Since $[a,b]$ is not open in the standard topology these can't form a base for the standard topology.