直積 (ベクトル)

出典: フリー百科事典『ウィキペディア(Wikipedia)』
移動: 案内検索

線型代数学における直積(ちょくせき、: direct product[1])あるいは外積(がいせき、: outer product)は典型的には二つのベクトルテンソル積を言う。座標ベクトル英語版の外積をとった結果は行列になる。外積の名称は内積に対照するもので、内積はベクトルの対をスカラーにする。

\mathbf{u}\otimes\mathbf{v} = \mathbf{u} \mathbf{v}^{\top} =
\begin{pmatrix}u_1 \\ u_2 \\ u_3 \\ u_4\end{pmatrix}
\begin{pmatrix}v_1 & v_2 & v_3\end{pmatrix} =
\begin{pmatrix}u_1v_1 & u_1v_2 & u_1v_3 \\ u_2v_1 & u_2v_2 & u_2v_3 \\ u_3v_1 & u_3v_2 & u_3v_3 \\ u_4v_1 & u_4v_2 & u_4v_3\end{pmatrix}.


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

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

定義[編集]

行列表現[編集]

ふたつのベクトル u, v の外積 uv は、um × 1 列ベクトルvn × 1 列ベクトル(従って v は行ベクトル)としたときの行列の積 uv に等価である[2]。成分を用いて

\mathbf{u} =(u_1, u_2, \dots, u_m),\quad \mathbf{v} = (v_1, v_2, \dots, v_n)

と書けば、外積 uvm × n 行列 A で各成分は u の各成分と v の各成分の積であたえられ[3][4]

\mathbf{u} \otimes \mathbf{v} = \mathbf{A} = 
\begin{pmatrix}u_1v_1 & u_1v_2 & \dots & u_1v_n \\ u_2v_1 & u_2v_2 & \dots & u_2v_n \\ \vdots & \vdots & \ddots & \vdots\\ u_mv_1 & u_mv_2 & \dots & u_mv_n \end{pmatrix}.

と表される。

複素ベクトルの場合には、これを少し変えて、v の転置の代わりに共軛転置 v を用い、

\mathbf{u} \otimes \mathbf{v} = \mathbf{u} \mathbf{v}^{*}

とする。つまり得られる行列 Au の各成分と v の各成分の複素共軛との積を成分とするものになる。

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

テンソルの外積[編集]

テンソルに対する外積はふつうテンソル積と呼ばれる。テンソル a は階数 q で各次元 (i1, …, iq), b は階数 r で各次元が (j1, …, jr) とすれば、これらの外積 c は階数 q + r で各次元 (k1, …, kq+r) は先に i の次元を並べた後に j の次元を並べたものになる。これを を用いた座標に依存しない表記で書き、その成分を添字表記で書けば

\mathbf{c}=\mathbf{a}\otimes\mathbf{b}, \quad c_{ij}=a_ib_j

となる[5]。高階テンソルの場合も同様で、例えば

\mathbf{T}=\mathbf{a}\otimes\mathbf{b}\otimes\mathbf{c}, \quad  T_{ijk}=a_ib_jc_k

などと書ける。

例えば A が三階で各次元が (3, 5, 7), B が二階で各次元が (10, 100) ならば、それらの外積 C は五階で各次元は (3, 5, 7, 10, 100) となる。A の成分 a2,2,4 = 11 および B の成分 b8,88 = 13 に対応して、外積 C の成分 c2,2,4,8,88 = 11*13 = 143 が決まる。

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

  1. ベクトル v は一階の M-次元テンソルとして解釈できる。同様に u が一階の N-次元テンソルである。これらのテンソル積の結果は二階の (M, N)-テンソルになる。
  2. q-階および r-階の二つのテンソルの内積英語版の結果は、階数が q + r − 2 または 0 の大きい方になる。二つの行列の内積は二つのベクトルの外積(テンソル積)と階数が一致する。
  3. It is possible to add arbitrarily many leading or trailing 1 dimensions to a tensor without fundamentally altering its structure. These 1 dimensions would alter the character of operations on these tensors, so any resulting equivalences should be expressed explicitly.
  4. ふたつの行列 V は次元 (d, e), U は次元 (e, f) とするとこれらの内積は
    \sum_{j = 1}^e V_{ij} U_{jk}\quad ({i = 1, 2, \ldots, d\atop k = 1, 2, \ldots, f})
    である。e = 1 の場合にはこの和は自明である(一つの項しかない)。
  5. 次元 (m, n)の行列 V と次元 (p, q) の行列 U の外積は
     C_{st} = V_{ij} U_{hk}, \quad ({s = 1, 2, \ldots, mp - 1, mp\atop t = 1, 2, \ldots, nq - 1, nq})

抽象的な定義[編集]

ベクトル空間 V, WWW双対空間とする。 ベクトル xV および yW に対してテンソル積 yx

w \mapsto y^*(w)x

で与えられる写像 A: W → V に対応する。ここで y(w)線型汎函数 y(これは W の双対空間の元)をベクトル wW において評価した値である。これはスカラーであり、これを最終的に V の元である x に掛けたものがテンソル積の値である。

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

双対性内積との対比
W = V のとき、余ベクトル wV とベクトル vV とを写像 (w, v) ↦ w(v) を通して対にすることができる。これは V とその双対空間との間に定まる双対性を表す内積である。

応用[編集]

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

関連項目[編集]

乗法[編集]

双対性[編集]

参考文献[編集]

  1. ^ Rowland, Todd and Weisstein, Eric W., "Tensor Direct Product" - MathWorld.(英語)
  2. ^ Linear Algebra (4th Edition), S. Lipcshutz, M. Lipson, Schaum’s Outlines, McGraw Hill (USA), 2009, ISBN 978-0-07-154352-1
  3. ^ Weisstein, Eric W., "Kronecker Product" - MathWorld.(英語)
  4. ^ Encyclopaedia of Physics (2nd Edition), R.G. Lerner, G.L. Trigg, VHC publishers, 1991, (Verlagsgesellschaft) 3-527-26954-1, (VHC Inc.) 0-89573-752-3
  5. ^ Mathematical methods for physics and engineering, K.F. Riley, M.P. Hobson, S.J. Bence, Cambridge University Press, 2010, ISBN 978-0-521-86153-3

Template:Linear algebra