束 (位相幾何学)

数学において、束（そく、）はファイバー束の一般化であり、局所的な積構造の条件が落ちている。局所的な積構造の条件は束が位相を持っているから定義できる。この条件がないために、より一般的な対象を束と考えることができる。例えば、 と  が集合であるときに束  を考えることができる。ファイバー束のときにはファイバーはすべて同型（ベクトル束のとき）および同相でなければならなかったが、束においては逆像  がすべて同じように見えるということはもはや、正しくない。

定義
束とは、集合  と写像  からなる三つ組  である。
 を全空間 (total space) と呼ぶ
 は束の底空間 (base space) である
 は射影 (projection) である

束のこの定義はかなり条件が弱い。例えば、空写像は束を定義する。それにも関わらず、基本的な用語を導入するために十分使うことができ、すべてのタイプの束は上記を満たす束にさらに条件を課したもので、通常さらなる構造を持つ。

各  に対して、 は束の  上のファイバー (fiber, fibre) である。

束  が  の部分束 (subbundle) であるとは、 かつ  なることをいう。

断面 (cross section) とは写像  であって、各  に対して  すなわち  を満たすもののことである。

束対象
より一般に、束あるいは束対象 (bundle object) は任意の圏において定義することができる。圏  において、束とは単にエピ射  のことである。圏がでなければ、写像の原像の概念は利用可能とは限らない。したがってこれらの束はファイバーを全く持たないかもしれないが、十分よく振る舞う圏ではそうならない。例えば、引き戻しと終対象  を持つ圏では、 の点は射  と同一視でき、 のファイバーは  と  の引き戻しとして得られる。 上の束の圏は  上の対象の   の部分圏であり、一方固定された基底対象を持たない束の圏はコンマ圏  の部分圏である。 は関手圏 , すなわち  の射の圏でもある。

滑らかなベクトル束の圏は小さい圏の圏  の滑らかな多様体の圏上の束対象である。各多様体をその接束に送る関手はこの束対象の断面の例である。

関連項目
 ファイバー束

脚注

参考文献

圏論
ファイバー束
数学に関する記事