在数学中，阿达玛乘积 （，又译哈达玛乘积），又名舒尔乘积（）或逐项乘积（），是一个二元运算，其输入为两个相同形状的矩阵，输出是具有同样形状的、各个位置的元素等于两个输入矩阵相同位置元素的乘积的矩阵。此乘积归功于法国数学家雅克·阿達馬或德国数学家，并以其命名。
定义
若两个矩阵A和B具有相同的维度m \times n，则它们的阿达玛乘积 A \circ B 是一个具有相同维度的矩阵，其元素值为：
:(A \circ B)_{ij} = (A)_{ij} (B)_{ij}.
对于维度不相等的矩阵(矩阵和 矩阵，其中 或)，阿达玛乘积没有定义。
样例
3 \times 3矩阵与3 \times 3矩阵的阿达玛乘积为：
:
\begin{bmatrix}
a_{11} & a_{12} & a_{13}\\
a_{21} & a_{22} & a_{23}\\
a_{31} & a_{32} & a_{33}
\end{bmatrix} \circ \begin{bmatrix}
b_{11} & b_{12} & b_{13}\\
b_{21} & b_{22} & b_{23}\\
b_{31} & b_{32} & b_{33}
\end{bmatrix} = \begin{bmatrix}
a_{11}\, b_{11} & a_{12}\, b_{12} & a_{13}\, b_{13}\\
a_{21}\, b_{21} & a_{22}\, b_{22} & a_{23}\, b_{23}\\
a_{31}\, b_{31} & a_{32}\, b_{32} & a_{33}\, b_{33}
\end{bmatrix}.
性质
阿达玛乘积满足交换律（当其元素属于交换环时）, 结合律和对加法的分配律：
:\begin{align}
&\mathbf{A} \circ \mathbf{B} = \mathbf{B} \circ \mathbf{A}, \\
&\mathbf{A} \circ (\mathbf{B} \circ \mathbf{C}) = (\mathbf{A} \circ \mathbf{B}) \circ \mathbf{C}, \\
&\mathbf{A} \circ (\mathbf{B} + \mathbf{C}) = \mathbf{A} \circ \mathbf{B} + \mathbf{A} \circ \mathbf{C}.
\end{align}
在阿达玛乘积意义下，矩阵的單位元是全部元素均为1的矩阵。这跟普通矩阵乘法的單位元只有主对角线上的元素为1的单位矩阵不同。此外，当且仅当没有任何元素等于 0 时，矩阵的阿达玛乘积有逆矩阵。
对于向量和，以及以这些向量作为主对角线的对应对角矩阵和，以下恒等式成立：
:\mathbf{x}^({A} \circ {B})\mathbf{y} = \operatorname{tr}\left({D}_\mathbf{x}^ {A} {D}_\mathbf{y} {B}^\mathsf{T}\right),
其中指的是的共轭转置。特别的，使用全1向量，可以发现阿达玛乘积的所有元素求和是（上标T表示矩阵转置）的迹。对于方阵 和 ，一个相似的结论是他们的阿达玛乘积按行求和后得到的向量是的对角元素组成的向量：
:\sum_i (A \circ B)_{ij} = \left(B^\mathsf{T}A\right)_{jj} = \left(AB^\mathsf{T}\right)_{ii}.
相似地，
:\left(\mathbf{y}\mathbf{x}^\right) \circ {A} = {D}_\mathbf{y} {A} {D}_\mathbf{x}^
此外，阿达玛乘积矩阵与向量的积可以表示为：
:(A \circ B) \mathbf{y} = \operatorname{diag}\left( A D_\mathbf{y} B^\mathsf{T} \right)
其中\operatorname{diag}(M) 是的对角元素组成的向量。
阿达玛乘积是克罗内克乘积的主要子矩阵。
阿达玛乘积满足秩不等式
:\operatorname{rank}({A} \circ {B}) \leq \operatorname{rank}({A}) \operatorname{rank}({B})
如果和是正定矩阵，那么下列不等式成立：
:\prod_{i=k}^n \lambda_i({A} \circ {B}) \ge \prod_{i=k}^n \lambda_i({A} {B}),\quad k=1,\ldots,n,
其中是的第大的特征值。
如果与是对角矩阵，那么
:\begin{align}
{D}({A} \circ {B}) {E} &= ({D}{A}{E}) \circ {B} = ({D}{A}) \circ ({B}{E}) \\
&= ({A}{E}) \circ ({D}{B}) = {A} \circ ({D}{B}{E}).
\end{align}
两个向量\mathbf a 和 \mathbf b的阿达玛乘积与一个向量和另一个向量对应的对角矩阵做矩阵乘法得到的结果相同：
:\mathbf a \circ \mathbf b = D _{\mathbf a} \mathbf b = D _{\mathbf b} \mathbf a
将向量映射到对角矩阵的\operatorname{diag} 运算可以用阿达玛乘积写为：
:\operatorname{diag}(\mathbf{a}) = (\mathbf{a} \mathbf{1}^T) \circ I
其中\mathbf{1}是全1向量， I是单位矩阵。
参考资料
评论 (0)