Serre 纤维化

把 $H(z,t)$ 看成底空间中一族随时间移动的点。初始时刻已经为每个参数 $z$ 选好上层点，纤维化保证这些选择能连续地随整段运动搬运。它不要求存在全局截面，也不要求不同路径的搬运结果相同；绕闭路回来可能出现 monodromy，这正是非平凡纤维化携带的扭转。

“所有纤维看起来同胚”远远不够。关键是参数族可连续提升，因此相邻纤维间的比较能与同伦相容。这个动态条件使纤维不只是点集逆像，而成为可把总空间和底空间的同伦信息联结起来的稳定接口。

设 $(Y,y_0)$ 为带基点空间，取从基点出发的路径空间

端点评价 ${\mathrm{ev}}_1:P_{y_0}Y\to Y$ 是纤维化，$y_0$ 上的纤维恰是 $\mathrm{\Omega }Y$。总空间可由

收缩到常值路径。于是长正合列立即给出 ${\pi }_n(Y)\cong {\pi }_{n-1}(\mathrm{\Omega }Y)$。这个例子不是局部乘积纤维丛的普通坐标计算，而是提升性质本身制造的通用模型。

覆叠映射也是 Serre 纤维化，并且离散纤维让提升在指定起点后唯一。Hopf 映射 $S^3\to S^2$ 则有纤维 $S^1$；但 $S^2$ 单连通，所以其非平凡性不能归因于沿基本群回路的 monodromy。把丛分别平凡化在南、北半球上，赤道 $S^1$ 上的过渡函数有绕数 $\pm 1$，无法消去，因而不存在把 $S^3$ 写成 $S^2\times S^1$ 的全局平凡化。

任意映射都不自动是纤维化。包含 $i:\{0\}\hookrightarrow I$ 对 $D^0$ 已失败：底空间同伦 $H(\ast ,t)=t$ 在 $t=0$ 有提升到唯一点，却无法延拓为满足 $i\tilde{H}=H$ 的提升。即使要求满射也不够：$q:[-1,1]\to [0,1]$、$q(x)=x^2$ 在 $0$ 上的纤维是单点，在正数上的纤维却有两个分支；若它是纤维化，沿区间路径的纤维传输会给出同伦等价，产生矛盾。连续、满射和逆像非空都不能代替提升检验。

纤维化的基本回报是同伦群长正合列、纤维传输和底空间基本群对纤维同伦群的作用。若底空间可缩且纤维化满足常见良好条件，总空间与一根纤维同伦等价；若总空间可缩，则纤维与底空间的环路空间弱等价。这些结论都来自提升，而不是从集合分解猜测。

任意映射可经映射路径构造分解为同伦等价后接一个纤维化，因此 Serre 纤维化也是同伦论中的标准替换对象。Postnikov 塔逐层采用以 Eilenberg–Mac Lane 空间为纤维的纤维化；Serre 谱序列则把底空间过滤和纤维同调组合起来计算总空间。