多项式映射的相对同伦群与Serre纤维化

设$f$为从$\mathbb R^m$到$\mathbb R^n$的多项式映射，其中$m>n>0$，$t_0$为$f$的一个正则值。对于以$t_0$为中心的小开球$D_{t_0}$，我们证明映射$f:f^{-1}(D_{t_0})\to D_{t_0}$是Serre纤维化当且仅当$f$在始于$t_0$的有限条某些简单弧上为Serre纤维化。我们用为这些弧定义的相对同伦群刻画纤维化$f:f^{-1}(D_{t_0})\to D_{t_0}$，并借此证明该断言。