“其中 $S^{\infty}$ 可缩。同伦长正合列于是给出”
形式陈述
对带基点空间对
连接映射取相对圆盘代表的边界限制,故方向从
若
给定
直觉
长正合列是一套逐层故障诊断。底空间中的球面类若能整体提升到
空间对版本讲的是填充:
例子与边界
Hopf 纤维化
给出片段
正合性迫使
又得
对
普通连续满射没有同伦提升性质,因而未必存在这条纤维长正合列。例如满射
推论与应用
当序列相邻若干项已知为零时,剩余映射立即成为单射、满射或同构,这使纤维化成为计算同伦群的主要机器。路径—环路纤维化把
序列还给出连通性传递:若纤维和底空间在一定范围内同伦群消失,可逐项确定总空间的消失范围。使用时必须记录基点、
参考资料
- Allen Hatcher, Algebraic Topology, Cambridge University Press, 2002, §§4.1–4.2, Theorems 4.3 and 4.41.
- J. Peter May, A Concise Course in Algebraic Topology, University of Chicago Press, 1999, Chapter 9, §§2–3.
- George W. Whitehead, Elements of Homotopy Theory, Springer GTM 61, 1978, Chapter IV “Homotopy Groups,” pp. 157–208.