 Solution

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

The analogous null space statement is

A x = 0 ⟺ x = R y for some y \in R^{m} .

Here the rank-nullity theorem and (a) ensure that

ker A

also has dimension

m

 New to topics? Read the docs here!