


トポロジーの数学分野において、ファイバー束の断面(または横断面)[ 1 ]は、は射影関数の連続右逆関数である。つまり、基底空間 上のファイバー束である。:
すると、そのファイバー束の一部は連続マップとなり、
そのため
セクションとは、グラフであることの意味を抽象的に特徴づけたものです。関数のグラフは、デカルト積の値をとる関数と同一視できる。、 のそして:
させて最初の因子への射影とする。グラフは任意の関数であるそのために。
繊維束の言語により、このセクションの概念を次の場合に一般化することができます。必ずしもデカルト積とは限りません。は繊維束であり、セクションはポイントの選択であるそれぞれの繊維において。単に、ある地点での断面を意味する 横たわらなければならない(画像参照)
例えば、ベクトルバンドルは、ベクトル空間の要素である各ポイントの上に位置している特に、滑らかな多様体上のベクトル場各点における接線ベクトルの選択これは接束の一部です同様に、1形式はは余接束の断面です。
主束やベクトル束などの切断は、微分幾何学においても非常に重要なツールである。この設定では、基底空間は滑らかな多様体である、 そしては滑らかな繊維束であると想定される(つまり、は滑らかな多様体であり、は滑らかな写像である)。この場合、の滑らかな断面の空間を考える。オープンセット上、と表記される。また、幾何学的解析では、中間的な規則性を持つ断面の空間 (例:セクション、またはヘルダー条件やソボレフ空間の意味での正則性を持つセクション)。
ファイバー束は一般的にそのようなグローバルセクションを持たない(例えば、ファイバー束を考えてみればファイバー付きファイバー束の局所的な切断は連続写像である。どこは開集合であるそしてすべての人々のためにで。 もしは、、 どこは同相写像であるに(どこはファイバーであるため、その場合、常に局所セクションが存在します。連続写像と全単射対応に(局所)セクションは層を形成する。束と呼ばれる。
繊維束の連続した部分の空間以上時には表記されるグローバルセクションの空間はしばしば表記されるまたは。
セクションはホモトピー理論と代数トポロジーで研究されており、その主な目的の1つは、大域セクションの存在または非存在を説明することです。障害は、空間が「ねじれすぎている」ため、大域セクションの存在を否定します。より正確には、障害は、空間の「ねじれ」のために、局所セクションを大域セクションに拡張する可能性を「妨げます」。障害は、コホモロジークラスである特定の特性クラスによって示されます。たとえば、主束は、自明である場合に限り大域セクションを持ちます。一方、ベクトル束は常に大域セクション、すなわち零セクションを持ちます。しかし、オイラークラスは、どこにも消滅しないセクションの存在を妨げます。
局所セクションの拡張に対する障害は、次のように一般化できます。位相空間を取り、対象が開集合であり、射が包含関係であるような圏を形成します。このようにして、位相空間を一般化するために圏を使用します。各対象にアーベル群(局所セクションに類似)を割り当てるアーベル群の層を使用して、「局所セクション」の概念を一般化します。
ここで重要な区別があります。直感的に言えば、局所断面は位相空間の開部分集合上の「ベクトル場」のようなものです。つまり、各点には固定されたベクトル空間の要素が割り当てられます。しかし、層はベクトル空間(より一般的にはアーベル群)を「連続的に変化」させることができます。
このプロセス全体は、各層にその大域切断を割り当てる大域切断関手です。そして、層コホモロジーによって、アーベル群を「連続的に変化」させながら、同様の拡張問題を考察することが可能になります。特性類の理論は、拡張に対する障害という概念を一般化したものです。