CW-complex

Definition

A CW-complex is the following data, subject to the following conditions.

Data

An ordered triple $(X,E,\mathrm{\Phi })$ where:

• $X$ is a Hausdorff space
• $E$ is a set of cells in $X$
• $\mathrm{\Phi }$ is a family of maps parametrized by the members of $E$

Conditions

• $X$ is the disjoint union of all cells in $E$
• For each $k$-cell $e\in E$, the map $(D^k,S^{k-1})\to (e\cup X^{k-1},X^{k-1})$ is a relative homeomorphism
• The closure of any cell in $E$ is contained in a finite union of cells in $E$
• $X$ has the weak topology determined by the closures of the cells in $E$

Terminology

• $X$ is termed a CW-space
• $(E,\mathrm{\Phi })$ is called a CW-decomposition of $X$
• ${\mathrm{\Phi }}_e$ is termed the characteristic map of $e$