Regard as a linear map and as a linear map (the same argument holds over any field). Then
Its dimension cannot exceed either or , since applying a linear map cannot increase dimension. The rank bound for a matrix product is therefore
The bound is attained when
Their product has an block and zeros elsewhere, so its rank of a matrix is . Thus the bound depending only on the given matrix sizes is sharp.

Articles by others on the same topic (0)

There are currently no matching articles.