 Solution

ID: past-exam-of-the-year-1-of-the-computer-science-course-of-the-university-of-oxford/2019/digital-systems-linear-algebra-introduction-to-formal-proof-resit/4/c/i/solution

A

m \times n

, then

Y

n \times m

A Y = I_{m}

R^{m}

a linear combination of the columns of

A

: take the corresponding column of

Y

R^{m}

, giving $rank (A) = m$ . In particular,

n \geq m

and

A

 New to topics? Read the docs here!