在数学中，阻碍理论（obstruction theory）是两个不同数学理论的名字，两者都导出了上同调不变量。

阻碍理论在同伦论中的早期含义是关于将定义在一个单纯复形或CW-复形上的连续映射对维数归纳延拓的一个手续。传统上称为艾伦伯格阻碍理论（Eilenberg obstruction theory），得名于塞缪尔·艾伦伯格命名。它用系数取值于同伦群得上同调群来定义延拓的阻碍。例如，有一个从单纯复形X到另一个Y的映射，首先定义在X的0-骨架（X的顶点），只要Y 道路连通则总可延拓到1-骨架。由1-骨架延拓到2-骨架意味着在从X的三角形出发的边在Y中的像已经知时，将像填满为实心三角形。

In mathematics, obstruction theory is a name given to two different mathematical theories, both of which yield cohomological invariants.

In the original work of Stiefel and Whitney, characteristic classes were defined as obstructions to the existence of certain fields of linear independent vectors. Obstruction theory turns out to be an application of cohomology theory to the problem of constructing a cross-section of a bundle.