The cellular approximation theorem (sketch)

The increased rate of posting the past few days will probably taper off; we’ve just had a long weekend.

Next, I shall start talking specifically about the homotopy properties of CW complexes. CW complexes are nice because they are built up in a recursive manner using very simple objects (namely, -cells). They are also very flexible since every space is, up to something called weak homotopy equivalence which we will define someday, a CW complex.

So let be CW complexes. This means that they are built up from the -skeletons ; indeed, have the inductive limit (i.e., weak) topology on the . Moreover, each is built out of by attaching -cells via attaching maps . Nonetheless, a general (continuous) map will not respect the cellular structure. It will not necessarily be the case that . Nevertheless, the point of this post is that we can get that, up to homotopy. First, we give this a name:

Definition 1 A map of CW complexes is called cellular if for all .

The principal result for today is:

Theorem 2 Let be a continuous map of CW complexes. Then is homotopic to a cellular map; if there is a subcomplex on which is cellular, then the homotopy can be taken stationary on .

So this is the CW-complex version of the simplicial approximation theorem. There are some differences. One, you don’t have to do any of that subdivision business! Two, a cellular map, unlike a simplicial map, can still be extremely complex. Nonetheless, if is both a cellular map and an inclusion, then can be viewed as the inclusion of a subcomplex.

Despite these differences, we can actually prove the cellular approximation theorem by essentially the simplicial theorem. The basic idea is that if a map is not cellular, then it sends an -cell into an -cell. But an -cell is, intuitively, too small to fill up an -cell. This is not true if we allow space-filling curves and things like that, but it is if we allow only smooth maps (by Sard’s theorem, actually). So we can push it off to the boundary.

Honestly, I don’t feel like going into the proof, because it is kind of technical. Perhaps I’m just being lazy, but this being a blog, I don’t feel the need to emphasize nitty-gritty details when those are done nicely in textbooks. As for myself, I’m not sure how well my time would be spent writing it up, anyway, as the main ideas are not that complicated. So let me tell you about those ideas.

The point is that given , you look at cells of which aren’t mapped into cells of the appropriate dimension in . So consider a cell which is mapped into some union where some of the . Then we homotope to make it, as a collection of maps between subsets of euclidean space, piecewise-linear on a substantial portion of the domain. The piecewise linearity shows that the image of has to miss a point. Then we can deformation retract the homotoped version of onto the boundaries of the things out of ‘s league. You have to use the fact that the inclusion of a subcomplex is a cofibration to extend these homotopies to the whole complex.

I think it will be more fun, and enjoyable, for readers of this blog if I move on and not spend too much time on this technical result. We will come back to similar ideas, anyway, when I talk about the excision theorem for homotopy groups.