L11-矩阵空间、秩 1 矩阵和小世界图-习题集
参考
- 写出 单位矩阵 由另外 个 置换矩阵的线性组合所构成的等式
提示
对于 的方阵共有 个置换矩阵
所以 方阵共有 个(即 个置换矩阵,其中就包括单位矩阵,虽然它的并没有对右乘的矩阵进行任何行置换
- 并证明这 个置换矩阵是线性独立的
- 证明如果以这 个置换矩阵作为空间 (由所有 矩阵构成的空间)一个子空间的基,则这个子空间里的矩阵行和列里的各元素之和相等
这 个置换矩阵如下
因为
而
所以由这 个置换矩阵的线性组合构成单位矩阵的等式是
提示
证明线性独立/线性无法可以从定义入手:对于方程组 其中零空间 只有零向量,即使得系数矩阵 各列的线性组合为零,未知数向量 里的元素只能全为
这样可以通过反证法,先假设存在一个向量 其元素并非全为零,也可以使得系数矩阵 各列的线性组合为零。如果无法求出这样一个向量,则反过来证明只有当向量 里的元素全为零才使得 成立,所以系数矩阵 各列是线性独立的。
反证法:假设对于等式 ,存在系数 非全为零使得等式成立
由等式可得
将矩阵的各元素抽离出来,「复原」得到一系列的等式(每一行有 3 个元素,对应得到的等式组成一个方程组)如下:
解得
这和假设的前提相矛盾,所以不存在 非全为零使得等式成立,即这 个 置换矩阵线性独立
观察这 个置换矩阵,它们各行(或各列)元素之和都是相同的,因此如果以这 个置换矩阵作为基,所张成的矩阵空间里的矩阵各行(或各列)元素之和也是相同的
这个子空间里的元素可以由这 个置换矩阵通过线性组合构成,所以该空间里的任意矩阵满足
因此矩阵 各行之和分别为
所以各行的和相同,都是
对于矩阵 各列之和则分别是
所以各列之和也相同,都是
是由 矩阵构成的矩阵空间,将矩阵 与 空间中的矩阵相乘,回答以下的相关问题:
注意
- 在空间 中哪一类矩阵 使得 成立?
- 在空间 中哪一类矩阵 可以拆解为 的形式?(其中 也是一个 矩阵)
- 在第一个问题中求解 类似于求解「零空间」,而第二个问题则相当于求出「列空间」(实际还是有区别的,因为 的零空间和列空间都是由向量构成的,而这里求出的 是矩阵),则这两个「空间」的维度各是多少?为何两个「空间」维度之和为 ?
求解哪一类矩阵 使得 成立,就像是求解矩阵 的零空间。
但是有所不同,矩阵 的零空间 是由向量构成的,而这里 是 的矩阵,但是如果将矩阵与矩阵相乘 看作是矩阵与列相乘,即将矩阵 拆解为 列,因此使得 成立的矩阵 的 个列向量都是在零空间 中
将矩阵 变换为上三角矩阵
矩阵 的秩为 因此其零空间的维度是 ,即只需要一个特解就可以张成零空间,根据题干的提示可以知道向量 是其中一个特解
所以当矩阵 的各列都在零空间 中(即每一列的各个元素都是相同的,可以通过特解 线性组合得出),则满足以下规律
求解哪一类矩阵 可以写成 形式,即 有解,就像是求解矩阵 的列空间。
但是有所不同,矩阵 的列空间 是由 各列通过线性组合构成的向量,而这里 和 都是 的矩阵。
但是如果将矩阵与矩阵相乘 看作是矩阵与列相乘,即将矩阵 拆解为 列,因此使得 成立的矩阵 的 个列向量都是在列空间 中(即矩阵 各列根据 矩阵相应的列进行线性组合算出 矩阵的 列)
根据解答 1 可以矩阵 的秩为 所以其列空间的维度是 ,即只需要两个特解就可以张成列空间,矩阵 变换而成的上三角矩阵 主元在前两列,所以取矩阵 中所对应的两列 和 作为特解
观察这两个特解,都有一个相同的规律,即向量各元素之和为 ,所以通过这两个特解张成的列空间,其中的向量也会满足这个规律,即矩阵 各列(由这两个特解通过线性组合算出)也会符合这个规律:
问题 1 和问题 2 是将矩阵「拆解」为列向量求解而得的,而这个过程求出满足条件的 就像是「零空间」和「列空间」,但实际是有区别的,因为根据定义矩阵 的「零空间」和「列空间」都是由向量构成的,而 是一个 的矩阵。
所以不能直接根据 的秩来求解所谓的「零空间」和「列空间」的维度,要从维度的的含义入手,其作用是表示/衡量向量里可以「自由取值」的元素(自由变量)的数量,所以矩阵空间的维度是指矩阵里可以「自由取值」的元素的数量
对于矩阵 其中可以「自由取值」的元素只有 个(各列一个),其他的元素都可以基于这 个元素推导出来,所以该矩阵的维度是
对于矩阵 其中可以「自由取值」的元素只有 个(各列两个),其他元素都可以基于这 个元素推导出来,所以该矩阵的维度是
因此两种形式的 矩阵构成的矩阵空间的维度之和为 ,刚好就是 矩阵的维度(就像是矩阵的「零空间」和「列空间」维度之和即为原矩阵的维度一样),因为维度是对于 矩阵的约束「互补」,所以相应的两个矩阵子空间可以构成完整的矩阵空间,当然两个子空间的维度之和也不可能超过原空间