断面 (位相幾何学)のソースを表示

[[Image:Bundle section.svg|right|thumb|束 ''p'': ''E'' &rarr; ''B'' の切断 ''s'' は底空間 ''B'' と ''E'' の部分空間 ''s''(''B'') とを同一視する方法を与える。]]
[[Image:Vector field.svg|right|thumb|'''R'''<sup>2</sup> におけるベクトル場の例。[[接ベクトル束]]の切断とは、実はベクトル場のことである。]]

[[位相幾何学]]の分野における[[ファイバー束]]の'''断面'''（だんめん）あるいは'''切断'''（せつだん、{{lang-en-short|''section''}}）若しくは'''横断面''' (''cross-section'') とは、底空間をファイバー束の中に実現する写像或いはその像をいう。

== 導入 ==
切断というのは[[グラフ (函数)|函数のグラフ]]のある種の一般化である。函数 ''g'': ''B'' &rarr; ''Y'' のグラフは、''B'' と ''Y'' の[[直積集合|直積]] ''E'' = ''B'' &times; ''Y'' に値を持つ写像
:<math>s\colon B\to E;\quad x \mapsto s(x) = (x,g(x)) \in E</math>
に同一視することができることに注意しよう。ここで &pi;: ''E'' &rarr; ''B'' を直積の第一成分への射影、つまり &pi;(''x'',''y'') = ''x'' を満たすものとすれば、「グラフ」は &pi;(''s''(''x'')) = ''x'' を満たす写像 ''s'' の総称と捉えることができる。

''E'' がファイバー束、つまり ''E'' が全体として直積の形をしているとは限らないときを考えよう。(''x'',''g''(''x'')) のような元の組で表示することはできないので、前述のもうひとつの方法、つまりある条件を満たす写像として「''g'' のグラフ」を記述することになる。位相空間 ''B'' を底空間とするファイバー束 &pi;: ''E'' &rarr; ''B'' について、その切断とは[[連続写像]] ''s'': ''B'' &rarr; ''E'' であって、''B'' の各点 ''x'' において必ず &pi;(''s''(''x'')) = ''x'' を満たすものをいう。これは「切断とはすべてのファイバーの各々について点をひとつずつ選ぶことによって定まる写像のことである」といっても同じである（条件 &pi;(''s''(''x'')) = ''x'' は単に底空間 ''B'' の各点 ''x'' に対して対応する点 ''s''(''x'') は ''x'' 上のファイバーからとるという意味になることに注意）。

例えば ''E'' が[[ベクトル束]]のとき、''E'' の切断とは ''B'' の各点 ''x'' で ''x'' をそれに付随するベクトル空間 ''E''<sub>''x''</sub> の元に対応させるものである。特に、[[可微分多様体]] ''M'' 上の[[ベクトル場]]というのは ''M'' の各点にその点における[[接ベクトル]]を選んで対応付けるものであるから、ベクトル場とは ''M'' の[[接束]]の切断のことであると言うことができる。同様に ''M'' 上の[[一次微分形式]] {{lang|en|(1-form)}} は[[余接束]]の切断と言い換えられる。

== 局所切断と切断の層 ==
ファイバー束はその底空間全域で定義される切断（'''[[層 (数学)#定義|大域切断]]'''、{{lang|en|''global section''}}）を一般には持たないが、それゆえ局所的にのみ定義される切断というものを考えることも重要である。ファイバー束 (''E'', &pi;, ''B'') の（連続な）'''局所切断''' {{lang|en|(''local section'')}} とは、''U'' を底空間 ''B'' の[[開集合]]とするときの連続写像 ''s'': ''U'' &rarr; ''E'' であって、束射影 &pi; について ''U'' のすべての元 ''x'' に対して &pi;(''s''(''x'')) = ''x'' をみたすようなものを言う。(''U'', ''&phi;'') が ''E'' の局所自明化（つまり ''F'' をファイバーとして &phi; が &pi;<sup>&minus;1</sup>(''U'') から ''U'' &times; ''F'' への同相写像を与えるもの）とするとき、''U'' 上の局所切断は常に存在して、それは ''U'' から ''F'' への連続写像と[[全単射|一対一に対応]]する。このような局所切断の（''U'' を任意に動かすときの）全体は底空間 ''B'' 上の[[層 (数学)|層]]を成し、ファイバー束 ''E'' の'''切断の層''' {{lang|en|(''sheaf of sections'')}} と呼ばれる。

ファイバー束 ''E'' の開集合 ''U'' 上の連続（局所）切断全体の成す空間はときに ''C''(''U'',''E'') とも表され、また ''E'' の大域切断全体の成す空間はしばしば Γ(''E'') や Γ(''B'',''E'') と表される。

== 大域切断と特性類 ==
切断は[[ホモトピー論]]や[[代数的位相幾何学]]で扱われるが、そこでは大域切断が存在するか否か、存在するとすればどのくらい存在するかといったことが主要な研究目的の一つであり、[[層コホモロジー|層係数コホモロジー]]や[[特性類]]の理論が展開される。例えば、[[主束]]が大域切断を持つ必要十分条件はそれが[[自明束]]となることである。また例えば任意の[[ベクトル束]]は必ず[[零切断]]と呼ばれる大域切断を持つが、至る所消えないような切断を持つのはその[[オイラー類]]が零である場合に限られる。

== 滑らかな切断 ==
（特に主束やベクトル束の）切断は[[微分幾何学]]においても非常に重要な道具である。この場合は底空間 ''B'' が[[滑らかな多様体]] ''M'' で、全空間 ''E'' が ''M'' 上の滑らかなファイバー束（つまり、''E'' は滑らかな多様体で束射影 &pi;: ''E'' &rarr; ''M'' は滑らかな写像）であるものと仮定するのが普通である。このような設定のもとでは、開集合 ''U'' 上の ''E'' の滑らかな切断全体の成す空間 ''C''<sup>∞</sup>(''U'',''E'') を考えることができる。また、もっと中間的な正則性（滑らかさ）を持つ切断（例えば、''C''<sup>''k''</sup>-級切断とか、[[ヘルダー条件]]や[[ソボレフ空間]]における意味での正則性を持つ切断）を考えることも[[幾何解析]]においては有用である。

== 関連項目 ==
* [[ファイバー付け]] (Fibration)
* [[ゲージ理論]]
* [[主束]]
* [[引き戻し束]]
* [[ベクトル束]]

== 参考文献 ==
* [[ノーマン・スティーンロッド|Norman Steenrod]], ''The Topology of Fibre Bundles'', Princeton University Press (1951). ISBN 0-691-00548-6.
* David Bleecker, ''Gauge Theory and Variational Principles'', Addison-Wesley publishing, Reading, Mass (1981). ISBN 0-201-10096-7.

== 外部リンク ==
* {{PlanetMath|urlname=SectionOfAFiberBundle|title=section of a fiber bundle}}
* {{MathWorld|urlname=BundleSection|title=Bundle Section|author=Todd Rowland}}
* [http://pantodon.shinshu-u.ac.jp/topology/literature/space_of_sections.html Fiber bundle や ﬁbration の section の成す空間] - [http://pantodon.shinshu-u.ac.jp/topology/literature/ Algebraic Topology: A guide to literature], 信州大学 玉木研究室

{{DEFAULTSORT:たんめん}}
[[Category:ファイバー束]]
[[Category:微分位相幾何学]]
[[Category:代数的位相幾何学]]
[[Category:ホモトピー論]]
[[Category:数学に関する記事]]