Contents

# Contents

## Statement and Proof

###### Proposition

Every CW-complex is a paracompactum, i.e., a paracompact Hausdorff space.

For one textbook explanation, see e.g. Fritsch-Piccinini 90, theorem 1.3.5. Below we give a somewhat more categorically minded proof, linking to relevant results elsewhere in the nLab.

###### Proof

Let $X_n$ denote the $n^{th}$ skeleton of $X$. We argue by induction that each skeleton is a paracompactum. Vacuously $X_{-1} = \emptyset$ is a paracompactum. Now suppose $X_{n-1}$ is a paracompactum, and suppose $X_n$ is formed as an attachment space with attaching map $f: \sum_{i \in I} S_i^{n-1} \to X_{n-1}$, so that

$\array{ \sum_{i \in I} S_i^{n-1} & \stackrel{h}{\hookrightarrow} & \sum_{i \in I} D_i^{n} \\ \mathllap{f} \downarrow & po & \downarrow \mathrlap{g} \\ X_{n-1} & \underset{k}{\hookrightarrow} & X_n }$

is a pushout square. The embedding $h$ is a closed embedding, and so its pushout along $f$ is a closed embedding $k$. Furthermore, the spheres $S_i^{n-1}$ and disks $D_i^n$ are paracompacta since they are compact Hausdorff, and coproducts of paracompacta are again paracompacta, making $h$ a closed embedding of paracompact Hausdorff spaces. By the result on pushouts of closed embeddings of paracompacta, it now follows that $X_n$ is a paracompactum.

Thus the CW-complex $X$ is a colimit of a sequence of closed embeddings

$X_{-1} \hookrightarrow X_0 \hookrightarrow X_1 \hookrightarrow \ldots$

between paracompacta. It follows that this colimit is a paracompactum.

An early original article with the statement is

• Hiroshi Miyazaki, The paracompactness of CW-complexes, Tohoku Math. J. (2) Volume 4, Number 3 (1952), 309-313. 1952 Euclid

Textbook accounts include

• Rudolf Fritsch, Renzo Piccinini, Theorem 1.3.5 (p. 29 and following) of Cellular structures in topology, Cambridge University Press (1990)