Cartesian product of two CW-complexes

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

Thanks.

Solution 1:

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.

Given a commutative ring $R$ and an epimorphism of free modules $R^m \to R^n$ is then $m \geq n$?

Prove that the union of three subspaces of $V$ is a subspace iff one of the subspaces contains the other two.

Prove that every tournament contains at least one Hamiltonian path.

Let G be a nonabelian group of order $p^3$, where $p$ is a prime number. Prove that the center of $G$ is of order $p$.

Smooth curves on a path connected smooth manifold

Distribution of $-\log X$ if $X$ is uniform.

Example of Pairwise Independent but not Jointly Independent Random Variables?

G is the product of its Sylow subgroups

How many idempotent elements does the ring ${\bf Z}_n$ contain?

Integer values of $\frac{x}{y}+\frac{y}{z}+\frac{z}{x}$?

Is the algebraic closure of a $p$-adic field complete