猫式/基底成分表記 のバックアップの現在との差分(No.3)

• バックアップ一覧
• ソース を表示
• バックアップ を表示
• 猫式/基底成分表記 は削除されています。
  • 1 (2010.1012 (火) 0452.2100)
  • 2 (2010.1012 (火) 0457.4400)
  • 3 (2010.1017 (日) 2148.2200)

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

TITLE:基底成分表記
%indent

//////////////////////////////////////////////////////////////////
* 基底成分表記 [#gf3d8093]

ベクトルの成分表記には、
列ベクトル
$$
    \arrs{
        F_x
     \\ F_y
     \\ F_z
    }
$$
線形結合$$ F_x \b e_x + F_y \b e_y + F_z \b e_z $$、
総和規約$$ F_i \b e^i $$があり、この順番で習うのが普通。
列ベクトルは基底を省いた表記で、直観的で初心者に易しいため、最初に習う((厳密には、高校では成分を横に並べた横ベクトル$$ (F_x, F_y, F_z) $$が一番最初だが、行列表記としては同類。))。
その後、座標変換などを扱うとき、基底を省いた裏目で対応できず、ベクトルの基本表現である線形結合を覚えさせられる。
続いて、線形結合は記述量が多くて大変なため、すぐに成分計算の頂点に立つ総和規約を叩き込まれる。
しかし、総和規約の計算は添字計算の嵐で、機械的に計算が進むのは良いが、直観的ではなく、基底間の対応と成分間の対応が確認しにくい。

これに対し、猫式ではベクトルを
$$
    \arrb{
        \b e_x  &  F_x
     \\ \b e_y  &  F_y
     \\ \b e_z  &  F_z
    }
$$
と表記。
列ベクトルのように基底と成分の両方を並べ、縦線で分離。

対応する基底と成分の倍積を成分ベクトルと呼ぶと、全成分ベクトルの和がベクトルの値になる。
このため、基底と成分の位置さえ対応していれば、
$$
    \arrb[cc|cc]{
        \b e_x &        &  F_x
     \\ \b e_y & \b e_z &  F_y & F_z
    }
$$
のような不規則な並びも許す。

%bodynote

//////////////////////////////////////////////////////////////////
* 混合基底 [#e4fc0392]

ストークスの定理を列ベクトルで書くと、
前回のベクトル置換積分では列ベクトルで記述して
$$
    \inte[S]
        \arrs{ \fracstrut \ppd{}{x} \\ \fracstrut \ppd{}{y} \\ \fracstrut \ppd{}{z} }
    \vx \arrs{ \fracstrut F_x       \\ \fracstrut F_y       \\ \fracstrut F_z       } 
    \sx \arrs{ \fracstrut dydz      \\ \fracstrut dzdx      \\ \fracstrut dxdy      }
$$
＝
$$
    \inte[R]
        \arrs{ F_x \\ F_y \\ F_z } 
    \sx \arrs{ d x \\ d y \\ d z }
$$
になるため、
基底成分表記で書くと
$$
    \inte[S]
        \arrb{ \b e_x & \fracstrut \ppd{}{x} \\ \b e_y & \fracstrut \ppd{}{y} \\ \b e_z & \fracstrut \ppd{}{z} }
    \vx \arrb{ \b e_x & \fracstrut F_x       \\ \b e_y & \fracstrut F_y       \\ \b e_z & \fracstrut F_z       } 
    \sx \arrb{ \b e_x & \fracstrut d y d z   \\ \b e_y & \fracstrut d z d x   \\ \b e_z & \fracstrut d x d y   }
$$
＝
$$
    \inte[R] \,
        \arrb{ \b e_x & F_x \\ \b e_y & F_y \\ \b e_z & F_z } 
    \sx \arrb{ \b e_x & d x \\ \b e_y & d y \\ \b e_z & d z }
$$
になる。

これをベクトル演算だけで無理に計算しても失敗する。
正しく計算するには、$$ dx $$、$$ dy $$、$$ dz $$を基底とする微分形式を使う必要がある。
このため、ベクトル置換積分では２系統の基底が混在している。

猫式では、区別のため、
$$ \b e_x $$、$$ \b e_y $$、$$ \b e_z $$を通常基底((通常空間の広がりを表すため。マクロ基底という名前も検討中。))と呼び、
$$ dx $$、$$ dy $$、$$ dz $$を微小基底((微小空間の広がりを表すため。ミクロ基底という名前も検討中。))と呼ぶ。
対応して、
$$ \arrb{ \b e_x & F_x \\ \b e_y & F_y \\ \b e_z & F_z } $$、
$$ \arrb{    d x & F_x \\    d y & F_y \\    d z & F_z } $$、
$$ \arrb{ \b e_x & d x \\ \b e_y & d y \\ \b e_z & d z } $$のように、
通常基底のみ、微小基底のみ、両方の基底を含むベクトルをそれぞれ、
通常ベクトル、微小ベクトル、混合ベクトルと呼ぶ。

また、混合ベクトルの一般型として、
$$
    \arrb[c|c|c]
    {   \b e_x & dx & F_x
     \\ \b e_y & dy & F_y
     \\ \b e_z & dz & F_z
    } 
$$
＝
$$
    \arrb
    {   \b e_x dx & F_x
     \\ \b e_y dy & F_y
     \\ \b e_z dz & F_z
    } 
$$
＝
$$
    \arrb
    {   \b e_x & dx F_x
     \\ \b e_y & dy F_y
     \\ \b e_z & dz F_z
    } 
$$
＝
$$
    \arrb
    {   dx & \b e_x F_x
     \\ dy & \b e_y F_y
     \\ dz & \b e_z F_z
    } 
$$
のように表現する。
３つ区切りは基底毎の位取り表記、２つ区切りは基底側に書く基底に対するハイライト表記。

%bodynote

//////////////////////////////////////////////////////////////////
* ベクトルの二項演算 [#b7d09378]

混合基底の演算もベクトル同様に、通常ベクトル演算、 微小ベクトル演算、混合ベクトル演算と分類できる。
実際、ベクトル置換積分で登場するのは３種類の通常ベクトル演算と３種類の微小ベクトル演算のみで、混合ベクトル演算は出番無し。
以下に、その６種類の演算を表に纏める。
これらは作用する基底にしか影響を与えず、他方を成分扱いするため、ハイライト表記で記述。
#br
#ceq
    &font(b){通常ベクトルの倍積};&br;
    $$ \arrb{\b e_x & A_x \\ \b e_y & A_y \\ \b e_z & A_z} $$
    $$ B $$
    ＝
    $$ \arrb{\b e_x & A_x B \\ \b e_y & A_y B \\ \b e_z & A_z B} $$
#ceq
    &font(b){１次形式 $$ \wx $$ ０次形式};&br;
    $$ \arrb{dx & A_x \\ dy & A_y \\ dz & A_z} $$
    $$ \wx $$
    $$ B $$
    ＝
    $$ \arrb{dx & A_xB \\ dy & A_yB \\ dz & A_zB } $$
#ceq
    &font(b){通常ベクトルの外積};&br;
    $$ \arrb{\b e_x & A_x \\ \b e_y & A_y \\ \b e_z & A_z} $$
    $$ \vx $$
    $$ \arrb{\b e_x & B_x \\ \b e_y & B_y \\ \b e_z & B_z} $$
    ＝
    $$
        \arrb{
            \b e_x &  A_y B_z - A_z B_y 
         \\ \b e_y &  A_z B_x - A_x B_z 
         \\ \b e_z &  A_x B_y - A_y B_x 
        }
    $$
#ceq
    &font(b){１次形式 $$ \wx $$ １次形式};&br;
    $$ \arrb{dx & A_x \\ dy & A_y \\ dz & A_z} $$
    $$ \wx $$
    $$ \arrb{dx & B_x \\ dy & B_y \\ dz & B_z} $$
    ＝
    $$
        \arrb{
            dydz &  A_y B_z - A_z B_y 
         \\ dxdy &  A_z B_x - A_x B_z 
         \\ dydx &  A_x B_y - A_y B_x 
        }
    $$
#ceq
    &font(b){微小ベクトルの内積};&br;
    $$ \arrb{\b e_x & A_x \\ \b e_y & A_y \\ \b e_z & A_z} $$
    $$ \Sx $$
    $$ \arrb{\b e_x & B_x \\ \b e_y & B_y \\ \b e_z & B_z} $$
    ＝
    $$ \arrb{ \fracstrut\,1\,& A_x B_x + A_y B_y + A_z B_z} $$
#ceq
    &font(b){１次形式 $$ \wx $$ ２次形式};&br;  
    $$ \arrb{dx & A_x \\ dy & A_y \\ dz & A_z} $$
    $$ \wx $$
    $$
        \arrb{
            \b dydz &  B_{yz}
         \\ \b dzdx &  B_{zx}
         \\ \b dxdy &  B_{xy}
        }
    $$
    ＝
    $$ \arrb{ \fracstrut dxdydz\,& A_x B_{yz} + A_y B_{zx} + A_z B_{xy}} $$
#ceq(end)
#br
一般的に、通常基底も ｐ ベクトルとして$$ \wx $$を適用できる。
むしろ、先に通常ベクトルの倍積、外積、内積を$$ \wx $$で纏めてから、
微分形式に応用するのが通常基底の$$ \vx $$を拡張した$$ \wx $$の歴史に沿った手順である。
しかし、この手順では$$ \wx $$が通常基底と微分基底の両方に使われるため、混同が起こる。
普通は両系統の基底が同時に登場しないよう、上手く問題を避けているが、
ベクトル解析の授業と微分形式の授業で習う公式の間にギャップを作ってしまう。

成分基底表記も、元々はこのギャップの橋渡しに考案されてい表記。
しかし、３次元を扱う限り、倍積、外積、内積の方が敷居が低い。
このため、今回は混乱を避け、上記６種類の演算を使う。

//////////////////////////////////////////////////////////////////
* 成分基底表記によるストークスの定理 [#z4a2ff70]

ストークスの定理は、猫式の基底成分表記とベクトル積分演算子で表記すると次のようになる。
$$
    \inte[S] d^{-2}
        \arrb{ \b e_x & \fracstrut \ppd{}{x} \\ \b e_y & \fracstrut \ppd{}{y} \\ \b e_z & \fracstrut \ppd{}{z} }
    \vx \arrb{ \b e_x & \fracstrut F_x       \\ \b e_y & \fracstrut F_y       \\ \b e_z & \fracstrut F_z       } 
    \sx \arrb{ \b e_x & \fracstrut d y d z   \\ \b e_y & \fracstrut d z d x   \\ \b e_z & \fracstrut d x d y   }
$$
＝
$$
    \inte[R] d^-
        \arrb{ \b e_x & F_x \\ \b e_y & F_y \\ \b e_z & F_z } 
    \sx \arrb{ \b e_x & d x \\ \b e_y & d y \\ \b e_z & d z }
$$
#br
#ceq
左辺＝
#ceq(e)
＝
$$
    \inte[S] d^{-2} $
    \arrb{
        \b e_x &  \ppd{F_z}{y} - \ppd{F_y}{z}
     \\ \b e_y &  \ppd{F_x}{z} - \ppd{F_z}{x}
     \\ \b e_z &  \ppd{F_y}{x} - \ppd{F_x}{y}
    }
    \sx
    \arrb{
        \b e_x & dydz
     \\ \b e_y & dzdx
     \\ \b e_z & dxdy
    }
$$
#ceq
    通常基底外積を実行
#ceq(e)
＝
$$
    \inte[S] d^{-2} $
    \arrb{
        1 & dydz \left( \ppd{F_z}{y} - \ppd{F_y}{z} \right)
     \\ 1 & dzdx \left( \ppd{F_x}{z} - \ppd{F_z}{x} \right)
     \\ 1 & dxdy \left( \ppd{F_y}{x} - \ppd{F_x}{y} \right)
    }
$$
#ceq
    通常基底内積を実行
#ceq(e)
＝
$$
    \inte[S] d^{-2} $
    \arrb{
        dydz & \ppd{F_z}{y} - \ppd{F_y}{z}
     \\ dzdx & \ppd{F_x}{z} - \ppd{F_z}{x}
     \\ dxdy & \ppd{F_y}{x} - \ppd{F_x}{y}
    }
$$
#ceq
    微小基底にハイライト
    &br;ココから、微小基底の計算を開始
    &br;微分形式では普通この段階から始めるため、通常基底が登場しない
#ceq(e)
＝
$$
    \inte[S] d^{-2} $
    \arrb{
        dx & \ppd{}{x}
     \\ dy & \ppd{}{y}
     \\ dz & \ppd{}{z}
    }
    \wx
    \arrb{
        dx & F_x \fracstrut
     \\ dy & F_y \fracstrut
     \\ dz & F_z \fracstrut
    }
$$
#ceq
    １次形式$$ \wx $$１次形式に分解
#ceq
＝
$$
    \inte[S] d^{-2}d $
    \arrb{
        dx & F_x
     \\ dy & F_y
     \\ dz & F_z
    }
$$
#ceq
    外微分演算子の定義より
    &br;もしくは、第一因子は$$ d\b r \sx \ddd{}{\b r} $$のため、全微分の関係より
    &br;いずれもの解釈でも$$ d $$は０次形式のため、$$ \wx $$は省略可能
#ceq(e)
#ceq(e)
＝
$$
    \inte[R] d^- $
    \arrb{
        dx & F_x
     \\ dy & F_y
     \\ dz & F_z
    }
$$
#ceq
    $$ d $$について累次積分を実行
    &br;積分領域を適当に再解釈
    &br;微小基底の計算はココまで
#ceq(e)
#ceq(e)
＝
$$
    \inte[R] d^- $
    \arrb{
        1 & dx F_x
     \\ 1 & dy F_y
     \\ 1 & dz F_z
    }
$$
＝
$$
    \inte[R] d^-
    \arrb{
        \b e_x \sx \b e_x & dx F_x
     \\ \b e_y \sx \b e_y & dy F_y
     \\ \b e_z \sx \b e_z & dz F_z
    }
$$
#ceq
    再び通常基底にハイライト
    &br;このような割り込みは一般的に成立しないが、
    &br;各成分に微小基底があるため、ここは可能
#ceq
＝
$$
    \inte[R] d^- $
    \arrb{
        \b e_x & dx
     \\ \b e_y & dy
     \\ \b e_z & dz
    }
    $ \sx $
    \arrb{
        \b e_x & F_x
     \\ \b e_y & F_y
     \\ \b e_z & F_z
    }
$$
#ceq
    通常基底の内積に分解
#ceq(e)
＝右辺
#ceq(end)

//////////////////////////////////////////////////////////////////
* 通常ベクトルの内積による簡略表記 [#ybd3f103]

上の計算途中で、
$$
    \arrb{
        dx & F_x
     \\ dy & F_y
     \\ dz & F_z
    }
$$
＝
$$
    \arrb{
        \b e_x & dx
     \\ \b e_y & dy
     \\ \b e_z & dz
    }
    $ \sx $
    \arrb{
        \b e_x & F_x
     \\ \b e_y & F_y
     \\ \b e_z & F_z
    }
$$
とあるが、注釈にもあるように、
微小基底があるため、通常基底の内積を取っても３つ成分ベクトルは混ざることはなく、
このような割り込みは可能となる。

これを利用して、$$ \arrb{d\b A & \b B} $$＝$$ d\b A \sx \b B $$と定義すれば、
通常ベクトルの内積と基底成分表記が簡単に行き来できる。
もともと基底と成分は積で扱われるため、ベクトルの場合に対し内積を取るのは自然の拡張と言える。

これより、微小基底の３種類の演算は次のように書ける。
#ceq(begin)
    &font(b){１次形式 $$ \wx $$ ０次形式};：　$$ [ d\b r | \b A ] $ \wx $ [ \spc{    1}{d\b S} |    B ] $$＝$$ [ d\b r  \wx \spc{    1}{d\b S} | \b A        B ] $$＝$$ [ d\b r | \b A        B ] $$
&br;&font(b){１次形式 $$ \wx $$ １次形式};：　$$ [ d\b r | \b A ] $ \wx $ [ \spc{d\b r}{d\b S} | \b B ] $$＝$$ [ d\b r  \wx \spc{d\b r}{d\b S} | \b A \vx \b B ] $$＝$$ [ d\b S | \b A \vx \b B ] $$
&br;&font(b){１次形式 $$ \wx $$ ２次形式};：　$$ [ d\b r | \b A ] $ \wx $ [ \spc{d\b S}{d\b S} | \b B ] $$＝$$ [ d\b r  \wx \spc{d\b S}{d\b S} | \b A \Sx \b B ] $$＝$$ [ d   V | \b A \sx \b B ] $$
#ceq(end)
#br
この簡略表記と猫式のベクトル微分演算子により、ストークスの定理は次のように変形できる。&br;
  $$ \inte[S] d^{-2} $ \ddd{}{\b r} \vx \b F \sx d^2\b S $$
＝$$ \inte[R] d^- $ \arrb{ d\b r \wx d\b r & \ffd{1}{d\b r} \vx \b F } $$
＝$$ \inte[R] d^- $ \arrb{ d\b r & \ffd{1}{d\b r} } \wx \arrb{ d\b r & \b F } $$
＝$$ \inte[R] d^- $ \arrb{ d\b r & \b F } $$
＝$$ \inte[R] d^- $ \b F \sx d\b r $$
&br;同様に、ガウスの定理は次のように変形できる。&br;
  $$ \inte[V] d^{-3} $ \ddd{}{\b r} \sx \b F \, d^3V $$
＝$$ \inte[S] d^{-2} $ \arrb{ d\b r \wx d\b S & \ffd{1}{d\b r} \sx \b F } $$
＝$$ \inte[S] d^{-2} $ \arrb{ d\b r & \ffd{1}{d\b r} } \wx \arrb{ d^2\b S & \b F } $$
＝$$ \inte[S] d^{-2} $ \arrb{ d^2\b S & \b F } $$
＝$$ \inte[S] d^{-2} $ \b F \sx d^2\b S $$

%bodynote

//////////////////////////////////////////////////////////////////
* まとめ・つなぎ [#e7d87ca4]

今回は、微分形式を経由して、積分公式を導きいた。
ベクトル形の積分公式と微分形式を橋渡しするため独自の表記を用いたが、個々の手順自体は合法的。
やってることは、$$ d\b r \wx d\b r $$＝$$ d^2\b S $$、$$ d\b r \wx d\b S $$＝$$ d^3V $$によって微小要素を分解してから、
$$ d\b r \wx \ffd{1}{d\b r} $$単位で消している。

これと同じことを、前回は$$ \ddd{^3V}{\b r} $$＝$$ d^2\b S $$、$$ d^2\b S \vx \ffd{1}{d\b r} $$＝$$ d\b r $$と理解していた。
その結果を作り出すために考えたインチキ規則は、
微小基底の二項演算を眺めば、成分側の演算手順から基底側の演算手順への変換規則であるの分かる。
$$ \wx $$の演算では、成分が加算項と減算項の２つに分かれ、基底の並びは必ず加算項と一致する。
一方で、通常基底と微傷基底の演算を比較すると、成分側の計算が完全に一致する。
このため、通常基底として計算して置き、減算項を抜けば、微小基底の基底側の演算結果が出てくる。

直観的センスとしては、今回は$$ \ffd{6}{2} $$＝$$ \ffd{2 \times 3}{2} $$＝$$ 3 $$と回りくどいのに対し、
前回は$$ \ffd{6}{2} $$＝$$ 3 $$と直接割ってるため、一枚上手と思う。

微分形式では、１次形式が線積分、２次形式が面積分、３次形式が体積分に対応。
３、２、１の次は０。体、面、線の次は点。
というわけで、次回、０次形式に対応する「点積分」。

//////////////////////////////////////////////////////////////////


//////////////////////////////////////////////////////////////////
//:１次形式 $$ \wx $$ １次形式（通常基底の外積に相当）|
//#ceq
//    $$ \arrb{\b e_x & A_x \\ \b e_y & A_y \\ \b e_z & A_z} $$
//    $$ \vx $$
//    $$ \arrb{\b e_x & B_x \\ \b e_y & B_y \\ \b e_z & B_z} $$
//#ceq
//    $$ (A_x \b e_x + A_y \b e_y + A_z \b e_z) $$
//    $$ \vx $$
//    $$ (B_x \b e_x + B_y \b e_y + B_z \b e_z) $$
//#ceq
//    ＝
//    $$
//        \arrb[ccc|ccc]{
//            \clr[rd]{\b e_x \vx \b e_x} & \clr[bl]{\b e_y \vx \b e_x} & \clr[bk]{\b e_z \vx \b e_x}  &  A_x B_x & A_y B_x & A_z B_x 
//         \\ \clr[bk]{\b e_x \vx \b e_y} & \clr[rd]{\b e_y \vx \b e_y} & \clr[bl]{\b e_z \vx \b e_y}  &  A_x B_y & A_y B_y & A_z B_y 
//         \\ \clr[bl]{\b e_x \vx \b e_z} & \clr[bk]{\b e_y \vx \b e_z} & \clr[rd]{\b e_z \vx \b e_z}  &  A_x B_z & A_y B_z & A_z B_z 
//        }
//    $$
//#ceq
//        $$ = A_x  B_x \, \clr[rd]{\b e_x \vx \b e_x}  +  A_y  B_x \, \clr[bl]{\b e_y \vx \b e_x}  +  A_z  B_x \, \clr[bk]{\b e_z \vx \b e_x} $$
//    &br;$$ + A_x  B_y \, \clr[bk]{\b e_x \vx \b e_y}  +  A_y  B_y \, \clr[rd]{\b e_y \vx \b e_y}  +  A_z  B_y \, \clr[bl]{\b e_z \vx \b e_y} $$
//    &br;$$ + A_x  B_z \, \clr[bl]{\b e_x \vx \b e_z}  +  A_y  B_z \, \clr[bk]{\b e_y \vx \b e_z}  +  A_z  B_z \, \clr[rd]{\b e_z \vx \b e_z} $$
//    &br;手順としては、とりあえず展開。
//#ceq(e)
//#ceq(e)
//    ＝
//    $$
//        \arrb[rrr|ccc]{
//             \phantom{\b e_x} & -\clr[bl]{\b e_z} &  \clr[bk]{\b e_y}  &  \phantom{A_x B_x} &          A_y B_x  &          A_z B_x 
//         \\  \clr[bk]{\b e_z} &  \phantom{\b e_y} & -\clr[bl]{\b e_x}  &           A_x B_y  & \phantom{A_y B_y} &          A_z B_y 
//         \\ -\clr[bl]{\b e_y} &  \clr[bk]{\b e_x} &  \phantom{\b e_z}  &           A_x B_z  &          A_y B_z  & \phantom{A_z B_z} 
//        }
//    $$
//    &br;＝
//    $$
//        \arrb[ccc|rrr]{
//            \phantom{\b e_x} & \clr[bl]{\b e_z} & \clr[bk]{\b e_y}  & \phantom{A_x B_x} &        - A_y B_x  &          A_z B_x 
//         \\ \clr[bk]{\b e_z} & \phantom{\b e_y} & \clr[bl]{\b e_x}  &          A_x B_y  & \phantom{A_y B_y} &        - A_z B_y 
//         \\ \clr[bl]{\b e_y} & \clr[bk]{\b e_x} & \phantom{\b e_z}  &        - A_x B_z  &          A_y B_z  & \phantom{A_z B_z}
//        }
//    $$
//#ceq
//        $$ = \phantom{A_x  B_x} \, \phantom{\b e_x}          - A_y  B_x  \, \clr[bl]{\b e_z}          + A_z  B_x  \, \clr[bk]{\b e_y} $$
//    &br;$$          + A_x  B_y  \, \clr[bk]{\b e_z} \phantom{+ A_y  B_y} \, \phantom{\b e_y}          - A_z  B_y  \, \clr[bl]{\b e_x} $$
//    &br;$$          - A_x  B_z  \, \clr[bl]{\b e_y}          + A_y  B_z  \, \clr[bk]{\b e_x} \phantom{+ A_z  B_z} \, \phantom{\b e_z} $$
//    &br;これは線形結合では曖昧だが、厳密には基底計算と因数移動の２手。
//    &br;&font(#FFF,#000,u+#000,o+#000,b){## ##規則２## ##}; 因数は対応する基底と成分の間を移動可能。
//#ceq
//    ＝
//    $$
//        \arrb{
//            \b e_x &  A_y B_z - A_z B_y 
//         \\ \b e_y &  A_z B_x - A_x B_z 
//         \\ \b e_z &  A_x B_y - A_y B_x 
//        }
//    $$
//#ceq
//    $$ = (A_y B_z - A_z B_y) \b e_x $$
//    $$ + (A_z B_x - A_x B_z) \b e_y $$
//    $$ + (A_x B_y - A_y B_x) \b e_z $$
//    &br; &font(#FFF,#000,u+#000,o+#000,b){## ##規則３## ##}; 基底が同じ成分は合併可能。
//#ceq(end)




//////////////////////////////////////////////////////////////////




//////////////////////////////////////////////////////////////////
//** 幾何基底の計算 [#h891786f]
//
//以下では幾何基底の計算規則を示す。
//細かい計算は、線形結合表記と照らし合わせて計算し、
//最後に、結果だけをベクトル表記と照らし合わせる。
//
///////////////////////////////////
//*** 倍積 [#kf6a4f1e]
//
//スカラは基底が１と見なせば、次のように表記できる。
//
//#ceq
//    $$ \arrb{\fracstrut\,1\,& A} $$
//    $$ \arrb{\b e_x & B_x \\ \b e_y & B_y \\ \b e_z & B_z} $$
//#ceq
//    $$ (A \times 1) $$
//    $$ (B_x \b e_x + B_y \b e_y + B_z \b e_z) $$
//#ceq
//    ＝$$ \arrb{1 \b e_x & A B_x \\ 1 \b e_y & A B_y \\ 1 \b e_z & A B_z} $$
//#ceq
//    ＝$$ (A B_x \times 1 \b e_x + A B_y \times 1 \b e_y + A B_z \times 1 \b e_z) $$~
//    &font(#FFF,#000,u+#000,o+#000,b){## ##規則１ }; 展開の要領で、基底と成分を別々に計算可能。
//#ceq
//    ＝$$ \arrb{\b e_x & A B_x \\ \b e_y & A B_y \\ \b e_z & A B_z} $$
//#ceq
//    ＝$$ (A B_x \b e_x + A B_y \b e_y + A B_z \b e_z) $$
//#ceq(end)
//
//結果として、基底１を略せば、直感的にスカラを各成分に分配できる。~
//$$ A $$
//$$ \arrb{\b e_x & B_x \\ \b e_y & B_y \\ \b e_z & B_z} $$
//＝
//$$ \arrb{\b e_x & A B_x \\ \b e_y & A B_y \\ \b e_z & A B_z} $$
//$$ \Longleftrightarrow $$
//$$ A $$
//$$ \arrs{B_x \\ B_y \\ B_z} $$
//＝
//$$ \arrs{A B_x \\ A B_y \\ A B_z} $$
//
///////////////////////////////////
//*** 外積 [#v468f592]
//
//#ceq
//    $$ \arrb{\b e_x & A_x \\ \b e_y & A_y \\ \b e_z & A_z} $$
//    $$ \vx $$
//    $$ \arrb{\b e_x & B_x \\ \b e_y & B_y \\ \b e_z & B_z} $$
//#ceq
//    $$ (A_x \b e_x + A_y \b e_y + A_z \b e_z) $$
//    $$ \vx $$
//    $$ (B_x \b e_x + B_y \b e_y + B_z \b e_z) $$
//#ceq
//    ＝
//    $$
//        \arrb[ccc|ccc]{
//            \clr[rd]{\b e_x \vx \b e_x} & \clr[bl]{\b e_y \vx \b e_x} & \clr[bk]{\b e_z \vx \b e_x}  &  A_x B_x & A_y B_x & A_z B_x 
//         \\ \clr[bk]{\b e_x \vx \b e_y} & \clr[rd]{\b e_y \vx \b e_y} & \clr[bl]{\b e_z \vx \b e_y}  &  A_x B_y & A_y B_y & A_z B_y 
//         \\ \clr[bl]{\b e_x \vx \b e_z} & \clr[bk]{\b e_y \vx \b e_z} & \clr[rd]{\b e_z \vx \b e_z}  &  A_x B_z & A_y B_z & A_z B_z 
//        }
//    $$
//#ceq
//        $$ = A_x  B_x \, \clr[rd]{\b e_x \vx \b e_x}  +  A_y  B_x \, \clr[bl]{\b e_y \vx \b e_x}  +  A_z  B_x \, \clr[bk]{\b e_z \vx \b e_x} $$
//    &br;$$ + A_x  B_y \, \clr[bk]{\b e_x \vx \b e_y}  +  A_y  B_y \, \clr[rd]{\b e_y \vx \b e_y}  +  A_z  B_y \, \clr[bl]{\b e_z \vx \b e_y} $$
//    &br;$$ + A_x  B_z \, \clr[bl]{\b e_x \vx \b e_z}  +  A_y  B_z \, \clr[bk]{\b e_y \vx \b e_z}  +  A_z  B_z \, \clr[rd]{\b e_z \vx \b e_z} $$
//    &br;手順としては、とりあえず展開。
//#ceq(e)
//#ceq(e)
//    ＝
//    $$
//        \arrb[rrr|ccc]{
//             \phantom{\b e_x} & -\clr[bl]{\b e_z} &  \clr[bk]{\b e_y}  &  \phantom{A_x B_x} &          A_y B_x  &          A_z B_x 
//         \\  \clr[bk]{\b e_z} &  \phantom{\b e_y} & -\clr[bl]{\b e_x}  &           A_x B_y  & \phantom{A_y B_y} &          A_z B_y 
//         \\ -\clr[bl]{\b e_y} &  \clr[bk]{\b e_x} &  \phantom{\b e_z}  &           A_x B_z  &          A_y B_z  & \phantom{A_z B_z} 
//        }
//    $$
//    &br;＝
//    $$
//        \arrb[ccc|rrr]{
//            \phantom{\b e_x} & \clr[bl]{\b e_z} & \clr[bk]{\b e_y}  & \phantom{A_x B_x} &        - A_y B_x  &          A_z B_x 
//         \\ \clr[bk]{\b e_z} & \phantom{\b e_y} & \clr[bl]{\b e_x}  &          A_x B_y  & \phantom{A_y B_y} &        - A_z B_y 
//         \\ \clr[bl]{\b e_y} & \clr[bk]{\b e_x} & \phantom{\b e_z}  &        - A_x B_z  &          A_y B_z  & \phantom{A_z B_z}
//        }
//    $$
//#ceq
//        $$ = \phantom{A_x  B_x} \, \phantom{\b e_x}          - A_y  B_x  \, \clr[bl]{\b e_z}          + A_z  B_x  \, \clr[bk]{\b e_y} $$
//    &br;$$          + A_x  B_y  \, \clr[bk]{\b e_z} \phantom{+ A_y  B_y} \, \phantom{\b e_y}          - A_z  B_y  \, \clr[bl]{\b e_x} $$
//    &br;$$          - A_x  B_z  \, \clr[bl]{\b e_y}          + A_y  B_z  \, \clr[bk]{\b e_x} \phantom{+ A_z  B_z} \, \phantom{\b e_z} $$
//    &br;これは線形結合では曖昧だが、厳密には基底計算と因数移動の２手。
//    &br;&font(#FFF,#000,u+#000,o+#000,b){## ##規則２## ##}; 因数は対応する基底と成分の間を移動可能。
//#ceq
//    ＝
//    $$
//        \arrb{
//            \b e_x &  A_y B_z - A_z B_y 
//         \\ \b e_y &  A_z B_x - A_x B_z 
//         \\ \b e_z &  A_x B_y - A_y B_x 
//        }
//    $$
//#ceq
//    $$ = (A_y B_z - A_z B_y) \b e_x $$
//    $$ + (A_z B_x - A_x B_z) \b e_y $$
//    $$ + (A_x B_y - A_y B_x) \b e_z $$
//    &br; &font(#FFF,#000,u+#000,o+#000,b){## ##規則３## ##}; 基底が同じ成分は合併可能。
//#ceq(end)
//
//結果として、~
//$$ \arrb{\b e_x & A_x \\ \b e_y & A_y \\ \b e_z & A_z} $$
//$$ \vx $$
//$$ \arrb{\b e_x & B_x \\ \b e_y & B_y \\ \b e_z & B_z} $$
//＝
//$$
//    \arrb{
//        \b e_x &  A_y B_z - A_z B_y 
//     \\ \b e_y &  A_z B_x - A_x B_z 
//     \\ \b e_z &  A_x B_y - A_y B_x 
//    }
//$$
//$$ \Longleftrightarrow $$
//$$ \arrs{A_x \\ A_y \\ A_z} $$
//$$ \vx $$
//$$ \arrs{B_x \\ B_y \\ B_z} $$
//＝
//$$
//    \arrs{
//        A_y B_z - A_z B_y 
//     \\ A_z B_x - A_x B_z 
//     \\ A_x B_y - A_y B_x 
//    }
//$$
//&br;基底成分表記で覚えるなら、先に基底を埋め、輪環順で加算項を埋め、逆順で減算項を埋めると良い。~
//$$
//    \arrb{
//        \b e_{\clr[gr]{x}} & \phantom{ A_y B_z - A_z B_y }
//     \\ \b e_{\clr[gr]{y}} & \phantom{ A_z B_x - A_x B_z }
//     \\ \b e_{\clr[gr]{z}} & \phantom{ A_x B_y - A_y B_x }
//    }
//$$
//⇒
//$$
//    \arrb{
//        \b e_{\clr[gr]{x}} & A_{\clr[gr]{y}} B_{\clr[gr]{z}} \phantom{ - A_z B_y }
//     \\ \b e_{         y } & A_{         z } B_{         x } \phantom{ - A_x B_z }
//     \\ \b e_{         z } & A_{         x } B_{         y } \phantom{ - A_y B_x }
//    }
//$$
//⇒
//$$
//    \arrb{
//        \b e_{\clr[gr]{x}} & A_y B_z - A_{\clr[gr]{z}} B_{\clr[gr]{y}}
//     \\ \b e_{         y } & A_z B_x - A_{         x } B_{         z }
//     \\ \b e_{         z } & A_x B_y - A_{         y } B_{         x }
//    }
//$$
//
///////////////////////////////////
//*** 内積 [#fea029d6]
//
//内積は外積と手順が同じのため、結果だけを示す。&br;
//$$ \arrb{\b e_x & A_x \\ \b e_y & A_y \\ \b e_z & A_z} $$
//$$ \sx $$
//$$ \arrb{\b e_x & B_x \\ \b e_y & B_y \\ \b e_z & B_z} $$
//＝
//$$ \arrb{ \fracstrut\,1\,& A_x B_x + A_y B_y + A_z B_z} $$
//$$ \Longleftrightarrow $$
//$$ \arrs{A_x \\ A_y \\ A_z} $$
//$$ \sx $$
//$$ \arrs{B_x \\ B_y \\ B_z} $$
//＝
//$$ A_x B_x + A_y B_y + A_z B_z $$
//
//ところが、この結果も積和の形をしているため、
//仮に$ A $を基底と見なせば、$$ \arrb{A_x & B_x \\ A_y & B_y \\ A_z & B_z} $$と形式的に変形できる。
//
//例えば、線積分に現れるベクトルと線要素ベクトルの内積では、
//&br;
//$$
//    d\b r \sx \b F
//$$
//＝
//$$
//    \arrb{\b e_x & B_x \\ \b e_y & B_y \\ \b e_z & B_z} 
//$$
//
////////////////////////////////////////////////////////////////////
//** 微分基底の計算 [#h0d5d14b]
//
//微分基底の乗算はウェッジ積と呼ばれる拡張された外積に統一されるている。
//普通はウェッジ記号「$$ \wx $$」で常に表記されるが、猫式では互換性を考え、省略可能とする。
//代わりに、微分基底間の乗算は常に外積規則が適応され、交換不可とする。
//
//手順は幾何基底の外積演算と全く同じのため、結果のみを示す。
//
//&font(b){１次形式 $$ \wx $$ ０次形式}: 幾何基底の倍積に相当。微分基底の倍積でもある。
//$$ \arrb{dx & A_x \\ dy & A_y \\ dz & A_z} $$
//$$ \wx $$
//$$ B $$
//＝
//$$ \arrb{dx & A_xB \\ dy & A_yB \\ dz & A_zB } $$
//
//&font(b){１次形式 $$ \wx $$ １次形式}: 幾何基底の外積に相当。
//$$ \arrb{\b e_x & A_x \\ \b e_y & A_y \\ \b e_z & A_z} $$
//$$ \wx $$
//$$ \arrb{\b e_x & B_x \\ \b e_y & B_y \\ \b e_z & B_z} $$
//＝
//$$
//    \arrb{
//        \b dydz &  A_y B_z - A_z B_y 
//     \\ \b dzdx &  A_z B_x - A_x B_z 
//     \\ \b dxdy &  A_x B_y - A_y B_x 
//    }
//$$
//
//&font(b){１次形式 $$ \wx $$ ２次形式}: 幾何基底の内積に相当。微分基底の内積でもある。
//$$ \arrb{\b e_x & A_x \\ \b e_y & A_y \\ \b e_z & A_z} $$
//$$ \wx $$
//$$
//    \arrb{
//        \b dydz &  B_{yz}
//     \\ \b dzdx &  B_{zx}
//     \\ \b dxdy &  B_{xy}
//    }
//$$
//＝
//$$ \arrb{ \fracstrut dxdydz\,& A_x B_{yz} + A_y B_{zx} + A_z B_{xy}} $$
//
//*** インチキ規則の正体 [#f8025b94]
//
//ベクトル積分演算子のところで、微小量に対する計算では減算項を抜くインチキ規則を導入した。
//実は、その意味は１次形式 $$ \wx $$ １次形式の右辺にある。
//注目すべき点は、基底側と成分側の非対称性である。
//
//まず、成分側は幾何基底の外積の成分側と一致する。
//このため、通常のベクトル計算は成分側の計算と言える。
//次ぎに、基底側には減算項が無く、成分側の計算と異なっている。
//通常のベクトル計算をしようとしても、
//微分基底が成分側になく、別の計算となっているため、当然失敗する。
//
//一方で、加算項と基底は常に対応しているため、成分側として計算した結果から減算項を消すだけで、基底側の計算になる。
//後付けではあるが、これがインチキ規則の真の意味である。
//
//また、倍積と内積の演算には元から減算項が現れないため、インチキするまでもない。
//したがって、通常のベクトル演算で上手く処理できないのは微分基底間の外積のみと言える。
//
////////////////////////////////////////////////////////////////////
////////////////////////////////////////////////////////////////////
//
//
//
//



//例のように、線形結合表記では式が長くなりがちで、基底間、要素間の対応関係が分かりにくい。
//
//対して、列ベクトルでは
//と成分間の対応関係を直観的に表せるが、基底を明示できない。
//
//また、総和規約は、異なる系統の基底に対する演算が混在する、例のような式を忠実に表現するには工夫が必要
//((普通は、$$ \inte[R] F_k dx^k $$＝$$ \inte\nte[S] \ffd12\left(\ppd{F_j}{i} - \ppd{F_i}{j}\right) dx^idx^j $$のように通常基底に対する演算を済ました形で始めるため、基底の混在は回避され、困ることはない。))。
//例えば、$$ \delta_{ij} $$や$$ \epsilon_{ijk} $$のように、$$ \zeta_{ijk} $$でも作れば、$$ \inte\nte[S] \delta_{k}\epsilon_i^{jk}\ppd{F_i}{j}\zeta_{ijk}dx^kdx^l $$＝$$ \inte[R] F_k dx^k $$と書けるが、もはや「$$ \vx $$」と「$$ \sx $$」の跡形もない。
//このように、総和規約は、少い記述で形式的に計算できる意味で成分表記の頂点ではあるが、直観的ではない。
//
//以上より、高校から学んだベクトルをベクトル積分に繋げるには、
//線形結合のように基底と成分を全て書き出しながらも、列ベクトルのように直観的な表記が必要。