logo

行列の内積(フロベニウス内積) 📂行列代数

行列の内積(フロベニウス内積)

定義

2つの$m \times n$行列$X = [x_{ij}]$、$Y=[Y]_{ij}$の内積inner productまたはドット積dot productは次のように定義する。

$$ X \cdot Y = \braket{X, Y} = \sum_{i=1}^{m}\sum\limits_{j=1}^{n} x_{ij}y_{ij} $$

成分が複素数である複素行列の場合には次のようになる。

$$ X \cdot Y = \braket{X, Y} = \sum_{i=1}^{m}\sum\limits_{j=1}^{n} \overline{x}_{ij}y_{ij} $$

$\overline{x}$は共役複素数である。

説明

ベクトルの内積(ドット積)が「2つのベクトルの各成分を互いに掛けて、すべて足すこと」なので、行列の内積をこのように定義するとベクトルの内積に対する自然な一般化になる。これを下記のように表記し、フロベニウス内積Frobenius inner productとも呼ぶが、特に意味があるわけではなく、ただの人名である。

$$ \braket{X, Y}_{F} $$

非常にメジャーに使われているほどではなく、単に表記法の好みの問題とみなせる。$X$、$Y$が行列であることを強調したいときに使われると考えればよい。

ノルム

内積があればノルムを自然に定義できるので、行列の(フロベニウス)ノルムを次のように定義する。

$$ \| X \|_{F} := \sqrt{\braket{X, X}_{F}} = \sqrt{\sum\limits_{i,j} (x_{ij})^{2}} = \sqrt{\Tr (X^{\mathsf{T}}X)} $$

上記で説明したように下付きの$_{F}$を表記しない場合も多い。最後の等式は以下の公式によって成立する。

基本性質

複素行列$X$、$Y$、$Z$と複素数$\alpha, \beta$に対して、

  • 線形性:
    • $\braket{\alpha X, \beta Y} = \overline{\alpha}\beta \braket{X, Y}$
    • $\braket{X + Y, Z} = \braket{X, Z} + \braket{Y, Z}$
    • $\braket{X, Y + Z} = \braket{X, Y} + \braket{X, Z}$
  • 共役対称性: $\braket{X, Y} = \overline{\braket{Y, X}}$

公式

$(1)$ 次が成立する。 $$ X \cdot Y = \sum_{i, j} x_{ij}y_{ij} = \Tr (X Y^{\mathsf{T}}) = \Tr (X^{\mathsf{T}}Y) $$ 複素行列の場合は $$ X \cdot Y = \sum_{i, j} \overline{x}_{ij}y_{ij} = \Tr (X Y^{\ast}) = \Tr (X^{\ast}Y) $$ $^{\ast}$は共役転置である。

証明

$(1)$

インデックス$i$に対して開いてみると、

$$ \sum_{i=1}^{m}\sum\limits_{j=1}^{n} x_{ij}y_{ij} = \sum\limits_{j=1}^{n} x_{1j}y_{1j} + \sum\limits_{j=1}^{n} x_{2j}y_{2j} + \cdots + \sum\limits_{j=1}^{n} x_{nj}y_{nj} $$

第一項は$XY^{\mathsf{T}}$の$1$行、$1$列成分である。

行列の累乗形

$$ [AB^{\mathsf{T}}]_{ij} = \left[ \sum_{k} a_{ik}b_{jk}\right] $$

第二項は$[XY^{\mathsf{T}}]_{22}$、$i$番目の項は$[XY^{\mathsf{T}}]_{ii}$である。したがって整理すると、

$$ \sum_{i=1}^{m}\sum\limits_{j=1}^{n} x_{ij}y_{ij} = \sum\limits_{i} [XY^{\mathsf{T}}]_{ii} $$

これはトレースの定義と同じである。$\Tr(A) = \Tr(A^{\mathsf{T}})$により、最終的に次を得る。

$$ X \cdot Y = \braket{X, Y} = \sum_{i, j} x_{ij}y_{ij} = \Tr (X Y^{\mathsf{T}}) = \Tr (X^{\mathsf{T}}Y) $$