20/09/06 10:57:21.30 P1Kztm36.net
>>194
つづき
URLﾘﾝｸ(ja.wikipedia.org)
接束
微分幾何学において、可微分多様体 M の接束（せっそく、英: tangent bundle, 接バンドル、タンジェントバンドル) は M の接空間の非交和[注釈 1]である。
URLﾘﾝｸ(upload.wikimedia.org)
インフォーマルには、多様体（この場合円）の接束はすべての接空間を考え（上）それらを滑らかに重ならないようにつなげる（下）ことによって得られる。[注釈 1]
（注釈
1^ a b 非交和は多様体 M の任意の 2 点 x1 と x2 に対して接空間 T1 と T2 が共通のベクトルをもたないことを保証する。これはグラフィカルに円 S1 の接束の添付図に描かれている、例のセクションを参照：円のすべての接線は円の平面にある。それらを交わらないようにするためには円の平面に垂直な平面にそれらを整列することが必要である。）
この射影は各接空間 TxM を一点 x に写像する。
接束には（下のセクションで記述される）自然な位相が入る。この位相によって、多様体の接束はベクトル束（ファイバーがベクトル空間であるファイバー束）の典型的な例である。TM の断面は M 上のベクトル場であり、TM の双対束は余接束で、M の余接空間の非交和である。定義により、多様体 M が平行化可能（英語版） (parallelizable) であることと接束が自明であることは同値である。定義により、多様体 M が 枠付き（英語版） であることと接束 TM が stably trivial、すなわちある自明束 E に対しホイットニー和 (Whitney sum) TM ◯+ E が自明であることは同値である。例えば、n 次元球面 Sn はすべての n に対して枠付きであるが、（Bott-Milnor と Kervaire の結果によって）n = 1, 3, 7 に対してのみ平行化可能である。
つづく