Bases and Subbases: Building Topologies from Small Pieces 🌍

students, imagine trying to describe every neighborhood in a city without listing them one by one. Instead, you give a smaller set of important locations and rules for combining them. In topology, a basis and a subbasis play exactly that role. They are efficient building blocks for a topology, helping us describe open sets in a compact and flexible way.

What you will learn

By the end of this lesson, students, you should be able to:

explain what a basis and a subbasis are,
recognize how they generate a topology,
check whether a collection of sets is a basis or subbasis,
use examples like open intervals on the real line,
connect these ideas to the larger study of generated topologies.

These ideas matter because many topologies are easiest to understand by starting with a small collection of sets and then generating all the open sets from them. That is a major theme in the topic of Bases and Generated Topologies.

Bases: the building blocks of open sets

A basis for a topology on a set $X$ is a collection of subsets of $X$ whose unions form the open sets of the topology. The basis itself does not have to contain every open set. Instead, it acts like a toolkit for assembling them.

To be a basis, a collection $\mathcal{B}$ must satisfy two key ideas:

For every point $x \in X$, there is some basis element $B \in \mathcal{B}$ such that $x \in B$.
If a point $x$ lies in the intersection of two basis elements $B_1$ and $B_2$, then there is another basis element $B_3$ such that $x \in B_3 \subseteq B_1 \cap B_2$.

These conditions ensure that the union of basis elements behaves like a topology. In particular, any union of sets from $\mathcal{B}$ is open, and every open set can be written as a union of basis elements.

Example: the usual topology on $\mathbb{R}$

A standard basis for the real line is the collection of all open intervals $(a,b)$ where $a < b$.

Why does this work?

Every real number $x$ is contained in many intervals, such as $(x-1,x+1)$.
If $x$ lies in the overlap of two open intervals, then a smaller open interval around $x$ fits inside the overlap.

For example, if $x \in (1,5) \cap (3,7)$, then $x \in (3,5)$? Not always, because that depends on where $x$ is. But for any specific point $x$ in the overlap, you can choose a smaller interval centered around $x$ that stays inside the overlap. This is exactly the kind of local control a basis gives.

This basis generates the usual topology on $\mathbb{R}$, where open sets are unions of open intervals.

How to recognize and use a basis

students, when you are given a family of sets and asked whether it is a basis, the important question is not “Are these all the open sets?” but “Can every open set be built from them?”

A helpful procedure is:

check that the family covers the whole space $X$,
check that overlaps can be refined by smaller basis elements,
then describe open sets as unions of basis elements.

Example: basis on the plane

In $\mathbb{R}^2$, open disks

\{(x,y) : (x-a)^2 + (y-b)^2 < r^2\}

form a basis for the usual topology.

This matches geometric intuition. If you stand at a point in the plane, you can always draw a small enough disk around that point that stays inside any open region containing it. That is why open disks work as basis elements.

Bases are especially useful because they let you describe complicated open sets through simple local pieces. A large irregular open region in the plane might be hard to name directly, but it can often be described as a union of disks.

Subbases: an even smaller starting point

A subbasis is a collection of subsets of $X$ that is not yet enough to be a basis by itself, but can be used to create one.

The rule is:

take finite intersections of subbasis elements to form a basis,
then take arbitrary unions of those basis elements to form the topology.

So a subbasis is a more basic starting collection than a basis. It may be smaller or easier to describe, but more work is needed before it becomes a topology.

If $\mathcal{S}$ is a subbasis, then the generated basis consists of all sets of the form

S_$1 \cap$ S_$2 \cap$ $\cdots$ $\cap$ S_n,

where each $S_i \in \mathcal{S}$ and $n$ is a positive integer. The topology generated by $\mathcal{S}$ is then the collection of all unions of these finite intersections.

Example: rays on $\mathbb{R}$

A common subbasis for the usual topology on $\mathbb{R}$ is the collection

\{(-$\infty$,a) : a $\in$ \mathbb{R}\} \cup \{(a,$\infty)$ : a $\in$ \mathbb{R}\}.

Why is this a subbasis?

Finite intersections of these rays give open intervals.
For example,

$(a,\infty) \cap (-\infty,b) = (a,b).$

Since open intervals form a basis for the usual topology, the subbasis generates the usual topology.

This is a powerful idea because sometimes rays are easier to work with than intervals. They also appear in order-related topologies and in more advanced constructions.

Generated topologies and the relationship between bases and subbases

The phrase generated topology means the smallest topology containing a given collection of sets.

There are two common ways to generate a topology:

from a basis, by taking all unions of basis elements,
from a subbasis, by first taking finite intersections and then unions.

This shows how bases and subbases fit into the broader topic of Bases and Generated Topologies. A basis is already close to the final topology. A subbasis is one step earlier, but still enough to determine the same final structure.

Why this matters

Different problems call for different starting points.

A basis is good when open sets have a clear local shape.
A subbasis is useful when the natural starting sets are simpler but less complete.

For example, in product topology, the standard subbasis often consists of sets that fix one coordinate inside an open set and leave the other coordinates unrestricted. From those subbasic sets, finite intersections produce rectangles, and unions of rectangles produce the full topology.

This is one reason topology is so flexible: the same final structure can be described from different kinds of initial data.

Comparing topologies using bases and subbases

Bases and subbases also help compare topologies. Suppose you have two topologies on the same set $X$, and you want to know which is finer or coarser.

A topology $\tau_1$ is finer than a topology $\tau_2$ if every set open in $\tau_2$ is also open in $\tau_1$. If $\mathcal{B}_1$ is a basis for $\tau_1$ and $\mathcal{B}_2$ is a basis for $\tau_2$, then comparing the basis elements can often reveal the relationship.

Example idea

If every basis element of $\tau_2$ can be written as a union of basis elements of $\tau_1$, then $\tau_1$ is at least as fine as $\tau_2$.

This comparison tool is useful in many settings:

the usual topology versus the lower limit topology on $\mathbb{R}$,
product topology versus box topology,
discrete topology versus familiar geometric topologies.

In each case, basis or subbasis descriptions give a concrete way to test how “many” open sets a topology has.

A clear workflow for students

When solving problems about bases and subbases, use this pattern:

Identify the candidate sets.
Decide whether they are meant to be a basis or a subbasis.
If it is a basis, check coverage and intersection refinement.
If it is a subbasis, form finite intersections first.
Then describe the topology as all unions of those intersections.

Short example

Let $X = \{1,2,3\}$ and consider the collection $\mathcal{S} = \{\{1,2\}, \{2,3\}\}$.

This is not yet a basis for a topology on $X$, because $\{1\}$ and $\{3\}$ are not directly available as basis elements.
But it can be viewed as a subbasis.
Finite intersections give

$\{1,2\} \cap \{2,3\} = \{2\}.$

Unions of these sets generate a topology containing $\varnothing$, $\{2\}$, $\{1,2\}$, $\{2,3\}$, and $X$.

This example shows the difference between starting with a basis and starting with a subbasis.

Conclusion

Bases and subbases are essential tools for building topologies in a manageable way. A basis gives the open sets directly as unions of its elements, while a subbasis requires one extra step: finite intersections first, then unions. Together, they explain how many familiar topologies are constructed, including the usual topology on $\mathbb{R}$ and more advanced topologies used throughout the subject.

For students, the main idea to remember is that topology often grows from small, carefully chosen pieces. By understanding bases and subbases, you gain a practical method for describing open sets, comparing topologies, and connecting local structure to the whole space.

Study Notes

A basis for a topology is a collection of sets whose unions are exactly the open sets.
Basis elements must cover the space, and overlaps must be refinable by smaller basis elements.
Open intervals $(a,b)$ form a basis for the usual topology on $\mathbb{R}$.
Open disks form a basis for the usual topology on $\mathbb{R}^2$.
A subbasis is a collection of sets whose finite intersections form a basis.
The topology generated by a subbasis is formed by taking unions of finite intersections of subbasis elements.
Rays like $(-\infty,a)$ and $(a,\infty)$ form a subbasis for the usual topology on $\mathbb{R}$.
Bases and subbases are tools for generating topologies from simpler starting sets.
They help compare topologies by showing which open sets can be built from which basic pieces.
This lesson connects directly to the broader topic of Bases and Generated Topologies.