## 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.

[...] if we have a sequence of points in (we only need to consider sequences because metric spaces are sequential) that converges to , then the image of this sequence converges to [...]

Pingback by Multivariable Limits « The Unapologetic Mathematician | September 17, 2009 |

[...] This is a metric space, with a metric function defined by . This is nice because metric spaces are first-countable, and thus sequential. That is, we can define the topology of a (semi-)normed vector space by [...]

Pingback by Topological Vector Spaces, Normed Vector Spaces, and Banach Spaces « The Unapologetic Mathematician | May 12, 2010 |

[...] And so we write for the metric space consisting of the elements with . This has a distance function defined by . We also write for the metric associated with the measure algebra associated with the measure space . We say that a measure space or a measure algebra is “separable” if the associated metric space is separable. [...]

Pingback by The Metric Space of a Measure Ring « The Unapologetic Mathematician | August 6, 2010 |

[...] compact closure — the same is true of . We don’t however, know that is Hausdorff or second-countable, both of which we’ll [...]

Pingback by Atlases Refining Covers, part 1 « The Unapologetic Mathematician | March 10, 2011 |