Test/eq のバックアップの現在との差分(No.2)

• バックアップ一覧
• ソース を表示
• バックアップ を表示
• Test/eq は削除されています。
  • 1 (2013.0603 (月) 0515.5200)
  • 2 (2013.0603 (月) 0557.2700)

• 追加された行はこの色です。
• 削除された行はこの色です。

/逆基底
%indent
////////////////////////////////////////////////////////////////
////////////////////////////////////////////////////////////////
* 逆基底の計算式 [#l9c36f61]

;,３次元の場合、垂直条件：$$ \ffd{1}{\:e_x} $ \perp $ \:e_y $$かつ$$ \ffd{1}{\:e_x} $ \perp $ \:e_z $$であるため、
  $$ \ffd{1}{\:e_x} $ /\!/ $ \:e_y $ \vx $ \:e_z $$という関係が成り立つ。
;,このため、任意の比例定数$$ k $$を使って、$$ \ffd{1}{\:e_x} $ = $ k $ \:e_y $ \vx $ \:e_z $$と書ける
((計算自体は、参考：[[［物理のかぎしっぽ / ベクトル解析 / 双対基底］>http://hooktail.sub.jp/vectoranalysis/DualBases/]] が丁寧で分かりやすい。))。

;,正規条件：$$ \:e_x $ \sx $ \ffd{1}{\:e_x} $ = $ 1 $$より、
  $$ 1 $ = $ \:e_x $ \sx $ \ffd{1}{\:e_x} $ = $ k $ \:e_x \sx (\:e_y \vx \:e_z ) $$。
;,$$ \:e_x \sx (\:e_y \vx \:e_z ) $$はスカラであるため、$$ k $ = $ \ffd{1}{\:e_x \sx (\:e_y \vx \:e_z )} $$。

;,よって、$$ \ffd{1}{\:e_x} $ = $ k $ \:e_y $ \vx $ \:e_z $ = $ \ffd{\phantom{\:e_x \sx (}\:e_y \vx \:e_z\phantom{)}}{\:e_x \sx (\:e_y \vx \:e_z )} $$。
;,したがって、逆基底表記$$ \ffd{1}{\:e_x} $$は、$$ \ffd{\phantom{\:e_x \sx (}\:e_y \vx \:e_z\phantom{)}}{\:e_x \sx (\:e_y \vx \:e_z )} $$の
  $$ \ffd{\phantom{\sx (}\:e_y \vx \:e_z\phantom{)}}{\sx (\:e_y \vx \:e_z )} $$を記号的に省いたものと捕らえて良い。
  
;,ただし、具体的に何が省かれるかは次元によって異なる。
;,１次元では何も省かれずにスカラ除算として成立する。
  ２次元では例えば$$ \ffd{\phantom{\vx}\:e_y}{\vx \:e_y} $$が省かれる
((ただし、ここの$$ \vx $$は高校でも大学でも教えて貰えない２次元の外積である。))
((２次元の外積については、[[［高専における数学教育の見直し 数学談話会 / 第５回 / 詫間電波工業高等専門学校 / ２次元ベクトルの外積の効用（線形代数学の教科内容の改善に向けて）］>http://www.dt.takuma-ct.ac.jp/~sawada/math/danwa5html/node14.html]] がお勧め。))。
;,４次元以上では、書くだけでも４次元のベクトル積((参考：[[［物理のかぎしっぽ / 微分形式 / 四次元の微分形式］>http://hooktail.sub.jp/differentialforms/FourDimDiffForms/]]))を表せる外積代数
((具体的にホッジ作用素が基底の除算に該当する。参照：[[［物理のかぎしっぽ / 微分形式 / ホッジ作用素］>http://hooktail.sub.jp/differentialforms/HodgeStarOperator/]]))
の知識が必要だが、イメージするだけなら直観的に残りの基底を掛け合わせた分母と分子を省く感覚で良い。

%bodynote
////////////////////////////////////////////////////////////////