Let be an matrix with .
Prove that can be written as a sum of matrices of rank , and that it cannot be written as a sum of fewer than matrices of rank .
Split the claim into two independent statements. "Exactly works" is an existence claim needing a construction; "fewer than fails" is an impossibility claim needing an inequality. The two halves use completely different tools, and neither implies the other.
Build a basis for the column space. Since , the column space of has dimension , so linearly independent columns of span it. Every column of is then a combination
Package the combinations as a matrix product. Collecting the into an matrix and the coefficients into an matrix gives the rank factorisation
This is the whole construction in compressed form - the rest is just reading it correctly.
Expand the product as outer products. Writing for the -th row of , block multiplication gives
Each has every column a scalar multiple of , so its column space is spanned by the single vector and . That settles the first half.
Invoke subadditivity of rank for the second half. For any matrices, , because the column space of is contained in the sum of the two column spaces. Iterating,
Derive the contradiction. Suppose with each . Then
so ; no decomposition with can exist. Combined with the construction, the minimum number of rank-one summands is exactly .
Need to solve a different problem like this? Open the solver →