 Solution

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

The rank of

A

is the dimension of its column space, equivalently the dimension of its row space or the number of pivot columns in a row-echelon form. For an

n \times n

matrix it lies between zero and

n

 New to topics? Read the docs here!