%indent
* 反変ベクトルと共変ベクトル [#cdf614d2]
;,一般に、双対関係にある基底$$ \:e_i $$と$$ \:e^i $$に対し、
;.基準となる$$ \:e_i $$を共変基底、$$ \:e^i $$を反変基底と呼ぶ((http://hooktail.sub.jp/vectoranalysis/CovariantContravariant/))。
;,他方、ベクトル$$ \:A $$を$$ \:A $ = $ \sum $ A^i $ \:e_i $ = $ \sum $ A_i $ \:e^i $$と表し、
;.$$ A^i $$を反変成分、$$ A_i $$を共変成分と呼ぶ。
;,ベクトルやスカラが持つ座標不変性のため、
;,ベクトルの成分と基底は反変と共変が入れ混じる形で、混乱しやすい。
;,また、上付きと下付きによる表現は反変と共変を表すのに強力ではあるが、
;,計量的イメージと離れるため更に分かり難い面がある。
;,これに対し、凌宮数学では双対基底を正基底と逆基底に分け、逆数と似た表記法を用いることで計量的イメージを直観的に表せる。
;,その結果、反変と共変に関する形式的な整理を与える。
* 逆基底表記 [#qf7b42ba]
** 基底 [#xe85f967]
;,凌宮数学では共変基底を正基底$$ \: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 $$倍が打ち消して座標変換に関して不変であるのも形式的に分かる。
#ceq(e)
$$ \: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 $ ) $$
#ceq(end)
** 成分 [#ra3535aa]
;,一般に、任意のベクトル$$ \:A $$に対し、その$$ \:e_i $$成分はベクトルと逆基底ベクトルの内積で与えられる。
#ceq(e)
$$ A^i $ = $ \:A $ \sx $ \ffd1{\:e_i} $ =: $ \ffd{\:A}{\:e_i} $$
#ceq(e)
$$ \:A $ = $ \sum $ A^i $ \:e_i $ = $ \sum $ \ffd{\:A}{\:e_i} $ \:e_i $$
#ceq(end)
;,正基底$$ \:e_i $$が$$ k $$倍に変わる場合、
;,正基底の成分は逆基底の付き方から$$ \ffd1k $$倍に変わることが直ちに分かる。
#ceq(e)
$$ \ffd{\:A}{\:u_i} $ = $ \:A $ \sx $ \ffd1{k\:e_i} $ = $ \ffd1k $ \ffd{\:A}{\:e_i} $$
#ceq(end)
;,他方、逆基底の成分は正基底で割算するため、$$ \ffd1{1/k} $ = $ k $$倍に変わるのは容易に予想できる。
#ceq(e)
$$ \ffd{\:A}{\:u_i^{-1}} $ = $ \:A $ \sx $ \:u_i $ = $ \:A $ \sx $ (k\:e_i) $ = $ k $ \ffd{\:A}{\:e_i^{-1}} $$
#ceq(end)
** 内積 [#h1022f7a]
;,一般に、任意のベクトル$$ \:A $$と$$ \:B $$は一対の反変と共変表記により成分同士の積和形で表せる。
#ceq(e)
$$ \:A $ \sx $ \:B $$
#ceq(e)
$$ = $ \left(\sum A^i \:e_i \right) $ \sx $ \left(\sum B^i \:e_i \right) $$
;, $$ = $ \left(\sum A^i \:e_i \right) $ \sx $ \left(\sum B_i \:e^i \right) $$
;, $$ = $ \left(\sum A_i \:e^i \right) $ \sx $ \left(\sum B_i \:e^i \right) $$
;, $$ = $ \left(\sum A_i \:e^i \right) $ \sx $ \left(\sum B^i \:e_i \right) $$
#ceq(a)
&br;&br;各ベクトルの表記は共変と反変のどちらでも良く、&br;&br;&br;
#ceq(e)
$$ = $ \sum $ A^i $ B_i $ = $ \sum $ A_i $ B^i $$
#ceq(a)
&br;基底が打ち消えるのは$$ \:e_i $$と$$ \:e^i $$が組み合わせるときだけ&br;&br;
#ceq(e)
$$ = $ \ffd{\:A}{\:e_i} $ \sx $ \ffd{\:B}{\:e^i} $ = $ \ffd{\:A}{\:e^i} $ \sx $ \ffd{\:B}{\:e_i} $$
#ceq(end)
![[PukiWiki]](image/NekoPunch.png "[PukiWiki]")
