二項積

多重線型代数学における二項積あるいは二項テンソル  は、二つのベクトルのある種の積として得られる二階テンソルである。二項積はしばしば二つのベクトルを併置することで表され、しかしその振舞いは行列に対応する法則に従う。二項積に関する用語や概念は今日では比較的時代遅れのものであるが、連続体力学や電磁気学などの物理学において引き続き用例がある。

二項積の記法を確立した最初の人はジョサイア・ウィラード・ギブスで1884年の事である。

1. 定義と用語法
---------

1.1. 二項積・外積・テンソル積
-----------------

二項積テンソル、単純二項積あるいは単に二項積  は二つのベクトルに二項積を施した結果として得られる二次の二階テンソルである。一般に二次のテンソルを総称して二項積 と呼ぶ。

同じ積を表すのにいくつか用語法と記法が存在する:

二項積  ベクトル a, b}} の二項積はこれらを併置した ab}} で表される。 外積  列ベクトル a, b}} の外積は a ⊗ b}} あるいは ab⊤}} で表される。 テンソル積  ベクトル a, b}} のテンソル積は a ⊗ b}} で表される。本項で扱う文脈においてこれらは互いに同じものを定める同義語であるが、テンソル積はより一般の対象に対してより抽象的な意味でも用いられることに注意すべきである。また「外積」 は全く別の概念である交叉積やより抽象的な楔積に対しても用いられる。

1.2. 三次元ユークリッド空間の場合
-------------------

これらの語法の等価性を見るために、三次元のユークリッド空間を例に取ろう。i, j, k}}を基本ベクトルとして、二つのベクトル

を考える。a, b}} の二項積は「九元数の形」 と呼ばれる和

や、列ベクトルや行ベクトルの拡張を考えることにより 3 × 3}} 行列

で表現することができる。

単純二項積  は上記の和の項あるいは行列の成分を言う。つまり基底ベクトルの併置に係数をかけたものである。

基本ベクトル i, j, k}} が

で表されるのと同様に、基本二項積テンソルは

のような表現を持つ。例えば:

3-個より少ない数の単純二項積の和に簡約することのできない二項積は完全  であると言う。このとき、成分ベクトルは平面的でない date=October 2012}} see Chen 。



1.3. 一般次元のユークリッド空間
------------------

三次元の場合を容易に N}}-次元に拡張できる。標準基底 e//i// }} で表した二つのベクトル

に対して、これらの二項積  は代数的な和

であり、行列の形に書けば

となる。一般の二項積テンソル  A}} は二項積多項式  とも呼ばれ、複数のベクトル a//i//, b//j//}} の単純二項積の線型和

である。次元と同じ数 N}}-個より少ない数の単純二項積の和に簡約することのできない二項積は完全  であると言う。

2. 性質
-----

二項積の定義から直接に以下の等式が成り立つことが分かる

3. 二項積の代数学
----------

3.1. ベクトルと二項積との乗法
-----------------

ベクトル同士の演算に基づいて、ベクトルと二項積の間に四種類の積を構成できる。

{| class="wikitable"|-valign="top" ! ! 左乗法 ! 右乗法 |-valign="top" ! ドット積
| | |-valign="top" ! クロス積
| | |}

3.2. 二項積同士の乗法
-------------

二項積同士の積がまた二項積となるように五種類の演算を以下のように定義する。a, b, c, d}} はベクトルとする。

{| class="wikitable"|- ! !! !! 点乗積 !! 交叉積 |- style="width: 1em;" ! 点乗積 || 点乗積: || 二重点乗積: || 点交叉積: |- style="width: 1em;" ! 交叉積 || || 交叉点乗積: || 二重交叉積: |}

一般二項積テンソル

に対しては:



3.2.1. ダブルドット積
--------------

ダブルドット積の定義には二通りあり、何れの意味で用いる規約になっているのかは文脈に注意すべきである。この二項積同士の積に対応する行列の演算はなく、このような定義を持ち出すことに疑問は無かろう。

通常のドット積が可換であるため、このダブルドット積もまたそうなる:

ダブルドット積は転置に関して特別の性質を持つ:

他には:

3.2.2. ダブルクロス積
--------------

任意の二つのベクトル a, b}} の二項積に対して、そのダブルクロス積は必ず 0}} になる:

しかし一般の二項積テンソルに対して、そのダブルクロス積は一般には 0}} でない。例えばどの二つも一致しないベクトルから得られる一般二項積

に対して、積

は 0}} でない。

3.2.3. テンソルの縮約
--------------

二項積を基本ベクトルで展開してベクトルの併置を点乗積に置き換えれば、蹟  あるいは展開因子  が得られる。

この二項積の縮約をアインシュタインの和の規約に従って添字記法で書けば

また三次元の場合に限られるが、併置をクロス積で置き換えれば回転因子  が得られる:

A}} のこの縮約をレヴィ–チヴィタテンソルで書けば:

4. 特別な二項積
---------

4.1. Unit dyadic
----------------

単位二項積  すなわち任意のベクトル a}} に対して以下を満たす二項積 I}} が存在する:

三次元の場合に、基底ベクトル a, b, c}} およびその逆ベクトル hat を用いれば単位二項積は

と書ける。標準基底で書けば

である。対応する行列

は単位行列になる。

これはより注意深く基礎付けることができる。有限次元ベクトル空間 V}} と V}} 上の二項積テンソルは、V}} とその双対空間に関するテンソル積の基本テンソルである。

V}} とその双対空間 //V//sup とのテンソル積が V}} から V}} への線型写像の空間に線型同型であることに基づけば、二項積 vf}} は //w// ∈ //V//}} を //f////v//}} へ写す線型写像と看做すことができる。V}} が n}}-次元ユークリッド空間のときは、内積を用いて V}} はその双対空間と同一視できるから、二項積はユークリッド空間の二つのベクトルの基本テンソル積になる。

この意味で、基本二項積 ij}} は //a//1i + //a//2j + //a//3k}} を //a//2i}} に写す三次元空間からそれ自身への写像であり、同様に jj}} は同じ和を //a‍//2j}} に写す。そうすると、ii + jj + kk}} は恒等写像であるということにはっきりと意味ができて、これは //a//1i + //a//2j + //a//3k}} をそれ自身に写す。

単位二項積の性質 ここで、 "tr}}" は対角和を表す。

4.2. Rotation dyadic
--------------------

二次元の任意のベクトル a}} に対して単位二項積への左交叉積:

は a}} の周りの 90°}} 反時計回りの回転を与える二項積である。あるいは、一般二項積テンソル

も二次元の 90°}} 反時計回りの回転になる。これはベクトルに左点乗積で回転を表す:

行列として書けば

一般に、反時計回りの角 θ}} の二次元回転二項積は

で与えられる。ただし、I, J}} は上で与えたものとする。

5. 一般化
------

幾らかの文献において、二項積  を一般化して三項積 , 四項積 , …, 多項積  などを同様の方法で定めるものがある。

6. 関連項目
-------

クロネッカー積
単位ベクトル
微分形式
四元数
可換体

7. 参考文献
-------

url=http://www.stanford.edu/class/me331b/documents/VectorBasisIndependent.pdf Chapter 2
title=Continuum Mechanics .
last1=Morse .
title=Methods for Electromagnetic Field Analysis .
title=Theory of Electromagnetic Wave - A Coordinate-free approach .

8. 外部リンク
--------

[1]
[2]
[3]
[4]
[5]