在数学的代数拓扑分支中，拓扑空间 X 与 Y 之间函数 f 的映射柱（）是将任何一个映射用一个在如下意义下等价的上纤维化代替的方法：
给定映射 f\colon X \to Y，映射柱由一个空间 M_f 与一个上纤维化 \tilde f\colon X \to M_f 以及满同伦等价 M_f \to Y（事实上，Y 是M_f 的形变收缩）组成，使得复合 X \to M_f \to Y 等于 f。
这样空间 Y 被一个同伦等价的空间M_f 取代，映射 f 被提升映射 \tilde f 代替。等价地，图表
:f\colon X \to Y
被图表
:\tilde f\colon X \to M_f
与这两个图表之间的一个同伦等价取代。
这个构造用于将拓扑空间之间的映射用拓扑等价的上纤维化取代。注意逐点一个上纤维化是一个闭包含映射。
构造
Mf 的正式定义如下：
:M_f = ((X \times I) \coprod Y)/(x,1) \sim f(x),
这里 I 是单位区间，\coprod 表示两个拓扑空间的不交并，\sim 是把 (x,1) \in X \times I 与 f(x) \in Y 等同起来的等价关系（将柱 X \times I 的一个底面通过 f 与 Y 黏合起来）。
从而非正式地说，映射柱 M_f 是把 X \times I 的一个底面用 f 黏贴到 Y 得到的构造。
定义 X \to M_f 为 x \mapsto (x,0) \in X \times I（将 X 包含到另一个底面）。定义 M_f \to Y 为 (x,t) \in X \times I \mapsto f(x) \in Y 而在 Mf 的 Y 部分为恒同。根据等价关系 ~ 这是良定义的。
注意到 Y 是 M_f 的形变收缩。
投影 M_f \to Y 分裂（通过 y \in Y \mapsto Y \in Y \subset M_f），形变收缩（取时间参数为 s）由下式给出：
:\begin{cases}(x,t) \mapsto (x,t+s) \in X \times I & t+s \leq 1\\
(x,t) \mapsto f(x) \in Y& t+s \geq 1
\end{cases}
（这里所有 Y 中的点不动，从而是一个形变收缩。）
应用
映射柱将关于子空间或空间包含的定理运用到到不必是单射的一般映射。
因此，那些与空间、所涉及映射的同伦类无关的定理或方法（比如同调、上同调或同伦理论本身）可能可适用到 X, Y, f，这里假设 X \subset Y 以及 f 事实上是子空间的包含。另外，这个构造更本质的吸引之处是它与通常心理的印象一个函数是将 X 中的点“送到” Y 中的点一致，从而 X 嵌入 Y 中也是（尽管函数不必是一对一的）。这个构造给出了一个图像同伦等价于直觉的那个，这表明直觉图像是正确的只要 Y 的形变不是一个阻碍。
范畴应用与解释
我们可以用映射柱构造同伦极限：给定一个图表，将其中的映射用上纤维化代替（利用映射柱），然后取通常的逐点极限（需多些注意，但映射柱是其中一部分）。
相反地，映射柱是图表的同伦推出，这里 f\colon X \to Y 而 \text{id}_X\colon X \to X 。
映射望远镜
给定映射序列
:X_1 \to_{f_1} X_2 \to_{f_2} X_3 \cdots ,
映射望远镜是同伦正向极限。如果所有这些映射已经是上纤维化（比如正交群 O(n) \subset O(n+1)），则正向极限是并集，但是一般情形必须使用映射望远镜。映射望远镜是一个映射柱序列，底面和底面相连。这个构造的图像看起来像堆起来的变大的柱子，即像一个望远镜，从而有这样的名称。
映射望远镜的正式定义为
:\coprod_i X_i \times I / (x_i,1) \sim (f(x_i),0) .
和同伦（同调）等价的关系
一个映射 f:X\rightarrow Y 是一个同伦等价，当且仅当它的映射柱可缩。
设 \mathbb{}H_ 设一个固定的同调理论。映射 f:X\rightarrow Y 诱导了 \mathbb{}H_ 上的同构，当且仅当映射 \{\cdot\}\hookrightarrow C_f 诱导了 \mathbb{}H_ 上的同构，即 \mathbb{}H_(C_f,pt)=0。
另见
- 映射柱 (同调代数)
- 非豪斯多夫映射柱
参考文献
- 姜伯驹，同调论，北京大学出版社，2006年2月。
评论 (0)