Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I'm confused about subbases: the sub in the name suggests that a subbase $S$ is a subset of a base $B$ of a topology $T$.

Can there be a topology $T$ such that it is generated by a subbase that is not a subset of a given base $B$ that generates $T$?

The definitions are:

A subbase $S$ is a subset of a topology $T$ that generates $T$, i.e. $T$ is the smallest topology such that $S \subset T$.

A base $B$ is a subset of a topology $T$ that generates $T$ and such that every set in $T$ can be written as a union of elements in $B$.

Is this correct?

share|cite|improve this question
A subbase can always be enlarged to a basis for a topology, but that's not saying much since the topology $T$ is a basis for itself. – Grumpy Parsnip Apr 28 '12 at 16:41
Base, is basically an open cover of X. Any base of X union "an open set" again became a New base. A topology is itself a base. But it's always better to take smaller collection of open sets which cover X. Suppose we take all possible intersection of given base, it will be a Subbase. – Learner Feb 6 at 13:13
up vote 6 down vote accepted

Given a topology, there's typically lots of bases for the topology. For example, in $\mathbb{R}^2$ with the usual topology, open rectangles parallel to the axes are a base for the topology, but so are open disks or open triangles. These bases are all "compatible" in the sense that they generate the same topology, but of course they are different as subsets of the collection of open subsets of $\mathbb{R}^2$.

When you say that $S$ is a subbase, you typically have a particular base $B$ in mind. In the example above, open rectangles with width at least 10 are a subbase with respect to the base with all open rectangles (cause you can get all open rectangles by intersecting these). But they're not a subbase with respect to the base with all open circles, because they're not even a subset of that collection.

(EDIT - to be clear: I am making an ad hoc definition in the previous paragraph, saying that $S$ is a subbase "with respect to" $B$ if $S$ is contained in $B$.)

In practice, this distinction rarely matters. The point is that if I give you a random set $X$ and you want to put a topology on it, you can pick a collection $S$ of the subsets of $X$ and call those sets open. That won't be a topology, but it will generate one. In general $S$ will be a subbase with respect to some base $B$ of that topology, maybe you can explicitly describe $B$, or maybe you can't, depends what $S$ you chose.

share|cite|improve this answer
Thank you very much for this clear answer! This answers my question very very well! – Rudy the Reindeer Apr 28 '12 at 17:30

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.