微分幾何学において、滑らかな（あるいは可微分）多様体の各点 に、 における余接空間（よせつくうかん、）と呼ばれるベクトル空間を取り付けることができる。余接空間は、より直接的な定義があるが（下記参照）、典型的には、 における接空間の双対空間として定義される。余接空間の元は余接ベクトル（）あるいは接余ベクトル（）と呼ばれる。
性質 連結多様体上のすべての余接空間は多様体の次元に等しい同じ次元をもつ。多様体のすべての余接空間は「貼り合わせて」（すなわち和集合をとり位相を与えて）次元が2倍の新しい微分可能多様体、多様体の余接束を作ることができる。
点における接空間と余接空間はどちらも同じ次元の実ベクトル空間でありそれゆえ多くの可能な同型写像を経由して互いに同型である。リーマン計量やシンプレクティック形式の導入は点における接空間と余接空間の間の自然同型を任意の余接ベクトルに自然な接ベクトルを割り当てて生じる。
正式な定義
線型汎関数としての定義
を滑らかな多様体とし を の点とする。 を における接空間とする。このとき における余接空間は の双対空間として定義される：
具体的には、余接空間の元は 上の線型汎関数である。つまり、すべての元 は線型写像
である、ただし は考えているベクトル空間の基礎体である。例えば、実数体。 の元は余接ベクトルと呼ばれる。
別の同値な定義
いくつかのケースでは、接空間に言及することなしに余接空間の直接の定義をしたいかもしれない。そのような定義は 上の滑らかな関数の同値類の言葉で定式化することができる。インフォーマルには、 の近くで同じ一次の振る舞いをするときに2つの滑らかな関数 と は点 で同値であるという。余接空間はすると の近くの関数のありとあらゆる一次の振る舞いからなる。
を滑らかな多様体とし を の点とする。 を で消える のすべての関数からなるイデアルとし、 を の形の関数の集合とする、ただし とする。このとき と は実ベクトル空間であり余接空間は商空間 として定義される。
この定式化は代数幾何学におけるザリスキ接空間を定義する余接空間の構成に類似である。この構成はまたにも一般化される。
関数の微分
を滑らかな多様体とし を滑らかな関数とする。点 における の微分は写像
ただし は導分 と考えられる におけるである。つまり は方向 の のリー微分であり、 が成り立つ。同じことだが、接ベクトルを曲線の接線と考えることができ、
と書く。どちらの場合にも、 は 上の線型写像でありしたがってそれは における余接ベクトルである。
すると点 における微分写像 を を に送る写像として定義できる。微分写像の性質は次を含む：
は線型写像である： 定数 に対して
微分写像は上で与えられた余接空間の2つの 定義の間のつながりを提供する。関数 （ において消える滑らかな関数）が与えられると上記のように線型汎関数 を構成することができる。写像 が 上 に制限する（読者はこれを確かめよ）から は から接空間の双対 ( への写像を誘導する。この写像は同型写像であり2つの定義の同値性を確立することを示すことができる。
滑らかな関数の引き戻し
多様体間のすべての微分可能な写像 が（微分写像あるいは微分と呼ばれる）線型写像
を誘導するのとちょうど同じように、すべてのそのような写像は余接空間の間の（と呼ばれる）線型写像を誘導する。このとき向きは逆である：
引き戻しは微分写像の双対（あるいは転置）として自然に定義される。定義を紐解くと、これは次を意味する：
ただし および である。それぞれがどこの元であるかを注意深く注意せよ。
点で消える滑らかな関数の同値類の言葉で余接ベクトルを定義すれば、引き戻しの定義はさらにもっと直接的である。 を で消える 上の滑らかな関数とする。すると によって決定される余ベクトルの引き戻し（ と表記される）は
で与えられる。つまり、それは で決定される で消える 上の関数の同値類である。
外冪
余接空間の 次外冪、 は微分幾何学の別の重要な対象である。 次外冪のベクトル、あるいはより正確には余接束の 次外冪の断面は微分 形式と呼ばれる。それらは 個の接ベクトル上の交代多重線型写像と考えることができる。この理由のため、余接ベクトルはしばしば 1 形式 と呼ばれる。
参考文献