矩阵的迹的性质_稀奇古怪的线性代数题 1 - 矩阵的迹

关于题目：这里的题目可能来源于教材和习题集，也有可能是自己造的。主要是通过几个题目来引出一些有趣的想法。

关于这个系列：虽然我想尽可能地做成一个系列，但我个人比较随性，不排除弃坑，或者说把“线性代数”换成其他内容的可能。

题目

1. 证明不存在方阵

、

，使得

2. 证明不存在非零方阵

、

，使得

3. 证明不存在线性无关的方阵

、

，使得

（两方阵线性无关指不存在不全为零的

、

,使得

。）

提示

1. 三个问题都要使用矩阵的迹求解。

2.

有独特的性质。

掩盖思路的解答

1. 左右求迹，证明略。

2. 假设

、

存在，将

两边右乘

再求迹。

化简为：

记

，发现：

可推出

，与条件矛盾。

3. 仿照 2 等式两边右乘

得：

由

得

不满足要求。

分析 - 迹与矩阵空间的关系

在解释上面的题目之前，先分析一下迹的性质。

在矩阵空间中，可以定义方阵的内积(Frobenious Inner Product)：

发现这个内积可以用迹表示：

这两者正好相等，正好用来证明内积对矩阵乘法的性质：

然后根据这个性质把问题 1 改造一下：

利用

与

正交的性质

类比，利用上面的性质

即

则 2 、3 的结论就显然了。

（未完，会补充关于交换子的内容）