1 基本概念
接空間は、空間の一点における「進める向き」を線形にまとめたものです。曲線や曲面のような対象では、点の近傍を厳密に調べる代わりに、その点での一次的なふるまいを扱うために用いられます。直感的には、対象にそっと触れる直線や平面を抽象化した概念といえます。
1.1 接空間の定義
接空間は、ある点での接ベクトル全体からなるベクトル空間として定義されます。平面や曲面では、各点にそれぞれ固有の接空間が対応し、その構造は点ごとに変化しうる一方、各接空間自体は線形代数の対象として扱えます。
1.2 接ベクトルの考え方
接ベクトルは、点を通って対象の上を動く方向や速度を表します。多様体では、実際の矢印を描くというより、点における微小変化の働きを記述する抽象的な対象として理解されます。
1.2.1 幾何学的直観
幾何学的には、接ベクトルは曲線がその点を通過するときの瞬間的な向きを示します。曲面上では、表面に沿って動く方向のうち、その点で可能なものを表すため、局所的な運動の見取り図として働きます。
1.2.2 速度ベクトルとの関係
曲線が時間とともに動くとき、その点での速度ベクトルは接ベクトルの典型例です。空間内の曲線で得られる速度は、曲線が通る点の接空間に属し、運動の瞬間的な変化を与えます。
1.3 接線との違い
接線は主に一次元の対象に対して使われる言葉で、点で触れる直線を指します。これに対し接空間は、より一般に高次元の対象でも定義され、接線を含む線形的な枠組みを与えます。
1.4 接平面と高次元の場合
曲面では、接空間は接平面として具体化されます。三次元空間内の二次元曲面なら平面になるが、一般の多様体では点での接空間の次元はその多様体の次元に一致し、必ずしも視覚的な平面とは限りません。
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 座標基底
局所座標に対応する偏微分演算子は、接空間の標準的な基底を与えます。これは計算しやすく、接ベクトルを成分で表す最も基本的な方法です。
3.3.2 自然な基底の選び方
自然な基底は、座標や対称性に応じて選ばれます。問題の構造に合った基底を使うと式が簡潔になり、幾何学的な意味も見えやすくなります。
4 性質と応用
接空間は単なる定義にとどまらず、ベクトル場や微分形式、曲線の解析など多方面で用いられます。微分幾何学では、局所的な議論を全体へ広げるための中心的道具です。
4.1 次元
接空間の次元は、もとの多様体の次元と一致します。これは局所的に空間がユークリッド空間と同じ自由度をもつことを反映しています。
4.1.1 多様体の次元との一致
n次元多様体の各点の接空間もn次元です。点によって接空間の向きは変化しても、自由度の数は一定に保たれます。
4.2 ベクトル場
ベクトル場は、各点に接ベクトルを割り当てる写像です。接空間の族として多様体全体を見渡すことで、流れや変形の記述が可能になります。
4.2.1 接空間上のベクトル場
ベクトル場は、点ごとの接空間から一つずつベクトルを選ぶ構成です。滑らかに選ばれた場合、場は多様体上で連続的かつ微分可能な変化を示します。
4.2.2 微分方程式との関係
ベクトル場は常微分方程式の右辺として現れます。接ベクトルが進行方向を与えるため、解曲線はその場に沿って進む流れとして解釈できます。
4.3 曲線と曲率
接ベクトルは曲線の局所的な動きを表し、さらにその変化を追うと曲率に結びつきます。したがって、接空間は曲線のまっすぐさや曲がり具合の評価にも関係します。
4.3.1 曲線の接ベクトル
曲線の接ベクトルは、その点での瞬間的な方向を示します。複数の曲線を比べると、同じ接ベクトルをもつかどうかで局所的なふるまいを比較できます。
4.3.2 曲率の記述
曲率は接ベクトルがどの程度急に変化するかを表します。接線方向の変化率を調べることで、曲線や曲面の曲がり方を定量的に扱えます。
4.4 微分形式との関係
微分形式は接ベクトルに作用する多線形な対象で、接空間の双対構造と深く結びついています。これにより、積分や保存則の表現が整備されます。
4.4.1 双対空間
接空間の双対空間は、接ベクトルを線形に評価する関数全体です。これは微分形式の基本的な受け皿となり、ベクトルと共変的な量を区別する役割を持ちます。
4.4.2 余接空間との対応
余接空間は接空間の双対として定義されます。微分1形式は余接空間の元として理解され、接ベクトルとのペアリングによって数値が得られます。
5 具体例
抽象的な定義は、具体例を見ることで理解しやすくなります。ユークリッド空間、球面、グラフ曲面は、接空間の性質を示す代表的な例です。
5.1 ユークリッド空間の接空間
ユークリッド空間では、各点の接空間は空間そのものと自然に同一視できます。平坦な空間では、どの点でも接ベクトルの集まり方が変わらず、最も素朴な例になります。
5.2 球面上の接空間
球面では、各点の接空間はその点で球面に接する平面です。空間全体は曲がっていても、各点では平面的な近似が成立します。
5.2.1 接平面の具体式
球面のある点における接平面は、その点での法線ベクトルに垂直な平面として求められます。方程式を立てれば、点と法線から明示的に記述できます。
5.2.2 緯度経度との関係
緯度経度は球面上の座標の例であり、接平面上の方向を局所的に読み取る手がかりになります。ただし極付近では座標の扱いが不安定になり、別の座標系を使うことがあります。
5.3 グラフで表される曲面の接空間
関数のグラフとして与えられる曲面では、接空間は偏微分を使って求められます。関数の傾きが、その点での接平面の向きを決めます。
5.3.1 偏微分による求め方
グラフ曲面の接平面は、関数の各変数に関する偏微分から得られる一次近似で表せます。これにより、局所的な形状を簡潔な線形式として記述できます。
5.3.2 法線ベクトルとの関係
接平面は法線ベクトルに直交します。法線を用いると接空間を一意に決めやすくなり、曲面の向きや傾きを調べる際の基本情報になります。