直積 (ベクトル)

線型代数学における直積（ちょくせき、）あるいは外積（がいせき、）は典型的には二つのベクトルのテンソル積を言う。の外積をとった結果は行列になる。外積の名称は内積に対照するもので、内積はベクトルの対をスカラーにする。外積は、クロス積の意味で使われることもあるため、どちらの意味で使われているか注意が必要である。

 

ベクトル同士の外積は行列のクロネッカー積の特別な場合である。

「テンソルの外積」を「テンソル積」の同義語として用いる文献もある。外積は R, APL, Mathematica などいくつかの計算機プログラム言語では高階函数でもある。

定義

行列表現 

ふたつのベクトル  の外積  は、 を  列ベクトル、 を  列ベクトル（従って  は行ベクトル）としたときの行列の積  に等価である。成分を用いて

 

と書けば、外積  は  行列  で各成分は  の各成分と  の各成分の積であたえられ、

と表される。

複素ベクトルの場合には、これを少し変えて、 の転置の代わりに共軛転置  を用い、
 
とする。つまり得られる行列  は  の各成分と  の各成分の複素共軛との積を成分とするものになる。

 内積との対比
  のときは別な仕方で行列の積を施してスカラー（ 行列）が得られる。つまり、数ベクトル空間の標準内積（点乗積） である。内積は外積のトレースに等しい。
 行列としての階数
  がともに非零ならば、外積  の行列としての階数は常に  である。このことを見るにはベクトル  に掛けて  とすればよい。これはベクトル  のスカラー -倍に他ならない。
 （"行列の階数" をテンソルの階数 ("order" / "degree") と混同してはならない）。

テンソルの外積 
テンソルに対する外積はふつうテンソル積と呼ばれる。テンソル  は階数  で各次元 ,  は階数  で各次元が  とすれば、これらの外積  は階数  で各次元  は先に  の次元を並べた後に  の次元を並べたものになる。これを  を用いた座標に依存しない表記で書き、その成分を添字表記で書けば
 
となる。高階テンソルの場合も同様で、例えば
 
などと書ける。

例えば  が三階で各次元が ,  が二階で各次元が  ならば、それらの外積  は五階で各次元は  となる。また例えば  の成分  および  の成分  に対応する外積  の成分として  が決まる。

外積の行列としての定義をテンソル積の言葉で理解するには:

抽象的な定義 
ベクトル空間  と  は  の双対空間とする。
ベクトル  および  に対してテンソル積  は
 
で与えられる写像  に対応する。ここで  は線型汎函数 （これは  の双対空間の元）をベクトル  において評価した値である。これはスカラーであり、これを最終的に  の元である  に掛けたものがテンソル積の値である。

ベクトル空間  が有限次元ならば、 から  への線型変換全体の成す空間  は外積で生成される。実は行列の階数は、外積を和として表すために必要な項の最小数（行列のテンソル階数）に一致する。今の場合、 は  に線型同型である。

 双対性内積との対比
  のとき、余ベクトル  とベクトル  とを写像  を通して対にすることができる。これは  とその双対空間との間に定まる双対性を表す内積である。

応用 
外積は物理量（例えば慣性テンソルなど）の計算や、デジタル信号処理やデジタル画像処理における変形操作を行うのに有用である。また統計的解析においても、二つの確率変数の共分散および自己共分散行列の計算に有用である。

関連項目 
 線型代数学
 ノルム

乗法 
 交叉積
 外積
 デカルト積

双対性 
 複素共軛
 随伴行列
 転置行列

出典 

双線型演算
二項演算
ベクトル解析
物理数学
数学に関する記事
高階関数