ファイバー束

**ファイバー束**（ファイバーそく、）とは、位相空間に定義される構造の一つで、局所的に 2 種類の位相空間の直積として表現できる構造の事である。

## 概要
単位円  と線分  の直積  は円柱の側面になる。円柱の側面と似たような図形にメビウスの輪がある。局所的には  の一部と線分  の直積に見えるが、全体的には円柱と異なる図形になっている。このような局所的に直積として書けるという性質（**局所自明性**）を持った図形を扱うのがファイバー束の概念である。

この場合の  を**底空間**といい、線分  を**ファイバー**（繊維）という。ファイバーを底空間に沿って束ねたとき、上の例の円柱のように全体としても直積になっていれば、その全体を自明束（じめいそく）という。自明束は基本的なファイバー束ではあるが、むしろ、メビウスの輪のように自明でないファイバー束の構造がどのようになっているのかといったことが重要である。

ファイバーはただ束ねられるだけではなく、**構造群**と呼ばれる位相変換群に従って張り合わされる。底空間の開被覆  があり、その 2つの元の共通部分  が空でないとき、その共通部分に立っているファイバーはどのように貼り合わされるべきか？ という事、すなわち、直積  と  の重なり方を記述するのが構造群である。

ファイバー束の概念は、ホイットニーに始まる。ホイットニーは多様体上のベクトル場から接ベクトル空間をファイバーに持つ接ベクトル束を構成し、その一般化としてファイバー束に到達した。その後、陳省身(*Shiing-Shen Chern*) による研究は、ファイバー束と接続を関連させ微分幾何学を大域的理論へと導いていくことになり、ゲージ理論などの基礎も成している。また、微分幾何学に留まらず、様々な幾何学の基本的な道具となり、その適用範囲は広い。さらにファイバー束はセールやヒューレッツらによってファイバー空間として一般化され、代数的位相幾何学を支える概念の一つにもなった。

## 定義
### 束
thumb|一点  上のファイバー

位相空間  と、連続な上への写像
:
があるとき、 を**全空間** (*total space*)、 を**底空間** (*base space*)、 を**射影** (*projection*)、これらの組  を**束** (*bundle*, **バンドル**) という。
: のような順序で書かれる場合もある。
 に対し、 を  上の**ファイバー** (*fibre*, *fiber*) という。

以下で扱う座標束やファイバー束の場合、任意の  に対し  は  によらず位相空間  と同相になる。すなわち、 に対して、 と  は同相である。しかし、一般の束では、そのような関係は無い。例えば楕円曲面などでは、ほとんどのファイバー（非特異ファイバー）とは異なる特異ファイバーと呼ばれるファイバーがある。

### 座標束
thumb|''U''上に制限した座標束。この画像ではまばらだが、本当はどの点の上にもファイバーがあり、隙間無く並んでいる。
ここでは、座標束  を定義する。添字集合などを省略して  などとも書く。

束  と位相空間 ,  の効果的な位相変換群 , 底空間  の開被覆  が与えられているとする。 を、**座標近傍** (*coordinate neighborhood*) という。各座標近傍  には同相写像
:
が存在し、任意の  および  に対して
:
を満たす。
:この  という同相写像によって  と  はしばしば同一視される。座標束を説明する図を描くときも   という直積の図を  とみなして説明することも少なくない。 を局所自明化という。

thumb|250px| 上の青い点は、 によって左下の  内のファイバー  上に写る。これを右下の  内のファイバー  と同一視したとき、青い点が橙色の点になるとする。 で、橙色の点を  に戻したとき、青色の点に写るとは限らない。この変換を  上だけで見たときに 青い点から橙色の点に写す変換が  である。

 を固定した  上の
:
:
という写像は、 に対して、
:
:
を導く。

ここで、 であり、
:
は連続写像であるとし、 は位相変換群としてできるだけ要素の少ない小さいものをとるとする。

このような性質を持つ  という組を**座標束** (*coordinate bundle*) といい、 を**ファイバー**、 を**構造群** (*structure group*)、 を**全空間**、 を**射影**、 を**底空間**、 を、**座標関数** (*coordinate function*)、 を**座標変換** (*coordinate transformation*) という。

:一般の束と違って、ファイバーは点に依らない位相空間である。正確には、任意の  に対し  上のファイバー  が、ファイバー  と同相となっている。そして各点での座標変換が、構造群という代数的な構造によって決まっているという点も重要である。

### ファイバー束
:座標束をここで述べるような同値関係で分類するとファイバー束が得られる。多様体において座標近傍系を極大座標近傍系にし、座標の取り方によらない幾何学を目指したのと同様に、座標束を座標近傍  や座標関数  のとり方によらないように分類したものがファイバー束である。つまりファイバー束を具体的に調べる際に、特定の開被覆を取って調べたりする場合、そこで調べているものは座標束ということになる。

座標近傍や座標関数の取り方の違う 2つの座標束  および  があるとき、 に対して
:
が、 となり
:
が連続写像であるとき、この 2つの座標束は**同値** (*equivalent*) であるといい、この同値関係による同値類を**ファイバー束**あるいは ** 束** (*-bundle*) といい、 と書く。 や  なども省略して、 によってファイバー束を表すこともある。

thumb|200px|この図が可換であるとき、同相写像の組  を'''束写像''' という
ファイバーと構造群の等しい 2つのファイバー束
:
:
に対し、連続写像
:
:
があり、
:
を満たすとする。 に対し
:
と書くことにすると、 は、 上のファイバー  を  上 のファイバー  に写す。すなわち、この  という写像は、ファイバーという構造を保存する写像である。さらに  が同相写像であるとき  を**束写像** (*bundle map*) という。
: は  から条件を満たすように定まる写像と定義して、 の事を束写像と呼ぶこともある。さらに底空間も等しい 2つのファイバー束
:
:
で  が恒等写像となる束写像  が存在するとき、この 2つのファイバー束は**同値**であるといい、 と書く。

## 切断

thumb|200px| 上の局所断面
ファイバー束  に対して、連続写像
:
が、任意の  に対し
:
を満たすとき、 を  の**切断** (*section*, *cross-section*) あるいは、**断面**という。切断は必ずしも存在しない。
:底空間上の点  に対し  が定まる。例えば多様体上のベクトル場であれば、多様体上の点  に対しベクトル  が対応する。逆に言えば、ベクトル場の集合がどういう空間に入っているべきかを考えたものがファイバー束（この例では多様体を底空間に持つベクトル束）である。
具体的な計算として座標束を考える時などには、座標近傍  上での切断が必要になる場合がある。同様に
:
が、任意の  に対し
:
を満たすとき、 を  上の**局所切断** (*locally section*, *locally cross-section*) あるいは、**局所断面**という。これに対し上記の  を大域切断などという。

## 例
### 自明束

全空間を  とし、 を第一成分への射影とする。すなわち、,  に対して、 とする。このとき  は  の  上のファイバー束である。ここで  は、局所的にだけでなく*大域的に*、底空間とファイバーの直積となっている。そのようなファイバー束を**自明束** () という。 や  のような円柱や、自然数  に対して  などのように直積で表される図形は、自明束としての構造を持つ。可縮なCW複体上の任意のファイバー束は自明である。

### メビウスの帯

おそらく最も単純な非自明な束  の例はメビウスの帯であろう。メビウスの帯は底空間  として帯の中心に沿って一周する円を持ち、ファイバー  として線分を持つ。そのため、メビウスの帯は線分の円上の束である。点  の近傍 *U* は弧である。図では、これは正方形の一辺である。原像  は図では4つ並んだ（少し捩れた）正方形である。同相写像  は *U* の原像を円柱の断片へと写す。それは曲がってはいるが、捩れてはいない。

対応する自明束  は円柱（の側面）ということになるが、メビウスの帯は全体として「捩れている」。この捩れは大域的にしか観察できないことに注意しよう。局所的には、メビウスの帯と円柱は同一である（1度垂直に切ればどちらも同じ空間になる）。

構造群  は、ファイバーを反転させる変換  を用いて となる。これは  と同型である。

### クラインの瓶

メビウスの帯と似た非自明な束はクラインの瓶である。これは「捩れた」円の別の円上の束と見ることができる。対応する捩れていない（自明な）束は2次元トーラス である。

### 被覆写像

**[[被覆写像|被覆空間]]** (covering space) は束射影が局所同相であるようなファイバー束である。ファイバーは離散空間であることが従う。

### ベクトル束と主束

**[[ベクトル束]]**と呼ばれる、ファイバー束の特別なクラスがあり、これはファイバーがベクトル空間であるようなファイバー束である。（ベクトル束であるためには、束の構造群は線型群でなければならない）。ベクトル束の重要な例には、滑らかな多様体の接束や余接束がある。任意のベクトル束から、主束（下記参照）である、基底のを構成することができる。

**[[主束]]**と呼ばれる、ファイバー束の別の特別なクラスがあり、これはその上に群  による自由かつ推移的な作用が与えられていて、各ファイバーがであるような束である。束はしばしば主  束と呼ぶことによって群とともに特定される。群  はまた束の構造群でもある。 のベクトル空間  上の表現  が与えられると、構造群として  なるベクトル束を構成でき、これをと呼ぶ。

## 関連項目
*主束
*ベクトル束

## 参考文献

* 
* 
* 
* 
*  (*to appear*).
* 

## 外部リンク
* Fiber Bundle, PlanetMath
* 
* Making John Robinson's Symbolic Sculpture `Eternity'
* Sardanashvily, G., Fibre bundles, jet manifolds and Lagrangian theory. Lectures for theoreticians,arXiv: 0908.1886