反変ベクトルと共変ベクトル EditToHeaderToFooter

一般に、双対関係にある基底$$ \:e_i $$と$$ \:e^i $$に対し、基準となる$$ \:e_i $$を共変基底、$$ \:e^i $$を反変基底と呼ぶ*1。
他方、ベクトル$$ \:A $$を$$ \:A $$$$ = $$$$ \sum $$$$ A^i $$$$ \:e_i $$$$ = $$$$ \sum $$$$ A_i $$$$ \:e^i $$と表し、$$ A^i $$を反変成分、$$ A_i $$を共変成分と呼ぶ。

ベクトルやスカラが持つ座標不変性のため、
ベクトルの成分と基底は反変と共変が入れ混じる形で、混乱しやすい。
また、上付きと下付きによる表現は反変と共変を表すのに強力ではあるが、
計量的イメージと離れるため更に分かり難い面がある。

これに対し、凌宮数学では双対基底を正基底と逆基底に分け、逆数と似た表記法を用いることで計量的イメージを直観的に表せる。
その結果、反変と共変に関する形式的な整理を与える。

逆基底表記 EditToHeaderToFooter

基底 EditToHeaderToFooter

凌宮数学では共変基底を正基底$$ \:e_i $$とし、
反変基底を逆基底として正基底の逆数の形$$ \ffd1{\:e_i} $$$$ = $$$$ \:e_i^{-1} $$$$ = $$$$ \:e_i^- $$の形で表す。

反変と共変で良く扱われる定数倍の座標変換に関して、
正基底$$ \:e_i $$が$$ k $$倍の$$ \:u_i $$$$ = $$$$ k $$$$ \:e_i $$に変わる場合、
逆基底は$$ \ffd1{\:u_i} $$$$ = $$$$ \ffd1{k\:e_i} $$$$ = $$$$ \ffd1k $$$$ \ffd1{\:e_i} $$と、$$ \ffd1{\:e_i} $$の$$ \ffd1k $$倍に変わることが形式的に分かる。

双対基底間の内積は、$$ k $$倍と$$ \ffd1k $$倍が打ち消して座標変換に関して不変であるのも形式的に分かる。

$$ \:u_i $$$$ \sx $$$$ \:u^i $$$$ = $$$$ \:u_i $$$$ \sx $$$$ \ffd1{\:u_i} $$$$ = $$$$ (k\:e_i) $$$$ \sx $$$$ \ffd1{k\:e_i} $$$$ = $$$$ \:e_i $$$$ \sx $$$$ \ffd1{\:e_i} $$$$ ( $$$$ = $$$$ 1 $$$$ ) $$

成分 EditToHeaderToFooter

任意のベクトル$$ \:A $$に対し、その$$ \:e_i $$成分はベクトルと逆基底ベクトルの内積で与えられる。

$$ A^i $$$$ = $$$$ \:A $$$$ \sx $$$$ \ffd1{\:e_i} $$$$ =: $$$$ \ffd{\:A}{\:e_i} $$

$$ \:A $$$$ = $$$$ \sum $$$$ A^i $$$$ \:e_i $$$$ = $$$$ \sum $$$$ \ffd{\:A}{\:e_i} $$$$ \:e_i $$

正基底$$ \:e_i $$が$$ k $$倍に変わる場合、
正基底の成分は逆基底の付き方から$$ \ffd1k $$倍に変わることが直ちに分かる。

$$ \ffd{\:A}{\:u_i} $$$$ = $$$$ \:A $$$$ \sx $$$$ \ffd1{k\:e_i} $$$$ = $$$$ \ffd1k $$$$ \ffd{\:A}{\:e_i} $$

他方、逆基底の成分は正基底で割算するため、$$ \ffd1{1/k} $$$$ = $$$$ k $$倍に変わるのは容易に予想できる。

$$ \ffd{\:A}{\:u_i^{-1}} $$$$ = $$$$ \:A $$$$ \sx $$$$ \:u_i $$$$ = $$$$ \:A $$$$ \sx $$$$ (k\:e_i) $$$$ = $$$$ k $$$$ \ffd{\:A}{\:e_i^{-1}} $$
    数学 一覧 検索 最新 バックアップ リンク元   ヘルプ   最終更新のRSS