猫式/基底成分表記 のバックアップ(No.2) |
混合基底ベクトルの成分表記には主に、成分と基底の線形結合、成分のみを並べた列ベクトル、1成分までに略した総和規約がある。 例えば、ストークスの定理を線形結合で記述すると=のようになる。式には通常空間の広がりを表す基底、、と微小空間の広がりを表す基底、、の2系統のベクトル基底が混在しており、両系統を同時に扱う必要がある。 しかし、線形結合は例のように式が長くなるため、成分間、基底間の対応関係が追いにくい。また、他の省略記法も基底を省くため、基底間の対応関係が直感的に分かりにくい。このため、基底と成分を全て書き出しながらも、対応関係が分かる表記法が必要。 基底成分表記猫式では、ベクトルをのように表記。可読性の良い列ベクトルを拡張し、成分に対応する基底を縦線の左側に明記。 値はのように、各基底と成分の倍積のベクトル和とする。基底と成分の位置さえ対応していれば、のような不規則な並びも許す。 混合基底の表記通常空間の広がりを表す基底を幾何基底*1、微小空間の広がりを表す基底を幾何基底*2と、便宜的*3に呼ぶことにする。 例えば、ストークスの定理に登場する微小位置ベクトル=は、幾何基底について計算するときはと、逆に微小基底について計算するときはと表現できる。普通の演算は片方の基底にのみ作用し、他方の基底は成分同様に扱って良い。このため、必要に応じて注目する基底を明示的に入れ替えできる方が楽。 勿論、両方を同時に基底として扱う場合は、のように表現すれば良く、どれも基底と見なさない場合はでも良い。 *1
幾何基底:命名は図形的な矢印のイメージが元であるため。
*2 微分基底:命名は微分形式の基底であるため。 *3 本音は違いを端的に表す「マクロ基底」と「ミクロ基底」と呼びたいが、「マクロ量」と「ミクロ量」の概念との混同を懸念し、とりあえず保留。 幾何基底の計算以下では幾何基底の計算規則を示す。細かい計算は、線形結合表記と照らし合わせて計算し、最後に、結果だけをベクトル表記と照らし合わせる。 倍積スカラは基底が1と見なせば、次のように表記できる。
結果として、基底1を略せば、直感的にスカラを各成分に分配できる。 外積
結果として、 内積内積は外積と手順が同じのため、結果だけを示す。 微分基底の計算微分基底の乗算はウェッジ積と呼ばれる拡張された外積に統一されるている。普通はウェッジ記号「」で常に表記されるが、猫式では互換性を考え、省略可能とする。代わりに、微分基底間の乗算は常に外積規則が適応され、交換不可とする。 手順は幾何基底の外積演算と全く同じのため、結果のみを示す。
インチキ規則の正体ベクトル積分演算子のところで、微小量に対する計算では減算項を抜くインチキ規則を導入した。実は、その意味は1次形式 1次形式の右辺にある。注目すべき点は、基底側と成分側の非対称性である。 まず、成分側は幾何基底の外積の成分側と一致する。このため、通常のベクトル計算は成分側の計算と言える。次ぎに、基底側には減算項が無く、成分側の計算と異なっている。通常のベクトル計算をしようとしても、微分基底が成分側になく、別の計算となっているため、当然失敗する。 一方で、加算項と基底は常に対応しているため、成分側として計算した結果から減算項を消すだけで、基底側の計算になる。後付けではあるが、これがインチキ規則の真の意味である。 また、倍積と内積の演算には元から減算項が現れないため、インチキするまでもない。したがって、通常のベクトル演算で上手く処理できないのは微分基底間の外積のみと言える。 ベクトル置換積分…… ベクトル記号を用いた便宜表記…… まとめ・つなぎ…… 、、がそれぞれ、微分形式の1次形式、2次形式、3次形式の微分基底に対応している。1、2、3と並んだら、0を考えるのが猫式。線積分、面積分、体積分も同様、線、面、体と並んだら、点を考えるべし。というわけで、次回、 ──「点積分」。 |