Bases for Topologies

Contents

1. Recap
2. Bases

Recap

It occurred to me after I finished my last post on topological spaces that there is actually quite a lot I can already tell you about them. First I'm going to show a sort of stronger correspondence between the ideas of open sets in metric and topological spaces. Then I'm going to talk about bases for topologies. I believe I've mentioned these before, but now I'm finally ready to define them.

Recall that in a metric space, a set $U$ is open if every point $x\in U$ is at the center of some open ball which is itself a subset of $U$.

Recall also that in a topological space, the open sets are required to include the empty set and the space itself, the union of any number of open sets, and the intersection of any finite number of open sets.

Let's see if we can get the definition of open sets in topological spaces to look a little bit more like the definition in metric spaces. First, we'll need the following lemma. It's a bit obvious, but useful enough to have a name.

Union Lemma. Suppose $X$ is a set and $\cal T$ is a collection of subsets of $X$. If every $x\in X$ is contained in some set $U_x\in\cal T$ then $X=\bigcup\limits_{x\in X}U_x$.

Proof. To show that these two sets are equal, it suffices to show that each is a subset of the other.

Since every set $U_x$ is a subset of $X$, it must be that their union, $\bigcup\limits_{x\in X}U_x$ is a subset of $X$.

Next, suppose $y\in X$. Then by hypothesis there exists $U_y\in\cal T$ for which $y\in U_y$. Thus, $y\in U_y\subseteq\bigcup\limits_{x\in X}U_x$. It follows that $X$ is a subset of $\bigcup\limits_{x\in X}U_x$, completing the proof.

Just from the letters I chose to represent the sets in the statement of this lemma, it should be somewhat obvious where I'm going with this. Think of $X$ as a topological space, $\cal T$ as a topology on $X$, and each $U_x\in\cal T$ as a neighborhood of each point $x\in X$. (Recall that a neighborhood of a point is any open set containing that point, and that I've likened them to open balls in the past.)

Now let's do what I promised earlier^[1].

Theorem. A subset $V$ of a topological space $X$ is open if and only if every point $x\in V$ has a neighborhood $U_x$ such that $U_x\subseteq V$.

Proof. Suppose first that $V$ is open. Then the set $V$ itself is a neighborhood of every $x\in V$, so choosing each $U_x=V$ will suffice.

Suppose next that every point $x\in V$ has a neighborhood $U_x$ such that $U_x\subseteq V$. Then by the union lemma, $v=\bigcup\limits_{x\in V}U_x$, which is open because it is the union of open sets.

That looks a lot like the definition of openness in a metric space, doesn't it? This analogous definition of open sets in topological spaces says that a set $V$ is open if every point in the set is contained in an open set which is itself a subset of $V$.

Since metric spaces are topological spaces (when equipped with the proper topology, of course (the one that's induced by the metric (I wonder how many nested parenthetical statements I can get away with?))) we can use this new concept of openness in metric spaces too! That means we are no longer restricted to open balls centered at a point.

Bases

Now I'm going to talk about the idea of a basis for a topological space. Essentially, a basis is a 'small' collection of open sets from which every open set can be easily generated. It is often useful to talk about the topology generated by a specific basis, since many facts about a topology can be gleaned by studying one of its bases.

Definition. A basis $\cal B$ for a topology on a set $X$ is a collection of open sets (called basis elements with the following two properties:

1. Every point in $X$ is contained in some basis element $B\in\cal B$.
2. If two basis elements $B_1, B_2\in\cal B$ are not disjoint, then for each $x\in B_1\cap B_2$ there is another basis element $B_x\subseteq B_1\cap B_2$ for which $x\in B_x$.

The first condition is self-evident. The second condition just means that if two basis elements intersect, then for every point in their intersection there is another basis element containing that point which is itself contained in their intersection.

It isn't too hard to see how such a collection generates a topology:

Definition. The topology generated by the basis $\cal B$ is defined as follows:

1. The empty set is, of course, open.
2. The union of any collection of sets in $\cal B$ is open.

We need to verify that the topology generated by a basis is, in fact, a topology. Otherwise we'd be in a world of trouble, and we'd have some nerve calling it that. To do so, we're going to need another lemma:

Basis Intersection Lemma. Let $\cal B$ be a basis for a topology on $X$, let $B_1, B_2, \dotsc, B_n\in\cal B$ and suppose that $x\in\bigcap\limits_{i=1}^n B_i$. Then there also exists $B_x\in\cal B$ such that $x\in B_x\subseteq\bigcap\limits_{i=1}^n B_i$.

Proof. We proceed by induction on $n$. The base case, $n=2$, holds by the definition of a basis.

Suppose then that the lemma holds for $n-1$, where $n>2$. That is, if $B_1, B_2, \dotsc, B_n\in\cal B$ then there exists $B_x\in\cal B$ such that $x\in B_x\subseteq\bigcap\limits_{i=1}^{n-1}B_i$. Suppose that $x\in\bigcap\limits_{i=1}^n=\bigcap\limits_{i=1}^{n-1}\cap B_n$. Then $x\in B_x$ and $x\in B_n$, so from the definition of a basis it it follows that there exists $B'_x\in\cal B$ for which $x\in B'_x\subseteq\bigcap\limits_{i=1}^n$, as desired. This completes the proof.

We now have all the tools we need to prove that a basis actually generates a topology!

Theorem. Given a set $X$, the topology generated by a basis $\cal B$ is a topology on $X$.

Proof. First notice that the empty set is open by definition, and the set $X$ is open by the union lemma since every point in $X$ is required to be in some basis element.

Next, let $I$ be an indexing set such that $A_i\subseteq X$ is open for each $i\in I$. Define $U=\bigcup\limits_{i\in I}A_i$. Each set $A_i$ is either empty or the union of some collection of basis elements, so it is open. Thus, $U$ is open since it is the union of open sets.

Finally, let $A_1, A_2, \dotsc, A_n$ be open sets for some $n\in\mathbb{N}$ and define $I=\bigcap\limits_{i=1}^n A_i$. If any $A_i$ is empty then so is $I$, and thus it is open. Suppose then that $I$ is nonempty, and let $x\in I$ so that $x\in A_i$ for each $i$. Since each $A_i$ is the union of basis elements, there exists $B_i\in\cal B$ such that $x\in B_i\subseteq A_i$ for each $i$. Thus, $x\in\bigcap\limits_{i=1}^n B_i$, so by the basis intersection lemma there exists $B_x\in\cal B$ such that $x\in B_x\subseteq\bigcap\limits_{i=1}^n B_i\subseteq V$. By the union lemma, $V=\bigcup\limits_{x\in I} B_x$. This is open since it is the union of basis elements, completing the proof.

Woah. That proof was long and boring. What was even the point of all that again? Well, now we can be verify that a collection of subsets is a basis for a topology and immediately talk about the topology it generates without having to prove that it really is a topology each and every time. Looking at a space in terms of a basis for that space can also simplify our talk of open sets quite a bit, as in the following theorem.

Theorem. Let $X$ denote a topological space generated by a basis $\cal B$. A set $U\subseteq X$ is open if and only if for each $x\in U$ there is some basis element $B_x\in\cal B$ for which $x\in B_x\subseteq U$.

Proof. Suppose first that $U\subseteq X$ is open. Then $U$ is the union of some collection of basis elements, so for each $x\in U$ there exists at least one $B_x\in\cal B$ for which $x\in B_x\subseteq U$.

Suppose next that for each $x\in U$ there is some $B_x\in\cal B$ for which $x\in B_x\subseteq U$. Then by the union lemma we have that $U=\bigcup\limits_{x\in U} B_x$, which is open since it is the union of basis elements.

This is the ultimate relationship between open sets in metric and topological spaces. In fact, if we take open balls in the metric as the basis elements of a topology, we have precisely the same definition for each. Let's actually make sure that the open balls in a metric space form a basis.

Theorem. In a metric space $X$ with metric $d:X\times X\to\mathbb{R}$, the set of open balls $\{B(x,r)\subseteq X\mid x\in X,r>0\}$ is a basis for a topology on $X$.

Proof. The first condition for a basis is clearly satisfied, since for any $x\in X$ we have that $x\in B(x,r)$ for any $r>0$. For the next part, here's a diagram to help you visualize my argument, because I know how much you love my diagrams:

I've practically already proved that second condition already in my first post on metric spaces. Suppose that $a,b\in X$ and $B(a,r_a)\cap B(b,r_b)\neq\varnothing$ for some real numbers $r_a, r_b >0$. If $x\in B(a,r_a)\cap B(b,r_b)$ then $x\in B(a,r_a)$ and $x\in B(b,r_b)$ by the definition of set intersection. We already know that there exist real numbers $r_1, r_2>0$ for which $B(x,r_1)\subseteq B(a,r_a)$ and $B(x,r_2)\subseteq B(b,r_b)$ Simply choosing the smaller of these open balls, $B(x,r)$ with $r=\min\{r_1,r_2\}$, yields a basis element containing $x$ which is contained entirely in the intersection.

It's important to realize that this is a proof that the open balls in any metric space are the basis for a topology on that space. We call this topology the topology induced by a metric. It is clear that this topology on $\mathbb{R}^n$ is the standard topology, and any open set in $\mathbb{R}^n$ is thus the union of some collection of open balls. I talked about this a few posts ago, but now I'm actually justified in claiming it.

Can you show that in $\mathbb{R}^2$, the set of open rectangles of the form

$$\{(x,y)\in\mathbb{R}^2\mid x\in (a,b), y\in (c,d)\},$$

where $a,b,c,d\in\mathbb{R}$, is the basis for a topology on $\mathbb{R}^2$? It's really not terribly difficult, and drawing a picture of the situation is practically a proof in itself. It can be shown that this basis also generates the standard topology on $\mathbb{R}^2$, although this is a bit more work.

In closing, several metrics can induce the same topology on a space. However, not every topology is induced by some metric! We say that a topology on $X$ is metrizable if there exists a metric on $X$ which induces that topology. I may talk about this in the future, but I don't personally find this topic too interesting.

In my next post, I'm going to do what I promised to do in my last post. That is, I'll introduce some more important definitions in metric spaces, and hopefully it won't be as long and boring as this post was.