1
$\begingroup$

We know that the class of open intervals $(a,b)$, where $a,b$ are rational numbers is a countable base for $\mathbb R$.

But, $[a,b]$ where $a,b$ are rational numbers does not produce a base for $\mathbb R$.

Can we say that any $(a,b)$ or $[a,b]$ where $a$ is rational number and $b$ is an irrational number produce a base for $\mathbb R$?

  • 0
    @Henno,Base for the standard topology on R.2012-12-24

2 Answers 2

2

I assume that when you say "a base for $\mathbb R$" you mean "a base for the standard topology on $\mathbb R$. With that, the answer to your question is no since $[a,b]$ is never an open set in the standard topology on $\mathbb R$.

If you also meant to ask whether the collection of all $(a,b)$ where $a$ is rational and $b$ is irrational forms a basis for the standard topology on $\mathbb R $ then the answer is yes.

0

I am not sure if this is related to your question at all, but we could say that the family $\{ [a,b]\ \colon a,b \in \mathbb R, a form a neighborhood basis at the point $c$ with respect to the Euclidean topology. This is saying that $c$ is in the interior of $U$ iff there is some closed interval of nonzero length such that $c \in [a,b] \subseteq U$. The notion of a neighborhood basis is different than a base for a topology but might lead to confusion.