《目次》行列演算からベクトル解析まで
「エディントンのイプシロン」（レビチビタ記号とも呼ばれる）を使って行列式が計算できます。また、「エディントンのイプシロン」を使ってベクトルの外積を定義することで、ベクトルの外積の計算が楽になります。
【行列式】
行列式により、ベクトルが張る平行四辺形の面積や、斜方体の体積が計算できます。
「行列式」は、行の数と列の数が同じ正方行列の場合に計算できるものです。
（２行２列の行列の行列式）
２行２列の行列の行列式は、
その行列の要素が構成する２つの縦ベクトルが作る平行四辺形の面積をあらわすという意味を持ちます。
上図の式が行列式の記号です。
２行２列の行列Ａｓｔの行列式は、
エディントンの行列式の計算記号εｍｐを使って、アインシュタインの縮約記法であらわして、
εｍｐＡｍ１Ａｐ２＝Σ（ｍ＝1,2；ｐ＝1,2）｛εｍｐＡｍ１Ａｐ２｝
（左辺の様な式を書いた場合は、通常は、アインシュタインの縮約記法による積の和を表しています）
で計算します。
この計算に利用する行列εｍｐは、
ｍ≠ｐの場合の、
ε１２＝１，
ε２１＝－１
であり、
それ以外の、ｍ＝ｐとなる場合の、
εｍｐ＝ε１１＝ε２２＝０
です。
エディントンの計算記号εｍｐを定める規則は単純であり、
(1) εｍｐの添え字の値が等しければ、その値が０であり、すなわち、０＝ε１１＝ε２２であり、
(2) また、
ε１２＝１であり、
(3) εｍｐの任意の２つの添え字を入れ替えると、その値の正負の符号が変わる、すなわち、－１＝ε２１である。
これは、εｍｐがεｍｐｒになっても同じ規則が成り立ちます。
行列式
εｍｐＡｍ１Ａｐ２
（この様に書く場合は、通常は、アインシュタインの縮約記法による積の和を表しています）
は、
ベクトルＡ：
（ａ１，ａ２）＝（Ａ１１，Ａ２１）と、
ベクトルＢ：
（ｂ１，ｂ２）＝（Ａ１２，Ａ２２）
の作る平行四辺形の面積をあらわすという意味を持ちます。
εｍｐＡｍ１Ａｐ２＝εｍｐａｍｂｐ
となる右辺の式であらわした方が分かり易いかもしれません。
行列式を具体的に計算すると、
εｍｐＡｍ１Ａｐ２＝Ａ１１Ａ２２－Ａ２１Ａ１２＝ａ１ｂ２－ａ２ｂ１
です。
なお、行列式の計算方法は、行と列を入れ替えても変わらない、行と列に関して対称な式になっています。
すなわち、行列式は、以下の式でも計算できます。
εｍｐＡ１ｍＡ２ｐ
（この様に書く場合は、通常は、アインシュタインの縮約記法による積の和を表しています）
（行列式は平行四辺形の面積）
以下で、行列式がベクトルの作る平行四辺形の面積を計算するものであることを説明します。
【第１の証明】
一言で言うと、行列式の計算式を見ると、
１列目のベクトルに垂直で長さが同じベクトルと、２列目のベクトルとの内積の計算であることがわかります。
ベクトルＨを以下の式で定義してみます。
εｍｐａｍ＝ｈｐ
（この様に書く場合は、通常は、アインシュタインの縮約記法による積の和を表しています）
上の式でベクトルＨを定義すると、
ベクトルＨはベクトル（－ａ２，ａ１）になります。
そのベクトルＨの長さは、ベクトルＡと同じです。
ベクトルＨとベクトルＡの内積を以下で計算します。
すると、その内積は：
ｈｐａｐ＝εｍｐａｍａｐ＝ａ１ａ２－ａ２ａ１＝０
になり、０になります。
ベクトルＨとベクトルＡの内積が０になるので、ベクトルＨ、すなわち、ｈｐはベクトルＡに垂直なベクトルであることがわかります。
また、ｈｐｂｐ＝εｍｐａｍｂｐ
（この様に書く場合は、通常は、アインシュタインの縮約記法による積の和を表しています）
となり、ベクトルＨとベクトルＢの内積が行列式をあらわします。
ベクトルＡに垂直でベクトルＡと同じ長さのベクトルＨとベクトルＢの内積は、 ベクトルＡとベクトルＢを斜辺とする平行四辺形ＯＡＤＢの面積ですので、行列式εｍｐａｍｂｐの値は、その平行四辺形ＯＡＤＢの面積です。
（証明おわり）
これで証明ができましたが、以下の様な見方で考えるのも面白いと思うので読んでください。
（平行四辺形の面積の計算）
以下で、平行四辺形の面積を要素に分解して計算し、その要素を合計して平行四辺形の面積を計算します。
以下のように、座標系が回転しても結果が変わらないように面積の計算規則を定める点がポイントです。
Ｘ座標軸を反時計まわりに９０°回転させてＹ座標軸に重ねると、Ｙ座標軸は反時計まわりに９０°回転してＸ座標軸の負の方向を向いて重なる。そのため、ＸベクトルとＹベクトルの張る（ベクトルの順と成す角の向きを考えた）平行四辺形の面積を正にした場合、このように座標を回転させても面積が変わらないようにするには、必然的に、ベクトルの順と成す角の向きを考えた、Ｙベクトルと、Ｘ方向の負の方向を向いたベクトルの張る平行四辺形の面積を正にする必要がある。それは、ＹベクトルとＸ方向の正の方向を向いたベクトルの張る平行四辺形の面積を負にしなければならない事を意味する。
下図の様に、ベクトルＡとＢが平行な場合にベクトルＡとＢが張るつぶれた平行四辺形の面積は０である。
その平行四辺形の面積を、ベクトルＡとＢをそれぞれ、Ｘ方向のベクトルとＹ方向のベクトルの和で表し、その和のベクトルＡとＢの積を、Ｘ方向のベクトルとＹ方向のベクトルの積の和に展開して、以上で定めた計算規則に従って計算すると、その計算結果も０になる。
また、同じ方向を向くベクトルＡとＢが張るつぶれた平行四辺形は、その平行四辺形を回転させてどの方向を向かせても、同じ０の値の面積が計算できる。
平行四辺形を張るベクトルＡ及びＢをＸ方向のベクトルとＹ方向のベクトルに分解すると、ベクトルＡの分解されたベクトルとベクトルＢの分解されたベクトルの積の組み合わせが作る平行四辺形が４個できる。その４個のうち２つの平行四辺形は、同じ方向のベクトルの張るつぶれた平行四辺形であり、その面積が０なので無視できる。
そして、その４個の平行四辺形の面積の和で、ベクトルＡとＢの張る平行四辺形の面積を計算したい。
上の例では、少なくとも面積が０のつぶれた平行四辺形の面積の計算では、その０の面積が、ベクトルＡの分解されたベクトルとベクトルＢの分解されたベクトルの積の組み合わせが作る４個の平行四辺形の和と同じになる演算ができる様になった。
次に、下図のように、ベクトルＡとベクトルＢの張る平行四辺形の面積を、同じ面積を維持するように高さを保たせて変形した平行四辺形にして面積を求める手法を、ベクトルＡを分解したベクトルとベクトルＢとの積の和を計算する手法に対応させて面積を計算する。
上図の、平行四辺形の変形と分解操作に対応するベクトルの積の式の分解操作の計算が以下の式であらわせる。
式０の様に、ベクトルＡとベクトルＢの（順番を考えた）積はそのベクトルＡを分解した各ベクトルとベクトルＢの張る各平行四辺形の面積の和に対応付けられる。
すなわち：
（ベクトルＡのベクトルＢに対する垂直成分の長さ）×（ベクトルＢの長さ）
が平行四辺形の面積を表す。
一方、ベクトルＡを分解して、
ベクトルＡ＝ベクトルＡ１＋ベクトルＡ２
とすると：
ベクトルＡ１のベクトルＢに対する垂直成分の長さと、
ベクトルＡ２のベクトルＢに対する垂直成分の長さの和は、
ベクトルＡのベクトルＢに対する垂直成分の長さに等しい。
そのため、
ベクトルＡとベクトルＢが張る平行四辺形の面積
＝（ベクトルＡ１とベクトルＢが張る平行四辺形の面積）
＋（ベクトルＡ２とベクトルＢが張る平行四辺形の面積）
の関係が成り立つ。
その関係は、
ベクトルＡ×ベクトルＢ
＝（ベクトルＡ１×ベクトル Ｂ）
＋（ベクトルＡ２×ベクトルＢ）
に分解した式で表すことができる。
すなわち、ベクトルが張る平行四辺形の面積についての分配法則に対応して、ベクトルの加法と（ベクトルの順番を考えた）乗法についての分配法則が共に成り立っている。
また、上図の様に、ベクトルＡとベクトルＢの張る平行四辺形を、
その平行四辺形を構成する２番目のベクトルＢを、ベクトルＡのｋ倍のベクトルを加えて、ベクトルＡに対する高さを保たせて歪めたベクトルＢ２に変える。
そうして、ベクトルＡとベクトルＢ２の張る平行四辺形を考える。
その場合、以下の式が成り立つ。
ベクトルの加法と乗法についての分配法則により、
ベクトルＡ×ベクトルＢ２
＝（ベクトルＡ×ベクトルＢ）
＋（ベクトルＡ×ｋ（ベクトルＡ））
と表すことができる。
ここで、
（ベクトルＡ×ｋ（ベクトルＡ））
は面積が０のつぶれた平行四辺形をあらわしているので、その面積は０である。
それゆえ、
ベクトルＡ×ベクトルＢ２＝ベクトルＡ×ベクトルＢ
が成り立つ。
この式は、底辺の長さが同じで高さが等しい平行四辺形の面積が等しい事実と一致している。
この様に、平行四辺形の面積を表すベクトルの加法と乗法の分配法則が、変形した平行四辺形の面積の法則と一致して、成り立っている。
以上の演算規則で定めた、Ｘ座標方向の単位ベクトルとＹ座標方向の単位ベクトルが作る平行四辺形の面積の符号に合わせて、エディントンの計算記号εｍｐを定める。
それにより、ベクトルＡの分解されたベクトルとベクトルＢの分解されたベクトルの積の組み合わせが作る４個の平行四辺形の面積は、
εｍｐａｍｂｐ
で表せる。
その４個の面積要素の和を行列式と定義する。
エディントンの計算記号εｍｐは、以上で定めたＸ方向のベクトルとＹ方向のベクトルの積の値の正負の演算規則に合わせることで：
ｍ＝ｐとなる場合に、
εｍｐ＝ε１１＝ε２２＝０
にし、
ｍ≠ｐの場合に、
ε１２＝１，
にし、
その添え字の順を入れ替えると符号が変わる、
ε２１＝－１
に定める。
その様にエディントンの計算記号εｍｐを定める。
その様に正負を定めた４つの平行四辺形の面積εｍｐａｍｂｐの和をアインシュタインに縮約記法によって、
εｍｐａｍｂｐ＝Σ（ｍ＝1,2；ｐ＝1,2）｛εｍｐａｍｂｐ｝
とあらわして、
ベクトルＡとベクトルＢの張る平行四辺形の面積を計算し、その値を行列式の値にする。
その様にエディントンの計算記号εｍｐを定め、行列式の演算をεｍｐを使って定める事で、その行列式が、元のベクトルが張る平行四辺形の面積になる。
（平行四辺形の面積を１つ目のベクトルに垂直なベクトルと２つ目のベクトルの内積であらわす）
先に簡単に説明した事だが、念のため、以下で、このことを詳しく説明する。
三角形の面積Ｓは、以下の様に、ベクトルＡに垂直なベクトルＨ＝ＡｖとベクトルＢの内積であらわすことができる。
（式１’が平行四辺形の面積２Ｓの公式）
こうして得た式１’は、先に計算した行列式による面積の計算式１ａと同じ式になった。
すなわち、２行２列の行列式は、ベクトルＡに垂直なベクトルＨ＝ＡｖとベクトルＢの内積であらわすことができる。
行列式はベクトルが張る平行四辺形の面積を表すが、その平行四辺形の面積は、ベクトルＡに垂直なベクトルＡｖとベクトルＢの内積でもあらわすことができる。そのため、行列式の計算を、ベクトルＡに垂直なベクトルＡｖとベクトルＢの内積の計算を表しているものと解釈して、行列式の計算から、ベクトルＡに垂直なベクトルＡｖを導き出すことができる。
ベクトルＢが、（ｂ１，ｂ２）であるとき、
行列式の値が、－ｂ１ａ２＋ｂ２ａ１です。
ベクトルＢとの内積がこの行列式の値になるベクトル（－ａ２，ａ１）を調べる。
このベクトルは、εｍｐａｍａｐ＝ｈｐａｐとあらわしたベクトルＨ＝ｈｐであり、アインシュタインの縮約記法で：
ｈｐ＝εｍｐａｍ＝Σ（ｍ＝1,2）｛εｍｐａｍ｝
となります。
このベクトル（－ａ２，ａ１）とベクトルＡ（ａ１，ａ２）の内積＝０なので、
ベクトル（－ａ２，ａ１）は、ベクトルＡに垂直であり、ベクトルＡｖに平行である。
しかも、ベクトル（－ａ２，ａ１）とベクトルＢの内積が行列式の値と同じなので、
ベクトル（－ａ２，ａ１）＝ベクトルＡｖである。
（注意）
ｈｐ＝εｍｐａｍ＝Σ（ｍ＝1,2）｛εｍｐａｍ｝
ですが、
εｍｐａｐ＝Σ（ｐ＝1,2）｛εｍｐａｐ｝＝－ｈｍ
になります。
（３行３列の行列式）
３行３列の行列の行列式は、その行列の要素が構成する３つのベクトルＡとＢとＣが作る斜方体の体積をあらわすという意味を持つ。
また、３つの３次元ベクトルの先端と原点とを頂点とする三角錐の体積は、その３つの３次元ベクトルを３つの列ベクトルとする行列式の値を６分の１にした値になる。
３行３列の行列Ａｓｔの行列式は、
エディントンの行列式の計算記号εｍｐｒを使って、アインシュタインの縮約記法であらわして、
εｍｐｒＡｍ１Ａｐ２Ａｒ３
で計算できる。
この計算に利用する行列εｍｐｒは、テンソルと呼ばれる。
（特に、物理学では、空間の位置座標をあらわすベクトル等の具体的な物理量を表すベクトルや、そのベクトルを変換する行列に、物理的意味を付けて呼ぶ。テンソルも、物理的意味の違いにより、テンソルか、擬テンソルと呼ばれる）
ＸＹＺ座標系での物理的長さを持つベクトルの張る斜方体の体積をあらわす行列式を計算するテンソルεｍｐｒは、擬テンソルと呼ばれる。
エディントンの計算記号εｍｐｒを定める規則は単純であり、
(1) εｍｐｒの添え字の値のどれかが等しければ、その値が０であり、
(2) また、
ε１２３＝１であり、
(3) εｍｐｒの任意の２つの添え字を入れ替えると、その値な正負の符号が変わる。
という規則に従って、全てのεｍｐｒの値が定まる。
すなわち εｍｐｒは、ｍ＝ｐ or ｍ＝ｒ or ｐ＝ｒの場合に、
εｍｐｒ＝０
であり、
ｍ≠ｐ、ｍ≠ｒ、ｐ≠ｒの場合に、
ε１２３＝ε２３１＝ε３１２＝１
であり、
上の要素の座標の添え字を入れ替えた場合の、
ε２１３＝ε３２１＝ε１３２＝－１
という様に値を負にする。
なお、以下の様に添え字を入れ替えていくと、
ε２３１＝ーε２１３＝ε１２３＝１
と変換して値が求められる。
行列式
εｍｐｒＡｍ１Ａｐ２Ａｒ３
は、
ベクトルＡ：
（ａ１，ａ２，ａ２）＝（Ａ１１，Ａ２１，Ａ３１）と、
ベクトルＢ：
（ｂ１，ｂ２，ｂ２）＝（Ａ１２，Ａ２２，Ａ３２）と、
ベクトルＣ：
（ｃ１，ｃ２，ｃ２）＝（Ａ１３，Ａ２３，Ａ３３）
の作る斜方体の体積をあらわすという意味を持つ。
行列式を具体的に計算すると、
εｍｐｒＡｍ１Ａｐ２Ａｒ３
＝Ａ１１Ａ２２Ａ３３
＋Ａ２１Ａ３２Ａ１３
＋Ａ３１Ａ１２Ａ２３
－Ａ２１Ａ１２Ａ３３
－Ａ３１Ａ２２Ａ１３
－Ａ１１Ａ３２Ａ２３
である。
（斜方体の体積の計算）
以下で、斜方体の体積を要素に分解して計算し、その要素を合計して斜方体の体積を計算する。
以下のように、座標系が回転しても結果が変わらないように体積の計算規則を定める点がポイントです。
以上の演算規則を定めることで、下図の様に、ベクトルＡとＢが平行な場合にベクトルＡとＢが張るつぶれた平行四辺形とベクトルＣが張る体積０のつぶれた斜方体の体積を、下の式の様に、ベクトルを要素に分解した各要素ベクトルの体積の和で計算できる様になった。
上図の斜方体の体積を、ベクトルＡとＢをそれぞれ、以下の式で、Ｘ方向のベクトルとＹ方向のベクトルとＺ方向のベクトルの和で表し、その和のベクトルＡとＢとベクトルＣの積を、Ｘ方向のベクトルとＹ方向のベクトルとＺ方向のベクトルの積の和に展開して計算すると、その計算結果も０になる。
上の計算により、同じ方向を向くベクトルＡとＢが張るつぶれた平行四辺形とベクトルＣが張るつぶれた斜方体は、その斜方体を回転させてどの方向を向かせても、同じ０の値の体積に計算できる事が示された。
また、以下の計算により、体積が１の、ベクトルＸとＹとＺの張る斜方体に、体積０の潰れた斜方体を加えていくと、ベクトル（－Ｙ）とベクトルＸとベクトルＺの斜方体に変換できる。
これは、元の体積１の斜方体をＺ軸のまわりに回転させた斜方体である。
また、例えば、以下の式の様に、ベクトルＡとＢとＣが張る斜方体の体積を表す式に、ベクトルＡとＢと、ベクトルＡのｓ倍とベクトルＢのｔ倍の和のベクトルとが張る、体積が０のつぶれた斜方体の体積を表す式を加える。
式を整理すると、元の斜方体を張るベクトルＣが、ベクトルＡとＢの張る平面に対する高さを維持して傾けたベクトルＣ’に変換され、ベクトルＡとＢとＣ’の張る斜方体の体積を表す式に変換される。
そして、そのように歪めた斜方体の体積は元の斜方体の体積と同じであるが、計算結果も同じ体積が計算できる様になった。
また、Ｘ方向のベクトルとＹ方向のベクトルの加法と乗法について分配法則が成り立つ。Ｘ方向のベクトルとＺ方向のベクトルについても同様に分配法則が成り立ち、Ｙ方向のベクトルとＺ方向のベクトルについても同様に分配法則が成り立つ。その結果、全方向のベクトルの加法と乗法について分配法則が成り立つ。
ベクトルＡとＢとＣが張る斜方体のベクトルＣを２つのベクトルＣ１とＣ２の和に分解すると、
ベクトルＡとＢとＣの張る斜方体の体積をＶとし、
ベクトルＡとＢとＣ１が張る斜方体の体積をＶ１とし、
ベクトルＡとＢとＣ２が張る斜方体の体積をＶ２とすると、
ベクトルが張る斜方体の体積の間に
Ｖ＝Ｖ１＋Ｖ２
という関係が成り立つ。
一方で、
ベクトルＡ×ベクトルＢ×ベクトルＣ
＝ベクトルＡ×ベクトルＢ×ベクトルＣ１
＋ベクトルＡ×ベクトルＢ×ベクトルＣ２
というベクトルの加法と乗法についての分配法則が成り立つ。
斜方体として、
ベクトルＡ：
（ａ１，ａ２，ａ２）＝（Ａ１１，Ａ２１，Ａ３１）と、
ベクトルＢ：
（ｂ１，ｂ２，ｂ２）＝（Ａ１２，Ａ２２，Ａ３２）と、
ベクトルＣ：
（ｃ１，ｃ２，ｃ２）＝（Ａ１３，Ａ２３，Ａ３３）と、
の３つのベクトルが張る斜方体を考える。
この斜方体を張るベクトルＡとＢとＣをＸ方向のベクトルとＹ方向のベクトルとＺ方向のベクトルに分解すると、ベクトルＡの分解されたベクトルとベクトルＢの分解されたベクトルとベクトルＣの分解されたベクトルの積の組み合わせが作る斜方体が２７個できる。そのうち２１個の斜方体は、少なくも２つのベクトルが同じ方向を向いた３つのベクトルで張られるつぶれた斜方体であり、その体積が０であるため無視できる。その２７個の斜方体の体積の和が、ベクトルＡとＢとＣの張る斜方体の体積と同じになる演算ができる様になった。
そして、ベクトルＡの分解されたベクトルとベクトルＢの分解されたベクトルとベクトルＣの分解されたベクトルの積の組み合わせが作る２７個の斜方体の体積に係る、Ｘ方向の単位ベクトルとＹ方向の単位ベクトルとＺ方向の単位ベクトルを組み合わせた積の符号を、エディントンの計算記号εｍｐｒを用いて定める。
この式でεｍｐｒを定義することで、
(1) εｍｐｒの添え字の値のどれかが等しければ、その値が０であり、
(2) また、
ε１２３＝１であり、
(3) εｍｐｒの任意の２つの添え字を入れ替えると、その値な正負の符号が変わる。
という規則が成り立つ。
その規則に従うεｍｐｒを使うことで、ベクトルＡの分解されたベクトルとベクトルＢの分解されたベクトルとベクトルＣの分解されたベクトルの積の組み合わせが作る２７個の斜方体の各々の体積は、
εｍｐｒａｍｂｐｃｒ
で表せる（ここでは例外的にアインシュタインの縮約記法の積の和を使わず、１つの積のみを表す）。
その２７個の体積要素の和を行列式と定義し、アインシュタインの縮約記法で、
εｍｐｒａｍｂｐｃｒ
と表す。
以上で、斜方体の体積を２７個の体積要素に分解して計算し、その体積要素を合計して斜方体の体積が得られた。
そして、個々の単位ベクトルが張る斜方体の体積の和が、ベクトルＡとＢとＣが張る斜方体の体積になるように、個々の斜方体の体積の正負を定める規則が、エディントンの行列式の計算記号εｍｐｒに反映されて定められている。
そのように、３階のエディントンの計算記号εｍｐｒを定める事で、３個のベクトルＡとＢとＣが張る３次元の斜方体の体積が、各ベクトルを複数のベクトルに分解した場合の各ベクトルの張る複数の３次元の斜方体の体積の和になる。
すなわち、ベクトルの基本要素の３つの積で表される体積要素の３×３×３＝２７組の各体積要素の符号をエディントンの計算記号εｍｐｒを用いて定め、その２７＝３３個の体積要素の和を、行列式にする。
こうして、エディントンの行列式の計算記号εｍｐｒを用いて表す、εｍｐｒａｍｂｐｃｒによる計算を、３×３の行列式の計算規則とする。
その様に行列式を、εｍｐｒａｍｂｐｃｒで計算する事に定める事で、その行列式が元のベクトルが張る斜方体の体積を計算する式になる。
（面に垂直なベクトルと残りのベクトルの内積で体積を求める）
この斜方体の体積は、ベクトルＡとＢに垂直で、大きさがベクトルＡとＢの張る平行四辺形の面積に等しいベクトルＨとベクトルＣの内積であらわすことができる。
そのために、
行列式の計算を、ベクトルＨとベクトルＣの内積の計算を表しているものと解釈して、
行列式の計算から、以下の様にしてベクトルＨを導き出すことができる。
εｍｐｒａｍｂｐ＝ｈｒと表す。
ベクトルｈｒとベクトルＡとの内積＝εｍｐｒａｍｂｐａｒ＝０であり、
（同じベクトルが並ぶ行列式の値は０であるため）
ベクトルｈｒとベクトルＢとの内積＝εｍｐｒａｍｂｐｂｒ＝０です。
（同じベクトルが並ぶ行列式の値は０であるため）
そのため、
ベクトルｈｒはベクトルＡとＢに垂直である。
（補足）
同じベクトルが並ぶ行列式の値が０になることは、εｍｐｒを用いて以下の様に証明できる。
【証明開始】
εｍｐｒ＝－εｒｐｍであるので、
εｍｐｒａｍｂｐａｒ＝－εｒｐｍａｍｂｐａｒ
＝－εｒｐｍａｒｂｐａｍ＝－εｍｐｒａｍｂｐａｒ ，
∴ ２εｍｐｒａｍｂｐａｒ＝０ ，
εｍｐｒａｍｂｐａｒ＝０ ，
（証明おわり）
また、
ベクトルＣが、（ｃ１，ｃ２，ｃ２）であり、
行列式の値＝εｍｐｒａｍｂｐｃｒ ＝ｈｒｃｒであり、
行列式が表す斜方体の体積がベクトルｈｒとベクトルｃｒの内積の値に等しいので、
ベクトルｈｒの大きさは、ベクトルＡとＢの張る平行四辺形の面積に等しい。
以上の結果から、 εｍｐｒａｍｂｐ＝ｈｒは、
ベクトルＡとＢに垂直で、大きさがベクトルＡとＢの張る平行四辺形の面積に等しいベクトルＨです。
ベクトルＡとＢに垂直なベクトルＨを計算する上の式は、
ベクトルの外積の計算式：
ベクトルＡ×ベクトルＢ＝ベクトルＨ
を表している。
ベクトルの外積の計算式は、上の式
εｍｐｒａｍｂｐ＝ｈｒ
で覚えた方が覚えやすいです。
（念のため補足：この式はアインシュタインの縮約記法で表した積の和）
このように、エディントンの行列式の計算記号εｍｐを用いて表す行列式は、行列を構成するベクトルが作る面積や体積をあらわす。
なお、エディントンのイプシロンεｍｐ等用いて表す、アインシュタインの縮約記法による演算：
εｍｐｒａｍｂｐ＝ｈｒ
は、行列の積の演算で横ベクトルと縦ベクトルの積のみが組み合わせられるという束縛から演算ルールが解放されている。
すなわち、
εｍｐＡｍ１＝Σ（ｍ＝1,2）｛εｍｐＡｍ１｝
という演算もできるし、
εｍｐＡ１ｍ＝Σ（ｍ＝1,2）｛εｍｐＡ１ｍ｝
という演算もできるという様に、
行列の行と行を組み合わせる演算も、
行と列を組み合わせる演算も、
列と列を組み合わせる演算もでき、
自由に組み合わせた演算ができる。
（ｎ行ｎ列の行列式）
ε（ｐ１）（ｐ２）（ｐ３）・・・（ｐｎ）｛Ａ（ｐ１）１Ａ（ｐ２）２Ａ（ｐ３）３・・・Ａ（ｐｎ）ｎ｝
でｎ行ｎ列の行列式を計算する。
このエディントンの計算記号の集合は、添え字が２つのものは行列と呼び、添え字が３つ以上のものと行列とは合わせてテンソルと呼ぶ。
このエディントンの計算記号ε（ｐ１）（ｐ２）（ｐ３）・・・（ｐｎ）は、ｎｎ個の要素を持つが、
その各要素は、以下の値を持つ。
添え字のうちの少なくとも２つが同じ添え字になる場合、
ε（ｐ１）（ｐ２）（ｐ３）・・・（ｐｎ） ＝０
であり、
ε（１）（２）（３）・・・（ｎ）＝１
であり、この添え字の位置を交換すると（－１）倍になる。例えば、１と２を交換すると、
ε（２）（１）（３）・・・（ｎ）＝－１
になる。
（備考）
ε1,2,3,4＝１ですが、
ε2,1,3,4＝ー１ ,
ε2,3,1,4＝１ ,
ε2,3,4,1＝ー１ ,
になり、添え字を１つづつずらして循環したら符号が変わります。
しかし、添え字の数を奇数にすれば、
１＝ε1,2,3,4,5＝ε2,3,4,5,1
のように、添え字を１つづつずらして循環したら符号が同じになります。
その様にｎ階のエディントンの計算記号εｍｐ・・・を定める事で、ｎ個のベクトルが張るｎ次元の斜方体の体積が、そのベクトルを複数のベクトルに分解した場合の各ベクトルの張る複数のｎ次元の斜方体の体積の和になる。
そして、斜方体を張るｎ個のベクトルをｎ次元の各座標軸方向のｎ個の要素のベクトルに分解して、ｎ個の要素のベクトルをｎ組掛け合わせて体積を求める。
そのｎｎ個の各要素の符号をエディントンの計算記号εｍｐ・・・を用いて定め、そのｎｎ個の体積要素の和を、行列式にする。その様に行列式を定める事で、その行列式が、元のベクトルが張るｎ次元の斜方体の体積をあらわす。
【行列式は行と列を入れ替えても結果が同じ】
行列式は、計算の元になる行列の行と列に関して対称な計算式です。そのため、行と列を入れ替えた行列でも行列式は同じ値になります。
リンク：
行列演算からベクトル解析まで目次
「エディントンのイプシロン」（レビチビタ記号とも呼ばれる）を使って行列式が計算できます。また、「エディントンのイプシロン」を使ってベクトルの外積を定義することで、ベクトルの外積の計算が楽になります。
【行列式】
行列式により、ベクトルが張る平行四辺形の面積や、斜方体の体積が計算できます。
「行列式」は、行の数と列の数が同じ正方行列の場合に計算できるものです。
（２行２列の行列の行列式）
２行２列の行列の行列式は、
その行列の要素が構成する２つの縦ベクトルが作る平行四辺形の面積をあらわすという意味を持ちます。
２行２列の行列Ａｓｔの行列式は、
エディントンの行列式の計算記号εｍｐを使って、アインシュタインの縮約記法であらわして、
εｍｐＡｍ１Ａｐ２＝Σ（ｍ＝1,2；ｐ＝1,2）｛εｍｐＡｍ１Ａｐ２｝
（左辺の様な式を書いた場合は、通常は、アインシュタインの縮約記法による積の和を表しています）
で計算します。
この計算に利用する行列εｍｐは、
ｍ≠ｐの場合の、
ε１２＝１，
ε２１＝－１
であり、
それ以外の、ｍ＝ｐとなる場合の、
εｍｐ＝ε１１＝ε２２＝０
です。
エディントンの計算記号εｍｐを定める規則は単純であり、
(1) εｍｐの添え字の値が等しければ、その値が０であり、すなわち、０＝ε１１＝ε２２であり、
(2) また、
ε１２＝１であり、
(3) εｍｐの任意の２つの添え字を入れ替えると、その値の正負の符号が変わる、すなわち、－１＝ε２１である。
これは、εｍｐがεｍｐｒになっても同じ規則が成り立ちます。
行列式
εｍｐＡｍ１Ａｐ２
（この様に書く場合は、通常は、アインシュタインの縮約記法による積の和を表しています）
は、
ベクトルＡ：
（ａ１，ａ２）＝（Ａ１１，Ａ２１）と、
ベクトルＢ：
（ｂ１，ｂ２）＝（Ａ１２，Ａ２２）
の作る平行四辺形の面積をあらわすという意味を持ちます。
εｍｐＡｍ１Ａｐ２＝εｍｐａｍｂｐ
となる右辺の式であらわした方が分かり易いかもしれません。
行列式を具体的に計算すると、
εｍｐＡｍ１Ａｐ２＝Ａ１１Ａ２２－Ａ２１Ａ１２＝ａ１ｂ２－ａ２ｂ１
なお、行列式の計算方法は、行と列を入れ替えても変わらない、行と列に関して対称な式になっています。
すなわち、行列式は、以下の式でも計算できます。
εｍｐＡ１ｍＡ２ｐ
（この様に書く場合は、通常は、アインシュタインの縮約記法による積の和を表しています）
（行列式は平行四辺形の面積）
以下で、行列式がベクトルの作る平行四辺形の面積を計算するものであることを説明します。
【第１の証明】
一言で言うと、行列式の計算式を見ると、
１列目のベクトルに垂直で長さが同じベクトルと、２列目のベクトルとの内積の計算であることがわかります。
ベクトルＨを以下の式で定義してみます。
εｍｐａｍ＝ｈｐ
（この様に書く場合は、通常は、アインシュタインの縮約記法による積の和を表しています）
上の式でベクトルＨを定義すると、
ベクトルＨはベクトル（－ａ２，ａ１）になります。
そのベクトルＨの長さは、ベクトルＡと同じです。
ベクトルＨとベクトルＡの内積を以下で計算します。
すると、その内積は：
ｈｐａｐ＝εｍｐａｍａｐ＝ａ１ａ２－ａ２ａ１＝０
になり、０になります。
ベクトルＨとベクトルＡの内積が０になるので、ベクトルＨ、すなわち、ｈｐはベクトルＡに垂直なベクトルであることがわかります。
また、ｈｐｂｐ＝εｍｐａｍｂｐ
（この様に書く場合は、通常は、アインシュタインの縮約記法による積の和を表しています）
となり、ベクトルＨとベクトルＢの内積が行列式をあらわします。
ベクトルＡに垂直でベクトルＡと同じ長さのベクトルＨとベクトルＢの内積は、 ベクトルＡとベクトルＢを斜辺とする平行四辺形ＯＡＤＢの面積ですので、行列式εｍｐａｍｂｐの値は、その平行四辺形ＯＡＤＢの面積です。
（証明おわり）
これで証明ができましたが、以下の様な見方で考えるのも面白いと思うので読んでください。
（平行四辺形の面積の計算）
以下で、平行四辺形の面積を要素に分解して計算し、その要素を合計して平行四辺形の面積を計算します。
以下のように、座標系が回転しても結果が変わらないように面積の計算規則を定める点がポイントです。
下図の様に、ベクトルＡとＢが平行な場合にベクトルＡとＢが張るつぶれた平行四辺形の面積は０である。
その平行四辺形の面積を、ベクトルＡとＢをそれぞれ、Ｘ方向のベクトルとＹ方向のベクトルの和で表し、その和のベクトルＡとＢの積を、Ｘ方向のベクトルとＹ方向のベクトルの積の和に展開して、以上で定めた計算規則に従って計算すると、その計算結果も０になる。
平行四辺形を張るベクトルＡ及びＢをＸ方向のベクトルとＹ方向のベクトルに分解すると、ベクトルＡの分解されたベクトルとベクトルＢの分解されたベクトルの積の組み合わせが作る平行四辺形が４個できる。その４個のうち２つの平行四辺形は、同じ方向のベクトルの張るつぶれた平行四辺形であり、その面積が０なので無視できる。
そして、その４個の平行四辺形の面積の和で、ベクトルＡとＢの張る平行四辺形の面積を計算したい。
上の例では、少なくとも面積が０のつぶれた平行四辺形の面積の計算では、その０の面積が、ベクトルＡの分解されたベクトルとベクトルＢの分解されたベクトルの積の組み合わせが作る４個の平行四辺形の和と同じになる演算ができる様になった。
次に、下図のように、ベクトルＡとベクトルＢの張る平行四辺形の面積を、同じ面積を維持するように高さを保たせて変形した平行四辺形にして面積を求める手法を、ベクトルＡを分解したベクトルとベクトルＢとの積の和を計算する手法に対応させて面積を計算する。
すなわち：
（ベクトルＡのベクトルＢに対する垂直成分の長さ）×（ベクトルＢの長さ）
が平行四辺形の面積を表す。
一方、ベクトルＡを分解して、
ベクトルＡ＝ベクトルＡ１＋ベクトルＡ２
とすると：
ベクトルＡ１のベクトルＢに対する垂直成分の長さと、
ベクトルＡ２のベクトルＢに対する垂直成分の長さの和は、
ベクトルＡのベクトルＢに対する垂直成分の長さに等しい。
そのため、
ベクトルＡとベクトルＢが張る平行四辺形の面積
＝（ベクトルＡ１とベクトルＢが張る平行四辺形の面積）
＋（ベクトルＡ２とベクトルＢが張る平行四辺形の面積）
の関係が成り立つ。
その関係は、
ベクトルＡ×ベクトルＢ
＝（ベクトルＡ１×ベクトル Ｂ）
＋（ベクトルＡ２×ベクトルＢ）
に分解した式で表すことができる。
すなわち、ベクトルが張る平行四辺形の面積についての分配法則に対応して、ベクトルの加法と（ベクトルの順番を考えた）乗法についての分配法則が共に成り立っている。
その平行四辺形を構成する２番目のベクトルＢを、ベクトルＡのｋ倍のベクトルを加えて、ベクトルＡに対する高さを保たせて歪めたベクトルＢ２に変える。
そうして、ベクトルＡとベクトルＢ２の張る平行四辺形を考える。
その場合、以下の式が成り立つ。
ベクトルの加法と乗法についての分配法則により、
ベクトルＡ×ベクトルＢ２
＝（ベクトルＡ×ベクトルＢ）
＋（ベクトルＡ×ｋ（ベクトルＡ））
と表すことができる。
ここで、
（ベクトルＡ×ｋ（ベクトルＡ））
は面積が０のつぶれた平行四辺形をあらわしているので、その面積は０である。
それゆえ、
ベクトルＡ×ベクトルＢ２＝ベクトルＡ×ベクトルＢ
が成り立つ。
この式は、底辺の長さが同じで高さが等しい平行四辺形の面積が等しい事実と一致している。
この様に、平行四辺形の面積を表すベクトルの加法と乗法の分配法則が、変形した平行四辺形の面積の法則と一致して、成り立っている。
以上の演算規則で定めた、Ｘ座標方向の単位ベクトルとＹ座標方向の単位ベクトルが作る平行四辺形の面積の符号に合わせて、エディントンの計算記号εｍｐを定める。
εｍｐａｍｂｐ
で表せる。
その４個の面積要素の和を行列式と定義する。
エディントンの計算記号εｍｐは、以上で定めたＸ方向のベクトルとＹ方向のベクトルの積の値の正負の演算規則に合わせることで：
ｍ＝ｐとなる場合に、
εｍｐ＝ε１１＝ε２２＝０
にし、
ｍ≠ｐの場合に、
ε１２＝１，
にし、
その添え字の順を入れ替えると符号が変わる、
ε２１＝－１
に定める。
その様にエディントンの計算記号εｍｐを定める。
その様に正負を定めた４つの平行四辺形の面積εｍｐａｍｂｐの和をアインシュタインに縮約記法によって、
εｍｐａｍｂｐ＝Σ（ｍ＝1,2；ｐ＝1,2）｛εｍｐａｍｂｐ｝
とあらわして、
ベクトルＡとベクトルＢの張る平行四辺形の面積を計算し、その値を行列式の値にする。
その様にエディントンの計算記号εｍｐを定め、行列式の演算をεｍｐを使って定める事で、その行列式が、元のベクトルが張る平行四辺形の面積になる。
（平行四辺形の面積を１つ目のベクトルに垂直なベクトルと２つ目のベクトルの内積であらわす）
先に簡単に説明した事だが、念のため、以下で、このことを詳しく説明する。
三角形の面積Ｓは、以下の様に、ベクトルＡに垂直なベクトルＨ＝ＡｖとベクトルＢの内積であらわすことができる。
こうして得た式１’は、先に計算した行列式による面積の計算式１ａと同じ式になった。
すなわち、２行２列の行列式は、ベクトルＡに垂直なベクトルＨ＝ＡｖとベクトルＢの内積であらわすことができる。
行列式はベクトルが張る平行四辺形の面積を表すが、その平行四辺形の面積は、ベクトルＡに垂直なベクトルＡｖとベクトルＢの内積でもあらわすことができる。そのため、行列式の計算を、ベクトルＡに垂直なベクトルＡｖとベクトルＢの内積の計算を表しているものと解釈して、行列式の計算から、ベクトルＡに垂直なベクトルＡｖを導き出すことができる。
ベクトルＢが、（ｂ１，ｂ２）であるとき、
行列式の値が、－ｂ１ａ２＋ｂ２ａ１です。
ベクトルＢとの内積がこの行列式の値になるベクトル（－ａ２，ａ１）を調べる。
このベクトルは、εｍｐａｍａｐ＝ｈｐａｐとあらわしたベクトルＨ＝ｈｐであり、アインシュタインの縮約記法で：
ｈｐ＝εｍｐａｍ＝Σ（ｍ＝1,2）｛εｍｐａｍ｝
となります。
このベクトル（－ａ２，ａ１）とベクトルＡ（ａ１，ａ２）の内積＝０なので、
ベクトル（－ａ２，ａ１）は、ベクトルＡに垂直であり、ベクトルＡｖに平行である。
しかも、ベクトル（－ａ２，ａ１）とベクトルＢの内積が行列式の値と同じなので、
ベクトル（－ａ２，ａ１）＝ベクトルＡｖである。
（注意）
ｈｐ＝εｍｐａｍ＝Σ（ｍ＝1,2）｛εｍｐａｍ｝
ですが、
εｍｐａｐ＝Σ（ｐ＝1,2）｛εｍｐａｐ｝＝－ｈｍ
になります。
（３行３列の行列式）
３行３列の行列の行列式は、その行列の要素が構成する３つのベクトルＡとＢとＣが作る斜方体の体積をあらわすという意味を持つ。
エディントンの行列式の計算記号εｍｐｒを使って、アインシュタインの縮約記法であらわして、
εｍｐｒＡｍ１Ａｐ２Ａｒ３
で計算できる。
この計算に利用する行列εｍｐｒは、テンソルと呼ばれる。
（特に、物理学では、空間の位置座標をあらわすベクトル等の具体的な物理量を表すベクトルや、そのベクトルを変換する行列に、物理的意味を付けて呼ぶ。テンソルも、物理的意味の違いにより、テンソルか、擬テンソルと呼ばれる）
ＸＹＺ座標系での物理的長さを持つベクトルの張る斜方体の体積をあらわす行列式を計算するテンソルεｍｐｒは、擬テンソルと呼ばれる。
エディントンの計算記号εｍｐｒを定める規則は単純であり、
(1) εｍｐｒの添え字の値のどれかが等しければ、その値が０であり、
(2) また、
ε１２３＝１であり、
(3) εｍｐｒの任意の２つの添え字を入れ替えると、その値な正負の符号が変わる。
という規則に従って、全てのεｍｐｒの値が定まる。
すなわち εｍｐｒは、ｍ＝ｐ or ｍ＝ｒ or ｐ＝ｒの場合に、
εｍｐｒ＝０
であり、
ｍ≠ｐ、ｍ≠ｒ、ｐ≠ｒの場合に、
ε１２３＝ε２３１＝ε３１２＝１
であり、
上の要素の座標の添え字を入れ替えた場合の、
ε２１３＝ε３２１＝ε１３２＝－１
という様に値を負にする。
なお、以下の様に添え字を入れ替えていくと、
ε２３１＝ーε２１３＝ε１２３＝１
と変換して値が求められる。
行列式
εｍｐｒＡｍ１Ａｐ２Ａｒ３
は、
ベクトルＡ：
（ａ１，ａ２，ａ２）＝（Ａ１１，Ａ２１，Ａ３１）と、
ベクトルＢ：
（ｂ１，ｂ２，ｂ２）＝（Ａ１２，Ａ２２，Ａ３２）と、
ベクトルＣ：
（ｃ１，ｃ２，ｃ２）＝（Ａ１３，Ａ２３，Ａ３３）
の作る斜方体の体積をあらわすという意味を持つ。
行列式を具体的に計算すると、
εｍｐｒＡｍ１Ａｐ２Ａｒ３
＝Ａ１１Ａ２２Ａ３３
＋Ａ２１Ａ３２Ａ１３
＋Ａ３１Ａ１２Ａ２３
－Ａ２１Ａ１２Ａ３３
－Ａ３１Ａ２２Ａ１３
－Ａ１１Ａ３２Ａ２３
（斜方体の体積の計算）
以下で、斜方体の体積を要素に分解して計算し、その要素を合計して斜方体の体積を計算する。
以下のように、座標系が回転しても結果が変わらないように体積の計算規則を定める点がポイントです。
また、以下の計算により、体積が１の、ベクトルＸとＹとＺの張る斜方体に、体積０の潰れた斜方体を加えていくと、ベクトル（－Ｙ）とベクトルＸとベクトルＺの斜方体に変換できる。
また、例えば、以下の式の様に、ベクトルＡとＢとＣが張る斜方体の体積を表す式に、ベクトルＡとＢと、ベクトルＡのｓ倍とベクトルＢのｔ倍の和のベクトルとが張る、体積が０のつぶれた斜方体の体積を表す式を加える。
そして、そのように歪めた斜方体の体積は元の斜方体の体積と同じであるが、計算結果も同じ体積が計算できる様になった。
また、Ｘ方向のベクトルとＹ方向のベクトルの加法と乗法について分配法則が成り立つ。Ｘ方向のベクトルとＺ方向のベクトルについても同様に分配法則が成り立ち、Ｙ方向のベクトルとＺ方向のベクトルについても同様に分配法則が成り立つ。その結果、全方向のベクトルの加法と乗法について分配法則が成り立つ。
ベクトルＡとＢとＣが張る斜方体のベクトルＣを２つのベクトルＣ１とＣ２の和に分解すると、
ベクトルＡとＢとＣの張る斜方体の体積をＶとし、
ベクトルＡとＢとＣ１が張る斜方体の体積をＶ１とし、
ベクトルＡとＢとＣ２が張る斜方体の体積をＶ２とすると、
ベクトルが張る斜方体の体積の間に
Ｖ＝Ｖ１＋Ｖ２
という関係が成り立つ。
一方で、
ベクトルＡ×ベクトルＢ×ベクトルＣ
＝ベクトルＡ×ベクトルＢ×ベクトルＣ１
＋ベクトルＡ×ベクトルＢ×ベクトルＣ２
というベクトルの加法と乗法についての分配法則が成り立つ。
斜方体として、
ベクトルＡ：
（ａ１，ａ２，ａ２）＝（Ａ１１，Ａ２１，Ａ３１）と、
ベクトルＢ：
（ｂ１，ｂ２，ｂ２）＝（Ａ１２，Ａ２２，Ａ３２）と、
ベクトルＣ：
（ｃ１，ｃ２，ｃ２）＝（Ａ１３，Ａ２３，Ａ３３）と、
の３つのベクトルが張る斜方体を考える。
この斜方体を張るベクトルＡとＢとＣをＸ方向のベクトルとＹ方向のベクトルとＺ方向のベクトルに分解すると、ベクトルＡの分解されたベクトルとベクトルＢの分解されたベクトルとベクトルＣの分解されたベクトルの積の組み合わせが作る斜方体が２７個できる。そのうち２１個の斜方体は、少なくも２つのベクトルが同じ方向を向いた３つのベクトルで張られるつぶれた斜方体であり、その体積が０であるため無視できる。その２７個の斜方体の体積の和が、ベクトルＡとＢとＣの張る斜方体の体積と同じになる演算ができる様になった。
そして、ベクトルＡの分解されたベクトルとベクトルＢの分解されたベクトルとベクトルＣの分解されたベクトルの積の組み合わせが作る２７個の斜方体の体積に係る、Ｘ方向の単位ベクトルとＹ方向の単位ベクトルとＺ方向の単位ベクトルを組み合わせた積の符号を、エディントンの計算記号εｍｐｒを用いて定める。
(1) εｍｐｒの添え字の値のどれかが等しければ、その値が０であり、
(2) また、
ε１２３＝１であり、
(3) εｍｐｒの任意の２つの添え字を入れ替えると、その値な正負の符号が変わる。
という規則が成り立つ。
その規則に従うεｍｐｒを使うことで、ベクトルＡの分解されたベクトルとベクトルＢの分解されたベクトルとベクトルＣの分解されたベクトルの積の組み合わせが作る２７個の斜方体の各々の体積は、
εｍｐｒａｍｂｐｃｒ
で表せる（ここでは例外的にアインシュタインの縮約記法の積の和を使わず、１つの積のみを表す）。
その２７個の体積要素の和を行列式と定義し、アインシュタインの縮約記法で、
εｍｐｒａｍｂｐｃｒ
と表す。
以上で、斜方体の体積を２７個の体積要素に分解して計算し、その体積要素を合計して斜方体の体積が得られた。
そして、個々の単位ベクトルが張る斜方体の体積の和が、ベクトルＡとＢとＣが張る斜方体の体積になるように、個々の斜方体の体積の正負を定める規則が、エディントンの行列式の計算記号εｍｐｒに反映されて定められている。
そのように、３階のエディントンの計算記号εｍｐｒを定める事で、３個のベクトルＡとＢとＣが張る３次元の斜方体の体積が、各ベクトルを複数のベクトルに分解した場合の各ベクトルの張る複数の３次元の斜方体の体積の和になる。
すなわち、ベクトルの基本要素の３つの積で表される体積要素の３×３×３＝２７組の各体積要素の符号をエディントンの計算記号εｍｐｒを用いて定め、その２７＝３３個の体積要素の和を、行列式にする。
こうして、エディントンの行列式の計算記号εｍｐｒを用いて表す、εｍｐｒａｍｂｐｃｒによる計算を、３×３の行列式の計算規則とする。
その様に行列式を、εｍｐｒａｍｂｐｃｒで計算する事に定める事で、その行列式が元のベクトルが張る斜方体の体積を計算する式になる。
（面に垂直なベクトルと残りのベクトルの内積で体積を求める）
この斜方体の体積は、ベクトルＡとＢに垂直で、大きさがベクトルＡとＢの張る平行四辺形の面積に等しいベクトルＨとベクトルＣの内積であらわすことができる。
そのために、
行列式の計算を、ベクトルＨとベクトルＣの内積の計算を表しているものと解釈して、
行列式の計算から、以下の様にしてベクトルＨを導き出すことができる。
εｍｐｒａｍｂｐ＝ｈｒと表す。
ベクトルｈｒとベクトルＡとの内積＝εｍｐｒａｍｂｐａｒ＝０であり、
（同じベクトルが並ぶ行列式の値は０であるため）
ベクトルｈｒとベクトルＢとの内積＝εｍｐｒａｍｂｐｂｒ＝０です。
（同じベクトルが並ぶ行列式の値は０であるため）
そのため、
ベクトルｈｒはベクトルＡとＢに垂直である。
（補足）
同じベクトルが並ぶ行列式の値が０になることは、εｍｐｒを用いて以下の様に証明できる。
【証明開始】
εｍｐｒ＝－εｒｐｍであるので、
εｍｐｒａｍｂｐａｒ＝－εｒｐｍａｍｂｐａｒ
＝－εｒｐｍａｒｂｐａｍ＝－εｍｐｒａｍｂｐａｒ ，
∴ ２εｍｐｒａｍｂｐａｒ＝０ ，
εｍｐｒａｍｂｐａｒ＝０ ，
（証明おわり）
また、
ベクトルＣが、（ｃ１，ｃ２，ｃ２）であり、
行列式の値＝εｍｐｒａｍｂｐｃｒ ＝ｈｒｃｒであり、
行列式が表す斜方体の体積がベクトルｈｒとベクトルｃｒの内積の値に等しいので、
ベクトルｈｒの大きさは、ベクトルＡとＢの張る平行四辺形の面積に等しい。
以上の結果から、 εｍｐｒａｍｂｐ＝ｈｒは、
ベクトルＡとＢに垂直で、大きさがベクトルＡとＢの張る平行四辺形の面積に等しいベクトルＨです。
ベクトルＡとＢに垂直なベクトルＨを計算する上の式は、
ベクトルの外積の計算式：
ベクトルＡ×ベクトルＢ＝ベクトルＨ
を表している。
ベクトルの外積の計算式は、上の式
εｍｐｒａｍｂｐ＝ｈｒ
で覚えた方が覚えやすいです。
（念のため補足：この式はアインシュタインの縮約記法で表した積の和）
このように、エディントンの行列式の計算記号εｍｐを用いて表す行列式は、行列を構成するベクトルが作る面積や体積をあらわす。
なお、エディントンのイプシロンεｍｐ等用いて表す、アインシュタインの縮約記法による演算：
εｍｐｒａｍｂｐ＝ｈｒ
は、行列の積の演算で横ベクトルと縦ベクトルの積のみが組み合わせられるという束縛から演算ルールが解放されている。
すなわち、
εｍｐＡｍ１＝Σ（ｍ＝1,2）｛εｍｐＡｍ１｝
という演算もできるし、
εｍｐＡ１ｍ＝Σ（ｍ＝1,2）｛εｍｐＡ１ｍ｝
という演算もできるという様に、
行列の行と行を組み合わせる演算も、
行と列を組み合わせる演算も、
列と列を組み合わせる演算もでき、
自由に組み合わせた演算ができる。
（ｎ行ｎ列の行列式）
ε（ｐ１）（ｐ２）（ｐ３）・・・（ｐｎ）｛Ａ（ｐ１）１Ａ（ｐ２）２Ａ（ｐ３）３・・・Ａ（ｐｎ）ｎ｝
でｎ行ｎ列の行列式を計算する。
このエディントンの計算記号の集合は、添え字が２つのものは行列と呼び、添え字が３つ以上のものと行列とは合わせてテンソルと呼ぶ。
このエディントンの計算記号ε（ｐ１）（ｐ２）（ｐ３）・・・（ｐｎ）は、ｎｎ個の要素を持つが、
その各要素は、以下の値を持つ。
添え字のうちの少なくとも２つが同じ添え字になる場合、
ε（ｐ１）（ｐ２）（ｐ３）・・・（ｐｎ） ＝０
であり、
ε（１）（２）（３）・・・（ｎ）＝１
であり、この添え字の位置を交換すると（－１）倍になる。例えば、１と２を交換すると、
ε（２）（１）（３）・・・（ｎ）＝－１
になる。
（備考）
ε1,2,3,4＝１ですが、
ε2,1,3,4＝ー１ ,
ε2,3,1,4＝１ ,
ε2,3,4,1＝ー１ ,
になり、添え字を１つづつずらして循環したら符号が変わります。
しかし、添え字の数を奇数にすれば、
１＝ε1,2,3,4,5＝ε2,3,4,5,1
のように、添え字を１つづつずらして循環したら符号が同じになります。
その様にｎ階のエディントンの計算記号εｍｐ・・・を定める事で、ｎ個のベクトルが張るｎ次元の斜方体の体積が、そのベクトルを複数のベクトルに分解した場合の各ベクトルの張る複数のｎ次元の斜方体の体積の和になる。
そして、斜方体を張るｎ個のベクトルをｎ次元の各座標軸方向のｎ個の要素のベクトルに分解して、ｎ個の要素のベクトルをｎ組掛け合わせて体積を求める。
そのｎｎ個の各要素の符号をエディントンの計算記号εｍｐ・・・を用いて定め、そのｎｎ個の体積要素の和を、行列式にする。その様に行列式を定める事で、その行列式が、元のベクトルが張るｎ次元の斜方体の体積をあらわす。
【行列式は行と列を入れ替えても結果が同じ】
行列式は、計算の元になる行列の行と列に関して対称な計算式です。そのため、行と列を入れ替えた行列でも行列式は同じ値になります。
リンク：
行列演算からベクトル解析まで目次
0 件のコメント:
コメントを投稿