- A-1. 生成系と基底
- A-2. 線型写像
- A-3. 一次連立方程式と準同型
- A-4. 直積と直和
- A-5. 射影
- A-6. Vandermonde 行列式
- A-7. 固有値
- A-8. 冪零行列
- A-9. 双対空間
- A-10. 二重双対空間
- A-11. Levi-Civita の記号 (番外編)
A-1. 生成系と基底
線型空間 を考え有限部分集合 をとる。すると、
は、 を含む 最小の 部分空間であることはすぐにわかる。
について、写像 を
という一次結合として定めると、写像 は 準同型写像 (線型写像) であることが容易に確認できる。この 準同型写像 が 線型空間 への全射であるとき、 は の「生成系」であるといい、前記の vector の組は、 線型空間 を生成するという。また、写像 が 線型空間 への単射であるとき、すなわち
のとき、前記の vector の組は「線型独立」という。また「線型独立」でない場合「線型従属」という。写像 が 線型空間 への全単射、すなわち 同型写像であるとき、前記 vector の組は「基底」であるという。
線型空間の次元 (基底 vector の濃度)は有名な次元定理により、基底となる vector の取り方に係わらず、ただ一つに定まる。
A-2. 線型写像
線型写像 (準同型写像) の行列表現は、 線型空間に基底がとれるからこそ成立しているものであって、考えている基底を別の基底にとれば、一般的に変わる。
線型空間 の基底を とし、 線型空間 の基底を とする。 の任意の vector は、
と表せる。ここで、縦 vector を横 vector の転置で書いており、肩にある記号 で転置であることを示す。また、 は、基底を縦ベクトルで書いて横に並べた行列を意味する。
ここではまず、 準同型 (線型) 写像 は、 行 列の行列の形で表されることを示す
(証明)
写像 は、 準同型写像なので、
つまり、ガロア理論のときにやったように、 準同型 (線型) 写像とは、vector である基底のみに作用するものである。
ここで、 を、 の基底、 で書くことを考えると、
とおける。これから
とおけば、これは、 行 列の行列である。
であったから、 の座標は、基底が のとき、
であり、それが 準同型写像 によって に送られると、基底 でみた 座標
は、
になっていることを意味する。//
逆に、 ならば、 準同型写像であることは簡単に示せるので、 線型写像と行列表現は同値である。
少し、具体例をあげてみる。
2 次元の 線型空間 (平面) を考え、基底を
とする。任意の を反時計まわりに 回転させる写像 を考えるとこの写像は 線型写像であることが簡単に確認できる。行き先の基底も同じ
だとして、この 線型写像に対応する行列表現を求める。
線型空間 の任意の要素は、
と表すことができる。
であり、写像の行く先の基底は元の基底そのままとしたから、
したがって、
さて、今度は平面 の vector を反時計まわりに 回転させるかわりに、今度は行き先の基底がもとの基底に対して 反時計回りに 回転していたらどういう関係になるか調べる。もとの基底を 同じように
とし、 が 回転したものをそれぞれ と、それらを であらわすと、
なので、
これを使って先程の の基底を にかえてみると、
となり、あたりまえすぎる結果であるが、座標の値は変わらない。
それでは、今度は回転前に基底を にかえて、回転後も基底 で表すとすると、これもあたり前だが、結果は最初と変わらない。
以上のことを一般化すると、元の基底
を
に変更し、行き先の基底
を
に変更するとして、その基底変換行列 をそれぞれ、
として、新しい基底を元の基底で表した場合、
とおくと、最後の式と 準同型写像の性質により、
が成立する。したがって、
または
行列 は、新しい基底のもとで、 に変わる (可換図式を書けばすぐにわかることだが念のため)。
A-3. 一次連立方程式と準同型
行列の行 vector の階数と列 vector の階数が一致することを示す。
その前に準備として、転置行列の関係
という関係を証明する。
(証明)
とする。 の要素 とすると、
//
準同型写像 に対応する行列を
とし、像 の次元、 つまり階数 () を
とする。 は、 を の基底としたときに、 によって生成される空間であり、階数 はその次元のことである。つまり、
。
行列 の各列 vector
は、
を の基底で表したときの座標に相当するもので、 と は同一視される。したがって、 は 個のある基底
であらわされる。
ここで、行列 の 行, 列 の要素を と書くことにする。
ここで、行列 の 行目の横 vector に注目すると
この転置をとると、
とおくと、
となり、行列 の行 vector は、 個の vector
により生成されることがわかった。したがって、行列 の行 vector の階数 は、
であることが、結論される。
今度は、転置行列 に対して、同じことをする。転置行列 の列 vectorは、行列 の行 vector であり、その階数は とした。ところが、転置行列 の行 vector は、上とまったく同じ議論によって、 個の vector によって生成されるから、
である。したがって、
であることが証明された。//
なお、
という関係が存在する。なお、線形代数では同型写像のことを正則写像、対応する行列を正則行列といったりする。以下は明らかにみな同値である。
1) が同型写像
2) 準同型写像 が全単射
3) 準同型写像 が逆写像をもつ
4) が の基底
5)
6)
//
vector
が線形独立であるとき、
もまた線形独立である。また、各 vector の順番を置換しても線形独立である。また、この vector の組が生成系であるとき、前述の変換を行なってもまた生成系である。
これを線形写像に対応する行列の列ベクトルに対して適用すると、列の基本変形 (行の入れ替え、行を 倍する、ある行を 倍して他の行に加えることで、前述した線形独立性は失われない。それは、この操作が可逆な正則行列として表すことができることからも明らかである。行 vector と列 vector は、双対空間を成すので、行 vector に対しても全く同じ操作が可能である。ここでは詳述しないが、よく知られているように、行列の基本変形によって、 と を求めることができる。
※ 行の基本変形は基本行列を左からかけることに対応し、列の基本変形は基本変形を右からかけることに対応する。基本変形を用いて逆行列を求める際には二つの変形は混在できないことに注意する。//
一次連立方程式
を解くことは、行列 に対応する準同型写像 の についての逆像を求めることと同値である。
まず、 とする。
の解は を求めることと同値である。もっと言えば の基底の一組を求めて を明示的に書くことである。
次に とする。
だとすると、解は空集合である。
※ それを判定するためには列 vector を行列 の列 vector に加えたときに次元が拡大するかを調べればよい。つまり が一次従属ならば次元は拡大しないので、 は に含まれていると判定できる。
したがって とする。今、一組の解 が求まったとし、他の解 があれば、
となるので
であり、解は同じ剰余類に属することがわかる。もちろん、
であれば解は一つに定まる。//
A-4. 直積と直和
直和について触れておくと、直積と直和は本来異なる概念だが、有限個の場合については、直積と直和は本質的な差はない。 線形空間でいえば、 を線形空間としたとき、直積
に成分毎の加法
と の作用
を入れて 線形空間とする。有限個の直積の場合はこれは直和と同じであり、
と書く。 は部分空間として
を有しているが、これはしばしば と同一視される。
また、このように定めた直和は、 が の部分空間のときになされる、
とも同型である。
(証明)
を へ移す写像
を考えたとき、
であるとすると、
が
を満たせば
から
となるので単射であり、したがって全単射であることがわかる。逆は、もし、
となる が存在すると仮定すれば
となり、これから
となって、
となる。//
以上を有限個の空間について拡張するのは正しい。
無限次元の場合、直積と直和は一般に異なる。一般的にいえば、添字の集合 (index set) を考え 線型空間の族 (family)
とその元の族
を考えることができる。
直積については、有限のときと基本同じで、直積集合
を考え、成分毎に元の加法と作用を定義して 線型空間とする。
の族 (family)
の元の族
に対して
が有限集合であるとき、言い回しとして
「有限個の を除き 」
という。直積 の部分空間
有限個の を除き
を直和と呼ぶ。たとえば、
は直積の要素ではあるが、直和の要素にはならない。直和は が無限個の場合でも、要素の零ではない (座標) 成分は有限個である。
A-5. 射影
線型空間 が部分空間 と の直和であるとき、任意の 線型空間の要素 は、 のある要素 , のある要素 を使って、
と一意的に表すことができる。したがって写像
,
を以下のように考えることができる。
これらの写像を「射影」という。「射影」は要するに、座標の成分をとるということに対応する写像のことである。この「射影」の性質を調べてみると、まず、「射影」は 準同型写像であることがすぐに確認できる。また、
となり、
は、恒等写像である。
また、 自体の分解は、
なので、
となる。さらに、
となる。つまり、
は、零写像である。さらに
したがって、
である。
それで、これのどこが面白いのかというと、逆に、 線型写像を として、
1)
2) が恒等写像
となるように定め、対応する正方行列を ( に対応), ( に対応) とすると、上の条件は、
ということになる。これから
となる。また、任意の にたいして、
となる が存在しているとき、
より、
結局、
となっている。 は、恒等写像であったから、全単射である。いま像 を考えたとき、 に属する任意の要素 について、先ほどの結果より、
となり、
から
となる。したがって、
となるので、 と は の直和になっている。つまり、2 つの写像が上記の 1), 2) の性質を満たせば、二つの写像の像 (部分空間) は 線型空間の直和になるということである (もちろん、写像は二つに限らず、線型空間の次元の範囲で一般化できる)。
※ 要するに
と の間には共軛的な関係が成立している。//
例として、3 次元空間 で、
で表されている平面上に基底をとることとし、その基底を適当に
ととると、平面は
で表される。さらにもう一つの基底を z 軸の、
にとるものとする。そうすると、この平面への射影 は、
だから、
また, z 軸への射影は、
となる。なお、平面上の基底を直交させたかったら、シュミットの直交化をもちいればよいし、平面の法線 vector は
なので、
で求められるので、直交基底を構成するのは簡単である (もっとも、座標の向きまで考慮して基底を取るのならば平面上の二つの基底の外積から求める方が一般的だろう)。
※ 「グラム-シュミットの直交化法」というのは、その名称から勘違いしやすいが、単なる手法に留まるものではなく、「有限次内積空間は正規直交基底をもつ」ということを保証する基本的なものである。//
ここで、平面上の基底は直交していなかったから、正規直交基底にしてみると、グラム・シュミットの直交化法をもちいて、
から、 単位ベクトル を作る。
長さを 1 にすると、
平面に垂直な は、
今度は直交しているので、逆行列はすぐ求まる。
※こんな回りくどいやり方しなくても良いんだが、射影を使って大学入試問題を解いてみる (近い将来、日本の文系志望の高校生はベクトルを学ばなくなるそうだが)。
【例題】
直線 に関して、点 と対称な点 の座標を求めよ。
【回答】
直線
は、明らかに を零点に持たないので、線型部分空間ではない。そこで、
と経数表示をしてみると、
を考えれば、アフィン空間は線型空間になる (この引戻し写像は明らかに同型である)。
基底 として、ひとつは
がとれ、
から、vector
は直線に垂直なので、もう一つの基底として、
になり、 は、 と同型な線形空間の正規直交基底となる。直線への射影行列 は、
直線に垂直な基底への射影行列 は (この問題を解くためには求める必要はないのだが、一応やっておく)
点 は、現在考えている空間では に相当する。
この点に関し、
また、 の 軸への射影は、直和であることより、
となる ( で計算してもよいが
なので同値である)。
求める点 の変換した空間での座標は、
であり、座標を元に戻して、点 の座標は となる。 //
A-6. Vandermonde 行列式
Vandermode 行列式を の例で求めておく。もちろん Vandermonde 行列を転置させても行列式の結果は同じである。
まず、2, 3, 4 列から 1 列目を引く。
余因子展開をする。
3 行目から 2 行目に をかけたものをひく。
2 行目から 1 行目に をかけたものをひく。
各列の共通因子を外に出す。以下、再帰的に反復する。
以上で、結果が求まった。
クラメルの公式とあわせて使うと、
の解は、 が二つずつ異なるとき、ほとんど考えずに、
と書ける。
A-7. 固有値
基底の取り替えを議論したときに、始域での基底変換の行列を , 終域での基底変換の行列を とすると、準同型写像の表現行列が、基底変換前の行列 に対して
の形になることをやったが、自己同型写像を考え、基底変換行列 を同じ にしてやると、 は正方行列になる。また は逆行列が存在するので正則である。すると基底変換後の写像の表現行列は、
という形になる。もちろん、写像自体は変わらず、ただ座標の取り方が変わっただけなので、 と は共軛であると考えられる。空間そのものと座標系を区別して考えることは、案外重要なことだと思う。空間とは座標系をどう取ろうとも存在しているもので、魑魅魍魎の住まうところである (さらに恐ろしいのは、一見したところ、それが単なるのっぺらぼうにしか見えないことである)。功利性や実用性ばかり考えて空間と座標系を同一視してはいけない。そうはいっても座標系を取り去っても空間に零点だけは存在しているのではないか。その零点はイデアルが必ず を含んでいるのと何か関係がありそうである。
実際に同値律
1)
2)
3)
が満たされることが容易に確認できる。自然演繹風に証明してみる。
(証明)
1) から
である。すると
である。
2)
を仮定する。すると、
である。つまり
である。
とおくと
が出る。したがって
であり、仮定 を落とす。
3)
かつ
を仮定する。そうすると、
である。ということは、
とおける。また、
である。ということは、
とおける。
したがって
であり、仮定、 かつ を落とす。//
任意の正方行列 に対して,ある正則行列 が存在して,
(J は Jordan ブロックを対角に並べた行列)
になるようにできるというのが、線形代数が教えてくれることで、つまり任意の正方行列は本質的には ジョルダン標準形と相似なのである。ジョルダン標準形のところで行列多項式のイデアルが出てくるが、これが、 で不変であり、群の正規部分群との対応を明白に感じる。
それで、まず、固有値を簡単に振り返っておく。
【定義】
体 を 複素数体(代数的閉体) とし、その上で 次元の線形空間 を考える。
※ 代数的閉体: 次以上の任意の の多項式が 上ですべて 次多項式に分解するとき、体 を代数的閉体という (似たような言葉に代数閉包というのがあってガロア理論では飛ばしてしまったが、意味は異なる)。ガウスの「代数学の基本定理」により の方程式は必ず解をもつので、複素数体 は、代数的閉体である。//
線形写像 (自己準同型写像/線形作用素)
を考え、それを表現する の正方行列を とする。
となる
と、
(ただし, )
があるとき、 を の「固有値 (eigenvalue)」, を固有値 に属する の「固有 vector (eigenvector)」と呼ぶ。また、
は の部分空間 (証明は確認するだけなので省略する) で、線形写像 による固有値 の「固有空間(eigenspace)」とよぶ。また、 の多項式
を行列 の「固有(特性)多項式」という。//
※
から、固有vector を持つための必要十分条件は、 が とは異なる自明でない解を持つことであり、それは、
であることと同値である。また が の固有値である必要十分条件は、
の根であることである (言い換えとして、 は正則行列ではない)。
※ 固有多項式はモニック多項式である。//
※ 固有多項式は、基底の取り替えに対して不変である。実際、行列 を
に取り替えても、つまり ならば、固有多項式は不変である。ただし、固有多項式が一致するならば、 は一般には成立しない。実際、
である。//
一般に自己準同型写像 を調べるには、 を複数回合成したものや写像の線形結合を考えるが、それは自己準同型の多項式への代入を考えることで形式化される。
自然数 について、 を 個の の合成とし、 を恒等写像とする。多項式
に対し自己準同型写像 を
として定める。また、与えられた基底での行列表示は
で定める。
いま、行列 を多項式の根に持つ多項式全体の集合、
同様に、自己準同型についても、
を考えることができる ( は すべての の要素を ベクトル に移す 写像の意)。
すぐに確認できるように、集合 はイデアルである。また、置換の共軛変換で示したように、
であることもわかり、今考えているイデアルも基底の取り方に依存しないことがわかる。
(Cayley - Hamilton の定理)
固有多項式 に関して、
が成り立つ。すなわち、 である。//
(証明)
とおく。 を の余因子行列 ( の各行列成分を、 の 次の小行列式におきかえ、転置した行列) とする。このとき、余因子行列によって逆行列を求める公式としてよく知られているように、
が成立する。余因子行列 の各行列成分は、 に関し、たかだか 次だから、
とかける。また、
とおいて、上の 式の左辺と右辺を比較する。
すると、
となっている。したがって、
//
この結果から、ガロア理論でやったように、イデアル は、単項イデアルであり、行列 を根に持つ最小多項式 が存在し、固有多項式 を必ず割り切る。
固有多項式 の根であることと固有値であることは同値だったが、 最小多項式 の根であることとも同値であることを示す。
(証明)
まず、行列 の任意の固有値を としたとき、
( は固有 vector なので )
から、
がいえ、帰納法で、任意の自然数 にたいして
が簡単に証明できるので、
となり、 だったので、
となる。逆は、最小多項式 は最小多項式 と固有多項式 の最大公約式であるので、最小多項式 の根は、固有多項式 の根である。//
以上より、最小多項式 と、固有多項式の根は、重複度を除いて、固有多項式 と一致する。また、すぐにわかるように、固有値が全て相異なるならば (分離的ならば)、最小多項式 と固有多項式 は、単元倍を除いて一致する。また、最小多項式 も. を に変換しても不変であることはすぐに示せる。
行列 に関する次の三つの命題は同値である。
1) 行列 は対角化できる
2) 行列 の最小多項式は重根をもたない
3) 線形空間 は固有部分空間の直和に分解される。
(証明)
1) ⇒ 2)
を対角行列とする。 の対角成分で、相異なる成分を とする。そうすると、
となる。したがって、
とおくと、行列 A の最小多項式 は、 の公約式となる。 は作り方から、重根を持っていないので、行列 の最小多項式 も重根をもつことはない。
2) ⇒ 3)
各固有値に対応する固有値 に対応する固有部分空間 から、部分空間の基底 vector を一組ずつ取り出す。その基底 vector の数を とする。
とおき、
が成り立っているとする。ここで、 は 固有部分空間 に入っているから、
となる。したがって、
から
同じことを繰り返すと
ここで、
行列 は Vandermonde 行列を転置した形で行列式は、
となって、互いに異なる固有値の対の差積となる。したがって
。
つまり、
以上より、
となり、各部分空間の基底をなしていることから、
となってすべてのベクトルが線形独立になる。したがって、各固有部分空間の和は直和である (ただし線形空間 の生成系かどうかはわからない)。
が、まず証明された。
次に、最小多項式 が重根をもたなければ、
と書ける。
から、
となる。この左辺を合成写像とみると、右辺 は 写像なので、この合成写像の核の次元は、 である。
各部分空間の次元は、次元定理から、
が成立している。
ところで、一般に合成写像
の核の次元をみると、
として
が成立する。これを使って、
が成立し、前の結果と合わせて
すなわち 線形空間 は、固有部分空間の直和となる。
3)⇒ 1)
となっているので、各 の固有vector を一つずつとって列として並べ行列
を作ると、列 vector は一次独立であることから、 は、正則行列である。vector を
で変換すると、固有 vector であるので、
とおけば、
であり、
で、 は対角化される。//
※ 行列 の最小多項式
()
を
とおく。いま、
と定めると の最大公約式は となるので、
となる
が存在する。
そこで、
とすれば、
となって「1 の分割」が定まる。
とすれば、
ここで、 とすれば、
したがって
がわかる。また、
であることもすぐに確認できる。
と定めれば、
だから、
であり、逆に
とすれば、
であるから、
である。以上より
である ( は という写像の核である)。
これから
が言える。
線形空間が直和分解ができることと射影 (1の分割) が存在することは同値である。
準同型写像 を合成すると、
となるので、固有値があるならば、
となることは明らかであり、これを ( の)「スペクトル分解」と呼ぶ。
射影の性質
,
を使えば直ちに、
であることがわかる。
ところで、初歩的な複素函数論の話で、 を複素変数とし、 を複素平面のある領域 で一価正則 (一価とは値がひとつに決まること、正則とは点 の周りで微分可能で Taylor 展開できることである...念のため) な複素函数とすると、正則函数の単連結な領域でのコーシーの積分定理によって、 を点 を囲む単一閉曲線とするとき、
が成立する。また、 が、有限個の点 を除いて一価正則であるとき、これらの有限個の点を含む単一曲線 に関する積分は、
となる ( は、それぞれ、点 を中心とする円で、その領域の中では中心を除いて は正則であるとする)。右辺の各項の値を の の留数と呼び
と書く。
実は、線形写像 の固有値 のみを囲む単一閉曲線 をとり、
を考えると、それは 射影 に他ならないのである。
射影で成立する「1の分割」
とは、固有値を複素平面の特異点の集合と見なせば、留数の和の公式に他ならないということである。
A-8. 冪零行列
A-9. 双対空間
を 線形空間としたとき、その線形空間 から体 への線形写像全体の集合 を考え、その要素である写像 に対して和とscalar 倍を次のように定義する。
なお、零元は、
をとる写像と考えればよい。このとき、証明は省略するが、 は線形空間となり、線形空間 の「双対線形空間」と呼ぶ。また、その vector である線形空間 から 体 への線形写像を「線形形式」「一次形式」あるいは「一形式」と呼ぶ。
線形空間 の次元が であるとし、その基底を にとるとする。そうすると、線形空間 の任意の要素 は、
とあらわされる。双対空間 の任意の要素 を、この に作用させると以下のようになる。
となる。ここで、
とおくと、
と書ける。
いま、
という線形形式を考えると、上式は、
となり、 は、双対空間 の基底となり、双対空間 の次元は と同じ になる。なぜなら、任意の線形型式は、 の線形結合で表されることはいままでの説明から明らかであり、
(0 は 0 写像を意味する)
のとき、
となるからである。
いま、 上の線形空間 を考え、
とする。 の基底を 、 の基底を とする。
線形写像 を考え、線形空間 の任意の要素 は、
であるとすると、
とする。ここで、 である。
さらに 写像 を考え,
に対して以下のように定義する。
写像 が線形写像になることは簡単に確認でき、この を 線形写像 F の「双対写像」であるという。
双対空間 の基底を , 双対空間 の基底を、 とする。
これより、線形空間 の任意の要素
にたいして、
双対空間 の 任意の要素を
とおくと、
となることから、線形写像 に対応する行列 の転置行列 は、双対写像 に対応している行列だということがわかる。 の階数 (rank) を としたとき、 は、対応する行列の 行 vector および列 vector の階数に等しかった。したがって、
である。
A-10. 二重双対空間
双対空間 は、 線形空間 から体 に値をもつ線形写像の集合、つまり によって構成されていた。 線形空間と双対空間は、体 を介して繋がっている。ここで双対空間 の双対空間を考える。すなわち
である。この空間を「二重双対空間 (Double Dual Space)」という。 は、 線形空間 から体 へ値をとる線形写像全体の集合である。この写像の集合が線形空間になることは、 が線形空間だったのだから、まったく同じように証明できる(証明略)。
さて、線形空間 の任意の要素を とし、写像
を次のように定義する。 に属する任意の写像を としたとき、
ここで、
だから、写像 は実際に になっている。この写像 が線形写像であることを確認してみると、
となるから、写像 は線形写像であり、したがって、二重双対空間 の要素である。
任意の に対して、
したがって、
という結果になり、 から への線形写像が得られた。この線形写像が同型写像であることを示す。まず、
となる。線形空間 とその双対空間 の基底をそれぞれ、
とすれば
の関係が成立していた。ここで、先程の をつかうと
となり、 は、 の基底となる。つまり、この写像は、線形空間 の基底 を 基底 に移し、 が異なれば対応する も異なる。さらに先程みたように次元は等しいことから、 は全単射である。したがって、 は、線形空間 から への線形同型写像になり、しかも は基底の取り方によらず空間全体に一貫して自動的に定まる。このような場合、線形空間 と線形空間 は「自然同型 (標準同型)」であるという。なお、
なので、これ以上の双対空間を作っても、結果は同じである。つまり、
数学では、写像を一つの点や数と同格に考えるのは基本である。モノとコトの区別などもともとない。
A-11. Levi-Civita の記号 (番外編)
Levi-Civita の記号は、いかにもお洒落なイタリア的記号である。
が、 の偶置換のとき、
が、 の奇置換のとき
それ以外は、 として、Levi-Civita の記号を定める。
※ 任意の置換は互換の積に分解できるのだった。互換が奇数個のときが奇置換、偶数個のときが偶置換である。長さ 3 の巡回置換は (1,2,3) = (1,3)(1,2) だからすべて偶置換である。また偶置換、奇置換は互換の分解の仕方によらず一意に定まる。
//
ところで、外積 は、行列式の形式を借りて、以下のように書ける (もちろん、 は vector なので行列式は求められない)。
これを行列の 1 行目をつかって余因子展開すると、
となる。これを
と表すことにする。たとえば、
という具合になっている。
まず、外積に関する基本的性質を確認しておこう。
つまり、交換法則を満たさず、交代性をもっている。
これは、
で証明できる。また、結合法則は成立しない。
したがって、外積の三重積の括弧を外して書くことなどありえない。
次は成り立つ。
これは、外積が 双線形の性質を有していることを意味している。 証明は、最初だけやると
である。
次の関係が成立する。 は内積を表す。
となり (二つ目は行を偶置換した)、
となる。二つ目は転置、三つ目は で行列式の値が変わらない性質を使った。
として余因子展開すると、
さらに、いろいろな外積がまじった関係式を証明してみる。まず、
最後の式は、行列式 に等しいことがわかる。
次は、vector 解析では有名な公式で、電磁気学などでは頻出する。
したがって、
結合法則は成立しなかったので、 も求めてみると、
つぎに、
となる。
さらに、
次に、
つまり、
これだけの関係が、ほとんど機械的に導けるのだから、Levi - Civita の記号はお洒落なだけではなかった。