Solution

ID: past-exam-of-the-year-1-of-the-computer-science-course-of-the-university-of-oxford/2014/digital-systems-linear-algebra-introduction-to-formal-proof/5/a/solution

For a real matrix , the row space is the linear span of its rows in , and the column space is the linear span of its columns in . Its null space consists of the input vectors sent to zero:
The rank of a matrix is
The equality of row and column dimensions is the row-rank/column-rank theorem. Each displayed space is a linear subspace of the indicated ambient vector space.

New to topics? Read the docs here!