Can you summarize the following document?
        
  阻礙理論在同倫論中的早期含義是關於將定義在一個單純復形或CW-復形上的連續對映對維數歸納延拓的一個手續。傳統上稱為艾倫伯格阻礙理論(英語:Eilenberg obstruction theory),得名於塞繆爾·艾倫伯格命名。它用係數取值於同倫群得上同調群來定義延拓的阻礙。例如,有一個從單純復形"X"到另一個"Y"的對映,首先定義在"X"的0-骨架("X"的頂點),只要"Y" 道路連通則總可延拓到1-骨架。由1-骨架延拓到2-骨架意味著在從"X"的三角形出發的邊在"Y"中的像已經知時,將像填滿為實心三角形。

  在幾何拓撲學中,阻礙理論關心的是當一個拓撲流形有一個逐片線性結構以及當逐片線性流形有一個可微結構。  在至多二維(Rado)與三維(Moise)時,拓撲流形的概念與逐片線性流形重合。在四維時它們是不同的。  在不超過六維時,逐片線性流形與可微流形的概念重合。

  割補理論中兩個基本問題是:一個具有龐加萊對偶性的"n"-維拓撲空間是否同倫等價於一個"n"-維流形;以及"n"-維流形之間的同倫等價是否同倫於微分同胚。在這兩種情形,對"n">4都存在兩個阻礙,首先是關於向量叢存在性的拓撲K-理論阻礙:如果它消失則存在一個正規對映,便可以定義代數L-理論中對正規對映執行割補手術以得到同倫等價的第二割補阻礙。
在數學中,阻礙理論(英語:obstruction theory)是兩個不同數學理論的名字,兩者都匯出了上同調不變數。