Obstruction Theory

定义 Definition

Obstruction theory（障碍理论）是代数拓扑中的一套方法，用来判断某个“局部可行”的构造是否能在整体上完成，并用上同调类（cohomology classes）来刻画“卡住”的原因。常见问题包括：能否把一个映射延拓到更高维的胞腔、能否给丛选择全局截面、能否把同伦逐步延拓等。（在不同语境下还有更具体的版本。）

发音 Pronunciation (IPA)

/əbˈstrʌkʃən ˈθɪəri/

例句 Examples

Obstruction theory helps us decide whether a map can be extended over a cell complex.
障碍理论帮助我们判断一个映射能否延拓到整个胞腔复形上。

In many problems of topology, the obstruction to constructing a global section is represented by a cohomology class, and obstruction theory organizes these classes step by step.
在许多拓扑问题中，构造全局截面的障碍可由某个上同调类来表示，而障碍理论会把这些障碍按步骤系统地整理出来。

词源 Etymology

obstruction来自拉丁语 obstruere（“堵住、阻塞”），在数学里引申为“使某一步构造无法继续的障碍”；theory来自希腊语 theōria（“观察、思考”），组合起来即“研究这些‘阻塞点/障碍’并对其进行分类与计算的方法体系”。该术语在20世纪的代数拓扑发展中逐渐固定，用于描述用上同调不变量来检测延拓与提升（lifting）问题的框架。

相关词 Related Words

• Topology
• Homotopy
• Cohomology
• Fiber Bundle
• Characteristic Class
• Postnikov Tower
• Extension
• Lifting

文献与作品 Literary / Notable Works

• Algebraic Topology — Allen Hatcher（多处讨论与“obstruction”相关的延拓与上同调思想）
• Homotopy Theory — J. H. C. Whitehead（早期同伦论框架中与障碍思想密切相关）
• A Concise Course in Algebraic Topology — J. P. May（涉及用上同调与分解工具处理延拓/提升问题的内容）
• Elements of Homotopy Theory — Hans-Joachim Baues（系统呈现同伦论工具，包含障碍观点的应用）
• Algebraic Topology — Edwin H. Spanier（经典教材中与延拓、纤维化与上同调相关章节常引入障碍概念）