余接空間
M を滑らかな多様体とし x を M の点とする。TxM を x における接空間とする。このとき x における余接空間は TxM の双対空間として定義される:
TxM = (TxM)
具体的には、余接空間の元は TxM 上の線型汎関数である。つまり、すべての元 α ∈ TxM は線型写像
α: TxM → F
である、ただし F は考えているベクトル空間の基礎体である。例えば、実数体。TxM の元は余接ベクトルと呼ばれる。