What you have shown is that the collection of open intervals is a basis for some topology, but not that it is a basis for the standard topology on $\mathbb R$. If $X$ is a topological space, then we say that a collection $\mathcal B$ of open sets of $X$ is a basis (of open sets) for the topology if every open set in $X$ can be written as a union of open sets drawn from $\mathcal B$.
Equivalently, $\mathcal B$ is a basis if the open subsets of $X$ are precisely those sets $U$ such that for every $x\in U$ there exists $V\in\mathcal B$ such that $x\in V\subset U$.
Using the second version, it should be clear that the collection of open intervals in $\mathbb R$ is a basis for the standard topology.
Where do the two conditions you talked about come in? Well, if $X$ is a set, then it can be shown that a collection $\mathcal B\subset\mathcal P(X)$ of subsets of $X$ is a basis of open sets for some topology on $X$ if and only if it satisfies the two conditions you mentioned:
- For every $p\in X$, there is $V\in\mathcal B$ such that $x\in V$.
- For every $U,V\in\mathcal B$, and any $q\in U\cap V$, there is $W\in\mathcal B$ such that $q\in W\subset U\cap V$. Equivalently, $U\cap V$ can be written as the union of sets drawn from $\mathcal B$.
But the topology might not be the one you are interested in. For instance, the singleton collection $\{\mathbb R\}$ satisfies conditions (1) and (2) (for $X=\mathbb R$), and it is indeed a basis of open sets for a topology on $\mathbb R$ (the indiscrete topology), but it is not a basis for the standard topology. Similarly, $\mathbb P(\mathbb R)$ satisfies the conditions for a basis, but it is a basis for the discrete topology on $\mathbb R$, not the standard topology. Finally, the collection $\mathcal B$ of all half-open intervals $[x, y)$ satisfies (1) and (2), but it is a basis for the half-open interval topology, which is not the same as the standard topology (indeed, $[0,1)$ is not open in the standard topology).
It's a good idea to work through the proofs of the claims I have made. Namely, that:
- Show that the two versions of a definition of a basis for a topology given above are equivalent.
- If $X$ is a topological space, and $\mathcal B$ is a basis of open sets for the topology on $X$, show that $\mathcal B$ satisfies (1) and (2).
- If $X$ is a set, and $\mathcal B\subset\mathcal P(X)$ satisfies (1) and (2), show that the collection of all unions of sets contained in $\mathcal B$ is a topology on $X$.
Let us know if you have any trouble with those.
Best Answer
As they told you in the comments, open discs form a basis for the euclidean topology in $\Bbb R^2$ by definition, since open sets in that topology are defined to be the union of open discs.
A basis $\mathcal B$ in a topological space $(X,\tau)$ is a collection $\mathcal B$ of open sets for the topology of $\tau$, $\mathcal B\subseteq\mathcal P(X)$, such that every element of the topology (every open set) can be expressed as a union of elements of the basis. Since this is the definition of basis, and the open sets of the euclidean topology of $\Bbb R^2$ are the union of open discs, it follows trivially that open discs form a basis.
There is an equivalent definition for basis, the local definition of basis: a basis is a collection $\mathcal B\subseteq\mathcal P(X)$ of open sets such that given any open set $U$ of the topology, and given any element $x\in U$, there is an element of the basis $B\in\mathcal B$ such that $x\in B\subseteq U$, this is, $B$ contains $x$, but it remains enclosed in $U$. As I said, the two definitions are equivalent. It would be a good exercise to prove this.
Now, it remains trivial that open discs form a basis in the euclidean topology of $\Bbb R^2$, since every open set $U$ was the union of open discs, so for any $x\in U$ there is an open disc from that union containing $x$ that's enclosed in $U$ (since all the union was $U$).
If closed discs formed a basis, they would be open sets, so their finite intersection woulb be open sets too. But you could take two closed discs in $\Bbb R^2$ touching the other one in exactly one point, for example the closed discs with radii 1 centered at $(0,0)$ and $(0,2)$; but then the intersection would be that point, so that point should be an open set, although there is no way you can express a point a union of open discs. Then we can't have the closed discs as a basis for the euclidean topology in $\Bbb R^2$.