1
$\begingroup$

Show that rays of the form $(-\infty, a)$ and $(b, \infty)$ ; $a,b \in \mathbb R$, are a sub-basis for the topology generated by open intervals of $\mathbb R$ on $\mathbb R$?

I'd just like to know if I am correct.

Proof : Let $S$ be the sub-basis formed with the rays $(-\infty, a)$ and $(b, \infty)$. We have to check that the topology $T_{S}$ generated by the sub-basis $S$ is equal to the topology on $\mathbb{R}$. As $(-\infty, a) \cup ((-\infty, a)\cap(b, \infty)) \cup (b, \infty) = \mathbb{R} $ Then $S$ is a sub-basis for the topology on $\mathbb{R}$.

Am I right?

  • 0
    @MTH: That last line in that last comment is ill-formed. $B$ is an open interval, while the elements of $\mathbb R$ are *not* open intervals.2011-10-11

2 Answers 2

3

What you should check is the following:

Let's call the topology generated by the sets of the form $(a,b)$ $\mathcal T$.

Given $(a,b)$, with $a, then you immediately see $(a,b)=(-\infty,b)\cap (a,+\infty)\in \mathcal T_S$, since a topology is closed under finite intersection. Hence $\mathcal T_S$ contains the basis of $\mathcal T$, hence

$\mathcal T\subseteq\mathcal T_S.$

The other inclusion is as follows: write $(-\infty,a)=\bigcup_{n=0}^\infty(a-n-2,a-n)$ and $(b,+\infty)=\bigcup_{n=0}^\infty(b+n,b+n+2).$ In this way you immediately see that $\mathcal T$ contains a basis of $\mathcal T_S$ (topologies are closed under arbitrary unions) hence $\mathcal T_S\subseteq \mathcal T,$ and you are done.

2

Given a topological space $(X,\tau)$, we say that $\mathcal A$ is a sub-basis for $\tau$ if the finite intersections of elements from $\mathcal A$ form a basis for $\tau$.

That is to say, we want to show that every open set is a union of finite intersection of rays. It is sufficient to show that every open interval is such union of finite intersection of rays. Why? Since the union of open intervals forms the standard topology, so if we can create all open intervals we can create all the standard open sets.

And sure enough, given an interval $(a,b)$ we can write it as the intersection of $(-\infty,b)\cap(a,\infty)$.