Skip to main content

Section Bases for Topologies

It can be difficult to completely describe the open sets in a topology. Instead, we can describe the topology using a collection of sets that generate the topology. For example, if \((X,d)\) is a metric space then the collection of open sets in \(X\) forms a topology on \(X\text{,}\) called the metric topology. We also saw that in a metric space, every open set in \(X\) is a union of open balls. For that reason we called the collection of open balls a basis for the open sets in \(X\text{.}\) We can do the same thing in any topological space. As a non-trivial example, an interesting topology defined on the positive integers is due to S.W. Golomb. One can use this topology to prove that there are infinitely many primes. This topology also makes the positive integers into a connected Hausdorff space (more on these concepts later). The Golomb topology is defined as follows. If \(a\) and \(b\) are coprime integers in \(\Z^+\) (that is, \(a\) and \(b\) have no common positive factors other than 1 so that the greatest common divisor of \(a\) and \(b\) is \(1\)), let
\begin{equation*} B_{a,b} = \{a+bn \mid n \geq 0\}\text{.} \end{equation*}
The collection of sets \(B_{a,b}\) is a basis for the Golomb topology, and the topological space \((\Z^+, \tau)\) is called the Golomb space. It is an exercise in number theory to prove that the sets \(B_{a,b}\) form a basis for a topology, so we will not go into the details.

Activity 12.3.

Let \(X = \{a,b,c,d\}\) and let \(\tau = \{\emptyset, \{a\}, \{b\}, \{a,b\}, \{c,d\}, \{a,c,d\}, \{b,c,d\},X)\text{.}\) You may assume that \(\tau\) is a topology on \(X\text{.}\) Explain why any nonempty open set in the topological space \((X, \tau)\) can be written in terms of arbitrary unions and finite intersections of \(\{a\}\text{,}\) \(\{b\}\text{,}\) and \(\{c,d\}\text{.}\)
Activity 12.3 shows that, just like the open balls in a metric space, a topology can have a collection of subsets whose unions make up all of the open sets in the topology. We do need to take a little care, though. A basis will generate the collection of open sets for a topology, so the basis sets we start with should themselves be open sets. In addition, every element in the topological space should be an element of one of the basis sets, and since the basis elements are to produce all of the open sets in the topology, every set in the topology (except the empty set) should be a union of sets in a basis. It also must be the case that we can ensure that any finite intersection of sets in the topology remains a set in the topology when we write the sets in the topology in terms of the sets in a basis. To make the last two conditions happen, we will see that it is enough to insist that for any point in the intersection of basis elements, there is another basis element in that intersection that contains the point. This is summarized in Theorem 12.2.
Before we prove Theorem 12.2, we will need to know one fact about the set \(\B\text{.}\)

Activity 12.4.

Let \(X\) be a set and \(\B\) a collection of subsets of \(X\) such that

(a)

For each \(x \in X\text{,}\) there is a set in \(\B\) that contains \(x\text{.}\)

(b)

If \(x \in X\) is an element of \(B_1 \cap B_2\) for some \(B_1, B_2 \in \B\text{,}\) then there is a set \(B_3 \in \B\) such that \(x \in B_3 \subseteq B_1 \cap B_2\text{.}\)
Let \(B_1\text{,}\) \(B_2\text{,}\) \(\ldots\text{,}\) \(B_n\) be in \(\B\text{.}\) Our goal in this activity is to extend property 2 and show that if \(x \in \bigcap_{1 \leq k \leq n} B_k\text{,}\) then there is a set \(B \in \B\) such that \(x \in B\) and \(B \subseteq \bigcap_{1 \leq k \leq n} B_k\text{.}\)
(i)
Since the statement we want to prove depends on a positive integer \(n\text{,}\) we will use mathematical induction. Explain why the \(n=1\) and \(n=2\) cases are true.
(ii)
What is the inductive hypothesis and what do we want to prove in the inductive step?
(iii)
Use the inductive hypothesis and condition 2 to complete the proof of the following lemma.
Now we can prove Theorem 12.2.

Proof.

Let \(X\) be a topological space, and let \(\B\) and \(\tau\) satisfy the given conditions. By definition, \(\emptyset \in \tau\text{.}\) For each \(x \in X\) there is a set \(B_x \in \B\) such that \(x \in B_x\text{.}\) Then \(X = \bigcup_{x \in X} B_x\text{,}\) and \(X \in \tau\text{.}\) To complete our proof that \(\tau\) is a topology on \(X\text{,}\) we need to demonstrate that \(\tau\) is closed under arbitrary unions and finite intersections. We first consider unions. Let \(\{U_{\alpha}\}\) be a collection of sets in \(\tau\) for \(\alpha\) in some indexing set \(I\text{.}\) By definition, each \(U_{\alpha}\) is empty or is a union of elements of \(\B\text{.}\) So either \(U = \bigcup_{\alpha \in I} U_{\alpha}\) is empty, or is a union of sets in \(\B\text{.}\) Thus, \(U \in \tau\) and \(\tau\) is closed under arbitrary unions.
Now we show that \(\tau\) is closed under finite intersections. Let \(n\) be a positive integer and let \(\{U_{k}\}\) a collection of sets in \(\tau\) for \(1 \leq k \leq n\text{.}\) Let \(U = U_1 \cap U_2 \cap \cdots \cap U_n\text{.}\) If \(U_k = \emptyset\) for any \(k\text{,}\) then \(U = \emptyset\) is in \(\tau\text{.}\) So suppose that \(U_k \neq \emptyset\) for each \(k\) between \(1\) and \(n\text{.}\) Let \(x \in U\text{.}\) Then \(x \in U_k\) for each \(k\text{.}\) For every \(m\) between \(1\) and \(n\text{,}\) the fact that \(U_m\) is a union of elements in \(\B\) implies that there exists \(B_m \subseteq U_m\) with \(x \in B_m\text{.}\) Thus, \(x \in \bigcap_{1 \leq m \leq n} B_m\text{.}\)
Lemma 12.3 shows that there is a set \(B_x \in \B\) such that \(x \in B_x\) and \(B_x \subseteq \bigcap_{1 \leq m \leq n} B_m \subseteq \bigcap_{1 \leq m \leq n} U_m = U\text{.}\) Since \(x\) is an arbitrary element of \(U\text{,}\) we must have \(U \subseteq \bigcup_{x \in U} B_x\text{.}\) But each \(B_x\) is subset of \(U\text{,}\) so \(\bigcup_{x \in U} B_x \subseteq U\text{.}\) It follows that
\begin{equation*} U = \bigcup_{x \in U} B_x \end{equation*}
and \(U \in \tau\text{.}\) Therefore, \(\tau\) is a topology on \(X\text{.}\)
Any collection \(\B\) of sets as given in Theorem 12.2 is given a special name.

Definition 12.4.

Let \(X\) be a set. A set \(\B\) is a basis for a topology (or just a basis) on \(X\) if
  1. For each \(x \in X\text{,}\) there is a set in \(\B\) that contains \(x\text{.}\)
  2. If \(x \in X\) is an element of \(B_1 \cap B_2\) for some \(B_1, B_2 \in \B\text{,}\) then there is a set \(B_3 \in \B\) such that \(x \in B_3 \subseteq B_1 \cap B_2\text{.}\)
The elements of a basis \(\B\) are called basis elements or the basic open sets. A basis for a topology on a set \(X\) defines a topology on \(X\) as shown in Theorem 12.2.
Note that because of property (1) of Definition 12.4, the union of the sets in the basis must contain \(X\text{.}\) In other words, the sets in a basis cover the space. The second property ensures that if a point is in the intersection of two basic open sets, then there is a smaller basic open set that contains \(x\text{.}\)

Definition 12.5.

Let \(\B\) be a basis for a topology on a set \(X\text{.}\) The topology \(\tau\) generated by \(\B\) contains the empty set and all arbitrary unions of basis elements.
When the topology for a space \(X\) is clear from the context, we also call a basis for the topology a basis for \(X\text{.}\)

Activity 12.5.

(a)

Let \(X=\{a,b,c,d,e,f\}\) and \(\tau= \{\emptyset, \{a\}, \{c,d\},\{a,c,d\}, \{b,c,d,e,f\}, X \}\text{.}\)
(i)
Is the set
\begin{equation*} \mathcal{B} = \{\{a\},\{a,c,d\} \} \end{equation*}
a basis for \(\tau\text{?}\) If not, add the smallest number of sets that you can to \(\mathcal{B}\) to make a basis for this topology.
(ii)
Is the set
\begin{equation*} \mathcal{B} = \{\{a\},\{c,d\},\{b,c,d,e,f\} \} \end{equation*}
a basis for \(\tau\text{?}\) If not, add the smallest number of sets that you can to \(\mathcal{B}\) to make a basis for this topology.

(b)

Let \(X=\{a,b,c\}\) and let \(X\) have the discrete topology (the topology consisting of all subsets of \(X\)). Is \(\mathcal{B} = \{\{a\},\{c\},\{a,b\},\{b,c\} \}\) a basis for \(\tau\) in the the discrete topology? If not, add the smallest number of sets that you can to \(\mathcal{B}\) to make a basis for this topology.

(c)

Find a basis for the discrete topology on any set \(X\text{.}\)