二項積

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

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

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

定義と用語法

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

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

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

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

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

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

や、列ベクトルや行ベクトルの（ベクトルを成分とするような）拡張を考えることにより行列

で表現することができる（これがのテンソル積の結果と同じであることに注意せよ）。

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

基本ベクトルが

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

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

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

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

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

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

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

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

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

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

性質

二項積の定義から直接に以下の等式が成り立つことが分かるSpencer (1992), page 19.

二項積の代数学

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

{| 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) などを同様の方法で定めるものがあるFor example, 。

Źródło i licencja