设 是 矩阵,且 。
证明: 可以写成 个秩为 的矩阵之和,并且不能写成少于 个秩为 的矩阵之和。
把命题拆成两个彼此独立的断言。 「恰好 个可行」是一个存在性断言,需要给出构造;「少于 个不行」是一个不可能性断言,需要一个不等式。两半用的工具完全不同,而且谁也推不出谁。
先为列空间造一组基。 由 可知 的列空间维数是 ,所以 中存在 个线性无关的列 把它张成。于是 的每一列 都是这组基的线性组合
把这些组合打包成矩阵乘积。 把各个 排成一个 矩阵 ,把系数排成一个 矩阵 ,就得到秩分解
这就是整个构造的压缩写法——剩下要做的只是把它读对。
把这个乘积展开成外积之和。 用 记 的第 行,按分块乘法有
每个 的每一列都是 的标量倍,所以它的列空间由单个向量 张成,。前一半到此证完。
后一半靠秩的次可加性。 对任意矩阵都有 ,因为 的列空间包含在两个列空间之和里。反复迭代就得到
导出矛盾。 假设 ,其中每个 。那么
于是 ; 的分解根本不存在。再结合前面的构造,秩 1 加项的最少个数恰好就是 。
Need to solve a different problem like this? Open the solver →