查看“上纤维化”的源代码

在[[数学]]裡，特别是[[同伦论]]中，一个[[连续映射]]

:<math>i\colon A \to X</math>, 

这里 ''A'' 和 ''X'' 是[[拓扑空间]]，是一个'''上纤维化'''（{{lang|en|cofibration}}）如果它关于所有空间 ''Y'' 满足[[同伦延拓性质]]。因其[[对偶]]条件定义了[[纤维化 (数学)|纤维化]]，故有此名。上纤维化更一般的概念参见[[模型范畴]]一文。

== 基本定理 ==
* 对[[豪斯多夫空间]]一个上纤维化是一个闭包含（像为闭集的单射）；对适当的空间，其逆也成立。
* 任何映射利用[[映射柱]]构造可以换成一个上纤维化。
* 存在一个上纤维化 (''A'', ''X'')，当且仅当存在从
::<math> X \times I </math> 
:到
::<math> (A \times I) \cup (X \times \{0\})</math>,
的一个[[形变收缩|收缩]]，因为这就是[[推出]]从而在图表中可诱导到每个空间的映射。

== 参考文献 ==
*[http://www.math.uchicago.edu/~may/CONCISE/ConciseRevised.pdf Peter May, "A Concise Course in Algebraic Topology"]：第 6 章定义和讨论上纤维化，并一直使用。

[[Category:同伦论]]