12
$\begingroup$

Let's $A$ and $B$ are CW-complexes. How to construct CW-complex $A\times B$?

Thanks.

1 Answers 1

12

Choose a CW-complex structure for $A$ using cells $e_\alpha$ with attaching maps $\varphi_\alpha$. Do the same for $B$ using cells $e_\beta$ and attaching maps $\varphi_\beta$. Then the products $e_\alpha \times e_\beta$ are cells and the maps $\varphi_\alpha \times \varphi_\beta$ are attaching maps for a CW-complex structure on $A \times B$.

If you are looking for details of a proof, one can be found in Hatcher's book where the statement appears as Theorem A.6.

  • 3
    A caveat: note that what wckronholm calls "attaching maps" is not what Hatcher calls like that: in Hatcher's nomenclature, these would be the "characteristic maps". Note indeed that the product of disks is a disk, but the product of spheres is not a sphere.2015-09-29