Atlases Refining Covers, part 1
A bit late, but at least I got it up today!
Our first step in finding partitions of unity subordinate to a given cover is actually to set up a nice atlas.
We want a countable differentiable atlas where the collection is a locally finite refinement of the cover . Locally finite we just covered yesterday; recall that being a refinement means that each is contained in some .
Getting more technical, we will also require that the image is — the open ball of radius centered at the origin. That is, consists of exactly those vectors with length strictly less than . Further, we will define to be the inverse image of the ball of radius , and we will require that the collection is also a cover of the manifold .
Now, in order to pull this off, we actually need to add some technical restrictions to our definition of a manifold. Since is locally homeomorphic to , and is locally compact — each point has some open neighborhood with compact closure — the same is true of . We don’t however, know that is Hausdorff or second-countable, both of which we’ll need.
I want to give some counterexamples, showing how these conditions can fail, and why the pathologies they prevent don’t adhere to our intuitive notion of “manifold”. Luckily, both of them are one-dimensional, so they aren’t impossible to visualize.
First, we have the line with a doubled origin. Take two real lines and glue them together by identifying each nonzero number on each line with the corresponding nonzero number on the other line. But do not identify the two zeroes. What’s left is one line, but it has two zero points “on top of each other”. Every nonzero number clearly has a nice open neighborhood that looks just like a regular interval — just stay away from the zero points — and we can also set up patches that look like the interval , one containing each of the two zeroes. These last patches are still open, and so every point has an open neighborhood homeomorphic to an interval.
But this space is not Hausdorff! Any two open sets, each containing one of the zeroes, must intersect, and yet these two points are not the same. If the doubled portion were an interval, we’d see the line fork in half on either side of the doubled section, and the forking point would clearly not have any neighborhood that looked like an interval, and so it would clearly not be a manifold. But when we shrink down and only double a point, there is no “forking point”, and we can’t use that to rule this case out. So instead we say that manifolds must be Hausdorff.
The other pathological example is the “closed long ray”. This is less obviously pathological, and second-countability is mainly around so that we can get countable sequences and series and such to make our lives easier down the road. Anyhow, to get our hands on it is sort of technical. We start with the half-open interval and the “first uncountable ordinal” . Actually, any uncountable well-ordered set will do [commenter Stevie Hair below isn't so sure, and he has a good point] but the first one that arises is the most convenient.
Now, we take the product and give it the “lexicographic order”. That is, we compare pairs and by first comparing and in the order from . If they’re different, we use that order. If they’re the same, though, we move on to compare and in the usual way. We then give it the “order topology”, similar to the way we constructed the topology on the rational numbers.
The upshot is that it’s like we’ve strung together an uncountable number of copies of the interval . Within each copy, obviously, it looks like , and where we glue two copies together it does too, just like we have no trouble going from to . It’s even Hausdorff already, so the previous condition doesn’t rule this case out. The problem is that it’s not second-countable. There’s no countable collection of open sets that generate the whole topology. It’s simply too big to be described without bringing uncountable numbers of sets into the picture.
So, we add the Hausdorff and second-countable conditions to our definition of a manifold, and move forward.