設 是 矩陣,且 。
證明: 可以寫成 個秩為 的矩陣之和,並且不能寫成少於 個秩為 的矩陣之和。
把命題拆成兩個彼此獨立的敘述。 「恰好 個可行」是一個存在性敘述,需要給出構造;「少於 個不行」是一個不可能性敘述,需要一個不等式。兩半用的工具完全不同,而且誰也推不出誰。
先為行空間造一組基底。 由 可知 的行空間維數是 ,所以 之中有 個線性獨立的行 把它張成。於是 的每一行 都是這組基底的線性組合
把這些組合打包成矩陣乘積。 把各個 排成一個 矩陣 ,把係數排成一個 矩陣 ,就得到秩分解
這就是整個構造的壓縮寫法——剩下要做的只是把它讀對。
把這個乘積展開成外積之和。 用 記 的第 列,依分塊乘法有
每個 的每一行都是 的純量倍,所以它的行空間由單一向量 張成,。前一半到此證完。
後一半靠秩的次可加性。 對任意矩陣都有 ,因為 的行空間包含在兩個行空間之和裡。反覆迭代就得到
導出矛盾。 假設 ,其中每個 。那麼
於是 ; 的分解根本不存在。再結合前面的構造,秩 1 加項的最少個數恰好就是 。
Need to solve a different problem like this? Open the solver →