CW 复形是从离散点集出发，逐维粘上闭球（胞腔）得到的拓扑空间：闭包有限、采用弱拓扑。 它既有组合结构（便于计算），又对连续粘合足够灵活（便于同伦操作）。
同一概念可以拥有多条定义：它们可能刻画同一对象的不同侧面（例如标准定义与范畴论刻画）。 每条定义都有独立页面与来源。
CW 复形 由骨架序列 与空间 构成， 其中 是离散点集，且对每个 ， 由 粘上若干 -胞腔 得到：
其中粘合映射 连续。要求：
成立条件
为离散空间
每个 -胞腔沿 连续粘合
闭包有限条件
弱拓扑条件
适用对象
定义解释
「逐维搭建」是 CW 复形的核心：每一维只添加新胞腔，不改变低维骨架的同伦型（相对意义下）。 闭包有限与弱拓扑保证局部行为可控，使同调、同伦与 Whitehead 定理都能工作。 许多常见空间（球面、射影空间、环面、流形）都有自然的 CW 结构。
参考来源：2 条（见定义页）
严格数学前置指「定义中直接使用了对方」；学习前置是教学顺序建议，二者可能不同。 所有前置概念都可以点击跳转，并可逐层递归展开。
暂无额外学习前置；上列的数学前置同时也是学习起点。
多层前置（最多展开三层，点击三角展开）
一般拓扑空间过于病态，许多同伦论陈述在其中不成立；同伦论需要一个「好」的对象类。
单纯复形的组合结构过于刚性：添加一个胞腔往往需要重新剖分整个复形； 而一般空间可能缺少可以逐维操作的骨架。
采用「胞腔粘合」：每一步粘上一个 维闭球，只要求粘合映射连续，不要求它是单纯映射。 条件「闭包有限 + 弱拓扑」保证局部行为可控。
CW 复形支撑了胞腔同调、Whitehead 定理与 CW 逼近定理； 流形、复形与大多数几何对象都同伦等价于 CW 复形（Milnor）。
关系按类型分开记录：逻辑依赖、学习顺序、推广与特例、应用、思想联系、历史影响。 下图以本概念为中心，点击节点可展开邻居，双击节点打开对应概念页。
由数学定义本身决定的关系：谁依赖谁、谁推广谁、谁与谁等价。这类关系与学习者无关。
requires教学法上的先后顺序。它不总是逻辑依赖：某些概念可以先学后补证明。
learning_prerequisite不构成严格逻辑依赖，但在思想史或方法论上互相照亮的关系。
conceptual_connection时间线中的每个事件都关联文献来源；标注「待审核」表示书目信息尚未完全核对。
Whitehead 在《Combinatorial homotopy I》中系统引入 CW 复形（当时称「胞腔复形」的雏形）， 并证明：连通 CW 复形之间，若一个映射诱导所有同伦群的同构，则它是同伦等价。 该结果即 Whitehead 定理，它确立了 CW 复形作为同伦论标准对象类的地位。
Milnor 研究哪些空间具有 CW 复形的同伦型，并给出若干判据与构造下的封闭性结果。 这类结果支持了代数拓扑的通行做法：在讨论同伦不变量时，把对象限制为 CW 复形 （或与其同伦等价的空间）而不损失几何上有意义的例子。
从这里出发可以继续探索的方向，按「直接推广 / 理论应用 / 思想联系 / 现代发展」区分。
CW 复形的胞腔链复形给出可计算同调，是代数拓扑最主要的计算路径。
Hatcher 2002
Whitehead 定理的成立依赖 CW 复形假设：在 CW 复形之间，弱同伦等价即同伦等价。
Whitehead 1949
在模型范畴的语言中，CW 复形既是余纤维对象，也是「好对象」的原型。
Hovey 1999
CW 复形是拓扑学与组合学的折中：它保留了「逐维搭建」的组合直觉，又允许连续粘合带来的灵活性。 几乎所有同伦论定理都在这类空间上成立，因此它实际上定义了代数拓扑的工作宇宙。
从离散点集 开始，归纳地构造 ：把若干 维闭球 沿边界 粘上。取并集 ，并赋予弱拓扑： 子集 闭，当且仅当 在每个 -骨架中闭。
这两个条件排除了病态行为，使 CW 复形既一般又可控。