余接空間
微分幾何学において、滑らかな(あるいは可微分)多様体の各点 x に、x における余接空間(よせつくうかん、英: cotangent space)と呼ばれるベクトル空間を取り付けることができる。余接空間は、より直接的な定義があるが(下記参照)、典型的には、x における接空間の双対空間として定義される。余接空間の元は余接ベクトル(英: cotangent vector)あるいは接余ベクトル(英: tangent covector)と呼ばれる。
いくつかのケースでは、接空間に言及することなしに余接空間の直接の定義をしたいかもしれない。そのような定義は M 上の滑らかな関数の同値類の言葉で定式化することができる。インフォーマルには、x の近くで同じ一次の振る舞いをするときに2つの滑らかな関数 f と g は点 x で同値であるという。余接空間はすると x の近くの関数のありとあらゆる一次の振る舞いからなる。
M を滑らかな多様体とし x を M の点とする。Ix を x で消える C(M) のすべての関数からなるイデアルとし、Ix を ∑ i f i g i {\textstyle \sum _{i}f_{i}\,g_{i}} の形の関数の集合とする、ただし fi, gi ∈ Ixとする。このとき Ix と Ix は実ベクトル空間であり余接空間は商空間 TxM = Ix / Ix として定義される。
この定式化は代数幾何学におけるザリスキ接空間を定義する余接空間の構成に類似である。この構成はまた局所環付き空間(英語版)にも一般化される。