束 (位相幾何学)

出典: フリー百科事典『ウィキペディア(Wikipedia)』

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

定義[編集]

束とは、集合 E, B と写像 p: EB からなる三つ組 (E, p, B) である[1]

  • E全空間 (total space) と呼ぶ
  • B は束の底空間 (base space) である
  • p射影 (projection) である

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

bB に対して、p−1(b) は束の b 上のファイバー (fiber, fibre) である。

(E*, p*, B*)(E, p, B)部分束 (subbundle) であるとは、B* ⊂ B, E* ⊂ E かつ p* = p|E* なることをいう。

断面 (cross section) とは写像 s: BE であって、各 bB に対して p(s(b)) = b すなわち s(b) ∈ p−1(b) を満たすもののことである。

束対象[編集]

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

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

関連項目[編集]

脚注[編集]

参考文献[編集]

  • Goldblatt, Robert (2006) [1984]. Topoi, the Categorial Analysis of Logic. Dover Publications. ISBN 978-0-486-45026-1. http://digital.library.cornell.edu/cgi/t/text/text-idx?c=math;idno=gold010 2009年11月2日閲覧。 
  • Husemoller, Dale (1994) [1966], Fibre bundels, Graduate Texts in Mathematics, 20, Springer, ISBN 0-387-94087-1