接ベクトル空間

多様体上の接ベクトル空間（せつベクトルくうかん、）あるいは 接空間（）とは、多様体上の各点で定義されるベクトル空間であり、その点における全ての接ベクトルの集合である。接ベクトル空間は、ユークリッド空間内の曲線や曲面における接ベクトルの一般化ともいえる。

概要 
接ベクトル空間は、多様体上の点ごとに定義されるベクトル空間である。接ベクトル空間の元を接ベクトルという。全ての点で接ベクトルが定まっているとベクトル場というものが定義できる。ベクトル場は多様体の形を調べたり、多様体上の粒子の運動を調べたりするのに非常に役立つ概念である。物理学でいえば電磁場や重力場などを記述でき、そのベクトル場の中に置かれた粒子はその点での接ベクトルの向いている方向に沿って移動していく。本項目で扱うのは、そのベクトル場の基礎となるある 1 点の上の接ベクトル空間である。

 とする。  次元  級多様体  と、その中の  級曲線

を考え  とする。

 を含む座標近傍  において  を  で微分して、 を代入することにより曲線  の点  での速度ベクトル

が求まる。 この速度ベクトルの成分は、座標近傍の局所座標系の表し方に依存する表示になっている。多様体の性質を調べる際には、局所座標系の取り方に依存しない性質を扱いたいという要請があるので、この速度ベクトルは多様体の性質を調べるのには不向きである。そこで  上で定義された  級関数

を利用することを考える。  は 座標近傍   においては、  変数の関数  として書かれている。この  を曲線  上で調べる。  は局所座標系に寄らない関数

であり、これを  で微分した

もまた局所座標系に依存しない。

ところで  という表示にして  で微分してみれば、多変数関数の合成関数の微分 として連鎖律の公式から

となる。

先程の速度ベクトルの式と比べてみるとこれは、速度ベクトルと  の勾配

の内積と見ることができる。

つまり、速度ベクトルと  の勾配を組み合わせることによって、局所座標系に依存しないものが得られることになる。ここで、  は  上の  級関数であり、定数関数かもしれないし、  だけを変数にとるといったような必ずしも多様体  の性質を反映しない関数かもしれないということを考えると先程の式は

のように関数  とそれに作用する作用素とに分け、この作用素を接ベクトルと定義するのである。

すなわち、局所座標系に依存しない速度ベクトルのようなものを探し求めた結果

という形をした微分作用素の一次結合（接ベクトル）を用いることで解決できる事が分かる。この接ベクトルの全体を接ベクトル空間という。
作用素をベクトルと呼ぶために、少し抽象的でわかりにくい話になるが、そういう場合は関数  に具体的な形をいくつか与えてみて多様体の形を感じ取るのがよい。

定義 
方向微分と接ベクトルについての定義を与える。接ベクトルは方向微分であるが、 方向微分が接ベクトルとは限らない。滑らかな多様体の場合にのみ両者は一致するので、滑らかな多様体の話に限るのであれば方向微分の定義は接ベクトルの定義でもある。

方向微分 
 とする。  次元  級多様体  と、その中の  級曲線

と  上の任意の  級関数

を与えたとき、  に対して

という対応  を曲線  の  における方向微分  という。
この定義には局所座標系などは全く出てこないので方向微分は座標系に依存しない。

 とする。  の近傍で定義された任意の  級関数  及び任意の実数  に対し

が成り立つ。この左辺の変数になっている  は  に対して

のように関数の値の（普通の意味での）積とする。

このことから、方向微分  は線型性を持ち、ライプニッツ則（積の微分法則）に従う作用素であることが分かる。

数学においては、このように性質を調べた後でその性質をその言葉の定義と取り替えて一般化することがよくある。

すなわち  次元  級多様体  の点  の近傍で定義された任意の  級関数  及び実数  に対し

をみたすような対応
 
のことを  における方向微分という。
この定義には曲線  すら出てこない。

多様体  上の点  における方向微分の全体を  と書く。

 が恒等的に  を取る関数であれば、定義より

となる。このことより  が定数  を取る定数関数であれば

となることがわかる。

 の開近傍を十分小さく取ったときに  級関数  の値がその開近傍上で等しいとき

となる。

 での方向微分  と  級関数  実数  に対して

のように、方向微分の和と定数倍を定義することにより、  はベクトル空間になる。

接ベクトル 
 とする。  次元  級多様体  とその上の点  を考える。  を含む座標近傍  上で定義された微分作用素

は方向微分になる。この  個の方向微分は線型独立であり、これらの線型結合

（ただし  () ）
を、  における  の接ベクトル  といい、接ベクトルの全体を  と書き、  における  の接ベクトル空間  あるいは 接空間  という。接ベクトル空間  は  の線型部分空間である。

この等号が成り立つのは、  が   級多様体（滑らかな多様体）であるときに限る。

接ベクトルの定義において、係数  をどのような組み合わせでとってもその接ベクトルに対する  を通る曲線  が存在する。逆に  を通る  曲線  に対して定められた方向微分  は接ベクトルになる。

見かけは局所座標系に依存しているように見える定義も、局所座標に依存しないベクトルとして定まっている。  を含む別の座標近傍  を取り、座標変換を考え

を用いれば、接ベクトルは

という計算によって

（ただし  () ）
の形に変換できる。

関数の微分 
 次元  級多様体  とその上の点  を考える。  における 接ベクトル  は、  の近傍で定義された  級関数  を実数  に対応させる関数である。

 は接ベクトル  と関数  の組であり、  を固定して、  に対して値が定まると考えてきた。逆に  を固定して

という関数も考えることができる。この  を  の  における 微分  という。

接ベクトルのなす空間  は  上の線型空間であることから、  から  への線型写像のなす双対ベクトル空間

が定まるが、 微分  はこの  の元である。  のことを  の  における余接ベクトル空間  という。

特に  を含む座標近傍  があるとき、関数  として 局所座標系の成分の一つである  を選べば、その  における微分は  となり

である。右辺の  はクロネッカーのデルタとする。
ここに現れた  という記号は、微分形式として積分  に現れる  と、しばしば同一視される。通常の積分ではと  は、一組の記号でありそれぞれを別個の物として扱うことはできないが、各点で余接ベクトルとみなせば、 という記号に意味を持たせることができる。各点に余接ベクトルを与えたものであるので、正確には余接ベクトル場を考えることになる。

写像の微分 
多様体上の関数の微分は、多様体から多様体への写像の微分へと拡張される。

:  次元  級多様体
:  次元  級多様体
として、 級写像

を考える。

 の中の曲線

をとり、  を含む座標近傍  を取る。
曲線  の  における接ベクトルは

と書ける。

ここで  を  で  の中へ写した曲線
 
 
と、  を含む座標近傍  を取る。同様に  における接ベクトルは

となる。この接ベクトルの係数は、  の局所座標系を用いると合成関数の微分により

となることが分かる。行列を用いて書くと

となる。右辺の  行列

は関数行列（ヤコビ行列）である。それぞれの接ベクトルは  や  の周辺の様子を表しているが、  の周辺が  によってどのように  の周辺にうつされているのか？を表現しているのが、この関数行列  である。

こうして

という対応ができ、この  を

の  における微分という。つまり、微分というのは接ベクトル空間から接ベクトル空間への線型写像のことであり、微分を用いることによって写像は局所的には線型代数学的な扱いが可能になる。

 の行列としての表示  の階数を  の  における階数 といい、  と書くと

である。

関連項目 
 多様体
 接線
 接平面
 余接空間

微分幾何学
幾何学
多様体論
数学に関する記事