1 基本概念
接束は、多様体の各点における接空間を集めて作る幾何学的対象である。各点で「その場で進める方向」を整理することで、曲面や一般の多様体上の変化を線形的に扱えるようにする。微分、曲線、ベクトル場は、この枠組みによって統一的に記述される。
1.1 接空間
接空間は、ある点の近傍での一次近似を表す線形空間である。点そのものは1つでも、そこで取りうる接し方は複数あり、それらをまとめて扱うのが接空間の役割である。
1.1.1 点における接ベクトル
点における接ベクトルは、その点での方向と大きさをもつ量として理解される。平面では普通の矢印とみなせるが、多様体では埋め込みに依存しない内在的な概念として定義される。
1.1.2 曲線による定義
接ベクトルは、同じ点を通る滑らかな曲線の同値類として定められる。互いに同じ速度でその点を通過する曲線は同一の接方向を表すとみなされ、これにより幾何学的直観が得られる。
1.1.3 導分としての定義
接ベクトルは、滑らかな関数に作用する導分としても表現できる。これはライプニッツ則を満たす線形作用素であり、関数のその点での変化率を抽象的に記述する。
1.2 接束の定義
接束は、各点の接空間を点ごとに並べた全体である。多様体全体の「方向の集合」として機能し、局所的には多様体と線形空間の積のように見える。
1.2.1 各点の接空間の合併
接束は、各点 \(p\) に対応する接空間 \(T_pM\) をすべて集めた集合として構成される。各要素は「どの点の接ベクトルか」という情報を同時に持つ。
1.2.2 自然な射影
接束には、各接ベクトルをそれが属する点へ送る自然な射影がある。この写像により、接束の上の点と、元の多様体上の点が明確に対応づけられる。
1.2.3 滑らかな構造
接束は単なる集合ではなく、滑らかな多様体としての構造を備える。局所座標を用いることで、その全体に自然な滑らかさを入れ、微分可能な操作を行えるようにする。
1.3 接ベクトルとベクトル場
接ベクトルは各点での局所的なデータだが、それを多様体全体にわたって滑らかに並べるとベクトル場になる。接束は、この「点ごとのベクトル」を束ねる舞台である。
1.3.1 ベクトル場の定義
ベクトル場は、多様体の各点に接ベクトルを割り当てる写像である。割り当てが点ごとに滑らかであるとき、その場は微分幾何学で基本的な対象となる。
1.3.2 接束上の切断
接束の切断とは、多様体の各点をその上の接ベクトルへ滑らかに選び返す写像である。ベクトル場はまさに接束の切断として理解でき、両者は同じ概念を別の視点から見たものになる。
2 局所座標による記述
接束は抽象的に定義できるが、計算には局所座標が有効である。座標を導入すると、接ベクトルは成分を持つ対象として表され、変換規則によって座標系の変更にも対応する。
2.1 座標近傍での表現
座標近傍では、多様体の局所的な形をユークリッド空間に近いものとして扱える。接ベクトルもこの近傍で具体的な数列や微分演算子として表現される。
2.1.1 局所座標と接ベクトル
局所座標系を取ると、接ベクトルは座標関数に対する微分の組で表せる。各座標方向に沿った成分が、接方向の情報を与える。
2.1.2 座標変換則
座標を変えると、接ベクトルの成分もそれに応じて変化する。この変換はヤコビ行列によって与えられ、異なる座標表示の間で同じ幾何学的対象を整合的に表す。
2.2 接束の局所自明化
接束は大域的には複雑でも、局所的には単純な積空間に見えることが多い。この局所的な単純化が、自明化である。
2.2.1 自明化の概念
自明化とは、ある開集合上で束を「基底空間×標準繊維」の形に見直すことを指す。接束では、局所的に多様体の点と固定されたベクトル空間を対応させる。
2.2.2 局所的な直積構造
局所自明化があると、接束は近傍内で直積のように振る舞う。これにより、幾何学的な議論を座標的な計算へ落とし込みやすくなる。
2.3 座標を用いた計算
座標表示は、接ベクトルの操作や微分方程式の記述を具体化する。解析的な処理の多くは、この表示に基づいて行われる。
2.3.1 微分作用素との対応
接ベクトルは、座標関数に対する微分作用素と対応する。関数の変化率を測る道具として解釈でき、力学や解析で扱いやすい形になる。
2.3.2 成分表示
接ベクトルは、各座標方向の基底に関する成分の組として書ける。成分表示は計算の基本形であり、ベクトルの比較や合成を容易にする。
3 接束の構造
接束は、各繊維が線形空間であるベクトル束の一種である。その構造は、連続性、線形性、切断の性質など、複数の観点から理解できる。
3.1 ベクトル束としての性質
接束は、基底多様体の各点に線形空間を割り当てるベクトル束である。局所的には単純でも、大域的には非自明な形を取りうる。
3.1.1 連続体としての構造
接束の全体は、点と繊維が連続的につながった空間として扱われる。個々の繊維が孤立しているのではなく、滑らかに変化する連続的な族として理解される。
3.1.2 線形構造
各繊維はベクトル空間なので、加法やスカラー倍が定義される。この線形性により、接束上での操作は多くの代数的手法と相性がよい。
3.2 切断とベクトル場
切断は、基底空間の各点に繊維の元を選ぶ写像である。接束では、切断がそのままベクトル場となる。
3.2.1 大域的切断
大域的切断は、多様体全体にわたって定義された滑らかな選択である。全体として一貫したベクトル場を与え、幾何学的・力学的な解析に用いられる。
3.2.2 局所切断
局所切断は、ある開集合上でのみ定義される切断である。大域的な延長ができない場合でも、局所的な情報を集めることで性質を調べられる。
3.3 接束の次元
接束の次元は、基底多様体の次元と繊維の次元を合わせたものになる。これは局所的な座標表示から自然に導かれる。
3.3.1 多様体の次元との関係
多様体が \(n\) 次元なら、接束全体は一般に \(2n\) 次元の多様体として現れる。基底の座標と繊維の成分を合わせて考えるためである。
3.3.2 各繊維の次元
各接空間は基底多様体と同じ次元を持つ。したがって、接束の繊維はどの点でも同型な線形空間として並んでいる。
4 関連する概念
接束は、余接束や射影接束などの近縁概念と深く結びつく。また、写像に対する微分的な操作も、接束を通じて整理される。
4.1 余接束
余接束は接束の双対にあたり、微分形式や勾配の議論に関係する。接ベクトルに対して線形関数として働く要素を集めた束である。
4.1.1 余接空間
余接空間は、ある点の接空間の双対空間である。接ベクトルを入力として実数を返す線形汎関数がここに属する。
4.1.2 双対ベクトル束
余接束は、接束の各繊維を双対化して得られるベクトル束である。接束とは補完的な役割を持ち、微分形式や作用素の記述に用いられる。
4.2 射影接束
射影接束は、各接空間の方向だけを残して大きさを忘れた束である。ベクトルを線で同一視することで、向きの情報を強調する。
4.2.1 方向の空間
射影化では、非零ベクトルを同一直線上のものとして扱う。これにより、どの方向を向いているかという情報が主題になる。
4.2.2 射影化による比較
射影接束は、接束よりも粗い分類を与える。長さや尺度を捨てて方向だけを比較するため、幾何学的配置の把握に有用である。
4.3 接束に付随する演算
接束上では、写像に応じて構造を移す演算が定義される。これにより、多様体間の対応を微分可能なレベルで追跡できる。
4.3.1 引き戻し
引き戻しは、写像を通じて他の多様体上の構造を元の空間へ移す操作である。接束や関連束では、対象を前の空間に合わせて比較する際に使われる。
4.3.2 押し出し
押し出しは、ある多様体上のベクトルや構造を写像先へ送る考え方である。写像が十分に滑らかであれば、局所的な変化の伝達を記述できる。
4.3.3 微分写像
微分写像は、滑らかな写像に対して接ベクトルを対応させる線形写像である。接束の言葉では、写像が点ごとの接方向をどのように移すかを表す中心的な道具となる。