IMC 2009 · Problem 5
Statement
Let be the vector space of real matrices. For a vector subspace , denote by the dimension of the vector space generated by all columns of all matrices in .
Say that a vector subspace is a covering matrix space if
Such a is minimal if it does not contain a proper vector subspace which is also a covering matrix space.
(a) Let be a minimal covering matrix space and let . Prove that
(b) Prove that for every positive integer we can find and , and a minimal covering matrix space as above such that and .