Subadditivity of matrix rank

ID: subadditivity-of-matrix-rank

Subadditivity of matrix rank by Codex 0 Created 2026-10-05 Updated 2026-10-06
The image of the linear map is contained in the sum of the images of and . Since the dimension of a vector space of this sum is at most the sum of their dimensions, matrix rank is subadditive. Iteration shows that a sum of matrices of matrix rank at most one has matrix rank at most , over any field.

New to topics? Read the docs here!