二項積

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

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

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

定義と用語法

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

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

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

二項積 (dyadic product)

ベクトル テンプレート:Math の二項積はこれらを併置した テンプレート:Math で表される。

外積（直積） (outer product)

列ベクトル テンプレート:Math の外積は テンプレート:Math あるいは テンプレート:Math で表される（"⊤" は転置である）。

テンソル積 (tensor product)

ベクトル テンプレート:Math のテンソル積は テンプレート:Math で表される。

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

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

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

$𝐚=a_1𝐢+a_2𝐣+a_3𝐤,$

$𝐛=b_1𝐢+b_2𝐣+b_3𝐤$

を考える。テンプレート:Math の二項積は「九元数の形」(nonion form) と呼ばれる和

$\begin{array}{cccccccc}𝐚𝐛=& & a_1{b}_1& 𝐢𝐢& +a_1{b}_2& 𝐢𝐣& +a_1{b}_3& 𝐢𝐤\\ & & +a_2{b}_1& 𝐣𝐢& +a_2{b}_2& 𝐣𝐣& +a_2{b}_3& 𝐣𝐤\\ & & +a_3{b}_1& 𝐤𝐢& +a_3{b}_2& 𝐤𝐣& +a_3{b}_3& 𝐤𝐤\end{array}$

や、列ベクトルや行ベクトルの（ベクトルを成分とするような）拡張を考えることにより テンプレート:Math 行列

$𝐚𝐛\equiv \left(\begin{array}{ccc}{a}_1{b}_1& a_1{b}_2& a_1{b}_3\\ a_2{b}_1& a_2{b}_2& a_2{b}_3\\ a_3{b}_1& a_3{b}_2& a_3{b}_3\end{array}\right)=\left(\begin{array}{c}{a}_1\\ a_2\\ a_3\end{array}\right)\left(\begin{array}{ccc}{b}_1& b_2& b_3\end{array}\right)\equiv 𝐚\otimes 𝐛\equiv {𝐚𝐛}^{\mathrm{\top }}$

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

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

基本ベクトル テンプレート:Math が

$𝐢={𝐞}_1=\left(\begin{array}{c}1\\ 0\\ 0\end{array}\right),𝐣={𝐞}_2=\left(\begin{array}{c}0\\ 1\\ 0\end{array}\right),𝐤={𝐞}_3=\left(\begin{array}{c}0\\ 0\\ 1\end{array}\right)$

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

$𝐢𝐢=\left(\begin{array}{ccc}1& 0& 0\\ 0& 0& 0\\ 0& 0& 0\end{array}\right),\dots 𝐣𝐢=\left(\begin{array}{ccc}0& 0& 0\\ 1& 0& 0\\ 0& 0& 0\end{array}\right),\dots 𝐣𝐤=\left(\begin{array}{ccc}0& 0& 0\\ 0& 0& 1\\ 0& 0& 0\end{array}\right),\dots$

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

$\begin{array}{cc}𝐀& =2𝐢𝐣+\frac{\sqrt{3}}{2}𝐣𝐢-8\pi 𝐣𝐤+\frac{2\sqrt{2}}{3}𝐤𝐤\\ & =2\left(\begin{array}{ccc}0& 1& 0\\ 0& 0& 0\\ 0& 0& 0\end{array}\right)+\frac{\sqrt{3}}{2}\left(\begin{array}{ccc}0& 0& 0\\ 1& 0& 0\\ 0& 0& 0\end{array}\right)-8\pi \left(\begin{array}{ccc}0& 0& 0\\ 0& 0& 1\\ 0& 0& 0\end{array}\right)+\frac{2\sqrt{2}}{3}\left(\begin{array}{ccc}0& 0& 0\\ 0& 0& 0\\ 0& 0& 1\end{array}\right)\\ & =\left(\begin{array}{ccc}0& 2& 0\\ \sqrt{3}/2& 0& -8\pi \\ 0& 0& \frac{2\sqrt{2}}{3}\end{array}\right)\end{array}$

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

三次元ベクトルの二項積の分類

	行列式	余因子行列	階数
零階	= 0	= 0	テンプレート:Math: 零行列
一階 (線型)	= 0	= 0	テンプレート:Math: 少なくとも一つの成分が 0 でなく、ひとつの単純二項積で書ける
二階 (平面的)	= 0	≠ 0: 一つの単純二項積で書ける	テンプレート:Math: 少なくとも一つ テンプレート:Math 小行列式が 0 でない
三階 (完全)	≠ 0	≠ 0	テンプレート:Math: 行列式が 0 でない

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

三次元の場合を容易に テンプレート:Mvar-次元に拡張できる。標準基底 テンプレート:Math で表した二つのベクトル

$𝐚=\sum _{i=1}^N{a}_i{𝐞}_i=a_1{𝐞}_1+a_2{𝐞}_2+\cdots a_N{𝐞}_N$

$𝐛=\sum _{j=1}^N{b}_j{𝐞}_j=b_1{𝐞}_1+b_2{𝐞}_2+\cdots b_N{𝐞}_N$

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

$𝐀=𝐚𝐛=\sum _{j=1}^N\sum _{i=1}^N{a}_i{b}_j{𝐞}_i{𝐞}_j.$

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

$\left(\begin{array}{c}{a}_1\\ a_2\\ ⋮\\ a_N\end{array}\right)\left(\begin{array}{cccc}{b}_1& b_2& \cdots & b_N\end{array}\right)=\left(\begin{array}{cccc}{a}_1{b}_1& a_1{b}_2& \cdots & a_1{b}_N\\ a_2{b}_1& a_2{b}_2& \cdots & a_2{b}_N\\ ⋮& ⋮& \ddots & ⋮\\ a_N{b}_1& a_N{b}_2& \cdots & a_N{b}_N\end{array}\right)$

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

$𝐀=\sum _i{𝐚}_i{𝐛}_i={𝐚}_1{𝐛}_1+{𝐚}_2{𝐛}_2+{𝐚}_3{𝐛}_3+\cdots$

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

性質

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

二項積の代数学

ベクトルと二項積との乗法

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

	左乗法	右乗法
ドット積 （点乗積）	$𝐜\cdot (𝐚𝐛)=(𝐜\cdot 𝐚)𝐛$	$(𝐚𝐛)\cdot 𝐜=𝐚(𝐛\cdot 𝐜)$
クロス積 （交叉積）	$𝐜\times (𝐚𝐛)=(𝐜\times 𝐚)𝐛$	$(𝐚𝐛)\times 𝐜=𝐚(𝐛\times 𝐜)$

二項積同士の乗法

二項積同士の積がまた二項積となるように五種類の演算を以下のように定義する。テンプレート:Math はベクトルとする。

		点乗積	交叉積
点乗積	点乗積: $𝐚𝐛\cdot 𝐜𝐝:=𝐚(𝐛\cdot 𝐜)𝐝=(𝐛\cdot 𝐜)𝐚𝐝$	二重点乗積: $\begin{array}{cc}𝐚𝐛:𝐜𝐝& :=(𝐚\cdot 𝐝)(𝐛\cdot 𝐜),\text{or}\\ 𝐚𝐛:𝐜𝐝& :=𝐜\cdot 𝐚𝐛\cdot 𝐝=(𝐚\cdot 𝐜)(𝐛\cdot 𝐝).\end{array}$	点交叉積: $𝐚𝐛{{}_{\times }}^{\cdot }𝐜𝐝:=(𝐚\cdot 𝐜)(𝐛\times 𝐝)$
交叉積		交叉点乗積: $𝐚𝐛{{}_{\cdot }}^{\times }𝐜𝐝:=(𝐚\times 𝐜)(𝐛\cdot 𝐝)$	二重交叉積:$𝐚𝐛{{}_{\times }}^{\times }𝐜𝐝:=(𝐚\times 𝐜)(𝐛\times 𝐝)$

一般二項積テンソル

$𝐀=\sum _i{𝐚}_i{𝐛}_i,𝐁=\sum _i{𝐜}_i{𝐝}_i$

に対しては:

		点乗積	交叉積
点乗積	点乗積: $𝐀\cdot 𝐁:=\sum _j\sum _i({𝐛}_i\cdot {𝐜}_j){𝐚}_i{𝐝}_j$	二重点乗積: $\begin{array}{cc}𝐀:𝐁& :=\sum _j\sum _i({𝐚}_i\cdot {𝐝}_j)({𝐛}_i\cdot {𝐜}_j),\text{or}\\ 𝐀:𝐁& :=\sum _j\sum _i({𝐚}_i\cdot {𝐜}_j)({𝐛}_i\cdot {𝐝}_j).\end{array}$	点交叉積: $𝐀{{}_{\times }}^{\cdot }𝐁:=\sum _j\sum _i({𝐚}_i\cdot {𝐜}_j)({𝐛}_i\times {𝐝}_j)$
交叉積		交叉点乗積: $𝐀{{}_{\cdot }}^{\times }𝐁:=\sum _j\sum _i({𝐚}_i\times {𝐜}_j)({𝐛}_i\cdot {𝐝}_j)$	二重交叉積: $𝐀{{}_{\times }}^{\times }𝐁:=\sum _{i,j}({𝐚}_i\times {𝐜}_j)({𝐛}_i\times {𝐝}_j)$

ダブルドット積

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

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

$𝐀:𝐁=𝐁:𝐀.$

ダブルドット積（二重点乗積）は転置に関して特別の性質を持つ:

$𝐀:{𝐁}^{\mathrm{\top }}={𝐀}^{\mathrm{\top }}:𝐁.$

他には:

$𝐀:𝐁=(𝐀\cdot {𝐁}^{\mathrm{\top }}):𝐈=(𝐁\cdot {𝐀}^{\mathrm{\top }}):𝐈.$

ダブルクロス積

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

$𝐚𝐛{{}_{\times }}^{\times }𝐚𝐛=(𝐚\times 𝐚)(𝐛\times 𝐛)=0.$

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

$𝐀=\sum _{i=1}^3{𝐚}_i{𝐛}_i$

に対して、積（平方）

$𝐀{{}_{\times }}^{\times }𝐀=2[({𝐚}_1\times {𝐚}_2)({𝐛}_1\times {𝐛}_2)+({𝐚}_2\times {𝐚}_3)({𝐛}_2\times {𝐛}_3)+({𝐚}_3\times {𝐚}_1)({𝐛}_3\times {𝐛}_1)]$

は テンプレート:Math でない。

テンソルの縮約

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

$\begin{array}{cc}|𝐀|& =A_{11}𝐢\mathbf{\cdot }𝐢+A_{12}𝐢\mathbf{\cdot }𝐣+A_{13}𝐢\mathbf{\cdot }𝐤\\ & +A_{21}𝐣\mathbf{\cdot }𝐢+A_{22}𝐣\mathbf{\cdot }𝐣+A_{23}𝐣\mathbf{\cdot }𝐤\\ & +A_{31}𝐤\mathbf{\cdot }𝐢+A_{32}𝐤\mathbf{\cdot }𝐣+A_{33}𝐤\mathbf{\cdot }𝐤\\ & =A_{11}+A_{22}+A_{33}.\end{array}$

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

$|𝐀|=A_i{}^i.$

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

$\begin{array}{cc}⟨𝐀⟩& =A_{11}𝐢\times 𝐢+A_{12}𝐢\times 𝐣+A_{31}𝐢\times 𝐤\\ & +A_{21}𝐣\times 𝐢+A_{22}𝐣\times 𝐣+A_{23}𝐣\times 𝐤\\ & +A_{31}𝐤\times 𝐢+A_{32}𝐤\times 𝐣+A_{33}𝐤\times 𝐤\\ & =A_{12}𝐤-A_{31}𝐣-A_{21}𝐤\\ & +A_{23}𝐢+A_{31}𝐣-A_{32}𝐢\\ & =(A_{23}-A_{32})𝐢+(A_{31}-A_{13})𝐣+(A_{12}-A_{21})𝐤.\end{array}$

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

$⟨𝐀⟩={{ϵ}_i}^{jk}{A}_{jk}.$

特別な二項積

Unit dyadic

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

$𝐈\cdot 𝐚=𝐚\cdot 𝐈=𝐚.$

三次元の場合に、基底ベクトル テンプレート:Math およびその逆ベクトル テンプレート:Math を用いれば単位二項積は

$𝐈=𝐚\widehat{𝐚}+𝐛\widehat{𝐛}+𝐜\widehat{𝐜}$

と書ける。標準基底（基本ベクトル）で書けば

$𝐈=𝐢𝐢+𝐣𝐣+𝐤𝐤$

である。対応する行列

$𝐈=\left(\begin{array}{ccc}1& 0& 0\\ 0& 1& 0\\ 0& 0& 1\end{array}\right)$

は単位行列になる。

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

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

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

単位二項積の性質

$(𝐚\times 𝐈)\cdot (𝐛\times 𝐈)=𝐚𝐛-(𝐚\cdot 𝐛)𝐈,$

$𝐈{}_{\cdot }{\mathrm{\backslash limits}}^{\times }𝐚𝐛=𝐛\times 𝐚,$

$𝐈{}_{\times }{\mathrm{\backslash limits}}^{\times }𝐀=(𝐀{}_{\times }{\mathrm{\backslash limits}}^{\times }𝐈)𝐈-{𝐀}^{\mathrm{\top }},$

$𝐈:𝐚𝐛=(𝐈\cdot 𝐚)\cdot 𝐛=𝐚\cdot 𝐛=\mathrm{tr}(𝐚𝐛).$

ここで、 "テンプレート:Math" は対角和（蹟、trace）を表す。

Rotation dyadic

二次元の任意のベクトル テンプレート:Math に対して単位二項積への左交叉積:

$𝐚\times 𝐈$

は テンプレート:Math の周りの テンプレート:Math 反時計回りの回転を与える二項積である。あるいは、一般二項積テンソル

$𝐉=𝐣𝐢\mathbf{-}𝐢𝐣=\left(\begin{array}{cc}0& -1\\ 1& 0\end{array}\right)$

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

$(𝐣𝐢-𝐢𝐣)\cdot (x𝐢+y𝐣)=x𝐣𝐢\cdot 𝐢-x𝐢𝐣\cdot 𝐢+y𝐣𝐢\cdot 𝐣-y𝐢𝐣\cdot 𝐣=-y𝐢+x𝐣,$

行列として書けば

$\left(\begin{array}{cc}0& -1\\ 1& 0\end{array}\right)\left(\begin{array}{c}x\\ y\end{array}\right)=\left(\begin{array}{c}-y\\ x\end{array}\right).$

一般に、反時計回りの角 テンプレート:Math の二次元回転二項積は

$𝐈\cos \theta +𝐉\sin \theta =\left(\begin{array}{cc}\cos \theta & -\sin \theta \\ \sin \theta & \cos \theta \end{array}\right)$

で与えられる。ただし、テンプレート:Math は上で与えたものとする。

一般化

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

関連項目

• クロネッカー積
• テンプレート:仮リンク
• 単位ベクトル
• テンプレート:仮リンク
• 微分形式
• 四元数
• 可換体

参考文献

• テンプレート:Cite news Chapter 2
• テンプレート:Cite book
• テンプレート:Cite book.
• テンプレート:Citation.
• テンプレート:Cite book.
• テンプレート:Cite book.

外部リンク

• Advanced Field Theory, I.V.Lindel
• Vector and Dyadic Analysis
• Introductory Tensor Analysis
• Nasa.gov, Foundations of Tensor Analysis for students of Physics and Engineering with an Introduction to the Theory of Relativity, J.C. Kolecki
• Nasa.gov, An introduction to Tensors for students of Physics and Engineering, J.C. Kolecki