ウェッジ積
ベクトル$ Vを始域に持ち、以下の公理を満たす積$ \wedge:V\times V\to ?を考えよう。
$ a\in K$ \bm v,\bm x,\bm y,\bm z\in Vとする。
$ (a\bm x+\bm y)\wedge\bm v=a(\bm x\wedge\bm v)+\bm y\wedge\bm v
$ \bm v\wedge(a\bm x+\bm y)=a(\bm v\wedge\bm x)+\bm v\wedge\bm y
これにより、$ (a\bm x)\wedge\bm y=\bm x\wedge(a\bm y)=a\bm x\wedge\bm yと書ける。
$ \bm x\wedge\bm x=0_\wedge
ただし、$ 0_\wedgeは終域でのゼロを表す
$ 0_\wedge+(\bm x\wedge\bm y)=\bm x\wedge\bm y
記号$ \wedgeのことをウェッジと呼び、この計算をウェッジ積、あるいは楔積と呼ぶ。 同じく外積と呼ばれるクロス積との関係は後述する。
まず、交代性を表す式が見慣れた形じゃない理由を考えてみよう。
見慣れた交代式を導くには、$ \bm x+\bm yに対して交代性を適用してみれば良い。
$ 0_\wedge=(\bm x+\bm y)\wedge(\bm x+\bm y)\quad\because ({\footnotesize 交代性})
$ =\bm x\wedge\bm x+\bm x\wedge\bm y+\bm y\wedge\bm x+\bm y\wedge\bm y
$ =0_\wedge+\bm x\wedge\bm y+\bm y\wedge\bm x+0_\wedge
$ =\bm x\wedge\bm y+\bm y\wedge\bm x
$ \therefore \bm x\wedge\bm y=-\bm y\wedge\bm x
逆に、この式で、$ \bm y:=\bm xとすると、
$ \bm x\wedge\bm x+\bm x\wedge\bm x=0_\wedge
$ 2\bm x\wedge\bm x=0_\wedge
$ K=\mathbb F_2のとき、$ 2=0となり、元の式を導けなくなる。
それ以外であれば、導ける。
終域$ ?が体$ K上のベクトル空間を成すことを示す。
始域がベクトルであることを活かして基底を直接書いてしまおう。
適当に順序付けられた添字集合$ \Lambdaを用意し、始域$ Vの基底を$ B=\{\bm e_\lambda\}_{\lambda\in\Lambda}、係数体を$ Kとすると、始域のベクトルは次のように書ける
$ \bm a =\sum_{\lambda\in\Lambda}a_\lambda\bm e_\lambda\qquad(\bm a_\lambda\in K)
$ \bm b =\sum_{\lambda\in\Lambda}b_\lambda\bm e_\lambda\qquad(\bm b_\lambda\in K)
$ \bm a\wedge\bm bを計算する。
$ \bm a\wedge\bm b=\left(\sum_{\lambda\in\Lambda}a_\lambda\bm e_\lambda\right)\wedge\left(\sum_{\lambda\in\Lambda}b_\lambda\bm e_\lambda\right)
$ =\sum_{\psi\in\Lambda}\sum_{\lambda\in\Lambda}a_\lambda b_\psi(\bm e_\lambda\wedge\bm e_\psi)$ \quad\because双線型性から
$ =\sum_{\psi\in\Lambda}\sum_{\lambda<\psi}a_\lambda b_\psi(\bm e_\lambda\wedge\bm e_\psi)+\sum_{\lambda\in\Lambda} a_\lambda b_\lambda(\bm e_\lambda\wedge\bm e_\lambda)+\sum_{\psi\in\Lambda}\sum_{\lambda<\psi}a_\lambda b_\psi(\bm e_\lambda\wedge\bm e_\psi)
$ =\sum_{\psi\in\Lambda}\sum_{\lambda<\psi}a_\lambda b_\psi(\bm e_\lambda\wedge\bm e_\psi)+\sum_{\lambda\in\Lambda} a_\lambda b_\lambda0_\wedge+\sum_{\psi\in\Lambda}\sum_{\lambda<\psi}a_\lambda b_\psi(\bm e_\lambda\wedge\bm e_\psi)$ \quad\because交代性から
$ =\sum_{\psi\in\Lambda}\sum_{\lambda<\psi}a_\lambda b_\psi(\bm e_\lambda\wedge\bm e_\psi)+\sum_{\psi\in\Lambda}\sum_{\lambda<\psi}a_\lambda b_\psi(\bm e_\lambda\wedge\bm e_\psi)$ \quad\because零元は消える。
$ =\sum_{\psi\in\Lambda}\sum_{\lambda<\psi}a_\lambda b_\psi(\bm e_\lambda\wedge\bm e_\psi)-\sum_{\psi\in\Lambda}\sum_{\lambda<\psi}a_\lambda b_\psi(\bm e_\psi\wedge\bm e_\lambda)$ \quad\because交代性から
$ =\sum_{\psi\in\Lambda}\sum_{\lambda<\psi}a_\lambda b_\psi(\bm e_\lambda\wedge\bm e_\psi)-\sum_{y\in\Lambda}\sum_{x<y}a_x b_y(\bm e_y\wedge\bm e_x)$ \quad\because変数を書き換えた
$ =\sum_{\psi\in\Lambda}\sum_{\lambda<\psi}a_\lambda b_\psi(\bm e_\lambda\wedge\bm e_\psi)-\sum_{\lambda\in\Lambda}\sum_{\psi<\lambda}a_\psi b_\lambda(\bm e_\lambda\wedge\bm e_\psi)$ \quad\because変数を書き換えた（変数の影響範囲に注意）
$ =\sum_{\psi\in\Lambda}\sum_{\lambda<\psi}a_\lambda b_\psi(\bm e_\lambda\wedge\bm e_\psi)-\sum_{\psi\in\Lambda}\sum_{\lambda<\psi}a_\psi b_\lambda(\bm e_\lambda\wedge\bm e_\psi)$ \quad\because$ \sumの入れ替え
$ =\sum_{\psi\in\Lambda}\sum_{\lambda<\psi}(a_\lambda b_\psi-a_\psi b_\lambda)(\bm e_\lambda\wedge\bm e_\psi)$ \qquad\because双線型性から
よって、$ (\bm e_\lambda\wedge\bm e_\psi)を基底とするベクトル空間$ \bigwedge^2(V)を構成すると、$ \wedgeの終域はその部分空間になる。
次に、先程まで$ ?で表していた、ウェッジ積の終域について考えてみよう。
先の計算で求めたウェッジ積の成分表示を改めて書く。
$ \bm a\wedge\bm b=\sum_{\psi\in\Lambda}\sum_{\lambda<\psi}(a_\lambda b_\psi-a_\psi b_\lambda)(\bm e_\lambda\wedge\bm e_\psi)
2次元の場合
まず、始域を2次元ベクトルとしてみると、基底を用いて以下のように表せる。
$ \bm x=x_1\bm e_1+x_2\bm e_2
$ \bm y=y_1\bm e_1+y_2\bm e_2
これらのウェッジ積を計算すると、次のようになる。
$ \bm x\wedge\bm y=(x_1y_2-x_2y_1)(\bm e_1\wedge\bm e_2)
係数として、二次元のクロス積と同じ形が現れる。
$ \bm x\wedge\bm y=(\bm x\times\bm y)(\bm e_1\wedge\bm e_2)
3次元の場合
次に、始域を3次元ベクトルとしてみると、基底を用いて以下のように表せる
$ \bm x=x_1\bm e_1+x_2\bm e_2+x_3\bm e_3
$ \bm y=y_1\bm e_1+y_2\bm e_2+y_3\bm e_3
これらのウェッジ積を計算すると、次のようになる。
$ \bm x\wedge\bm y=(x_1\bm e_1+x_2\bm e_2+x_3\bm e_3)\wedge(y_1\bm e_1+y_2\bm e_2+y_3\bm e_3)
$ =(x_1y_2-x_2y_1)(\bm e_1\wedge\bm e_2)+(x_2y_3-x_3y_2)(\bm e_2\wedge\bm e_3)+{\color{blue}(x_1y_3-x_3y_1)(\bm e_1\wedge\bm e_3)}←係数の並び順が微妙
$ =(x_1y_2-x_2y_1)(\bm e_1\wedge\bm e_2)+(x_2y_3-x_3y_2)(\bm e_2\wedge\bm e_3)+(x_3y_1-x_1y_3)(\bm e_3\wedge\bm e_1)$ \quad\because交代性から
係数として3次元のクロス積と同じ構造が現れる
クロス積は2次元ベクトルと3次元ベクトルの他に、7次元ベクトルに対しても定義される。
また、複素数、四元数、八元数、十六元数……はクロス積の定義に大きく関わっている。
ナイス補足Summer498.icon
おいwSummer498.icon
ウェッジ積に対するウェッジ積
ウェッジ積の終域に元のベクトル空間の基底が残ったが、それ以外は普通の積和形である。
そこで、ウェッジ積の始域を拡大してウェッジ積の終域に対しても適用できるようにしてみよう。
いま、3次元ベクトルを以下のように定義する。
$ \bm x=x_1\bm e_1+x_2\bm e_2+x_3\bm e_3
$ \bm y=y_1\bm e_1+y_2\bm e_2+y_3\bm e_3
$ \bm z=z_1\bm e_1+z_2\bm e_2+z_3\bm e_3
このとき、
$ (\bm x\wedge\bm y)\wedge\bm z
$ =\left\{(x_1y_2-x_2y_1)(\bm e_1\wedge\bm e_2)+(x_2y_3-x_3y_2)(\bm e_2\wedge\bm e_3)+(x_3y_1-x_1y_3)(\bm e_3\wedge\bm e_1)\right\}\wedge(z_1\bm e_1+z_2\bm e_2+z_3\bm e_3)
ここで、$ \bm e_1\wedge\bm e_1=0_\wedgeのようになることを考えつつ式変形すると
$ =(x_1y_2z_3-x_2y_1z_3)(\bm e_1\wedge\bm e_2\wedge\bm e_3)+(x_2y_3z_1-x_3y_2z_1)(\bm e_2\wedge\bm e_3\wedge\bm e_1)+(x_3y_1z_2-x_1y_3z_2)(\bm e_3\wedge\bm e_1\wedge\bm e_2)
ここで勝手に結合律を導入しているが、後でウェッジ積の公理として追加する。
$ =(x_1y_2z_3-x_2y_1z_3)(\bm e_1\wedge\bm e_2\wedge\bm e_3)+(x_2y_3z_1-x_3y_2z_1)(\bm e_1\wedge\bm e_2\wedge\bm e_3)+(x_3y_1z_2-x_1y_3z_2)(\bm e_1\wedge\bm e_2\wedge\bm e_3)
$ =(x_1y_2z_3+x_2y_3z_1+x_3y_1z_2-x_2y_1z_3-x_3y_2z_1-x_1y_3z_2)(\bm e_1\wedge\bm e_2\wedge\bm e_3)
これはスカラー三重積の定義によく似ている
このように、ウェッジ積積を複数回適用することで基底のwedge積を基底とする新たなベクトル空間を生成できる。
$ k個のベクトル$ \bm x_1,\cdots,\bm x_k\in Vにウェッジ積を適用して得られる値の集合を、$ k次外冪と呼び、$ \bigwedge^k\left(V\right)と書く。
$ \bm x_1\wedge\cdots\wedge\bm x_k\in\bigwedge^k(V)
また、$ \bigwedge^k(V)の元を k-ベクトルと呼ぶ。
よって、ウェッジ積の始域と終域は次のようになる
$ \wedge:\bigwedge^{n}(V)\times\bigwedge^{m}(V)\to\bigwedge^{n+m}(V)
$ \bigwedge^n(V)全ての非交和を$ \bigwedge(V)=\bigoplus_{n}\bigwedge^{n}(V)と表すことにすれば、
$ \wedge:\bigwedge(V)\times\bigwedge(V)\to\bigwedge(V)
となり、演算が閉じる。
なお、$ Vの次元が$ nのとき、$ n+1個のベクトルに対してウェッジ積を適用すると、必ず基底が足りなくなるので解は$ 0_{\wedge}になる。
2回以上ウェッジ積を適用することを考え始めたので、公理に結合律を追加しよう。
新公理
体$ K上のベクトル$ Vを線形部分空間として含むベクトル空間$ \bigwedge(V)に関して閉じている積$ \wedge:\bigwedge(V)\times \bigwedge(V)\to \bigwedge(V)に関して以下の公理を要請する。
$ a\in K$ \bm v,\bm x,\bm y,\bm z\in \bigwedge(V)とする。
$ \bm x\wedge(\bm y\wedge\bm z)=(\bm x\wedge\bm y)\wedge\bm z=\bm x\wedge\bm y\wedge\bm z
$ (a\bm x+\bm y)\wedge\bm v=a(\bm x\wedge\bm v)+\bm y\wedge\bm v
$ \bm v\wedge(a\bm x+\bm y)=a(\bm v\wedge\bm x)+\bm v\wedge\bm y
これにより、$ (a\bm x)\wedge\bm y=\bm x\wedge(a\bm y)=a\bm x\wedge\bm yと書ける。
$ \bm x\wedge\bm x=0_\wedge
ただし、$ 0_\wedgeは終域でのゼロを表す
$ 0_\wedge+(\bm x\wedge\bm y)=\bm x\wedge\bm y
テンソル代数とウェッジ積の接続
ウェッジ積に現れる基底$ \bm e_1\wedge\bm e_2は元のベクトル空間の基底$ \bm e_1と$ \bm e_2を組み合わせたもののように見える。
では、同じく基底を組み合わせて新たなベクトル空間を生成するテンソルとは何が違うのだろうか？ テンソル代数は体$ K上の多元環(ある体上の双線型な乗法を備えた線形空間)である。
$ (a\bm x+\bm y)\otimes\bm v=a(\bm x\otimes\bm v)+\bm y\otimes\bm v
$ \bm v\otimes(a\bm x+\bm y)=a(\bm v\otimes \bm x)+\bm v\otimes\bm y
ウェッジ積はテンソル代数に交代性を導入したものと考えられる。
この操作は、本来$ \bm x\otimes\bm x\ne0であるにも関わらず、$ \bm x\overset{\rm new}\otimes\bm x=0とみなした新たな代数系を構築する操作である。
$ \bm x\wedge\bm y=\bm x\otimes\bm y-\bm y\otimes\bm xとすると交代律を導入できる。
類似事例として、整数$ \Zから$ nの倍数を$ 0とみなす剰余操作がある。
これを$ \mathbb Z/n\mathbb Zと書く。
$ 0とみなされ、除外される要素の集合をイデアルと呼び除外後の代数体系を商集合と呼ぶ。 $ 0が必要なため、イデアルは環の部分集合である。
$ (\bigwedge(V),\wedge,+)は多元環の商集合なので商多元環と呼ぶ。
なっるっほっど～！takker.iconnishio.icon
この視点はなかった
どっちも特定の要素が消えると言うことで共通している
てことは微分とイデアルもかなり関係しているのでは？
微分は二重数（$ \varepsilon^2=0\quad\varepsilon\ne0なる数を導入して拡張した環$ \R\oplus\{\varepsilon\}）で再定義できるでSummer498.icon
ということは、この$ \{\varepsilon^2\}がイデアルになる
つまり、$ (\R\oplus\{\varepsilon\})/\{\varepsilon^2\}が内部的に微分の構造を保持する
やっぱり～takker.icon