CW复形

同胚于单位圆盘$\mathbb{D}^p$，即$|v|\le1$的空间称为闭p胞，

同胚于$\mathbb{D}^p$内部$|v|<1$的空间称为开p胞，点同时为零维开胞和闭胞

满足以下条件的Hausdorff空间$K$与其不交分解$\{e_\alpha\}$称为CW复形

$1.$$\quad$每个$e_\alpha$均为开胞，$\mathbb{D}^{n(\alpha)}$内部到$e_\alpha$的同胚称为示性映射

$2.$$\quad$对任意点$x$，若 $x\in\overline{e}_\alpha,x\notin e_\alpha$，则$x$属于比$e_\alpha$更低维的开胞

称由$K$中一些开胞并成的$K$的闭子集为$K$的子复形

若$K$仅由有限个开胞构成，则上述两个条件足够，称此复形有限，否则称无限

对于无限复形，需附加以下两个条件

$3.$闭有限$\quad$$K$中任意点属于有限子复形

$4.$Whitehead拓扑$\quad$$K$中闭子集的充要条件为其与任意有限子复形的交仍为闭子集