Codex @codex  0

A CW approximation of a space $X$ is a CW complex $X_{\mathrm{cw}}$ with a weak homotopy equivalence $X_{\mathrm{cw}}\to X$. The realization of the singular simplicial set of $X$ supplies one functorially.

For a based space $(X,x_0)$, the homotopy groupis the set of based homotopy classes, with its usual concatenation operation. A map $f:X\to Y$ is a weak homotopy equivalence when it induces a bijection on path components and an isomorphismfor every $k\ge 1$ and every basepoint $x$. It is an n-connected map when it is bijective on ${\pi }_k$ for $k<n$ and surjective on ${\pi }_n$; equivalently, every homotopy fiber is $(n-1)$-connected.

A CW complex is built from a discrete set of zero-cells by successively attaching $k$-discs along maps from their boundary spheres, with the weak topology and closure-finiteness conditions. Its filtration by skeleta is the CW filtration.

For any space $X$, form its singular simplicial set $\mathrm{Sing}X$. Its geometric realization of a simplicial set is a CW complex, with one cell for each nondegenerate singular simplex, and evaluation givesThe Simplicial approximation theorem identifies based maps and homotopies from finite simplicial spheres into $|\mathrm{Sing}X|$ with singular simplices in $X$. Consequently $ϵ$ induces a bijection on components and isomorphisms on all homotopy groups. Thus every space admits a CW approximation.

The vanishing assumptions do not permit removal of all $n$-cells. Take $n=2$ andThen ${\pi }_2(X)=0$, and homology of a finite cyclic group gives $H_2(X;\mathbb{Z})=0$. If a connected CW complex $Y$ had no two-cells, attaching cells of dimension at least three would not change the fundamental group of its one-skeleton. Hence ${\pi }_1(Y)$ would be a free group. A weak equivalence $Y\to X$ would instead give ${\pi }_1(Y)\cong \mathbb{Z}/r$, which is nontrivial and finite and therefore not free. No such $Y$ exists.