二項積

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

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

（本項では、大文字太字は二項積、小文字太字はベクトルを表すものとする。別な表記法として二項積およびベクトルのそれぞれに二重および一重の上付きまたは下付きのバーを付けるものがある。）

 定義と用語法 

 二項積・外積・テンソル積 

二項積テンソル、単純二項積あるいは単に二項積 (dyad; ダイアド) は二つの（一般には複素係数の）ベクトルに二項積を施した結果として得られる二次の二階テンソルである。一般に二次のテンソルを総称して二項積(dyadic) と呼ぶ。

同じ積を表すのにいくつか用語法と記法が存在する:
 二項積 (dyadic product)
 ベクトル の二項積はこれらを併置した で表される。
 外積（直積） (outer product)
 列ベクトル の外積は あるいは で表される（"⊤" は転置である）。
 テンソル積 (tensor product)
 ベクトル のテンソル積は で表される。

本項で扱う文脈においてこれらは互いに同じものを定める同義語であるが、テンソル積はより一般の対象に対してより抽象的な意味でも用いられることに注意すべきである。また「外積」(outer product) は全く別の概念である交叉積やより抽象的な楔積に対しても用いられる。

 三次元ユークリッド空間の場合 
これらの語法の等価性を見るために、三次元のユークリッド空間を例に取ろう。（あるいは ）を基本ベクトルとして、二つのベクトル

 
 

を考える。 の二項積は「九元数の形」(nonion form) と呼ばれる和

 

や、列ベクトルや行ベクトルの（ベクトルを成分とするような）拡張を考えることにより 行列
 
で表現することができる（これが のテンソル積の結果と同じであることに注意せよ）。

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

基本ベクトル が

で表される（転置をとる流儀もある）のと同様に、基本二項積テンソルは

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

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

+ 三次元ベクトルの二項積の分類 行列式 余因子行列 階数 零階 = 0 = 0 : 零行列 一階 (線型) = 0 = 0 : 少なくとも一つの成分が 0 でなく、ひとつの単純二項積で書ける 二階 (平面的) = 0 ≠ 0: 一つの単純二項積で書ける : 少なくとも一つ 小行列式が 0 でない 三階 (完全) ≠ 0 ≠ 0 : 行列式が 0 でない

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

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

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

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

となる。（二次テンソル冪 の元という意味での）一般の二項積テンソル (dyadic) は二項積多項式 (dyadic polynomial) とも呼ばれ、複数のベクトル の単純二項積の線型和

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

 性質 

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

 二項積の代数学 

 ベクトルと二項積との乗法 
ベクトル同士の演算に基づいて、（結果がまた二項積となるように）ベクトルと二項積の間に四種類の積を構成できる。

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

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

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

|| 二重交叉積:
|}

一般二項積テンソル
 

に対しては:

 点乗積 交叉積 点乗積 点乗積: 二重点乗積: 点交叉積: 交叉積 交叉点乗積: 二重交叉積: 

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

通常のドット積（点乗積）が可換であるため、このダブルドット積（二重点乗積）もまたそうなる:
 
ダブルドット積（二重点乗積）は転置に関して特別の性質を持つ:
 
他には:
 

 ダブルクロス積 
任意の二つのベクトル の二項積に対して、そのダブルクロス積（二重交叉平方、自身との二重交叉積）は必ず になる:
 

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

は でない。

 テンソルの縮約 

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

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

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

 

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

 特別な二項積 

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

三次元の場合に、基底ベクトル およびその逆ベクトル を用いれば単位二項積は
 
と書ける。標準基底（基本ベクトル）で書けば
 
である。対応する行列
 
は単位行列になる。

これは（併置記法が何を意味するのかという論理的な文脈で）より注意深く基礎付けることができる。有限次元ベクトル空間 と 上の二項積テンソルは、 とその双対空間に関するテンソル積の基本テンソルである。

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

この意味で、基本二項積 は を に写す三次元空間からそれ自身への写像であり、同様に は同じ和を に写す。そうすると、 は恒等写像（単位元）であるということにはっきりと意味ができて、これは をそれ自身に写す。

 単位二項積の性質
 

 
 

ここで、 "" は対角和（蹟、trace）を表す。

 Rotation dyadic 
二次元の任意のベクトル に対して単位二項積への左交叉積:
 
は の周りの 反時計回りの回転を与える二項積である。あるいは、一般二項積テンソル

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

行列として書けば

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

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

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