Countability Axioms
Now I want to toss out a few assumptions that, if they happen to hold for a topological space, will often simplify our work. There are a lot of these, and the ones that I’ll mention I’ll dole out in small, related collections. Often we will impose one of these assumptions and then just work in the subcategory of of spaces satisfying them, so I’ll also say a few things about how these subcategories behave. Often this restriction to “nice” spaces will end up breaking some “nice” properties about
, and Grothendieck tells us that it’s often better to have a nice category with some bad objects than to have a bad category with only nice objects. Still, the restrictions can come in handy.
First I have to toss out the concept of a neighborhood base, which is for a neighborhood filter like a base for a topology. That is, a collection of neighborhoods of a point
is a base for the neighborhood filter
if for every neighborhood
there is some neighborhood
with
. Just like we saw for a base of a topology, we only need to check the definition of continuity at a point
on a neighborhood base at
.
Now we’ll say that a topological space is “first-countable” if each neighborhood filter has a countable base. That is, the sets in can be put into one-to-one correspondence with some subset of the natural numbers
. We can take this collection of sets in the order given by the natural numbers:
. Then we can define
,
, and in general
. This collection
will also be a countable base for the neighborhood filter, and it satisfies the extra property that
implies that
. From this point we will assume that our countable base is ordered like this.
Why does it simplify our lives to only have a countable neighborhood base at each point? One great fact is that a function from a first-countable space
will be continuous at
if each neighborhood
contains the image of some neighborhood
. But
must contain a set from our countable base, so we can just ask if there is an
with
.
We also picked the to nest inside of each other. Why? Well we know that if
isn’t continuous at
then we can construct a net
that converges to
but whose image doesn’t converge to
. But if we examine our proof of this fact, we can look only at the base
and construct a sequence that converges to
and whose image fails to converge to
. That is, a function from a first-countable space is continuous if and only if
for all sequences
, and sequences are a lot more intuitive than general nets. When this happens we say that a space is “sequential”, and so we have shown that every first-countable space is sequential.
Every subspace of a first-countable space is first-countable, as is every countable product. Thus the subcategory of consisting of first-countable spaces has all countable limits, or is “countably complete”. Disjoint unions of first-countable spaces are also first-countable, so we still have coproducts, but quotients of first-countable spaces may only be sequential. On the other hand, there are sequential spaces which are not first-countable whose subspaces are not even sequential, so we can’t just pass to the subcategory of sequential spaces to recover colimits.
A stronger condition than first-countability is second-countability. This says that not only does every neighborhood filter have a countable base, but that there is a countable base for the topology as a whole. Clearly given any point we can take the sets in our base which contain
and thus get a countable neighborhood base at that point, so any second-countable space is also first-countable, and thus sequential.
Another nice thing about second-countable spaces is that they are “separable”. That is, in a second-countable space there will be a countable subset
whose closure
is all of
. That is, given any point
there is a sequence
— we don’t need nets because
is sequential — so that
converges to
. That is, in some sense we can “approximate” points of
by sequences of points in
, and
itself has only countably many points.
The subcategory of all second-countable spaces is again countably complete, since subspaces and countable products of second-countable spaces are again second-countable. Again, we have coproducts, but not coequalizers since a quotient of a second-countable space may not be second-countable. However, if the map sends open sets in
to open sets in the quotient, then the quotient space is second-countable, so that’s not quite as bad as first-countability.
Second-countability (and sometimes first-countability) is a property that makes a number of constructions work out a lot more easily, and which doesn’t really break too much. It’s a very common assumption since pretty much every space an algebraic topologist or a differential geometer will think of is second-countable. However, as is usually the case with such things, “most” spaces are not second-countable. Still, it’s a common enough assumption that we will usually take it as read, making explicit those times when we don’t assume that a space is second-countable.