25/11/13 21:16:01.87 OcEghMJl.net
>>865
障害(obstruction)といえばトポロジー
しかも障害は創世期のアイレンベルクとマクレーンの時代からある概念
簡単にいえば、境界上の写像がその内部まで拡大できるかどうかという話
この条件が境界のホモトピー群を係数とするコホモロジーで表せる
自明なコホモロジー類なら拡大可能だが、そうでないならできない
直線上の区間の場合、境界は２点だからホモトピー群はZ2＝{0,1}
平面上の単連結領域の場合 境界は円だからホモトピー群はZ