線型汎関数としての定義

ウィキペディア小見出し辞書

線型汎関数としての定義

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2018/06/05 10:15 UTC 版)

「余接空間」の記事における「線型汎関数としての定義」の解説

M を滑らかな多様体とし x を M の点とする。TxM を x における接空間とする。このとき x における余接空間は TxM の双対空間として定義される： Tx*M = (TxM)* α : TxM → F である、ただし F は考えているベクトル空間の基礎体である。例えば、実数体。Tx*M の元は余接ベクトルと呼ばれる。