生成全1矩阵_一类线性代数中特殊的矩阵类

文章主要讨论trace为0的矩阵类，显然其全体构成一个线性空间。

一般来讲，这种矩阵类较多出现在数学类考研的内容中，其出题形式也比较单一，题目基本上都离不开如下的描述:

设

是

中由元素

生成的子空间,其中

，证明：

问题其实等价于以下叙述：

设trace为0的矩阵生成的线性空间为

证明：

.

这样看问题似乎简化了一些，只需证明所有trace为0的矩阵都可以分解为

的形式。因为：若

, 有

，这等价于

,如果所有trace为0的矩阵都可以分解为

的形式，那么

,这样问题就得证了。

设矩阵

满足

，我们将证明分为两步：

Step1：证明：

相似于一个对角元全为0的矩阵

事实上我们只对

的Jordan标准型矩阵

进行分解即可，因为若

,则：

此时，

,有

。因此，后续的证明我们直接将

当作标准型矩阵处理。

利用数学归纳法：

1. 当矩阵阶为1的时候显然成立
2. 设矩阵阶为
   时成立，下证对阶为
   的矩阵也成立。

情况1：矩阵

有大于1阶的Jordan块，

则

由于：

令

则

为

阶矩阵，由假设，存在k阶矩阵，使得

为对角元为0的矩阵。

令

那么：

为对角元为0的矩阵。

情况2：矩阵

可对角化，

则

不妨假设

(如果对所有的

均相等，那么有

)，则

这样我们就得到了形如情况1的矩阵形式，这样类比上面证明中矩阵的构造即可。

Step1：证明：一个对角元全为0的矩阵

可以分解为

的形式

设

令

那么有：

,至此，我们已经证明了：

又因为

为

元线性方程

的解空间，不难证明其维度为

因此

---

细细看来，本题重要考察的还是矩阵分解，其实分解并没有想象中的困难，像QR分解，SVD分解，极分解等，在数学专业线性代数考试中还是很常见的，很多分解都是死的方法，只需要记牢固就行了。