AAT矩阵元素之和的性质

最新推荐文章于 2022-03-30 10:55:53 发布

bj_zhb

最新推荐文章于 2022-03-30 10:55:53 发布

阅读量2.7k

点赞数 3

分类专栏：机器学习线代文章标签：矩阵线性代数 AAT矩阵元素和的性质

本文链接：https://blog.csdn.net/bj_zhb/article/details/121973983

版权

机器学习同时被 2 个专栏收录

13 篇文章 0 订阅

订阅专栏

线代

5 篇文章 0 订阅

订阅专栏

文章目录

$AA^T$ 矩阵元素之和的性质

$AA^T$ 矩阵元素之和的性质

1. 假设

设 $A$ 为任意 $n * n$ 矩阵，设A的各个元素为

$A=\begin{bmatrix} {a_{11}}&{a_{12}}&{\cdots}&{a_{1n}}\\ {a_{21}}&{a_{22}}&{\cdots}&{a_{2n}}\\ {\vdots}&{\vdots}&{\ddots}&{\vdots}\\ {a_{n1}}&{a_{n2}}&{\cdots}&{a_{nn}}\\ \end{bmatrix}$
设 $AA^T$ 的各个元素为
$AA^T=\begin{bmatrix} {c_{11}}&{c_{12}}&{\cdots}&{c_{1n}}\\ {c_{21}}&{c_{22}}&{\cdots}&{c_{2n}}\\ {\vdots}&{\vdots}&{\ddots}&{\vdots}\\ {c_{n1}}&{c_{n2}}&{\cdots}&{c_{nn}}\\ \end{bmatrix}$

2. 结论

$AA^T{各个元素之和}=\sum_{i,j}c_{i,j}=\sum_{j=1}^n(\sum_{i=1}^n a_{i,j})^2\ge 0$

3. 证明

3.1 引理

$(x_1+x_2+{\cdots}+x_n)^2=x_1^2 + x_2^2 +{\cdots}+x_n^2 + 2∑_{i<j} x_i x_j$

3.2 分析

计算 $AA^T$ ，可以发现

当 $A$ 的第 $i$ 行乘以 $A^T$ 的第 $i$ 列时，此时相当于求 $A$ 的第 $i$ 行每个元素的平方和再相加（第 $i$ 行向量二范数的平方），由此，我们将得到 $A$ 中每个元素的平方和，即
$\sum_{i,j}a_{i,j}^2$
当 $A$ 的第 $i$ 行乘以 $A^T$ 的第 $\neq j)$ 列时，此时会得到
$\begin{bmatrix} {a_{i1}}&{a_{i2}}&{\cdots}&{a_{in}} \end{bmatrix}*\begin{bmatrix} {a_{j1}}\\{a_{j2}}\\{\vdots}\\{a_{jn}} \end{bmatrix}=a_{i1}a_{j1}+a_{i2}a_{j2}+{\cdots}a_{in}a_{jn}$
由于 $A$ 的第 $j$ 行与 $A^T$ 的第 $i$ 列相乘时，所得结果与上式相同，所以，仅考虑 $i\lt j$ 的情况，并将最终的结果乘2。

由此，需要计算
$\sum_{i<j}\begin{bmatrix} {a_{i1}}&{a_{i2}}&{\cdots}&{a_{in}} \end{bmatrix}*\begin{bmatrix} {a_{j1}}\\{a_{j2}}\\{\vdots}\\{a_{jn}} \end{bmatrix}$
上式的整理较为复杂，我们以一个 $3 * 3$ 的矩阵为例，先来了解整理的思想，然后再证明 $n$ 维的情况，
特别注意此处式子的排列形式，可以带来启发！
$A=\begin{bmatrix} {a_{11}}&{a_{12}}&{a_{13}}\\ {a_{21}}&{a_{22}}&{a_{23}}\\ {a_{31}}&{a_{32}}&{a_{33}} \end{bmatrix}$
此时 $\sum_{i<j}\begin{bmatrix} {a_{i1}}&{a_{i2}}&{\cdots}&{a_{in}} \end{bmatrix}*\begin{bmatrix} {a_{j1}}\\{a_{j2}}\\{\vdots}\\{a_{jn}} \end{bmatrix}$
可以写成
$a_{11}a_{21}+a_{12}a_{22}+a_{13}a_{23} + (i=1,j=2)\\ a_{11}a_{31}+a_{12}a_{32}+a_{13}a_{33} + (i=1,j=3)\\ a_{21}a_{31}+a_{22}a_{32}+a_{23}a_{33} (i=2,j=3) =$
此时竖着看每一列式子
$第一列=\sum_{i<j}a_{i1}a_{j1}\\ 第二列=\sum_{i<j}a_{i2}a_{j2}\\ 第三列=\sum_{i<j}a_{i3}a_{j3}$

有这个思想，我们考虑 $n$ 维的情况
$2\sum_{i<j}\begin{bmatrix} {a_{i1}}&{a_{i2}}&{\cdots}&{a_{in}} \end{bmatrix}*\begin{bmatrix} {a_{j1}}\\{a_{j2}}\\{\vdots}\\{a_{jn}} \end{bmatrix}\\ =2\sum_{i,j,k=1}^n(\sum_{i<j}a_{ik}a_{jk})$

给每一个 $2\sum_{i<j}a_{ik}a_{jk}$ 配一组 $\sum_{i=1}^n a_{ik}^2$ ，得
$2\sum_{i<j}a_{ik}a_{jk}+\sum_{i=1}^n a_{ik}^2=(\sum_{i=1}^na_{ik})^2$

对 $k$ 从 $1 到 n$ 求和，既有
$\sum_{i,j}c_{i,j}=\sum_{k=1}^n(\sum_{i=1}^n a_{i,k})^2\ge 0$
为表示方便，我们用 $j$ 表示列，即可得到
$AA^T{各个元素之和}=\sum_{i,j}c_{i,j}=\sum_{j=1}^n(\sum_{i=1}^n a_{i,j})^2\ge 0$
Proof Completed.